Sciweavers

Share
ICMT
2010
Springer

Synthesis of OCL Pre-conditions for Graph Transformation Rules

9 years 1 months ago
Synthesis of OCL Pre-conditions for Graph Transformation Rules
Graph transformation (GT) is being increasingly used in Model Driven Engineering (MDE) to describe in-place transformations like animations and refactorings. For its practical use, rules are often complemented with OCL application conditions. The advancement of rule post-conditions into pre-conditions is a well-known problem in GT, but current techniques do not consider OCL. In this paper we provide an approach to advance post-conditions with arbitrary OCL expressions into pre-conditions. This presents benefits for the practical use of GT in MDE, as it allows: (i) to automatically derive pre-conditions from the meta-model integrity constraints, ensuring rule correctness, (ii) to derive pre-conditions from graph constraints with OCL expressions and (iii) to check applicability of rule sequences with OCL conditions.
Jordi Cabot, Robert Clarisó, Esther Guerra,
Added 19 Jul 2010
Updated 19 Jul 2010
Type Conference
Year 2010
Where ICMT
Authors Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara
Comments (0)
books