From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis

Detalhes bibliográficos
Autor(a) principal: Foss, Luciana
Data de Publicação: 2013
Outros Autores: Cavalheiro, Simone André da Costa, Brisolara, Lisane Brisolara de, Bisi, Nícolas Nogueira, Pazzini, Vinícius Steffens, Wagner, Flávio Rech
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Institucional da UFPel - Guaiaca
Texto Completo: http://guaiaca.ufpel.edu.br/xmlui/handle/prefix/15870
Resumo: 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.
id UFPL_3f3feef47aa18dfd07a52abffb83288d
oai_identifier_str oai:guaiaca.ufpel.edu.br:prefix/15870
network_acronym_str UFPL
network_name_str Repositório Institucional da UFPel - Guaiaca
repository_id_str
spelling From UML to SIMULINK CAAM: Formal Specification and Transformation AnalysisUMLSimulink are attractive languagesTransformation analysisEmbedded systemsDesingUML 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.SciELO2025-05-05T22:39:50Z2025-05-05T22:39:50Z2013info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfFOSS, 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.http://guaiaca.ufpel.edu.br/xmlui/handle/prefix/15870engCC BY-NC-SAinfo:eu-repo/semantics/openAccessFoss, LucianaCavalheiro, Simone André da CostaBrisolara, Lisane Brisolara deBisi, Nícolas NogueiraPazzini, Vinícius SteffensWagner, Flávio Rechreponame:Repositório Institucional da UFPel - Guaiacainstname:Universidade Federal de Pelotas (UFPEL)instacron:UFPEL2025-05-06T06:00:21Zoai:guaiaca.ufpel.edu.br:prefix/15870Repositório InstitucionalPUBhttp://repositorio.ufpel.edu.br/oai/requestrippel@ufpel.edu.br || repositorio@ufpel.edu.br || aline.batista@ufpel.edu.bropendoar:2025-05-06T06:00:21Repositório Institucional da UFPel - Guaiaca - Universidade Federal de Pelotas (UFPEL)false
dc.title.none.fl_str_mv From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis
title From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis
spellingShingle From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis
Foss, Luciana
UML
Simulink are attractive languages
Transformation analysis
Embedded systems
Desing
title_short From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis
title_full From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis
title_fullStr From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis
title_full_unstemmed From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis
title_sort From UML to SIMULINK CAAM: Formal Specification and Transformation Analysis
author Foss, Luciana
author_facet Foss, Luciana
Cavalheiro, Simone André da Costa
Brisolara, Lisane Brisolara de
Bisi, Nícolas Nogueira
Pazzini, Vinícius Steffens
Wagner, Flávio Rech
author_role author
author2 Cavalheiro, Simone André da Costa
Brisolara, Lisane Brisolara de
Bisi, Nícolas Nogueira
Pazzini, Vinícius Steffens
Wagner, Flávio Rech
author2_role author
author
author
author
author
dc.contributor.author.fl_str_mv Foss, Luciana
Cavalheiro, Simone André da Costa
Brisolara, Lisane Brisolara de
Bisi, Nícolas Nogueira
Pazzini, Vinícius Steffens
Wagner, Flávio Rech
dc.subject.por.fl_str_mv UML
Simulink are attractive languages
Transformation analysis
Embedded systems
Desing
topic UML
Simulink are attractive languages
Transformation analysis
Embedded systems
Desing
description 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.
publishDate 2013
dc.date.none.fl_str_mv 2013
2025-05-05T22:39:50Z
2025-05-05T22:39:50Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv 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.
http://guaiaca.ufpel.edu.br/xmlui/handle/prefix/15870
identifier_str_mv 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.
url http://guaiaca.ufpel.edu.br/xmlui/handle/prefix/15870
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv CC BY-NC-SA
info:eu-repo/semantics/openAccess
rights_invalid_str_mv CC BY-NC-SA
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv SciELO
publisher.none.fl_str_mv SciELO
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFPel - Guaiaca
instname:Universidade Federal de Pelotas (UFPEL)
instacron:UFPEL
instname_str Universidade Federal de Pelotas (UFPEL)
instacron_str UFPEL
institution UFPEL
reponame_str Repositório Institucional da UFPel - Guaiaca
collection Repositório Institucional da UFPel - Guaiaca
repository.name.fl_str_mv Repositório Institucional da UFPel - Guaiaca - Universidade Federal de Pelotas (UFPEL)
repository.mail.fl_str_mv rippel@ufpel.edu.br || repositorio@ufpel.edu.br || aline.batista@ufpel.edu.br
_version_ 1845919923200589824

Registros relacionados