Mostrar registro simples

From UML to Simulink CAAM : formal specification and transformation analysis

dc.contributor.authorFoss, Lucianapt_BR
dc.contributor.authorCavalheiro, Simone André da Costapt_BR
dc.contributor.authorBrisolara, Lisane Brisolara dept_BR
dc.contributor.authorBisi, Nicolaspt_BR
dc.contributor.authorPazzini, Vinícius Steffenspt_BR
dc.contributor.authorWagner, Flavio Rechpt_BR
dc.date.accessioned2021-09-01T04:24:16Zpt_BR
dc.date.issued2013pt_BR
dc.identifier.issn0103-4308pt_BR
dc.identifier.urihttp://hdl.handle.net/10183/229307pt_BR
dc.description.abstractUML 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, 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.en
dc.format.mimetypeapplication/pdfpt_BR
dc.language.isoengpt_BR
dc.relation.ispartofRevista de informática teórica e aplicada. Porto Alegre. Vol. 20, n. 1 (2013), p. 102-139pt_BR
dc.rightsOpen Accessen
dc.subjectUmlpt_BR
dc.subjectGrafospt_BR
dc.titleFrom UML to Simulink CAAM : formal specification and transformation analysispt_BR
dc.typeArtigo de periódicopt_BR
dc.identifier.nrb000892263pt_BR
dc.type.originNacionalpt_BR


Thumbnail
Nome:
000892263.pdf
Tamanho:
7.166Mb
Formato:
PDF
Descrição:
Texto completo (inglês)
Visualizar/abrir
   

Este item está licenciado na Creative Commons License

Mostrar registro simples