文件名称:OCL的教程(对象约束语言)
文件大小:64KB
文件格式:PPT
更新时间:2012-12-13 07:25:44
OCL/软件工程/对象约束语言
Object Contraint Language OCL是一种用于施加在指定的模型元素上约束的语言。OCL表达式以附加在模型元素上的条件和限制的形式来指定规则。这包括附加在模型元素上的不变量或者约束的表达式,附加在操作和方法上的前置和后置条件,监护条件,以及模型元素之间的导航
文件名称:OCL的教程(对象约束语言)
文件大小:64KB
文件格式:PPT
更新时间:2012-12-13 07:25:44
OCL/软件工程/对象约束语言
Object Contraint Language OCL是一种用于施加在指定的模型元素上约束的语言。OCL表达式以附加在模型元素上的条件和限制的形式来指定规则。这包括附加在模型元素上的不变量或者约束的表达式,附加在操作和方法上的前置和后置条件,监护条件,以及模型元素之间的导航