Semantical Correctness of Simulation-to-Animation Model and Rule Transformation
Abstract
In the framework of graph transformation, simulation rules are well-known to define the operational behavior of visual models.
Moreover, it has been shown already how to construct animation rules in a domain specific layout from simulation rules.
An important requirement of this construction is the semantical correctness which has not yet been considered.
In this paper we give a precise definition for simulation-to-animation (S2A) model and rule transformations.
Our main results show under which conditions semantical correctness can be obtained.
The results are applied to analyze the S2A transformation of a Radio Clock model.
Keywords: graph transformation, model and rule transformation, semantical correctness, simulation, animation
Moreover, it has been shown already how to construct animation rules in a domain specific layout from simulation rules.
An important requirement of this construction is the semantical correctness which has not yet been considered.
In this paper we give a precise definition for simulation-to-animation (S2A) model and rule transformations.
Our main results show under which conditions semantical correctness can be obtained.
The results are applied to analyze the S2A transformation of a Radio Clock model.
Keywords: graph transformation, model and rule transformation, semantical correctness, simulation, animation
Full Text:
PDFDOI: http://dx.doi.org/10.14279/tuj.eceasst.4.13
DOI (PDF): http://dx.doi.org/10.14279/tuj.eceasst.4.13.11
Hosted By Universitätsbibliothek TU Berlin.