Mostrar el registro sencillo del ítem
From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis
dc.creator | Foss, Luciana | |
dc.creator | Cavalheiro, Simone André da Costa | |
dc.creator | Brisolara, Lisane Brisolara de | |
dc.creator | Bisi, Nícolas Nogueira | |
dc.creator | Pazzini, Vinícius Steffens | |
dc.creator | Wagner, Flávio Rech | |
dc.date.accessioned | 2025-05-05T22:39:50Z | |
dc.date.available | 2025-05-05T22:39:50Z | |
dc.date.issued | 2013 | |
dc.identifier.citation | FOSS, L. et al. From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis. Revista de Informática Teórica e Aplicada: RITA, v. 20, p. 102-139, 2013. | pt_BR |
dc.identifier.uri | http://guaiaca.ufpel.edu.br/xmlui/handle/prefix/15870 | |
dc.description.abstract | UML and Simulink are attractive languages for embedded systems de sign 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, a 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. | pt_BR |
dc.language | eng | pt_BR |
dc.publisher | SciELO | pt_BR |
dc.rights | OpenAccess | pt_BR |
dc.subject | UML | pt_BR |
dc.subject | Simulink are attractive languages | pt_BR |
dc.subject | Transformation analysis | pt_BR |
dc.subject | Embedded systems | pt_BR |
dc.subject | Desing | pt_BR |
dc.title | From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis | pt_BR |
dc.type | article | pt_BR |
dc.rights.license | CC BY-NC-SA | pt_BR |
Ficheros en el ítem
Este ítem aparece en la(s) siguiente(s) colección(ones)
-
Ciência da computação: Artigos avaliados por pares [6]
Abrange os arquivos de periódicos da área de Ciência da computação.