【文件属性】：
文件名称：OCL Specification v2.4.pdf
文件大小：1.74MB
文件格式：PDF
更新时间：2023-05-05 11:50:29
对象约束放言 OCL Object contraint
This clause introduces the Object Constraint Language (OCL), 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. Note that when the OCL expressions are evaluated, they do not have side effects (i.e.,
their evaluation cannot alter the state of the corresponding executing system).
OCL expressions can be used to specify operations / actions that, when executed, do alter the state of the system. UML
modelers can use OCL to specify application-specific constraints in their models. UML modelers can also use OCL to
specify queries on the UML model, which are completely programming language independent.
Note - This clause is informative only and not normative.