Analysis and Correctness of Algebraic Graph and Model Transformations
Ulrike Golas · Vieweg+Teubner eBooks · 2011
syntactical correctness, completeness, functional behavior, and semantical simulation and correctness.The developed methods and results are applied to the non-trivial problem of the specification of syntax and operational semantics for UML statecharts and a model transformation from statecharts to Petri nets preserving the semantics.