Show simple item record

dc.contributor.authorQueralt A
dc.contributor.authorArtale A
dc.contributor.authorCalvanese D
dc.contributor.authorTeniente E
dc.contributor.editorKazakov Y [et al.]
dc.date.accessioned2018-09-03T07:54:11Z
dc.date.available2018-09-03T07:54:11Z
dc.date.issued2012
dc.identifier.issn1613-0073
dc.identifier.urihttp://ceur-ws.org/Vol-846/
dc.identifier.urihttp://hdl.handle.net/10863/5937
dc.description.abstractUML 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.en_US
dc.language.isoenen_US
dc.publisherCEUR-WS.orgen_US
dc.relation.ispartofseriesCEUR Workshop Proceedings;
dc.rights
dc.titleOCL-Lite: A decidable (yet expressive) fragment of OCLen_US
dc.typeBook chapteren_US
dc.date.updated2018-09-03T07:02:19Z
dc.publication.titleProceedings of the 25th International Workshop on Description Logics (DL 2012)
dc.language.isiEN-GB
dc.description.fulltextopenen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record