0

我正在使用 OCLinEcore 编辑器开发一个在 OCL 中定义了一些不变量的 Ecore 模型。在我的模型中，一些元素引用了 EClassifier；在某些 OCL 约束中，我需要检查所引用的 EClassifier 是 EDataType 还是 EClass。在 OCLinEcore 中，这是一个类似于我的模型：

import ecore : 'http://www.eclipse.org/emf/2002/Ecore#/';

package Foo : foo = 'some_namespace'
{
  class EndPoint
  {
    attribute name : String[1];
    property type : ecore::EClassifier[1];
  }

  class Coupling
  {
    invariant Compatibility:
      (destination.type.oclIsKindOf(ecore::EDataType) and source.type = destination.type) or
      let destinationClass : ecore::EClass = destination.type.oclAsType(ecore::EClass) in
      destinationClass.isSuperTypeOf(source.type.oclAsType(ecore::EClass));

    property source : EndPoint[1];
    property destination : EndPoint[1];
  }
}

但是，当我尝试验证模型的动态实例时，会出现异常并显示以下消息：

在“耦合”上委派评估“兼容性”约束时发生异常：未知类型（[ecore，EDataType]）

当我在 OCL 交互式控制台中尝试表达式时，我得到了正确的结果。定义我的不变量时我做错了什么吗？如何编写使用 Ecore 类型的不变量？

4

1 回答 1

1

Edward Willink在 OCL 论坛上给了我一个解释和解决方法：

裸 OCL 不支持将 ecore 绑定到有用的东西，因此 oclAsType(ecore::EClass) 具有未解析的引用，因为每个 ecxpression 都是 ECore 文件中的独立片段。

因此，Juno 版本添加了一个扩展，其中包限定符可能是一个 URI，因此如果您看到上面的序列化它可能是 oclAsType(_'http://www.eclipse.org/emf/2002/Ecore'::ecore ::E类）。

Juno 版本还增加了您是否将新的 Pivot 绑定与此扩展功能一起使用的灵活性。在 Window->Preferences->OCL 页面中，确保为默认委托选择的执行程序是 http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot。

于 2012-06-11T12:09:14.503 回答