Знаете ли вы USE Tool . Этот инструмент имеет точно такую же цель (хотя он не интегрирован с EMF): генерировать экземпляры диаграммы классов UML / OCL, чтобы увидеть, не является ли модель слишком большой (или слишком маленькой) ограничительной. Существует своего рода язык сценариев, чтобы определить, какие экземпляры (и сколько) вы хотите, чтобы инструмент генерировал.
Тем не менее, я думаю, что наиболее гибкий способ достичь этого - это перевести вашу модель UML / OCL в CSP (проблема удовлетворения ограничений) или аналогичные. Затем вы можете попросить, чтобы решатель CSP сгенерировал столько экземпляров модели, сколько вы хотите, и, добавив дополнительные ограничения, вы можете легко настроить тип создаваемых экземпляров. Наш инструмент UMLtoCSP может быть использован для автоматической генерации кода CSP для вас (надеюсь, у нас скоро будут ресурсы для реструктуризации инструмента и его миграции на Eclipse / EMF, но, по крайней мере, вы можете получить представление о том, что я скажем с текущей версией инструмента). Эта идея похожа на то, что вы можете сделать с Alloy, но с лучшей поддержкой числовых ограничений и более интегрированным переводом