direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Simulation and Animation of Visual Models of Embedded Systems: A Graph-Transformation-Based Approach Applied to Petri Nets
Zitatschlüssel EET06
Autor Ermel, C. and Ehrig, H. and Taentzer, G.
Buchtitel Proc. 7th Workshop on Embedded Systems – Modeling, Technology, and Applications, Technische Universität Berlin
Seiten 11–20
Jahr 2006
ISSN ISBN-10 1-4020-4932-3, ISBN-13 978-4020-4932-3
Herausgeber Hommel, G. and Sheng, H.
Verlag SPRINGER
Zusammenfassung Behavior specification techniques like Petri nets provide a visual description of software and embedded systems as basis for behavior validation by simulation. Graph transformation systems can be used as a unifying formal approach to define various visual behavior modeling languages including different kinds of Petri nets, activity diagrams, Statecharts etc., and to provide models with an operational semantics defining simulations of visual models based on graph transformation rules. Moreover, simulation of visual models can be extended by animation which allows to visualize the states of a model simulation run in a domain-specific layout which is closer to the problem domain than the layout of the abstract diagrammatic notation of the specification technique. This kind of model transformation is defined also within the framework of graph transformation, which allows to show interesting properties like semantical correctness of the animation with respect to simulation. In this paper we give an overview of simulation and animation of visual models based on graph transformation and discuss corresponding correctness issues.
Link zur Publikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe