Возьмем картинку (она из стандарта UML 2.5!).
http://analyst.by/wp-content/uploads/2016/09/ClassDiagram2.pngНа ней не всегда {disjoint, complete}, но мы будем считать, что {disjoint, complete} всегда.
Как увидеть, что для объектов класса HealthInsurancePolicy значение CoverageType (и принадлежность к подклассу) не может измениться, а значение InsurancePlan - может?
Пока знаю только один путь:
- на диаграмме и Generalization Set, и ассоциация
- указана связь между ними
- конец ассоциации помечен или нет ограничением {readOnly}
Громоздко (много элементов) и ненаглядно (связь между ассоциацией и Generalization Set не в виде линии, а по совпадению имен)!
Вот если бы при Generalization Set ставить какую-нибудь отметку, чтобы знать может измениться подкласс объекта именно в этом Generalization Set или нет.
Собственно в этом и вопрос - знает ли кто-нибудь такую отметку стандартными средствами UML?
Понятно что всегда можно сделать примечание или комментарий, но хотелось бы больше формальности!