Можно ли выразить ограничение на помеченное значение применяемого стереотипа в UML/OCL?

Question

Например, давайте рассмотрим следующую UML диаграмму:

Модель должна быть действительна только если для всех экземпляров Block1, экземпляр Block1::unit_of_press тот же экземпляр помеченного значения unit соответного тип Block1::press

Можно ли выразить такое ограничение в OCL?

Answer 1

Да, можно получить доступ к отмеченным значениям применяемого стереотипа. См. Finding All Elements with a Given Tag в качестве отправной точки. Оттуда вы можете утверждать, что должно быть верно в отношении отмеченного значения.

В случае, когда веб-страница становится недоступной, примером может служить:

self.allOwnedElements() 
->select(e | e.getValue(e.getAppliedStereotype('Ecore::EAttribute'), 'isTransient') = true) 

(. Благодаря Рафаэль Шавеш Владимира Ораны и Bjoern Sundin)