Pattern-Based Model-to-Model Transformation

DOI10.1007/978-3-540-87405-8_29MaRDI QIDQ3540416zbMATH OpenOpenAlexFDO

Authors Juan de Lara, Esther Guerra

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, http://hdl.handle.net/10486/664387

Mathematics Subject Classification ID

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

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.

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

Cites work

• scientific article; zbMATH DE number 1231489 (Why is no real title available?)
• scientific article; zbMATH DE number 1946739 (Why is no real title available?)
• A Logic of Graph Constraints
• Attributed graph transformation with node type inheritance
• Fundamentals of algebraic graph transformation
• Pattern-Based Model-to-Model Transformation

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
• Symbolic graphs for attributed graph constraints
• On the Specification and Verification of Model Transformations
• 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)