Transformation techniques for OCL constraints

Authors:
J. Cabot;E. Teniente
Affiliations:
Estudis dInformàtica i Multimèdia, Universitat Oberta de Catalunya, Rambla del Poblenou, 156, E08018 Barcelona, Spain;Dept. Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya, Campus Nord, Ed. Omega, 132, E08034 Barcelona, Spain
Venue:
Science of Computer Programming
Year:
2007

Citing 8
Cited 3

Complete rules for n-ary relationship cardinality constraints

Data & Knowledge Engineering
Refactoring UML Models

«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Expressing UML Class Diagrams Properties with OCL

Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Transforming OCL constraints: a context change approach

Proceedings of the 2006 ACM symposium on Applied computing
Incremental evaluation of OCL constraints

CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
Refactoring OCL annotated UML class diagrams

MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Simplifying transformations of OCL constraints

MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Constraint support in MDA tools: a survey

ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications

Assessing the influence of import-coupling on OCL expression maintainability: A cognitive theory-based perspective

Information Sciences: an International Journal
Modular embedding of the object constraint language into a programming language

SBMF'11 Proceedings of the 14th Brazilian conference on Formal Methods: foundations and Applications
Applying MDE to the (semi-)automatic development of model transformations

Information and Software Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.