Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions

Abstract. Pattern-based model-to-model transformation is a new approach for specifying transformations in a declarative, relational and formal style. The language relies on patterns describing allowed or forbidden relations between two models, which are compiled into operational mechanisms to perform forward and backward transformations. In this paper, we extend the approach for handling attribute conditions expressed in some suitable logic, adapt the operational mechanisms based on graph transformation to relax attribute handling by constraint solving, and discuss heuristics for the compilation of patterns into rules.

• Type: Conference
• Year: 2009
• Where: ICMT
• Authors: Esther Guerra, Juan de Lara, Fernando Orejas
• Keywords: Attribute Conditions, ICMT 2009, Operational Mechanisms, Pattern-based Model-to-model Transformation, Programming Languages