统一建模2.0 相关硕士博士期刊学术论文

UML2．0OCL是基于一阶谓词逻辑和集合论的形式化语言，用它对UML类图进行条件约束后，类图便具备了严格的语法和精确的语义，同时也具备了......