Por favor, use este identificador para citar o enlazar este ítem:
http://hdl.handle.net/10609/109793
Registro completo de metadatos
Campo DC | Valor | Lengua/Idioma |
---|---|---|
dc.contributor.author | Cabot, Jordi | - |
dc.contributor.author | Clarisó, Robert | - |
dc.contributor.author | Lara Jaramillo, Juan de | - |
dc.contributor.author | Guerra, Esther | - |
dc.contributor.other | Universitat Oberta de Catalunya (UOC) | - |
dc.contributor.other | Universidad Carlos III de Madrid | - |
dc.contributor.other | Universidad Autónoma de Madrid | - |
dc.date.accessioned | 2020-02-18T08:23:41Z | - |
dc.date.available | 2020-02-18T08:23:41Z | - |
dc.date.issued | 2010-01-02 | - |
dc.identifier.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 | es |
dc.identifier.issn | 0302-9743MIAR | - |
dc.identifier.uri | http://hdl.handle.net/10609/109793 | - |
dc.description.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. | en |
dc.format.mimetype | application/pdf | - |
dc.language.iso | eng | - |
dc.publisher | Lecture Notes in Computer Science | - |
dc.relation.uri | https://doi.org/10.1007/978-3-642-13688-7_4 | - |
dc.rights | CC BY-NC-ND | - |
dc.subject | OCL | en |
dc.subject | Graph transformation | en |
dc.subject | Model Driven Engineering | en |
dc.title | Synthesis of OCL Pre-conditions for Graph Transformation Rules | - |
dc.type | info:eu-repo/semantics/conferenceObject | - |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | - |
dc.identifier.doi | 10.1007/978-3-642-13688-7_4 | - |
dc.gir.id | AR/0000002328 | - |
dc.type.version | info:eu-repo/semantics/acceptedVersion | - |
Aparece en las colecciones: | Articles cientÍfics Articles |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
Cabot_LNCS_Synthesis_2010.pdf | 398,61 kB | Adobe PDF | Visualizar/Abrir |
Comparte:
Los ítems del Repositorio están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.