OCLuniv: Expressive UML/OCL conceptual schemas for finite reasoning
Visualitza/Obre
10.1007/978-3-319-69904-2_28
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/112647
Tipus de documentText en actes de congrés
Data publicació2017
EditorSpringer
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
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 limitation to current proposals. In this paper, we go beyond these limits by showing that OCL UNIVUNIV with acyclic min cardinality constraints and path acyclicity constraints also preserves decidability. In this way, we establish a language that can deal with most of UML/OCL identified constraint patterns. We also empirically test the expressiveness of this language through different UML/OCL case studies.
Citació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.
ISBN978-3-319-69904-2
Versió de l'editorhttps://link.springer.com/chapter/10.1007%2F978-3-319-69904-2_28
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
ER-2017.pdf | 240,8Kb | Visualitza/Obre |