Loading...
Loading...

Go to the content (press return)

Transformation techniques for OCL constraints

Author
Cabot, J.; Teniente, E.
Type of activity
Report
Date
2006-09
Code
LSI-06-33-R
Repository
http://hdl.handle.net/2117/86164 Open in new window
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 M...
Citation
Cabot, J., Teniente, E. "Transformation techniques for OCL constraints". 2006.
Keywords
Integrity constraints, OCL, Transformation
Group of research
IMP - Information Modelling and Processing
inLab FIB

Participants

Attachments