Object Constraint Language

From CIMI
Revision as of 14:17, 26 February 2013 by Jay Lyle (Talk | contribs)

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

ERROR: This page name should be Category:Object Constraint Language
Instance of: Information Model
Instance of: Formal Language
Instance of: Standard or Specification