The model transformation language of the VIATRA2 framework

DOI10.1016/J.SCICO.2007.05.004MaRDI QIDQ2462430zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Dániel Varró, Andras Balogh

Publication date 30 November 2007

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.scico.2007.05.004

zbMATH Keywords

abstract state machinesgraph transformationmodel transformation

Mathematics Subject Classification ID

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

Recommendations

• Graph transformation semantics for a QVT language
• Graph transformation for specification and programming
• ATL: A model transformation tool
• A Model Transformation Language Based on Logic Programming
• Model transformations in MT

Cited in

(11)

• Rule-based modularization in model transformation languages illustrated with ATL
• Combining graph transformation and algebraic specification into model transformation
• A framework for operational specification languages. Language-realisation and execution using graph transformations
• What Is a Multi-modeling Language?
• Rete network slicing for model queries
• A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation
• A formal approach to the specification and transformation of constraints in MDE
• Interactive and automated proofs for graph transformations
• Graph transformation semantics for a QVT language
• PTL: a model transformation language based on logic programming
• Introducing quantification into a hierarchical graph rewriting language

Describes a project that uses

Uses Software

• PROGRES
• VIATRA2
• VPM
• AToM3

This page was built for publication: The model transformation language of the VIATRA2 framework

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