dc.contributor
Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació
dc.contributor
Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació
dc.contributor.author
Franconi, Enrico
dc.contributor.author
Mosca, Alessandro
dc.contributor.author
Oriol Hilari, Xavier
dc.contributor.author
Rull, Guillem
dc.contributor.author
Teniente López, Ernest
dc.identifier
Franconi, E. [et al.]. Logic foundations of the OCL modelling language. A: European Conference on Logics In Artificial Intelligence. "Logics in artificial intelligence : 14th European Conference, JELIA 2014 : Funchal, Madeira, Portugal, September 24-26, 2014 : Proceedings". Funchal: Springer, 2014, p. 657-664.
dc.identifier
978-3-319-11557-3
dc.identifier
https://hdl.handle.net/2117/24169
dc.identifier
10.1007/978-3-319-11558-0_49
dc.description.abstract
In this paper we define the first-order fragment of the Object Constraint Language (OCL), the declarative language for describing rules that apply to conceptual schemas in the Unified Modelling Language (UML). This fragment covers the whole of OCL without arithmetic operators, aggregation functions, iterators, and recursion. We give the set theoretical formal syntax and semantics in an elegant, concise, and clear way. This fragment has the same expressivity as domain-independent first-order logic (aka relational algebra), in the sense that any relational algebra expression can be reformulated as a logically equivalent OCL expression, and vice-versa.
dc.description.abstract
Peer Reviewed
dc.description.abstract
Postprint (published version)
dc.format
application/pdf
dc.relation
http://link.springer.com/chapter/10.1007/978-3-319-11558-0_49
dc.rights
Restricted access - publisher's policy
dc.subject
Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació
dc.subject
Object Constraint Language
dc.subject
Declarative programming languages
dc.subject
Programació declarativa
dc.subject
Llenguatges de programació -- Construcció
dc.title
Logic foundations of the OCL modelling language
dc.type
Conference lecture
