Flexible visualization of automatic simulation based on structured graph transformation

  • Visual modeling languages for discrete behavior modeling allow the modeler to describe how systems develop over time during system runs. Models of these languages are the basis for simulation with the purpose to validate the model with respect to its requirements. Graph transformation systems have shown to be suitable for the definition of various kinds of visual modeling languages. They define a modelpsilas operational semantics as the set of all transformations of a model which are specified by graph transformation rules. For automatic simulation, rules have to be structured to control their application order. During simulation, the state changes after each rule application should be visualized in the concrete syntax of the modeling language. In this paper, we propose a generic approach to specify simulation environments based on a modelpsilas concrete syntax definition and suitable rule structuring techniques. We implement our approach using TIGER, a tool for defining visualVisual modeling languages for discrete behavior modeling allow the modeler to describe how systems develop over time during system runs. Models of these languages are the basis for simulation with the purpose to validate the model with respect to its requirements. Graph transformation systems have shown to be suitable for the definition of various kinds of visual modeling languages. They define a modelpsilas operational semantics as the set of all transformations of a model which are specified by graph transformation rules. For automatic simulation, rules have to be structured to control their application order. During simulation, the state changes after each rule application should be visualized in the concrete syntax of the modeling language. In this paper, we propose a generic approach to specify simulation environments based on a modelpsilas concrete syntax definition and suitable rule structuring techniques. We implement our approach using TIGER, a tool for defining visual languages based on graph transformation, and generate the specified simulation environment as plug-in for ECLIPSE. We demonstrate our approach by a case study for automatic simulation of Rubikpsilas Clock, a mechanical two-sided puzzle of clocks controlled by rotating wheels.zeige mehrzeige weniger

Metadaten exportieren

Weitere Dienste

Suche bei Google Scholar Anzahl der Zugriffe auf dieses Dokument
Metadaten
Autor*innen:E. Biermann, C. Ermel, J. Hurrelmann, Karsten Ehrig
Persönliche Herausgeber*innen: Paolo Bottoni, Mary Beth Rosson, Mark Minas
Dokumenttyp:Beitrag zu einem Sammelband
Veröffentlichungsform:Verlagsliteratur
Sprache:Englisch
Titel des übergeordneten Werkes (Englisch):IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2008), September 15-19, 2008, Herrsching am Ammersee (Proceedings)
Jahr der Erstveröffentlichung:2008
Erste Seite:21
Letzte Seite:28
Veranstaltung:IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2008)
Veranstaltungsort:Herrsching am Ammersee, Germany
Beginndatum der Veranstaltung:2008-09-15
Enddatum der Veranstaltung:2008-09-19
DOI:10.1109/VLHCC.2008.4639053
ISSN:1943-6092
ISBN:978-1-4244-2528-0
Verfügbarkeit des Dokuments:Physisches Exemplar in der Bibliothek der BAM vorhanden ("Hardcopy Access")
Bibliotheksstandort:Sonderstandort: Publica-Schrank
Datum der Freischaltung:19.02.2016
Referierte Publikation:Nein
Einverstanden
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu. Unsere Datenschutzerklärung finden Sie hier.