所以.. 我正在尝试同时使用 Modelio 和 Overture，但这两个程序对我来说都是新的。
我想先在 Modelio 中制作一个模型，然后将其导出到 Overture。
但它应该以这种方式工作，还是我应该单独制作？
问问题
109 次
2 回答
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用户指南
于 2017-01-04T10:45:02.733 回答
0
我猜您想同时使用 Modelio 和 Overture 进行 vdmrt 编码。在这种情况下，理想的工作方式是在 Modelio 中创建一个模型，然后将其导出为 vdmrt 类并在 Overture 中使用它们，因为 Modelio 与 Eclipse/Java 一起工作。不幸的是，Mdoelio 没有为 vdmrt 提供任何生成/反向工具......
但是 Modelio 和 Overture 可以一起用于 CPS 建模。这是INTO-CPS 项目的目标。在这个项目中，Modelio 和 Overture 都提供了FMI工具，允许他们定义 CPS 仿真。如果您想了解更多信息，请告诉我。
于 2017-01-04T10:32:06.827 回答