Please use this identifier to cite or link to this item:

http://hdl.handle.net/10609/109793
Title: Synthesis of OCL Pre-conditions for Graph Transformation Rules
Author: Cabot Sagrera, Jordi  
Clarisó Viladrosa, Robert  
Lara Jaramillo, Juan de
Guerra, Esther
Others: Universitat Oberta de Catalunya (UOC)
Universidad Carlos III de Madrid
Universidad Autónoma de Madrid
Keywords: OCL
Graph transformation
Model Driven Engineering
Issue Date: 2-Jan-2010
Publisher: Lecture Notes in Computer Science
Citation: Cabot, J., Clarisó, R., Guerra, E. & de Lara Jaramillo, J. (2010). Synthesis of OCL Pre-conditions for Graph Transformation Rules. Lecture Notes in Computer Science, 6142(), 45-60. doi: 10.1007/978-3-642-13688-7_4
Also see: https://doi.org/10.1007/978-3-642-13688-7_4
Abstract: 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.
Language: English
URI: http://hdl.handle.net/10609/109793
ISSN: 0302-9743MIAR
Appears in Collections:Articles
Articles

Share:
Export:
Files in This Item:
File SizeFormat 
Cabot_LNCS_Synthesis_2010.pdf398.61 kBAdobe PDFView/Open

Items in repository are protected by copyright, with all rights reserved, unless otherwise indicated.