我想学习如何一起使用Modelio和Overture来学习使用UML和VDM建模程序。关于创建UML模型，将其导出到XMI（uml扩展名）以及导入到Overture的整个过程都已成功完成。
但是，当我尝试将其导出回Modelio时，会出现“失败：文件内容无法识别为有效模型”。 Overture的教程告诉它可以来回导入/导出;但是，到目前为止，这个功能似乎已被打破。
我可能做错了什么。也许我必须以某种方式设置Overture，以便Modelio了解其导出的XMI文件。我在线搜索所有解决方案都没有成功。我如何成功地从Overture导出/导入到Modelio？
我正在使用Modelio 3.4.1和Overture 2.3.0。
谢谢。