Modelio и Overture, это работает отдельно?
Итак... Я пытаюсь работать как с Modelio, так и с Overture, но обе программы действительно новые для меня.
Я хочу сначала сделать модель в Modelio, а затем экспортировать ее в Overture.
Но должно ли это работать так, или я должен сделать это отдельно?
2 ответа
Я предполагаю, что вы намереваетесь использовать Modelio для создания диаграммы классов с некоторыми классами, а затем экспортировать эту диаграмму в EMF UML, который можно импортировать в Overture. Затем Overture создаст классы VDM, соответствующие классу, определенному на диаграмме классов.
Чтобы преобразовать модель диаграммы класса UML в модель VDM++, сначала необходимо экспортировать модель UML из Modelio в формат Eclipse XMI, называемый UML, с использованием формата EMF UML3.0.0. На данный момент Modelio - единственный поддерживаемый инструмент UML. В частности, экспортированные UML-модели были протестированы с использованием Modelio 3.3.1.
Экспорт: щелкните правой кнопкой мыши проект VDM++ или VDM-RT, чтобы открыть подменю для преобразования UML. Отсюда можно конвертировать в UML. Полученный файл.uml будет сохранен в сгенерированную папку вашего проекта.
Импорт: Для выполнения импорта UML у вас должен быть файл.uml в соответствующей папке проекта. Вы можете скопировать его вручную или использовать функцию Eclipse Import - File System. После этого можно щелкнуть правой кнопкой мыши файл.uml и выбрать подменю для преобразования UML, а затем выбрать "Преобразовать в VDM".
См. Руководство пользователя Overture для получения дополнительной информации.
Я предполагаю, что вы хотите использовать и Modelio, и Overture для кодирования vdmrt. В этом случае идеальным способом работы будет создание модели в Modelio, а затем ее экспорт в классы vdmrt и использование их в Overture, поскольку Modelio работает с Eclipse/Java. К сожалению, Mdoelio не предоставляет никаких средств генерации / реверсирования для vdmrt...
Но Modelio и Overture могут работать вместе для моделирования CPS. Это цель проекта INTO-CPS. В этом проекте и Modelio, и Overture предоставляют средства FMI, которые позволяют им определять моделирование CPS. Если вы хотите больше информации, пожалуйста, дайте мне знать.