ГОСТ Р 56271-2014
Рисунок 26 — Пример шаблона ClassificationOfClass
7.5.2 Шаблон ClassificationOfClassOflndividual
Настоящий шаблон классифицирует классы, имеющие своими членами только индивидуальные
объекты.
ClassificalionOfClassOflndividual(a. b) означает, что а — это класс первого порядка. Ь — это класс
второго порядка и а — это член Ь.
мгНазвание роли
Тип роли
1
Класс
ClassOflndividual
2
Классификатор классаClassOfClassOflndividual
ClassificationOfClassOfIndividual^:. x2)~*
ClassOflndividuaKx^A
ClassOfClassOflndividual(x2)A
ClassificationOfClass(xy x2) *
При м е ча н и е - Настоящий шаблон— это специализированная версия ClassiricationOICIass сдобавлен
ным ограничением: первый аргумент — это класс первого порядка (ClassOflndividual). а второй аргумент — это
класс второго порядка (ClassOfClassOflndividual).
П р и м е р — Расширение утверждения ClassificationOfClass(Drilling Class. Drill String) показано на
нижеследующей диаграмме.
Рисунок 27 — Пример шаблона ClassificationOfClassOflndividual
7.5.3 Шаблон ClassificationOfClassOfRelationship
Настоящий шаблон классифицирует зависимости.
ClassificationOfClassOfRelationship(a. Ь) означает, что а — это зависимость. Ь — это класс зависи
мостей и а — это член b
Тил роли
№
Название роли
1Класс
ClassOfRelationship
2
Классификатор классаClassOfClassOfRelationship
ClassificationOfClassOfRelationship(x,. х2)*~*
ClassOfRelationshlp(x,)A
ClassOfClassOfRolationship(x2)A
ClassificationOfClass(xv х2)
При м е ча н и е — Настоящий шаблон—это специализирована яверсия утверждения ClassificationOfClass
с добавленным ограничением: первый аргумент является зависимостью (ClassOfRelationship). второй аргумент
— это класс зависимостей (ClassOfClassOfRelationship).
Machinery
П р и м е р — Расширение утверждения ClassificationOfClass(Shaft Seal Connection.
relation) показано на нижеследующей диаграмме.
29