2026-04-17T14:21:44Zhttps://recercat.cat/oai/request

oai:recercat.cat:2117/241692026-02-02T04:39:00Zcom_2072_1033col_2072_452950

Logic foundations of the OCL modelling language Franconi, Enrico Mosca, Alessandro Oriol Hilari, Xavier Rull, Guillem 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ó Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació Object Constraint Language Declarative programming languages Programació declarativa Llenguatges de programació -- Construcció 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. Peer Reviewed Postprint (published version) 2014 Conference lecture 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. 978-3-319-11557-3 https://hdl.handle.net/2117/24169 10.1007/978-3-319-11558-0_49 eng http://link.springer.com/chapter/10.1007/978-3-319-11558-0_49 Restricted access - publisher's policy 8 p. application/pdf Springer