ГОСТ Р 56271-2014
SpecializationOflndividualRelation(a. b) означает, что а и to— это зависимости между индивидуаль
ными объектами и а — это подзависимость to.
н>Название роли
1 Подзависимость
Тип роли
ClassOfRelationship
2СуперзависимостьClassOfRelationship
SpccializationOflndividualRolation(X), х2)*-*
ClassOfRelationship(x1)A
ClassOfRelationship(x2)A
RolationOflndividualTolndividuals(x^)л
RelationOflndividualTolndividuals(x2)A
SpecializationTemplate^^, x2)
П р и м е р — Расширение утверждения SpecializationOflndividualRelationfShatt Seal Connection, Seal
Connection) — это дизъюнктивное утверждение: для сравнения см. пример утверждения RelationOflndiv
idualsToIndividuals. Неформальная иллюстрация приведена на нижеследующей диаграмме.
7.5.6 Шаблон EnumeratedSetOf2Classes (Нумерованное множество двух классов)
Шаблон EnumeratedSotOf2Classes собирает два класса в один третий класс.
EnumeratedSetOf2Classes{a. to. с) означает, что a. toи с — это классы и а имеет только tone своими
членами.
M l
Название роли
1 Классифицирован № 1
2Классифицирован № 2
Типроли
Class
Class
3Нумерованное множество классаEnumeratedSetOfClass
EnumeratedSetOf2Classos(xv х2. х3)«-
Class(x,)A
Class(x2)A
EnumeratedSotOfClass(x3)A
ClassificationTemplato(x^,
x
3)
a
ClassificationTempiato(x2,
x
3)
a
ClassificationTemplate(x3, SetOf2Clasees)
При м е ча н и е 1 - Порядок, в котором даются первые два аргумента является несущественным. Нуме
рация названий роли («Классифицирован № 1». «Классифицирован № 2») нужна только для того, чтобы отличить
одну роль от другой.
При м е ча н и е 2 - См. 7.2.1. указание о представлении, используемом в настоящем шаблоне.
П р и м е р — Утверждение EnumeratedSetOf2Classes(Pump, Pipe, {Pump, Pipe)) расширяется на ни
жеследующее представление.
31