OCL-Lite: a decidable (yet expressive) fragment of OCL
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/17515
Tipus de documentText en actes de congrés
Data publicació2012
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
UML has become a de facto standard in conceptual modeling. Class diagrams in UML allow one to model the data in the domain
of interest by specifying a set of graphical constraints. However, in most cases one needs to provide the class diagram with additional semantics to completely specify the domain, and this is where OCL comes into
play. While reasoning over class diagrams is decidable and has been investigated
intensively, it is well known that checking the correctness of OCL constraints is undecidable. Thus, we introduce OCL-Lite, a fragment of the full OCL language and prove that reasoning over UML class diagrams with OCL-Lite constraints is in ExpTime by an encoding in the description logic ALCI. As a side result, DL techniques and tools can be used to reason on UML class diagrams annotated with arbitrary OCL-Lite constraints.
CitacióQueralt, A. [et al.]. OCL-Lite: a decidable (yet expressive) fragment of OCL. A: International Workshop on Description Logics. "Proceedings of the 25th International Workshop on Description Logics, June 7-10, 2012, Rome, Italy". Roma: 2012, p. 1-11.
ISBN1613-0073
Versió de l'editorhttp://www.dis.uniroma1.it/~dl2012/proceedings.html
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
paper_55-1.pdf | 377,8Kb | Visualitza/Obre |