Synthesis of OCL Pre-Conditions for Graph Transformation Rules

Download Now Free registration required

Executive Summary

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, the authors 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: to automatically derive pre-conditions from the meta-model integrity constraints, ensuring rule correctness, to derive pre-conditions from graph constraints with OCL expressions and to check applicability of rule sequences with OCL conditions.

  • Format: PDF
  • Size: 376.04 KB