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