Pattern-Based Model-to-Model Transformation

DOI10.1007/978-3-540-87405-8_29zbMath1175.68114arXiv0805.4745OpenAlexW1567952653MaRDI QIDQ3540416

Esther Guerra, Juan de Lara

Publication date: 20 November 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0805.4745

Mathematics Subject Classification ID

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

Related Items (9)

Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation ⋮ On the Specification and Verification of Model Transformations ⋮ Symbolic graphs for attributed graph constraints ⋮ A formal approach to the specification and transformation of constraints in MDE ⋮ Pattern-Based Model-to-Model Transformation ⋮ Formal analysis of model transformations based on triple graph grammars ⋮ Automating the transformation-based analysis of visual languages ⋮ Reasoning with graph constraints ⋮ Controlling Reuse in Pattern-Based Model-to-Model Transformations

Cites Work

• Unnamed Item
• Unnamed Item
• Attributed graph transformation with node type inheritance
• Fundamentals of algebraic graph transformation
• Pattern-Based Model-to-Model Transformation
• A Logic of Graph Constraints

This page was built for publication: Pattern-Based Model-to-Model Transformation