Object Constraint Language

From CIMI
Jump to: navigation, search


Abbreviation: OCL
Definition: A formal language used to describe expressions on UML models, typically to specify invariant conditions that must hold for the system being modeled or queries over objects described in a model
Reference Definition: The Object Constraint Language (OCL) is a declarative language for describing rules that apply to Unified Modeling Language (UML) models developed at IBM and now part of the UML standard. The Object Constraint Language is a precise text language that provides constraint and object query expressions on any MOF model or meta-model that cannot otherwise be expressed by diagrammatic notation. (Wikipedia)
Reference Definition: A formal language used to describe expressions on UML models. These expressions typically specify invariant conditions that must hold for the system being modeled or queries over objects described in a model. (OMG) - Object Constraint Language 2.2
Instance of: Information Model
Instance of: Formal Language
Instance of: Standard or Specification