Transforming OCL constraints: a context change approach

Authors:
Jordi Cabot;Ernest Teniente
Affiliations:
Universitat Oberta de Catalunya, Av. Tibidabo, Barcelona;Universitat Politècnica de Catalunya, Campus Nord, Barcelona
Venue:
Proceedings of the 2006 ACM symposium on Applied computing
Year:
2006

Citing 4
Cited 5

Object-oriented systems analysis: a model-driven approach

Object-oriented systems analysis: a model-driven approach
Complete rules for n-ary relationship cardinality constraints

Data & Knowledge Engineering
Expressing UML Class Diagrams Properties with OCL

Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Refactoring OCL annotated UML class diagrams

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

Transformation techniques for OCL constraints

Science of Computer Programming
Transformation techniques for OCL constraints

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

Information Sciences: an International Journal
Incremental evaluation of OCL constraints

CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
Tool supported OCL refactoring catalogue

Proceedings of the 12th Workshop on OCL and Textual Modelling

Quantified Score

Hi-index	0.00

Visualization

Abstract

Integrity constraints (ICs) play a key role in the definition of conceptual schemas. In the UML, ICs are usually specified as invariants written in the OCL. However, due to the high expressiveness of the OCL, the designer has different syntactic alternatives to express each IC, mainly depending on the type used as a context of the constraint. The method presented in this paper assists the designer during the definition of ICs by means of automatically transforming the initially defined constraints into equivalent alternatives. The method is also useful in the context of the MDA, where the choice of a particular alternative has a direct effect on the efficiency of the automatically generated implementation.