Synonyms
OCL
Definition
The Unified Modeling Language (UML) includes a textual language called Object Constraint Language (OCL). OCL allows users to navigate class diagrams, to formulate queries, and to restrict class diagrams with integrity constraints. From a practical perspective, the OCL may be viewed as an object-oriented version of the Structured Query Language (SQL) originally developed for the relational data model. From a theoretical perspective, OCL may be viewed as a variant of first-order predicate logic with quantifiers on finite domains only. OCL has a well-defined syntax [1, 3] and semantics [2].
Key Points
The central language features in OCL are: navigation, logical connectives, collections and collection operations.
Navigation: The navigation features in OCL allow users to determine connected objects in the class diagram by using the dot operator “. ”. Starting with an expression expr of start class C, one can apply a property propC of class Creturning, for example,...
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Recommended Reading
OMG (ed.). OMG object constraint language specification. OMG, 2007. www.omg.org.
Richters M, Gogolla M. On formalizing the UML object constraint language OCL. In: Proceedings of the 17th International Conference on Conceptual Modeling; 1998. p. 449–64.
Warmer J, Kleppe A. The object constraint language: getting your models ready for MDA. Boston: Addison-Wesley, Reading; 2003.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Section Editor information
Rights and permissions
Copyright information
© 2018 Springer Science+Business Media, LLC, part of Springer Nature
About this entry
Cite this entry
Gogolla, M. (2018). Object Constraint Language. In: Liu, L., Özsu, M.T. (eds) Encyclopedia of Database Systems. Springer, New York, NY. https://doi.org/10.1007/978-1-4614-8265-9_810
Download citation
DOI: https://doi.org/10.1007/978-1-4614-8265-9_810
Published:
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4614-8266-6
Online ISBN: 978-1-4614-8265-9
eBook Packages: Computer ScienceReference Module Computer Science and Engineering