Using Semantic Anchoring to Verify Behavior Preservation in Graph Transformations


Graph transformation is often used to transform domain models from one domain specific language (DSML) to another. In some cases, the DSMLs are based on a formalism that has many implementation variants, such as Statecharts. For instance, it could be necessary to transform iLogix Statechart models into Matlab Stateflow models. The preservation of behavior… (More)


7 Figures and Tables

Slides referencing similar topics