From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis

dc.contributorCNPqpt-BR
dc.contributorFAPERGSpt-BR
dc.creatorFoss, Luciana
dc.creatorCavalheiro, Simone André da Costa
dc.creatorBisi, Nícolas Nogueira
dc.creatorPazzini, Vinícius Steffens
dc.creatorde Brisolara, Lisane Brisolara
dc.creatorWagner, Flávio Rech
dc.date2013-01-14
dc.date.accessioned2018-11-07T21:08:48Z
dc.date.available2018-11-07T21:08:48Z
dc.identifierhttps://seer.ufrgs.br/rita/article/view/rita_v20_n1_p102
dc.identifier10.22456/2175-2745.25202
dc.identifier.urihttp://repositorioslatinoamericanos.uchile.cl/handle/2250/2187468
dc.descriptionUML 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 asmodeling 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 theeffectiveness of our methodology by means of a case study.pt-BR
dc.formatapplication/pdf
dc.languagepor
dc.publisherInstituto de Informática - Universidade Federal do Rio Grande do Sulen-US
dc.relationhttps://seer.ufrgs.br/rita/article/view/rita_v20_n1_p102/23796
dc.relationhttps://seer.ufrgs.br/rita/article/downloadSuppFile/rita_v20_n1_p102/15057
dc.relationhttps://seer.ufrgs.br/rita/article/downloadSuppFile/rita_v20_n1_p102/15058
dc.relationhttps://seer.ufrgs.br/rita/article/downloadSuppFile/rita_v20_n1_p102/15059
dc.rightsDireitos autorais 2018 Luciana Foss, Simone André da Costa Cavalheiro, Nícolas Nogueira Bisi, Vinícius Steffens Pazzini, Lisane Brisolara de Brisolara, Flávio Rech Wagnerpt-BR
dc.rightshttp://creativecommons.org/licenses/by-nc-nd/4.0pt-BR
dc.sourceRevista de Informática Teórica e Aplicada; v. 20, n. 1 (2013); 102-139en-US
dc.sourceRevista de Informática Teórica e Aplicada; v. 20, n. 1 (2013); 102-139pt-BR
dc.source21752745
dc.source01034308
dc.subjectformal methods; graph grammars; embedded systemspt-BR
dc.titleFrom UML to SIMULINK CAAM: Formal Specification and Transformation Analysispt-BR
dc.typeArtículos de revistas
dc.typeArtículos de revistas
dc.coveragept-BR
dc.coveragept-BR
dc.coveragept-BR


Este ítem pertenece a la siguiente institución