Кому-нибудь удается проверить ограничения OCL на диаграмме классов, смоделированной в Eclipse Papyrus? Я определил простой тестовый профиль только с одним ограничением атрибута стереотипа:
{OCL} self.property > 0
Стереотип расширяет метакласс свойств, поэтому я применил его к атрибуту класса и установил для свойства стереотипа значение 0. Но у меня никогда не возникало ошибок с командой Проверка > Проверить модель из контекстного меню.
Любая помощь будет очень признательна.
Спасибо заранее.