ГОСТ Р 56271-2014
3y(EnumeratedSetOf2Classes(x^, х2. у) л
UnionOfSetOfClassTemplate(y, х3))
При м е ча н и е - См. 7.3. дальнейшую информацию о представлении, используемом внастоящем шаблоне.
П р и м е р — Утверждение UnionOf2Classes(Pump. Pipe, Pump \j Pipe) расширяется до нижеследу
ющего представления. Примечание: обозначение элемента {Pump.Pipe} делает диаграмму более чита
бельной. оно не входит в определение расширения.
Рисунок 32 — Пример шаблона UrwonOf2Classes
7.5.9 Шаблон lntersectionOf2Classes (пересечение двух классов)
Шаблон lntersectionOf2Classos указывает, что класс является пересечением двух классов.
IntersectionOf2Classos(a. Ь. с) означает, что с — это пересечение а и Ь.__________________
Ы)Название роли
1 Класс 1
2Класс 2
Тип роли
Class
Class
3Пересечение классовClass
lntersectionOf2Classes(xv х2. х3)«-+
Clas8(x1)л
Class(x2)A
Class(x3)A
3y{EnumeratedSetOf2Classes(x,. х2. у)л
lntersectionOfSotOfClassTemplate(y. х3))
При м е ча н и е - См. 7.3. дальнейшую информациюо представлении, используемом внастоящем шаблоне.
7.5.10 Шаблон DifferonceOf2Classos (разность двух классов)
Шаблон DifferenceOf2Classes указывает, что класс — это Difference (разность) двух классов в со
ответствии с ИСО 15926-2.
DifforenceOf2Classes(a. Ь. с) означает, что с — это разность а и б.
№Название роли
1 Класс 1
2Класс 2
Тип роли
Class
Class
3Разность классовClass
DifferonceOf2Classes(xv х2, х3)*-
Class(x1)A
Class(x2)A
Class(x3)A
3y(EnumeratedSetOf2Classes(x,. x2, у)л
DifferenceOfSetOfClassTemplate(y. x3))
При м е ча н и е - ИСО 15926-2 определяет разность двух классов а и b как (а^Л)п(апЬ). См. 7.3. дальней
шую информацию о представлении, используемом в настоящем шаблоне.
7.5.11 Шаблон RelativeComplementOf2Classes (относительное дополнение двух классов)
Шаблон RelativeComplementOf2Classes указывает, что один класс является относительным до-
33