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.…


| 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 |

