I want to learn how to use Modelio and Overture together to learn to model programs with UML and VDM. The whole procedure about creating a UML model, exporting it to XMI (uml extension), and importing to Overture is done successfully.
However, when I try to export it back to Modelio, it brings "Failed: file content is not recognized as a valid model". Overture's tutorial tells it's possible to import/export back and forth; however, it seems the feature is broken as of now.
I may be doing something wrong. Maybe I have to set Overture in a certain way for Modelio to understand its exported XMI file. All of my online searches for a solution have been unsuccessful. How may I successfully export/import from Overture to Modelio?
I'm using Modelio 3.4.1 and Overture 2.3.0.
Thank you.