Transforming OCL constraints: a context change approach

8 years 7 months ago
Transforming OCL constraints: a context change approach
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. Categories and Subject Descriptors D.2.1 [Software Engineering] Requirements/Specifications; D.2.2 [Software Engineering]: Design tools and techniques. General Terms Design, Languages, Algorithm Keywords OCL, integrity constraint, context change, transformation
Jordi Cabot, Ernest Teniente
Added 15 Dec 2010
Updated 15 Dec 2010
Type Journal
Year 2006
Where SAC
Authors Jordi Cabot, Ernest Teniente
Comments (0)