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

Question

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

但是它应该是这样工作的，还是我应该分开来做呢？

Answer 1

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

要将UML类图模型转换为VDM++模型，首先需要将

模型从Modelio导出为Eclipse XMI格式，即使用EMF UML3.0.0格式的UML。目前，Modelio是唯一支持的UML工具。特别是，导出的UML模型已经使用Modelio 3.3.1进行了测试。

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

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

有关详细信息，请参阅Overture userguide

Answer 2

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

但是Modelio和Overture可以一起用于CPS建模。这是INTO-CPS project aim。在这个项目中，Modelio和Overture都提供了FMI设施，允许他们定义CPS仿真。如果你想了解更多信息，请让我知道。