Show simple item record

dc.contributor.authorQueralt Calafat, Anna
dc.contributor.authorArtale, Alessandro
dc.contributor.authorCalvanese, Diego
dc.contributor.authorTeniente López, Ernest
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació
dc.date.accessioned2013-01-25T10:19:42Z
dc.date.available2013-01-25T10:19:42Z
dc.date.created2012
dc.date.issued2012
dc.identifier.citationQueralt, 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.
dc.identifier.isbn1613-0073
dc.identifier.urihttp://hdl.handle.net/2117/17515
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.
dc.format.extent11 p.
dc.language.isoeng
dc.subjectÀrees temàtiques de la UPC::Informàtica::Sistemes d'informació
dc.subject.lcshOperational Control Language
dc.subject.lcshOCL-Lite
dc.titleOCL-Lite: a decidable (yet expressive) fragment of OCL
dc.typeConference report
dc.subject.lemacLlenguatges de programació -- Estructures
dc.contributor.groupUniversitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació
dc.description.peerreviewedPeer Reviewed
dc.relation.publisherversionhttp://www.dis.uniroma1.it/~dl2012/proceedings.html
dc.rights.accessOpen Access
local.identifier.drac10677987
dc.description.versionPostprint (published version)
local.citation.authorQueralt, A.; Artale, A.; Calvanese, D.; Teniente, E.
local.citation.contributorInternational Workshop on Description Logics
local.citation.pubplaceRoma
local.citation.publicationNameProceedings of the 25th International Workshop on Description Logics, June 7-10, 2012, Rome, Italy
local.citation.startingPage1
local.citation.endingPage11


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder