Behavior-Preserving Simulation-to-Animation Model and Rule Transformations

DOI10.1016/j.entcs.2008.04.074zbMath1283.68183OpenAlexW2004254124MaRDI QIDQ5403459

Hartmut Ehrig, Claudia Ermel

Publication date: 26 March 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.04.074

zbMATH Keywords

animationsimulationgraph transformationbehavior-preserving transformationmodel and rule transformationsemantical correctness

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Graph representations (geometric and intersection representations, etc.) (05C62)

Related Items (1)

Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems

Uses Software

• CheckVML

Cites Work

• Statecharts: a visual formalism for complex systems
• Fundamentals of algebraic graph transformation
• Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation
• Foundations of Software Science and Computation Structures
• Towards Verifying Model Transformations
• Unnamed Item

This page was built for publication: Behavior-Preserving Simulation-to-Animation Model and Rule Transformations