Comparison of Three Model Transformation Languages
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
A Collection Operator for Graph Transformation
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Empirical assessment of business model transformations based on model simulation
ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
A collection operator for graph transformation
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
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 model’s 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 model’s 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 Rubik’s Clock, a mechanical two-sided puzzle of clocks controlled by rotating wheels.