机译:OCL(FOR):有效表达完整性检查的一阶表达性OCL约束
机译:OCL(for):高阶表达OCL限制,用于高效完整性检查
机译:转换包含模式和XML查询的XML架构以反对约束语言(OCL)
机译:使用OCL描述和验证XML中的完整性约束
机译:基于新的可扩展约束标记语言的XML约束的可视化建模。
机译:描述基于规则的多组分分子络合物反应网络建模特征的XML编码
机译:$$ hbox {ocl} _ textsf {fo} $$ ocl fo:一阶表达OCL约束,高效完整性检查
机译:使用XmL在基于计算机的设计中描述函数和分类