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 Sagrera, Jordi, Teniente López, Ernest|||0000-0001-8890-9638
Tipo de recurso: informe técnico
Fecha de publicación:2006
País:España
Institución:Universitat Politècnica de Catalunya (UPC)
Repositorio:UPCommons. Portal del coneixement obert de la UPC
Idioma:inglés
OAI Identifier:oai:upcommons.upc.edu:2117/86164
Acceso en línea:https://hdl.handle.net/2117/86164
Access Level:acceso abierto
Palabra clave:OCL
Integrity constraints
Transformation
Àrees temàtiques de la UPC::Informàtica::Programació
id ES_6ff85a7f0fba714b95efe1f3d72e9961
oai_identifier_str oai:upcommons.upc.edu:2117/86164
network_acronym_str ES
network_name_str España
repository_id_str
spelling Transformation techniques for OCL constraintsCabot Sagrera, JordiTeniente López, Ernest|||0000-0001-8890-9638OCLIntegrity constraintsTransformationÀrees temàtiques de la UPC::Informàtica::Programació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.20062006-09-0120162016-04-25reporthttp://purl.org/coar/resource_type/c_93fcVoRhttp://purl.org/coar/version/c_970fb48d4fbd8a85info:eu-repo/semantics/reportapplication/pdfhttps://hdl.handle.net/2117/86164reponame:UPCommons. Portal del coneixement obert de la UPCinstname:Universitat Politècnica de Catalunya (UPC)Inglésengopen accesshttp://purl.org/coar/access_right/c_abf2info:eu-repo/semantics/openAccessoai:upcommons.upc.edu:2117/861642026-05-27T15:37: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 Sagrera, Jordi
OCL
Integrity constraints
Transformation
Àrees temàtiques de la UPC::Informàtica::Programació
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 Sagrera, Jordi
Teniente López, Ernest|||0000-0001-8890-9638
author Cabot Sagrera, Jordi
author_facet Cabot Sagrera, Jordi
Teniente López, Ernest|||0000-0001-8890-9638
author_role author
author2 Teniente López, Ernest|||0000-0001-8890-9638
author2_role author
dc.subject.none.fl_str_mv OCL
Integrity constraints
Transformation
Àrees temàtiques de la UPC::Informàtica::Programació
topic OCL
Integrity constraints
Transformation
Àrees temàtiques de la UPC::Informàtica::Programació
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 2006
dc.date.none.fl_str_mv 2006
2006-09-01
2016
2016-04-25
dc.type.none.fl_str_mv report
http://purl.org/coar/resource_type/c_93fc
VoR
http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.openaire.fl_str_mv info:eu-repo/semantics/report
format report
dc.identifier.none.fl_str_mv https://hdl.handle.net/2117/86164
url https://hdl.handle.net/2117/86164
dc.language.none.fl_str_mv Inglés
eng
language_invalid_str_mv Inglés
language eng
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:UPCommons. Portal del coneixement obert de la UPC
instname:Universitat Politècnica de Catalunya (UPC)
instname_str Universitat Politècnica de Catalunya (UPC)
reponame_str UPCommons. Portal del coneixement obert de la UPC
collection UPCommons. Portal del coneixement obert de la UPC
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869410546240978944
score 15.301603