Statecharts: A visual formalism for complex systems
Science of Computer Programming
Specification of Graph Translators with Triple Graph Grammars
WG '94 Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science
Animated Simulation of Integrated UML Behavioral Models Based on Graph Transformation
VLHCC '05 Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
Information preserving bidirectional model transformations
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Visualization, Simulation and Analysis of Reconfigurable Systems
Applications of Graph Transformations with Industrial Relevance
Simulating domain specific visual models by observation
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Model-driven performance analysis of rule-based domain specific visual models
Information and Software Technology
Hi-index | 0.00 |
In the framework of graph transformation, simulation rules define the operational behavior of visual models. Moreover, it has been shown already how to construct animation rules from simulation rules by so-called S2A-transformation. In contrast to simulation rules, animation rules use symbols representing entities from the application domain in a user-oriented visualization. Using animation views for model execution provides better insights of model behavior to users, leading to an earlier detection of model inconsistencies. Hence, an important requirement of the animation view construction is the preservation of the behavior of the original visual model. This means, we have to show on the one hand semantical correctness of the S2A-transformation, and, on the other hand, semantical correctness of a suitable backwards-transformation A2S. Semantical correctness of a model and rule transformation means that for each sequence of the source system we find a corresponding sequence in the target system. S2A-transformation has been considered in our contribution to GraMoT 2006. In this paper, we give a precise definition for animation-to-simulation (A2S) backward transformation, and show under which conditions semantical correctness of an A2S backward transformation can be obtained. The main result states the conditions for S2A-transformations to be behavior-preserving. The result is applied to analyze the behavior of a Radio Clock model's S2A-transformation.