Loading...
Loading...

Go to the content (press return)

OCLuniv: Expressive UML/OCL conceptual schemas for finite reasoning

Author
Oriol, X.; Teniente, E.
Type of activity
Presentation of work at congresses
Name of edition
36th International Conference on Conceptual Modeling
Date of publication
2017
Presentation's date
2017-11-08
Book of congress proceedings
Conceptual Modeling: 36th International Conference, ER 2017: Valencia, Spain, November 6–9, 2017: proceedings
First page
354
Last page
369
Publisher
Springer
DOI
https://doi.org/10.1007/978-3-319-69904-2_28 Open in new window
Project funding
Modelització i Processament de la Informació (MPI)
Specification, verification and simulation of models for the servititation process of the ITIT
Repository
http://hdl.handle.net/2117/112647 Open in new window
URL
https://link.springer.com/chapter/10.1007%2F978-3-319-69904-2_28 Open in new window
Abstract
Full UML/OCL is so expressive that most reasoning tasks are known to be undecidable in schemas defined with these languages. To tackle this situation, literature has proposed mainly three decidable fragments of UML/OCL: UML with no OCL, UML with limited OCL and no maximum cardinality constraints (OCL-Lite), and UML with limited OCL with no minimum cardinality constraints (OCL UNIVUNIV ). Since most conceptual schemas make use of OCL together with min and max cardinalities, this poses a strong l...
Citation
Oriol, X., Teniente, E. OCLuniv: Expressive UML/OCL conceptual schemas for finite reasoning. A: International Conference on Conceptual Modeling. "Conceptual Modeling: 36th International Conference, ER 2017: Valencia, Spain, November 6–9, 2017: proceedings". València: Springer, 2017, p. 354-369.
Keywords
Decidability, OCL, UML
Group of research
IMP - Information Modelling and Processing
inLab FIB

Participants

Attachments