Rights accessRestricted access - publisher's policy
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.
CitationFranconi, 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.
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. If you wish to make any use of the work not provided for in the law, please contact: firstname.lastname@example.org