Modelio と Overture を一緒に使用して、UML と VDM でプログラムをモデル化する方法を学びたいです。UML モデルの作成、XMI (uml 拡張) へのエクスポート、および Overture へのインポートに関する手順全体が正常に完了しました。
しかし、それを Modelio にエクスポートしようとすると、「失敗しました: ファイルの内容が有効なモデルとして認識されません」というメッセージが表示されます。Overture のチュートリアルでは、前後にインポート/エクスポートすることが可能であると述べています。ただし、現時点では機能が壊れているようです。
私は何か間違ったことをしているかもしれません。エクスポートされた XMI ファイルを Modelio が理解できるように、Overture を特定の方法で設定する必要があるかもしれません。解決策をオンラインで検索することはすべて失敗しました。Overture から Modelio に正常にエクスポート/インポートするにはどうすればよいですか?
Modelio 3.4.1 と Overture 2.3.0 を使用しています。
ありがとうございました。