Graph transformation semantics for a QVT language

DOI10.1016/J.ENTCS.2008.04.029MaRDI QIDQ5404176zbMATH OpenOpenAlexFDO

Authors Arend Rensink, Ronald Nederpel

Publication date 21 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.029

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55)

Recommendations

• An algebraic semantics for QVT-relations check-only transformations
• The model transformation language of the VIATRA2 framework
• Lessons Learned from Building a Graph Transformation System
• Grammar-based model transformations: definition, execution, and quality properties
• Model transformations in MT

Cites work

• Diagrammatic Representation and Inference
• Fundamental Approaches to Software Engineering
• Fundamental Approaches to Software Engineering
• Fundamental Approaches to Software Engineering
• Handbook of Graph Grammars and Computing by Graph Transformation
• Handbook of Graph Grammars and Computing by Graph Transformation
• Towards attributed graphs in Groove (work in progress)

Cited in

(11)

• Model transformation as a mechanism for the implementation of domain specific transformation languages
• An algebraic semantics for QVT-relations check-only transformations
• Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation
• Institution-based semantics for MOF and QVT-relations
• Grammar-based model transformations: definition, execution, and quality properties
• Model transformations in MT
• The model transformation language of the VIATRA2 framework
• scientific article; zbMATH DE number 2088775 (Why is no real title available?)
• Controlling reuse in pattern-based model-to-model transformations
• PTL: a model transformation language based on logic programming
• A weaving framework for model fransformation

Describes a project that uses

Uses Software

• GROOVE
• VIATRA2

This page was built for publication: Graph transformation semantics for a QVT language

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