Empreu aquest identificador per citar o enllaçar aquest ítem:
http://hdl.handle.net/10609/109793
Títol: | Synthesis of OCL Pre-conditions for Graph Transformation Rules |
Autoria: | Cabot, Jordi Clarisó, Robert Lara Jaramillo, Juan de Guerra, Esther |
Altres: | Universitat Oberta de Catalunya (UOC) Universidad Carlos III de Madrid Universidad Autónoma de Madrid |
Citació: | 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 |
Resum: | 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. |
Paraules clau: | OCL Graph transformation Model Driven Engineering |
DOI: | 10.1007/978-3-642-13688-7_4 |
Tipus de document: | info:eu-repo/semantics/conferenceObject |
Versió del document: | info:eu-repo/semantics/acceptedVersion |
Data de publicació: | 2-gen-2010 |
Apareix a les col·leccions: | Articles cientÍfics Articles |
Arxius per aquest ítem:
Arxiu | Descripció | Mida | Format | |
---|---|---|---|---|
Cabot_LNCS_Synthesis_2010.pdf | 398,61 kB | Adobe PDF | Veure/Obrir |
Comparteix:
Els ítems del Repositori es troben protegits per copyright, amb tots els drets reservats, sempre i quan no s’indiqui el contrari.