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

DOI10.1016/J.ENTCS.2008.04.074MaRDI QIDQ5403459zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• scientific article; zbMATH DE number 2033295
• A language to model animation out of behaviour-embedded graphical components
• scientific article; zbMATH DE number 1617351
• Generation of interaktive animations of computational models

Cites work

• scientific article; zbMATH DE number 4049117 (Why is no real title available?)
• Foundations of Software Science and Computation Structures
• Fundamentals of algebraic graph transformation
• Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation
• Statecharts: a visual formalism for complex systems
• Towards verifying model transformations

Cited in

(3)

• Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation
• Characterizing conflicts between rule application and rule evolution in graph transformation systems
• View transformation in visual environments applied to algebraic high-level nets

Describes a project that uses

Uses Software

• CheckVML

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5403459)