Logic Foundations of the OCL Modelling Language

  • Enrico Franconi
  • Alessandro Mosca
  • Xavier Oriol
  • Guillem Rull
  • Ernest Teniente
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8761)


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.


Class Diagram Relational Algebra Association Class Object Management Group Domain Element 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Object Management Group: OMG object constraint language (OCL). Technical Report formal/2012-01-01, Object Management Group, Inc. (2012)Google Scholar
  2. 2.
    Mandel, L., Cengarle, M.V.: On the expressive power of the object constraint language OCL. In: Wing, J.M., Woodcock, J. (eds.) FM 1999. LNCS, vol. 1708, pp. 854–874. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  3. 3.
    Balsters, H.: Modelling database views with derived classes in the UML/OCL-framework. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 295–309. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  4. 4.
    Queralt, A., Teniente, E.: Verification and validation of UML conceptual schemas with OCL constraints. ACM Trans. Softw. Eng. Methodol. 21(2), 13 (2012)CrossRefGoogle Scholar
  5. 5.
    Clavel, M., Egea, M., de Dios, M.A.G.: Checking unsatisfiability for OCL constraints. In: Proceedings of the Workshop The Pragmatics of OCL and Other Textual Specification Languages, vol. 24. ECEASST (2009)Google Scholar
  6. 6.
    Beckert, B., Keller, U., Schmitt, P.H.: Translating the object constraint language into first-order predicate logic. In: Proceedings of VERIFY, Workshop at Federated Logic Conferences, FLoC (2002)Google Scholar
  7. 7.
    Egea, M., Dania, C., Clavel, M.: MySQL4OCL: A stored procedure-based MySQL code generator for OCL. Electronic Communications of the EASST 36 (2010)Google Scholar
  8. 8.
    Demuth, B., Wilke, C.: Model and object verification by using Dresden OCL. In: Proceedings of the Russian-German Workshop Innovation Information Technologies: Theory and Practice, Ufa, Russia, pp. 687–690 (2009)Google Scholar
  9. 9.
    Franconi, E., Mosca, A.: Towards a core ORM2 language (research note). In: Demey, Y.T., Panetto, H. (eds.) OTM 2013 Workshops 2013. LNCS, vol. 8186, pp. 448–456. Springer, Heidelberg (2013)Google Scholar
  10. 10.
    Queralt, A., Artale, A., Calvanese, D., Teniente, E.: OCL-Lite: finite reasoning on UML/OCL conceptual schemas. Data & Knowledge Engineering 73, 1–22 (2012)CrossRefGoogle Scholar
  11. 11.
    Demuth, B., Hussmann, H.: Using UML/OCL constraints for relational database design. In: France, R.B. (ed.) UML 1999. LNCS, vol. 1723, pp. 598–613. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  12. 12.
    Clavel, M., Egea, M., García de Dios, M.A.: Building an efficient component for OCL evaluation. Electronic Communications of the EASST 15 (2008)Google Scholar
  13. 13.
    Akehurst, D.H., Bordbar, B.: On querying UML data models with OCL. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, pp. 91–103. Springer, Heidelberg (2001)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Enrico Franconi
    • 1
  • Alessandro Mosca
    • 1
    • 2
  • Xavier Oriol
    • 3
  • Guillem Rull
    • 4
  • Ernest Teniente
    • 3
  1. 1.KRDB Research CentreFree University of Bozen-BolzanoItaly
  2. 2.SIRIS AcademicSpain
  3. 3.Universitat Politècnica de CatalunyaSpain
  4. 4.Universitat de BarcelonaSpain

Personalised recommendations