机译:OCL(FOR):有效表达完整性检查的一阶表达性OCL约束
Free Univ Bozen Bolzano, Bolzano, Italy;
SIRIS Acad, SIRIS LAB, R&D Div, Barcelona, Spain;
Univ Politecn Cataluna, InLab FIB, Barcelona, Spain;
Univ Barcelona, Barcelona, Spain;
Univ Politecn Cataluna, Dept Serv & Informat Syst Engn, Barcelona, Spain;
OCL; Relational algebra; Integrity checking;
机译:OCL(for):高阶表达OCL限制,用于高效完整性检查
机译:UML / OCL概念模式的增量完整性检查
机译:检查OCL约束的不满足性
机译:OCL_(UNIV):有效推理的表现力UML / OCL概念模式
机译:高效表达模型检查。
机译:一阶剪切变形理论在阶梯式功能梯度一般抛物面壳振动分析中的应用
机译:$$ hbox {ocl} _ textsf {fo} $$ ocl fo:一阶表达OCL约束,高效完整性检查
机译:演绎数据库系统和完整性约束检查