Finding a universal execution strategy for model transformation networks

DOI10.1007/978-3-030-71500-7_5MaRDI QIDQ2044179zbMATH OpenOpenAlexFDO

Authors Joshua Gleitze, Heiko Klare, Erik Burger

Publication date 4 August 2021

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-030-71500-7_5

zbMATH Keywords

model consistencymodel transformation networks

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Termination Analysis of Model Transformations by Petri Nets
• scientific article; zbMATH DE number 1946737
• Grammar-based model transformations: definition, execution, and quality properties
• Combining termination proofs in model transformation systems
• Model Transformations Incorporating Multiple Views

Cites work

• Fundamental Approaches to Software Engineering
• Multiple model synchronization with multiary delta lenses

Cited in

(1)

• Termination and expressiveness of execution strategies for networks of bidirectional model transformations

This page was built for publication: Finding a universal execution strategy for model transformation networks

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