Проверка ограничений OCL на Eclipse Papyrus

Кому-нибудь удается проверить ограничения OCL на диаграмме классов, смоделированной в Eclipse Papyrus? Я определил простой профиль теста только с одним ограничением на атрибут стереотипа:

{OCL} self.property > 0

Стереотип расширяет метакласс Property, поэтому я применил его к атрибуту класса и установил для свойства стереотипа значение 0. Но я никогда не получал сообщение об ошибке с командой Validation > Validate Model из контекстного меню.

Любая помощь будет очень признательна.

Спасибо заранее.

Источник

1 ответ

Решение

Я отвечаю про себя за других людей, которые могут иметь такую ​​же проблему.

Проверка ограничений OCL не работает для Papyrus 0.9.x Вам необходимо загрузить последнюю версию OCL и Papyrus.

Вы можете скачать их из этих репозиториев:

Обратите внимание, что вы должны использовать Eclipse Kepler, а не Juno.

Источник
Другие вопросы по тегам