Modelio和Overture，它是否单独工作？

Question

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

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

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

Answer 1

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

  

要将UML类图模型转换为VDM ++模型，首先需要导出UML   从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的子菜单   然后选择转换为VDM

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

Answer 2

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

但是Modelio和Overture可以合作进行CPS建模。这是INTO-CPS project目标。在这个项目中，Modelio和Overture都提供FMI设施，允许他们定义CPS模拟。如果您想了解更多信息，请告诉我。