Столкнулся с тем, что OCL в Sirius ощутимо тормозит. Переписал все выражения на AQL (в основном это сводится к замене префикса «ocl:» на «aql:») и всё стало летать. Для AQL реализован собственный парсер, который примитивней парсера OCL, но зато и гораздо быстрее. Лучше использовать AQL.
Разработка визуального языка моделирования с помощью Sirius