验证和浏览 UML 模型元素的特征
当使用 UML 模型时,可以使用“对象约束语言”(OCL)编辑器来浏览模型元素的特征。例如,可以编写一条 OCL 语句来查询 UML 模型中的所有类所拥有的属性列表。还可以确保 OCL 语句的语法正确,而不必使用约束定义来指定 OCL 语句。
创建 OCL 资源
创建“对象约束语言”(OCL)资源来存储 OCL 语句。然后,可以对 OCL 语句进行语法分析以确保它们在语法上有效,或者对 OCL 语句求值以查询元模型的特征。
编写 OCL 语句
可以编写“对象约束语言”(OCL)语句来查询 UML 模型元素的特征。
对 OCL 语句进行语法分析
可以对单个“对象约束语言”(OCL)语句进行语法分析以确保它在语法上是有效的。如果 OCL 资源包含多个 OCL 语句,则
控制台
视图将报告 OCL 语句在语法上不正确。但是,如果一次只对一个 OCL 语句进行语法分析,则可以避免发生这种情况。
对 OCL 语句求值
可以对单个“对象约束语言”(OCL)语句求值以查询元模型的特征。例如,可以对将返回布尔值等简单类型的 OCL 语句求值,也可以对将返回元模型对象列表的 OCL 语句求值。如果 OCL 资源包含多个 OCL 语句,则
控制台
视图将报告 OCL 语句在语法上不正确。但是,如果 OCL 资源包含多个 OCL 语句,则可以对所选择的单个 OCL 语句求值。
相关概念
OCL 资源和语句
OCL 语句的目标模型
OCL 语句的上下文元素
反馈