Using Graph Grammars to Develop Embedded Systems Based on UML Models

Author

Bisi, Nícolas N. ; Pazzini, Vinícius ; Foss, Luciana ; Cavalheiro, Simone A C ; Brisolara, L.B.D. ; Wagner, Flávio Rech

Author_Institution

Centro de Desenvolvimento Tecnol., Univ. Fed. de Pelotas, Pelotas, Brazil

fYear

2011

fDate

24-26 Aug. 2011

Firstpage

81

Lastpage

87

Abstract

UML and Simulink models are widely used in embedded systems design. UML offers proper high-level abstractions for software-oriented models specification, while Simulink allows a better dataflow description. The features of each model motivate the development of proposals unifying and creating mappings between them. This article proposes a formal definition for a translation from UML to a Simulink model, previously proposed, using the graph grammar formalism. This mapping was previously described in natural language and a prototype implemented in Java. The formal definition using graph grammars not only eliminates possible ambiguities in the mapping, but also allows the use of the Groove tool to automate the translation.

Keywords

Java; Unified Modeling Language; embedded systems; formal specification; graph grammars; language translation; natural languages; Groove tool; Java; Simulink model; UML model; dataflow description; embedded systems design; graph grammar formalism; natural language; software-oriented models specification; Computational modeling; Embedded systems; Grammar; Instruction sets; Reactive power; Syntactics; Unified modeling language; Simulink; embedded systems; graph grammars; sequence diagrams;

fLanguage

English

Publisher

ieee

Conference_Titel

Theoretical Computer Science (WEIT), 2011 Workshop-School on

Conference_Location

Pelotas, RS

Print_ISBN

978-1-4673-0225-8

Type

conf

DOI

10.1109/WEIT.2011.16

Filename

6114785