Если вам нужно создать маленькую модель, то я предлагаю вам использовать topbraid . Я использовал для создания гораздо более крупных моделей, и я знаю людей, которые использовали для создания огромных моделей. Он поставляется с набором аргументов и предоставляет возможность подключить собственный аргумент. В случае, если вы решите увеличить свою модель, вы можете даже интегрировать Topbraid с тройным магазином, таким как Allegrograph.
И поскольку он основан на затмении, начать с ним относительно легче.
Для разработчиков, избалованных работой на более зрелых языках программирования, таких как Java (IDEA? Любой), topbraid является наиболее близким инструментом к реальной IDE.