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

DOI10.1016/j.cl.2015.05.003zbMath1387.68067OpenAlexW2288285191MaRDI QIDQ1749124

Galina Besova, Heike Wehrheim, Dominik Steenken

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

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

Uses Software

• AGG
• TXL
• EMorF

Cites Work

• Unnamed Item
• ATL: A model transformation tool
• The TXL source transformation language
• Pair grammars, graph languages and string-to-graph translations
• Termination Analysis of Model Transformations by Petri Nets
• Handbook of Graph Grammars and Computing by Graph Transformation
• Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars
• Fundamental Approaches to Software Engineering

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