CRIP5, Paris 5 University 45 rue des Saints Peres, 75270 Paris cedex 06, France;
机译:网格工作流系统中时间约束动态验证的基于活动完成时长的检查点选择
机译:OCL(FOR):有效表达完整性检查的一阶表达性OCL约束
机译:OCL(for):高阶表达OCL限制,用于高效完整性检查
机译:在完成UML中表达和检查继承约束
机译:使用对象约束语言的时间扩展进行模型检查UML设计。
机译:利用UMLS语义检查UMLS概念中的语义一致性
机译:$$ hbox {ocl} _ textsf {fo} $$ ocl fo:一阶表达OCL约束,高效完整性检查