Transformation Techniques for OCL Constraints

Constraints play a key role in the definition of conceptual schemas. In the UML, constraints are usually specified by means of invariants written in the OCL. However, due to the high expressiveness of the OCL, the designer has different syntactic alternatives to express each constraint. The techniqu...

Descripción completa

Detalles Bibliográficos
Autores: Cabot, Jordi, Teniente López, Ernest
Tipo de recurso: artículo
Estado:Versión aceptada para publicación
Fecha de publicación:2007
País:España
Institución:Universitat Oberta de Catalunya (UOC)
Repositorio:O2, repositorio institucional de la UOC
OAI Identifier:oai:openaccess.uoc.edu:10609/109824
Acceso en línea:https://hdl.handle.net/10609/109824
Access Level:acceso abierto
Palabra clave:OCL
integrity constraints
transformation
restriccions d'integritat
transformació
restricciones de integridad
transformación
UML (Computer science)
UML (Informàtica)
UML (Informática)
id ES_97a4e0a022fc41ba9f8fde3890f6bebd
oai_identifier_str oai:openaccess.uoc.edu:10609/109824
network_acronym_str ES
network_name_str España
repository_id_str
spelling Transformation Techniques for OCL ConstraintsCabot, JordiTeniente López, ErnestOCLintegrity constraintstransformationOCLrestriccions d'integritattransformacióOCLrestricciones de integridadtransformaciónUML (Computer science)UML (Informàtica)UML (Informática)Constraints play a key role in the definition of conceptual schemas. In the UML, constraints are usually specified by means of invariants written in the OCL. However, due to the high expressiveness of the OCL, the designer has different syntactic alternatives to express each constraint. The techniques presented in this paper assist the designer during the definition of the constraints by means of generating equivalent alternatives for the initially defined ones. Moreover, in the context of the MDA, transformations between these different alternatives are required as part of the PIM-to-PIM, PIM-to-PSM or PIM-to-code transformations of the original conceptual schema.Science of Computer ProgrammingUniversitat Oberta de Catalunya (UOC)Universitat Politècnica de Catalunya (UPC)202020202007info:eu-repo/semantics/articleinfo:eu-repo/semantics/acceptedVersionapplication/pdfapplication/pdfhttps://hdl.handle.net/10609/109824reponame:O2, repositorio institucional de la UOCinstname:Universitat Oberta de Catalunya (UOC)InglésScience of Computer Programming, 2007, 68(3)https://doi.org/10.1016/j.scico.2007.05.001CC BY-NC-NDhttp://creativecommons.org/licenses/by-nc-nd/3.0/es/info:eu-repo/semantics/openAccessoai:openaccess.uoc.edu:10609/1098242026-05-28T12:42:01Z
dc.title.none.fl_str_mv Transformation Techniques for OCL Constraints
title Transformation Techniques for OCL Constraints
spellingShingle Transformation Techniques for OCL Constraints
Cabot, Jordi
OCL
integrity constraints
transformation
OCL
restriccions d'integritat
transformació
OCL
restricciones de integridad
transformación
UML (Computer science)
UML (Informàtica)
UML (Informática)
title_short Transformation Techniques for OCL Constraints
title_full Transformation Techniques for OCL Constraints
title_fullStr Transformation Techniques for OCL Constraints
title_full_unstemmed Transformation Techniques for OCL Constraints
title_sort Transformation Techniques for OCL Constraints
dc.creator.none.fl_str_mv Cabot, Jordi
Teniente López, Ernest
author Cabot, Jordi
author_facet Cabot, Jordi
Teniente López, Ernest
author_role author
author2 Teniente López, Ernest
author2_role author
dc.contributor.none.fl_str_mv Universitat Oberta de Catalunya (UOC)
Universitat Politècnica de Catalunya (UPC)
dc.subject.none.fl_str_mv OCL
integrity constraints
transformation
OCL
restriccions d'integritat
transformació
OCL
restricciones de integridad
transformación
UML (Computer science)
UML (Informàtica)
UML (Informática)
topic OCL
integrity constraints
transformation
OCL
restriccions d'integritat
transformació
OCL
restricciones de integridad
transformación
UML (Computer science)
UML (Informàtica)
UML (Informática)
description Constraints play a key role in the definition of conceptual schemas. In the UML, constraints are usually specified by means of invariants written in the OCL. However, due to the high expressiveness of the OCL, the designer has different syntactic alternatives to express each constraint. The techniques presented in this paper assist the designer during the definition of the constraints by means of generating equivalent alternatives for the initially defined ones. Moreover, in the context of the MDA, transformations between these different alternatives are required as part of the PIM-to-PIM, PIM-to-PSM or PIM-to-code transformations of the original conceptual schema.
publishDate 2007
dc.date.none.fl_str_mv 2007
2020
2020
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/acceptedVersion
format article
status_str acceptedVersion
dc.identifier.none.fl_str_mv https://hdl.handle.net/10609/109824
url https://hdl.handle.net/10609/109824
dc.language.none.fl_str_mv Inglés
language_invalid_str_mv Inglés
dc.relation.none.fl_str_mv Science of Computer Programming, 2007, 68(3)
https://doi.org/10.1016/j.scico.2007.05.001
dc.rights.none.fl_str_mv CC BY-NC-ND
http://creativecommons.org/licenses/by-nc-nd/3.0/es/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv CC BY-NC-ND
http://creativecommons.org/licenses/by-nc-nd/3.0/es/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.publisher.none.fl_str_mv Science of Computer Programming
publisher.none.fl_str_mv Science of Computer Programming
dc.source.none.fl_str_mv reponame:O2, repositorio institucional de la UOC
instname:Universitat Oberta de Catalunya (UOC)
instname_str Universitat Oberta de Catalunya (UOC)
reponame_str O2, repositorio institucional de la UOC
collection O2, repositorio institucional de la UOC
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869414096486531072
score 15,300724

Similares en LA Referencia