Modelio 和 Overture，是分开工作的吗？答案

【问题标题】：Modelio and Overture, does it work separately?Modelio 和 Overture，是分开工作的吗？
【发布时间】：2017-01-04 10:11:20
【问题描述】：

所以.. 我正在尝试同时使用 Modelio 和 Overture，但这两个程序对我来说真的很新。

我想先在 Modelio 中制作一个模型，然后将其导出到 Overture。

但它应该以这种方式工作，还是我应该单独制作？

【问题讨论】：

标签： modelio vdm++

【解决方案1】：

我假设您打算使用 Modelio 创建一个包含一些类的类图，然后将该图导出到 EMF UML，该 EMF UML 可以在 Overture 中导入。 Overture 然后将创建与类图中定义的类匹配的 VDM 类。

要将 UML 类图模型转换为 VDM++ 模型，首先需要导出 UML 模型从 Modelio 到 Eclipse XMI 格式，使用 EMF UML3.0.0 格式称为 UML。目前，Modelio 是唯一支持的 UML 工具。特别是导出的 UML 模型已使用 Modelio 3.3.1 进行测试。

导出：右键单击 VDM++ 或 VDM-RT 项目以访问 UML 转换的子菜单。从这里可以转换为 UML。生成的 .uml 文件将被保存到项目的生成文件夹。

导入：要执行 UML 导入，您必须在相关项目文件夹中有 .uml 文件。您可以手动复制它，也可以使用 Eclipse Import - File System 特性。然后，可以右键单击 .uml 文件并选择 UML 转换的子菜单然后选择转换为 VDM

更多信息请参阅Overture userguide

【讨论】：

嘿劳斯达尔。我不知道这是否能解决所有问题，但我想出了如何从 Overture 导出并将 .umi 导入 Modelio。我可以在左侧看到我的班级和所有内容，但我似乎无法让它显示我的模型。你能帮我解决这个问题吗？问候，卡米拉
我猜你必须创建一个类图并将你的类（在左侧）拖放到你的图中。

【解决方案2】：

我猜您想同时使用 Modelio 和 Overture 进行 vdmrt 编码。在这种情况下，理想的工作方式是在 Modelio 中创建一个模型，然后将其导出为 vdmrt 类并在 Overture 中使用它们，因为 Modelio 与 Eclipse/Java 一起使用。不幸的是，Mdoelio 没有为 vdmrt 提供任何生成/反向工具......

但 Modelio 和 Overture 可以一起用于 CPS 建模。这是INTO-CPS project 目标。在这个项目中，Modelio 和 Overture 都提供了FMI 工具，允许他们定义 CPS 仿真。如果您想了解更多信息，请告诉我。

【讨论】：