1

我必须开发一个将元模型(类图)和他的实例(对象图)作为输入的 API,但我不知道如何以编程方式进行操作。

我做了一些研究,发现我可以使用 EMF API,但我不确定如何去做以及如何在验证之前插入我的图表。

我是初学者,迷失在互联网上的所有文档之间,如果我的主题不清楚,请原谅

我只需要一些方向,建议了解我必须做什么。

编辑:主题是针对他使用Magic Draw创建的元模型验证实例。所以我必须导出文件(ecore?XMI?我不知道谁是最好的)然后创建一个解析这两个文件的Java API(我还需要弄清楚如何注入/导入它们)并返回一个布尔值关于验证。这是第一步,之后我想我会添加 OCL 约束来验证实例,但现在我需要专注于简单的验证。如果需要,我如何使用 EMF 或其他工具来做到这一点

4

2 回答 2

4

您的问题可以从两个层面回答:概念和实施。我不确定您要寻求哪方面的帮助,因此我将尝试涵盖两者。如果其中任何一个是多余的,请道歉(希望两者都不是!)。

首先:对于您给出的示例,将类图称为“模型”并将对象图称为该模型的实例会更正常。严格来说,“元模型”用于描述依次具有实例的模型。我会在下面坚持你的术语,但可能值得注意。

概念层面

通过“概念”,我的意思是回答“根据元模型验证模型意味着什么”这个问题?

答案很简单。元模型是一个模式或一组规则,用于定义构成有效模型的内容。xml 提供了一个很好的例子。xml 模式定义了某些主题的结构和规则:允许哪些类型,它们可以具有哪些属性,一个属性是否可以具有多个值,一个属性可以包含的可能值的集合。等等。当且仅当它不违反架构中定义的任何规则时,xml 文档才符合架构。

推广到模型:当且仅当模型不违反元模型中定义的任何规则时,模型才符合其元模型。

实施级别

您没有详细说明“API”将用于什么。可能您最简单的解决方案就是使用 xml:元模型就是 xml 模式,而模型是符合这些模式的 xml 文档。然后,您的“实现”将只涉及选择众多验证 xml 解析器库之一并从您的客户端代码中调用它。

但是您提到 EMF,所以也许您需要使用它。为简化起见,假设我们要定义一个元模型,如下所示:

Class Dog {
  name: String
  gender: String
  owner: Person
}

Class Person {
  name: String
  address: Address
  dogs: Set<Dog>
}

EMF 提供了一个 API—— eCore API——来定义这些东西。可以把它想象成 java 的反射 API。您可以通过创建 eCore API 的实例(以编程方式或通过其中一个编辑器)来定义元模型。所以你会创建:

  • 两个实例EClass(一个用于人,一个用于狗)
  • 六个实例EAttribute(每个属性一个)
  • 一个EReferencefor Class.owner 和一个 for Person.dogs 的EReferences集合

等等。eCore API 还提供了使用 API 创建模型实例的能力。(如果需要,它还会为您自动生成一个编辑器,以便在 Eclipse GUI 中创建实例)。您还可以阅读各种具体语法的模型实例。如果您正在阅读的模型不符合元模型,EMF 将引发异常。

对不起,如果这有点长。如果需要,这里有一篇很好的文章会更详细地介绍一个示例。

编辑

对修改后的问题的补充:

主题是根据他使用 Magic Draw 创建的元模型验证实例。

好的。我对 MagicDraw 的导出功能了解不多,但如果它可以导出 ecore,那么这应该是一个不错的起点:

  • 将类图(“元模型”)导出为 ecore 并加载到 EMF 中以创建模型。这应该很简单。
  • 同样将对象图导出为 ecore 并加载,让 EMF 在加载时验证。如果您需要添加进一步的验证,@Charles 的帖子提供了指向 EMF 验证框架的良好链接。

如果您有很多工作要做,那么可能值得投资EMF 书。它不是最容易访问的,但它确实提供了对 EMF 各种元素的良好覆盖。

hth。

于 2012-04-12T20:05:09.540 回答
2

如果您使用 ECore 定义了元模型,EMF 将生成用于创建已定义 EClass 的实例(模型)的 java API。因此,根据定义,您的模型将符合其元模型。

如果您的模型是由另一个应用程序创建的,并且您想根据单独创建的元模型对其进行验证,首先您可以尝试使用 EMF 从您的元模型生成的编辑器打开您的模型。如果它不合规,您将遇到一些错误,这对于第一次尝试可能就足够了。如果我没记错的话,这也是一个默认验证器,您可以通过右键单击生成的编辑器并选择“验证”来运行它。

EMF 提供了另一种解决方案:EMF Validation Framework。该框架将允许您定义将针对您的实例进行验证的约束。

public class MyConstraint extends AbstractModelConstraint{
   @Override
   public IStatus validate(IValidationContext ctx) {
      try{
         //Get the object that will be validated
         Object obj = ctx.getTarget();
         //Here you can run you validation
         //Create Validation Status
         return validationStatus
      } catch (Exception e) {
         return ctx.createFailureStatus(e);
      }
   }
}

有关更多信息,您可以查看本教程:http ://help.eclipse.org/helios/index.jsp?topic=%2Forg.eclipse.emf.validation.doc%2Ftutorials%2FvalidationTutorial.html

我很确定您可以在元模型上定义 OCL 约束,但这是另一个项目的一部分。看看这个:http ://www.eclipse.org/modeling/mdt/?project=ocl#ocl 我从来没有用过它,所以我不能帮你。对不起。

我希望它有所帮助。

查尔斯

于 2012-04-13T09:16:03.457 回答