索引
〔Y〕
〔Z〕
O
U
〔Y〕
语句
OCL
编写
概述
目标模型
求值
上下文元素
语法分析
〔Z〕
资源
OCL
创建
概述
O
OCL 语句的目标模型
OCL(对象约束语言)
概述
语句
编写
概述
目标模型
求值
上下文元素
语法分析
资源
创建
概述
UML 模型
概述
目标
U
UML 模型
使用 OCL 进行验证