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...
| Autores: | , |
|---|---|
| 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 |