ГОСТ Р 56271-2014
Рисунок 24 — Пример ограничения типа «не более, чем л»
Рисунок 25 — Комбинирование универсальных ограничений и кардинальных чисел
7.5 Начальное множество
7.5.1 Шаблон ClassificationOfClass
Это шаблон для классификации классов.
ClassificationOfClassja, b) означает, что а — это класс. Ь — это класс классов и а — это член Ь.
№Название роли
1 Класс
Типроли
Class
2Классификатор классовClassOfClass
ClassificationOfClass(xv х2)«->
Class(x,)A
ClassOfClass(x2)A
Сlassifica(ionTempi ato(x,, x2)
П р и м е р — Типовое применение настоящего шаблона заключается в классификации классов,
используемых либо специальными сущностями, либо сущностями, определенными в стандартах об
ластей. На порядок класса ограничения не накладываются. В качестве примера классификации
класса второго порядка с помощью класса третьего порядка рассмотрим *типы буровой штанги из
области буренияи. Можно использовать выражение ClassificationOfClass(Drilling Domain Class, Drill
String Type), которое расширяется до утверждения на языке ИСО 15926-2, представленного на
нижеследующей диа грамме.
28