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

Question

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

{OCL} self.property > 0 

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

Любая помощь была бы очень ценю.

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

Answer 1

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

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

Вы можете загрузить их из этих хранилищ:

• http://download.eclipse.org/modeling/mdt/papyrus/updates/nightly/kepler/
• http://download.eclipse.org/modeling/mdt/ocl/updates/nightly

Пожалуйста, обратите внимание, что вы должны использовать Eclipse, Kepler и не Джуно.