To access the full text documents, please follow this link: http://hdl.handle.net/2117/17515

OCL-Lite: a decidable (yet expressive) fragment of OCL
Queralt Calafat, Anna; Artale, Alessandro; Calvanese, Diego; Teniente López, Ernest
Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació; Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació
UML has become a de facto standard in conceptual modeling. Class diagrams in UML allow one to model the data in the domainof 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 intoplay. While reasoning over class diagrams is decidable and has been investigatedintensively, 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.
Peer Reviewed
Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació
Operational Control Language
OCL-Lite
Llenguatges de programació -- Estructures
info:eu-repo/semantics/publishedVersion
info:eu-repo/semantics/conferenceObject
         

Show full item record

Related documents

Other documents of the same author

Calvanese, Diego; Montali, Marco; Estañol Lamarca, Montserrat; Teniente López, Ernest
Calvanese, Diego; Montali, Marco; Estañol Lamarca, Montserrat; Teniente López, Ernest
Estañol Lamarca, Montserrat; Queralt Calafat, Anna; Sancho Samsó, María Ribera; Teniente López, Ernest
Estañol Lamarca, Montserrat; Queralt Calafat, Anna; Sancho Samsó, María Ribera; Teniente López, Ernest
Estañol Lamarca, Montserrat; Queralt Calafat, Anna; Sancho Samsó, María Ribera; Teniente López, Ernest
 

Coordination

 

Supporters