Как гарантировать, что класс специализация соответствует

Question

У меня есть две абстрактных классов, представляющий собой композицию:

• Страна (из народа)
• Людей

I имеют конкретизацию этих двух классов, например:

• Страна: Франция и Италия
• Люди: FrenchGuy и ItalianGuy

Страна абстрактный класс как список людей, как атрибут: peopleList: Люди

Как я могу гарантировать что Франция класс peopleList атрибут будет заполнена только с FrenchGuy и Италия с ItalianGuy, и сделать его последовательным?

Как я разработал это анти-шаблон?

Заранее спасибо за ваши ответы

Answer 1

Я отвечу на этот вопрос примером, который не путает «это своего рода» с «является экземпляром». (Пожалуйста, ознакомьтесь с моими комментариями по оригинальному вопросу для получения более подробной информации.)

Вы действительно можете гарантировать, что определенные специализации связаны только с некоторыми другими специализациями. Вы можете сделать это, используя специализацию ассоциаций UML и переопределение свойств.

Я дам вам тур, что это UML диаграмма говорит нам:

• Существует неназванная связь между Insurance Policy и Insurable Thing, который имеет два свойства: страхует и застрахованные по.Это говорит нам о том, что, в общем, каждый Insurance Policyстрахует один или более Insurable Things, и каждый Insurable Thing может быть застрахована любое количество Insurance Policies .¹
• Insurance Policy имеет два disjoint² специализации: Health Insurance Policy и Car Insurance Policy.
• A Insurable Thing имеет две непересекающиеся специализации: Car и Person.
• Неназванных ассоциация в верхнем имеет два специализированной ассоциацию с более конкретными ограничениями собственности:
  • Связи между Car Insurance Policy и Car обладает свойствами, которые переопределяют (т.е. затянуть) их допустимые типов.
  • У ассоциации между Health Insurance Policy и Person есть свойства, которые redefine (т. Е. Затяните) их разрешенные типы.

специализированные ассоциации и переопределения делают всю работу здесь. Если вам нравится, вы можете еще больше усилить множественность или даже изменить имена свойств³.

---

^{¹ Обратите внимание, что UML недавно был принят «точечную нотацию», что делает отсутствие точек на концах ассоциации неоднозначной. Префиксная нотация, навигационное свойство принадлежало классу на другом конце ассоциации. Нотация Post dot, навигационное свойство принадлежит ассоциации - за исключением того факта, что несколько инструментов поддерживают его, а те, которые делают, например MagicDraw, по умолчанию делят по умолчанию в вариантах проекта! Я лично нахожу точечную нотацию ужасной, поэтому этот пример ее не использует, что означает, что свойства принадлежат классу на противоположном конце его ассоциации.}

^{² Disjoint означает, что ничто не может быть экземпляром обеих специализаций, которые позволяют использовать множество языков реализации, но реальный мир и UML сделать позволяют. Неполное означает, что могут существовать другие виды страховых полисов, которые мы не вызывали, и можно напрямую создать общий код Insurance Policy.}

^{³ Если вы измените имя свойства, это означает, что в контексте своего владельца это имя затмевает имя у генерализованного владельца. Если вы «повышаете» специализацию, то такое же свойство будет иметь свое первоначальное имя, потому что оно находится в контексте обобщенного владельца.}

Answer 2

В принципе вы могли бы сделать, что с помощью Generalization Sets. Это гарантирует, что обобщения от Italy и Italian Guy (у вас есть только мужская страна?) Связаны, и таким образом вы будете иметь только «правильную» популяцию.