Towards the flexible reuse of model transformations: a formal approach based on graph transformation

DOI10.1016/j.jlamp.2014.08.005zbMath1371.68055OpenAlexW2091750076MaRDI QIDQ465491

Juan de Lara, Esther Guerra

Publication date: 23 October 2014

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2014.08.005

zbMATH Keywords

genericitymodel-driven engineeringgraph transformationmeta-modellingreusability

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Theory of software (68N99)

Related Items (2)

Amalgamation of domain specific languages with behaviour ⋮ Multilevel coupled model transformations for precise and reusable definition of model behaviour

Uses Software

• VIATRA2

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Foundations of algebraic specification and formal software development.
• Attributed graph transformation with node type inheritance
• Construction and properties of adhesive and weak adhesive high-level replacement categories
• Fundamentals of algebraic graph transformation
• Co-transformation of Graphs and Type Graphs with Application to Model Co-evolution
• Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation
• Transformations of graph grammars
• Fundamental Approaches to Software Engineering

This page was built for publication: Towards the flexible reuse of model transformations: a formal approach based on graph transformation