机译:将基本OCL不变量转换为嵌套图约束以生成元模型实例
Universität Oldenburg, Germany;
GFFT InnovationsförderungGmbH, Bad Vibel, Germany;
Universität Oldenburg, Germany;
Universität Oldenburg, Germany;
Philipps-Universität Marburg, Germany;
Meta modeling; Essential OCL; Graph constraints; Instance generation;
机译:ODP企业语言中用于结构约束的UML / OCL元模型语法
机译:将OCL不变量转换为OWL 2 DL公理以检查不一致的方法
机译:共同演化的元模型及其实例模型:基于图变换的形式化方法
机译:将OCL基本不变式转换为嵌套图约束(着重于集合操作)
机译:使用嵌套图模型和加权图理论不变式区分蛋白质及其诱饵。
机译:去脑猫产生力约束策略的基本特征
机译:将基本OCL不变性转换为嵌套的图形约束,专注于设置操作