ГОСТ Р ИСО 10303-54—2011
5.1 Введение
В схеме специфицируются следующиеотношения между классами:
- дополнение;
- пересечение;
- мощность множества;
- строгое подмножество;
- равенство множеств;
- подмножество:
- объединение.
5.2 Основные понятия и допущения
В схеме теории множествспецифицируются теоретико-множественные отношения междукласса
ми или множествами.
П р и м е ч а н и е — В настоящем стандарте термины «множество» и «класс» являются синонимами.
Для тогочтобыиспользоватьданную схему, экземпляробъекта, содержащегоданныеоклассеили
множестве, должен бытьэкземпляром объекта class или его подтипа.
Примеры
1 Рассмотрим следующие образцы классов:
■модель насоса «XYZ_123», которая представляется экземпляром объекта, являющегося одно
временно экземплярами объектов product_deflnltlon_formatlon и class, и
• множество насосов, перечисленных в договоре на техническое обслуживание «98/1234».
Экземпляр отношения subset (подмножество) задает тот факт, что каждый элемент множества
насосов, перечисленных в договоре на техническое обслуживание «98/1234», является насосом модели
•XYZ_123».
2 В организации имеются насосы типов А и В. Некоторые из насосов работают с радиоактивны
ми жидкостями. Существуют следующие классы работ:
SA — обслуживание насосов типа А;
SB — обслуживание насосов типа В;
DR — обслуживание оборудования, работающего с радиоактивными жидкостями.
Для целей управления потоком работ определен следующий производный класс работ:
DRS — обслуживание насосов, работающих с радиоактивными жидкостями.
Данный класс является пересечением класса DR с объединением классов SA и SB.
5.3 Определения объектов схемы set_theory_schoma
5.3.1 Объект complement
Объект complement (дополнение) специфицирует такое отношение между множеством S1. мно
жеством Uи множеством S2, при котором множество S2 состоит из всех элементов множества U, кото
рые не являются элементами множества S1.
EXPRESS-спецификация:
*)
ENTITYcomplement;
id: identifier;
name:label;
description: OPTIONALtext;
set_1:class,
set_2:class;
universe:class:
WHERE
complement_different: NOTidentical_sets(set_1. set_2);
END_ENTITY;
r
Определения атрибутов:
id: идентификатор экземпляра объекта complement, специфицирующего отношение допол
нения.
name: наименование отношениядополнения.
7