ГОСТ Р 56271-2014
Справочный индивидуальный объект EmptyClass — это класс, в котором нет членов. Семанти
чески данный класс может быть определен как результат применения класса DifferenceOfSetOfClass к
классу EnumeratedSetOfClass. содержащему только один класс (какой класс выбрать — это несуще
ственно). См. диаграмму ниже.
Рисунок 16 — Использование пустого класса EmptyClass
При м е ча н и е - На рисунке 16экземпляр класса EnumeratedSetOfClass {а} обозначен фигурными скоб
ками. Эго означает, что его естественная интерпретация — это множество, содержащее элемент а. Данный пат
терн (образец) представления названия не является обязательным.
Справочный элемент * Cardinality в настоящем стандарте представляет собой неограниченное
максимальное кардинальное число.
Справочные элементы Infinity (бесконечность) и -Infinity в настоящем стандарте представляют
собой положительную и отрицательную бесконечность в соответствии с требованиями определения
числовых диапазонов.
7.2.2 Справочные зависимости
Элементы EndlUnivorsalRostriction, End2UniversalRestriction и UomSymbolAssignment — это
зависимости (relations), их типы сущностей являются подтипами ClassOfRelationship. Это означает,
что запись в библиотеке RDL должна назначать классы для ролей указанных элементов в соответствии с
требованиями соответствующих типов сущностей. Для рассматриваемых целей достаточно указания
общих требований к таким назначениям в библиотеке справочных данных RDL.
Ограничения EndlUniversalRestriction и End2UnivorsalRostriction характеризуют отношения
подзависимостей.Для каждогоэлемента требуются роли HasClassOfSubclass и hasClassOfSuperclass.
Этим ролям назначаются справочные элементы, представляющие тип сущности ClassOfRelationship.
Сущность UomSymbolAssignment назначает символы для шкал. Требуемые роли — это
hasClassOfRepresonted и hasClassOfPattern. Им назначают справочные элементы, представляющие
типы сущностей Scalo и ExpressString. соответственно.
7.3 Представление комплексных классов
В соответствии с ИСО 15926 операции классов объединение, пересечение и дополнение выра
жаются с помощью функциональных зависимостей UnionOfSotOfClass, IntersectionOfSetOfClass и
DifferenceOfSetOfClass, соответственно. Каждый экземпляр указанных типов сущностей относится к
множеству классов (элемент типа EnumeratedSetOfClass) в роли haslnput и к одному классу в роли
hasResult.
Пусть А - это множество классов а,. а2, .... а0. С этим классом А в роли haslnput для экземпляров
UnionOfSotOfClass, IntersectionOfSetOfClass или DifferenceOfSetOfClass. роль hasResult является
классом с нижеследующим определением:
- для UnionOfSotOfClass: объединение множеств в А. то есть множество элементов, принадле
жащих либо а,, либо а2 и т.д.;
22