modelio не импортирует экспортированный файл увертюры uml
Я хочу научиться использовать Modelio и Overture вместе, чтобы научиться моделировать программы с UML и VDM. Вся процедура создания модели UML, ее экспорта в XMI (расширение uml) и импорта в Overture выполнена успешно.
Однако, когда я пытаюсь экспортировать его обратно в Modelio, появляется сообщение "Ошибка: содержимое файла не распознается как допустимая модель". В руководстве Overture рассказывается, что можно импортировать / экспортировать туда и обратно; однако, похоже, что функция не работает на данный момент.
Я могу делать что-то не так. Возможно, я должен установить Overture определенным образом, чтобы Modelio понимал экспортированный файл XMI. Все мои онлайн-поиски решения оказались безуспешными. Как я могу успешно экспортировать / импортировать из увертюры в Modelio?
Я использую Modelio 3.4.1 и Overture 2.3.0.
Спасибо.