【文件属性】：
文件名称：OCL 官方正式文档
文件大小：2.46MB
文件格式：PDF
更新时间：2017-01-07 12:07:22
OCL formal 官方 对象约束语言
OCL formal 官方 对象约束语言
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).