From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis


  • Luciana Foss Universidade Federal de Pelotas
  • Simone André da Costa Cavalheiro Universidade Federal de Pelotas
  • Nícolas Nogueira Bisi Universidade Federal de Pelotas
  • Vinícius Steffens Pazzini Universidade Federal de Pelotas
  • Lisane Brisolara de Brisolara
  • Flávio Rech Wagner Universidade Federal do Rio Grande do Sul



UML and Simulink are attractive languages for embedded systems design and modeling. An automatic mapping from UML models to Simulink would be an interesting resource in a seamless design flow, allowing designers to use UML as
modeling language for the whole system and at same time to use facilities for code generation based on Simulink. In a previous work, the UML to Simulink translation was prototyped using a Java implementation. In this paper, we present the formal definition of this translation using graph grammars, as well as its automation, which is supported by the AGG system. With the formalization of the metamodels and translation rules, we can guarantee the correctness of the translation. We also illustrate the
effectiveness of our methodology by means of a case study.


Download data is not yet available.



How to Cite

Foss, L., Cavalheiro, S. A. da C., Bisi, N. N., Pazzini, V. S., de Brisolara, L. B., & Wagner, F. R. (2013). From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis. Revista De Informática Teórica E Aplicada, 20(1), 102–139.



Melhores artigos WEIT 2011

Most read articles by the same author(s)