Title :
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
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;
Conference_Titel :
Theoretical Computer Science (WEIT), 2011 Workshop-School on
Conference_Location :
Pelotas, RS
Print_ISBN :
978-1-4673-0225-8
DOI :
10.1109/WEIT.2011.16
