Grammar-based model transformations: definition, execution, and quality properties

DOI10.1016/J.CL.2015.05.003MaRDI QIDQ1749124zbMATH OpenOpenAlexFDO

Authors Galina Besova, Dominik Steenken, Heike Wehrheim

Publication date 15 May 2018

Published in Computer Languages, Systems \& Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.cl.2015.05.003

zbMATH Keywords

graph grammarsmodel transformationsquality properties

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42)

Recommendations

• A model-based development approach for model transformations
• Formal analysis of model transformations based on triple graph grammars
• Graph transformation semantics for a QVT language
• On the Specification and Verification of Model Transformations
• Model-Driven Development of Model Transformations

Cites work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• ATL: A model transformation tool
• Formal analysis of functional behaviour for model transformations based on triple graph grammars
• Fundamental Approaches to Software Engineering
• Handbook of Graph Grammars and Computing by Graph Transformation
• Pair grammars, graph languages and string-to-graph translations
• Termination Analysis of Model Transformations by Petri Nets
• The TXL source transformation language

Cited in

(5)

• Finding a universal execution strategy for model transformation networks
• Measuring characteristics of models and model transformations using ontology and graph rewriting techniques
• Towards the flexible reuse of model transformations: a formal approach based on graph transformation
• Graph transformation semantics for a QVT language
• A model-based development approach for model transformations

Describes a project that uses

Uses Software

• AGG
• TXL
• EMorF

This page was built for publication: Grammar-based model transformations: definition, execution, and quality properties

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