Loading...
Loading...

Go to the content (press return)

Reasoning on UML class diagrams with OCL constraints

Author
Queralt, A.; Teniente, E.
Type of activity
Presentation of work at congresses
Name of edition
25th International Conference on Conceptual Modeling
Date of publication
2006
Presentation's date
2006-11
Book of congress proceedings
Conceptual Modeling, ER 2006: 25th International Conference on Conceptual Modeling: Tucson, AZ, USA, November 6-9, 2006: proceedings
First page
497
Last page
512
DOI
https://doi.org/10.1007/11901181_3 Open in new window
URL
https://link.springer.com/chapter/10.1007/11901181_37 Open in new window
Abstract
We propose a new approach to check whether a given UML class diagram with its OCL integrity constraints satisfies a set of desirable properties such as schema satisfiability, class liveliness, redundancy of integrity constraints or reachability of partially specified states. Our approach is based on translating both the class diagram and the OCL constraints into a logic representation. Then, we use the CQC Method to verify whether these properties hold for the given diagram and constraints.
Group of research
IMP - Information Modelling and Processing
inLab FIB

Participants