ГОСТ Р 56271-2014
- для IntersectionOfSotOfClass: пересечение множеств в А, то есть множество элементов, при
надлежащих одновременно и а,, и а2 и т.д.;
- для DifferonceOfSetOfClass: члены объединения множеств в Л. не принадлежащих пересече
нию множеств в А.
Шаблоны, выражающие определения комплексных классов, включают сущности UnionOf2Classes.
lntersectionOf2Classos и RelativeComplementOf2ClassQS.
П р и м е р — ПустьА, В и С— это сущности типа EnumeratedSetOfClass. А — это класс, содержа
щий только класс MOTOR. В — это класс, содержащий классы ELECTRIC MOTOR и HYDRAULIC MOTOR.
С— класс, содержащий классы PUMP и PIPE (Используя фигурные скобки, можно записать, что А — это
{MOTOR}. В — это {ELECTRIC MOTOR. HYDRAULIC MOTOR}, и С— это {PUMP. PIPE}.)
Протошаблоны, поддерживающие операции с множествами, — это UnionOfSetOfClassTemplate,
IntcrsoctionOfSctOfClassTcmplato и DifforencoOfSetOfClassTemplato. Ниже используются сокращен
ные обозначения множеств (например, иХ. г Х и uXViX). Они дают значения второго аргумента со
ответствующего шаблона при условии, что X - это первый аргумент. Предполагая по умолчанию, что
MOTOR - это класс моторов, получим:
и А — это класс моторов (класс MOTOR);
и В — это класс либо электрических, либо гидравлических моторов;
г\В — это класс, включающий сразу и электрические, и гидравлические моторы;
и (MOTOR, ELECTRIC MOTOR}\ri{MOTOR, ELECTRIC MOTOR) — класс неэлектрических мото
ров;
г» С — (обычно, пустой) класс элементов, включающий насосы PUMP и трубы PIPE:
(MOTOR, wS)Vrv(MOTOR. uS) — класс моторов, не являющихся электрическими или гидравли
ческими.
При м е ча н и е - BMecTecnepeceneHneMlntersectionOfSetOfClass. типсущности DifferenceOfSetOfClass
необходим для представления общего понятия дополнения множества. (Относительное) дополнение двух мно
жеств а и Ь определяется как (х € э|х г 6}. Разность DifferenceOfSetOfClass множеств (а. Ь} — это {х е а и Ь | х
е г\ б). Пусть с обозначает данное множество. Тогда относительным дополнением множеств а и Ь является пере
сечение IntersectionOfSotOfClass (а, с}. Данное указание содержится в шаблоне RelativeComplementOf2Classes.
7.4 Ограничения зависимостей
В данном разделе показано, как сложные ограничения на классы и зависимости могут быть пред
ставлены в соответствии с настоящим стандартом.
7.4.1 Зависимости: области и сообласти
Представление зависимости между классами С и D не означает наложения ограничений на С или
на D. Покажем, как можно использовать настоящий стандарт для наложения ограничений на классы в
соответствии с зависимостями, в которые могут входить члены этих классов.
П р и м е р — Типовое множество справочных данных механического оборудования включает дан
ные рисунка 17 (параметр яДопустимая наружная температура») и число 18 (температура по Цель
сию). В соответствии с иллюстрацией. PermittedAmbient Temperature - это зависимость, включающая
Equipment в его роли hasClassOfPossessor, Temperature в роли hasPropertySpace и Celsius, как шкалу, со
относящую свойство Temperature с его числовым значением.
23