Является ли OCL предназначен для использования в комбинации с составной структурной диаграммой?Работает ли OCL с составными структурными диаграммами?
Или это не имеет смысла? Если это имеет смысл, может кто-нибудь дать быстрый пример возможного ограничения OCL, например. на основе этой диаграммы примера source?
UML конкретно упоминает такую ситуацию (раздел 7.6. Из спецификации)
ограничения сами по себе могут быть присоединены к любому виду UML Element, или на самом деле это коллекция элементов.
И наконец:
7.2.1
Корневые понятия элементов и взаимосвязи служат основой для всех других концепций моделирования в UML.
Это означает, что вы можете добавить ограничение на что угодно.
И если диаграмма была составной структурной диаграммой, такой как та, которую я связал в своем вопросе ? @GeertBellekens указывает в своем комментарии, что OCL работает с элементами (а не диаграммами). Это заставляет меня думать, что вы можете писать ограничения OCL для всех типов моделей/диаграмм моделей. Как вы думаете? – stackoverflowwww
@stackoverflowwww Я обновил answer –
Вы должны ** определить ** ограничения OCL для классов. Затем они ** проверяются ** на экземплярах. –
OCL не работает с диаграммами, он используется для элементов. Может быть, вам следует объяснить, чего вы пытаетесь достичь. –
@GeertBellekens Если мы возьмем приведенную выше составную структурную диаграмму, я хотел бы сдержать, например: «Если заголовок MainWindow является« My XOR App », тогда есть либо OkButton, либо CancelButton (эксклюзивный или). – stackoverflowwww
почему вы не можете опубликовать такой образ, это выглядит справедливо для меня (если такая диаграмма может быть даже защищена авторским правом) –