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, Nicolas, Pazzini, Vinícius Steffens, Wagner, Flavio Rech
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Institucional da UFRGS
Texto Completo: http://hdl.handle.net/10183/229307
Resumo: 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, 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 UFRGS-2_1a792daa4fe619a0685057cbbba39e40
oai_identifier_str oai:www.lume.ufrgs.br:10183/229307
network_acronym_str UFRGS-2
network_name_str Repositório Institucional da UFRGS
repository_id_str
spelling Foss, LucianaCavalheiro, Simone André da CostaBrisolara, Lisane Brisolara deBisi, NicolasPazzini, Vinícius SteffensWagner, Flavio Rech2021-09-01T04:24:16Z20130103-4308http://hdl.handle.net/10183/229307000892263UML 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.application/pdfengRevista de informática teórica e aplicada. Porto Alegre. Vol. 20, n. 1 (2013), p. 102-139UmlGrafosFrom UML to Simulink CAAM : formal specification and transformation analysisinfo:eu-repo/semantics/articleinfo:eu-repo/semantics/otherinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFRGSinstname:Universidade Federal do Rio Grande do Sul (UFRGS)instacron:UFRGSTEXT000892263.pdf.txt000892263.pdf.txtExtracted Texttext/plain80021http://www.lume.ufrgs.br/bitstream/10183/229307/2/000892263.pdf.txtc46a8b86889038621ecf004cdb7534caMD52ORIGINAL000892263.pdfTexto completo (inglês)application/pdf7514804http://www.lume.ufrgs.br/bitstream/10183/229307/1/000892263.pdf8e9d6790e09e8f5896f2da72e405fda8MD5110183/2293072021-09-19 04:27:01.617985oai:www.lume.ufrgs.br:10183/229307Repositório de PublicaçõesPUBhttps://lume.ufrgs.br/oai/requestopendoar:2021-09-19T07:27:01Repositório Institucional da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false
dc.title.pt_BR.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
Grafos
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, Nicolas
Pazzini, Vinícius Steffens
Wagner, Flavio Rech
author_role author
author2 Cavalheiro, Simone André da Costa
Brisolara, Lisane Brisolara de
Bisi, Nicolas
Pazzini, Vinícius Steffens
Wagner, Flavio 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, Nicolas
Pazzini, Vinícius Steffens
Wagner, Flavio Rech
dc.subject.por.fl_str_mv Uml
Grafos
topic Uml
Grafos
description 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, 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.issued.fl_str_mv 2013
dc.date.accessioned.fl_str_mv 2021-09-01T04:24:16Z
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/other
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10183/229307
dc.identifier.issn.pt_BR.fl_str_mv 0103-4308
dc.identifier.nrb.pt_BR.fl_str_mv 000892263
identifier_str_mv 0103-4308
000892263
url http://hdl.handle.net/10183/229307
dc.language.iso.fl_str_mv eng
language eng
dc.relation.ispartof.pt_BR.fl_str_mv Revista de informática teórica e aplicada. Porto Alegre. Vol. 20, n. 1 (2013), p. 102-139
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFRGS
instname:Universidade Federal do Rio Grande do Sul (UFRGS)
instacron:UFRGS
instname_str Universidade Federal do Rio Grande do Sul (UFRGS)
instacron_str UFRGS
institution UFRGS
reponame_str Repositório Institucional da UFRGS
collection Repositório Institucional da UFRGS
bitstream.url.fl_str_mv http://www.lume.ufrgs.br/bitstream/10183/229307/2/000892263.pdf.txt
http://www.lume.ufrgs.br/bitstream/10183/229307/1/000892263.pdf
bitstream.checksum.fl_str_mv c46a8b86889038621ecf004cdb7534ca
8e9d6790e09e8f5896f2da72e405fda8
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)
repository.mail.fl_str_mv
_version_ 1801225034421764096

Registros relacionados