Pattern-Based Model-to-Model Transformation

DOI10.1007/978-3-540-87405-8_29zbMATH Open1175.68114arXiv0805.4745OpenAlexW1567952653MaRDI QIDQ3540416FDOQ3540416

Authors: Juan de Lara, Esther Guerra 

Publication date: 20 November 2008

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

Abstract: We present a new, high-level approach for the specification of model-to-model transformations based on declarative patterns. These are (atomic or composite) constraints on triple graphs declaring the allowed or forbidden relationships between source and target models. In this way, a transformation is defined by specifying a set of triple graph constraints that should be satisfied by the result of the transformation. The description of the transformation is then compiled into lower-level operational mechanisms to perform forward or backward transformations, as well as to establish mappings between two existent models. In this paper we study one of such mechanisms based on the generation of operational triple graph grammar rules. Moreover, we exploit deduction techniques at the specification level to generate more specialized constraints (preserving the specification semantics) reflecting pattern dependencies, from which additional rules can be derived. This is an extended version of the paper submitted to ICGT'08, with additional definitions and proofs.

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

Recommendations

• Correctness, completeness and termination of pattern-based model-to-model transformation
• Formal analysis of model transformations based on triple graph grammars
• Controlling reuse in pattern-based model-to-model transformations
• Formal analysis of functional behaviour for model transformations based on triple graph grammars
• A formal approach to the specification and transformation of constraints in MDE

Mathematics Subject Classification ID

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

Cites Work

• Attributed graph transformation with node type inheritance
• Fundamentals of algebraic graph transformation
• Pattern-Based Model-to-Model Transformation
• A Logic of Graph Constraints
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (10)

• Pattern-Based Model-to-Model Transformation
• Pattern-based rewriting through abstraction
• A formal approach to the specification and transformation of constraints in MDE
• Reasoning with graph constraints
• On the Specification and Verification of Model Transformations
• Symbolic graphs for attributed graph constraints
• Correctness, completeness and termination of pattern-based model-to-model transformation
• Controlling reuse in pattern-based model-to-model transformations
• Formal analysis of model transformations based on triple graph grammars
• Automating the transformation-based analysis of visual languages

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

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