Я ищу, есть ли какой-либо инструмент или движок, который переводит (мета-) модели Ecore в спецификацию Alloy? если он делает этот перевод с учетом сопутствующих выражений OCL, было бы здорово :) Спасибо

Мы моделируем нашу модель домена как диаграмму классов UML в Enterprise Architect. И мы хотим спроектировать наш DSL с помощью Xtext. DSL должен получить доступ к классам предметной области. Я могу экспортировать модель домена из Enterprise...

У меня есть небольшая программа ATL, преобразующая BPMN2.0 в другую модель: -- @nsURI MM1=http://www.my.site/path/to/my/MM1 -- @nsURI BPMN20=http://www.omg.org/spec/BPMN/20100524/MODEL-XMI -- @path reo=/BPMN20reo/reo.ecore rule definition2module...

Я застрял, пытаясь использовать аннотации ecore для моделирования списка для атрибута типа. Я пробовал type="java.lang.String" и type="EString", но оба не получают желаемых результатов. При использовании аннотаций для моделирования простого...

Я пытаюсь создать новую грамматику DSL, поэтому я разработал модель ecore и импортировал ее в файл грамматики xtext, файл xtext был сгенерирован без ошибок. позже я столкнулся в основном с 3 ошибками: шумная всплывающая ошибка «Произошла...

Я новичок в создании редакторов с помощью Sirius, и у меня есть следующая модель EMF: Я хочу создать редактор Sirius для данной метамодели с разными представлениями для Superclass A и Subclass B . Оба класса A и B могут быть...

Я хочу сравнить две модели, которые соответствуют данной метамодели ecore, например: public void compare() { URI uri1 = URI.createFileURI("file1.xmi"); URI uri2 = URI.createFileURI("file2.xmi");...

У меня есть проект Xtext с проблемой, которую я не могу решить. Рассмотрим следующий код: @Inject IResourceSetProvider resourceSetProvider; private void function(){ IProject project = file.getProject(); URI uri =...