ГОСТ Р 56271-2014
Рисунок28 — Пример шаблона ClassificationOfClassOfRelationship
7.5.4 Шаблон RelationOflndividualsToIndividuals
Настоящий шаблон устанавливает, что зависимость относится только к индивидуальным объек
там.
Relatk>nOflndividualsTolndividuals(a) означает, что а — это зависимость одного из подтипов
ClassOfRolationshlp, и что ее область и диапазон (определенные атрибутами в соответствии с типом
сущности) являются классами первого порядка.
№Название роли
1 Зависимость
Типроли
ClassOfRelationship
RelattonOflndividualsTolndividuals(Xi)^
ClassOfRelationship(x>A
3y,3y2(entityTnple{x. у,. у2)л
ClassOflndividuaKy^ACIassOflndividuaKyj))
Пр име ча ние 1 — Цель настоящего унарного шаблона - выразить ограничение на зависимость. Ис
пользование дизъюнктивного шаблона entityTriple (см. приложение С.З) при определении аксиомы означает, что
настоящий шаблон не подходит для представления зависимостей.
При м е ча н и е 2 — Языку шаблона не хватает выразительностидля полного представления ограничения
для рассматриваемого шаблона. Полное представление требует универсальной квантификации, утверждающей, что
для каждого типа сущности, которому принадлежит рассматриваемое отношение субьектов. атрибуты данного от
ношения являются классами первогопорядка. Универсальные утверждения вопределенияхшаблоновне рассматри
ваются (см. 4.2. приложение Н). Шаблон дает полезную аппроксимацию, так как надлежащее ограничение удовлет
воряется при условии, что рассматриваемое отношение субьектов имеет только одну пару атрибутов (тоесть, имеет
уникальную область идиапазон). Даннов требование не содержится в ИСО 15926-2 или языках шаблона.
П р и м е р — Расширением утверждения RelationOflndividualTolndividuals(Shaft Seal Connection) яв
ляется дизъюнктивное утверждение, что Shaft Seal Connection (соединение вала через уплотнение)
принадлежит одному из подтипов отношения ClassOfRelationship с соответствующими атрибута ми,
заполненными элементами классов первого порядка. Данное утверждение не вполне подходит для
представления одной диаграммой. Ниже приведена неформальная иллюстрация, соединительные ли
нии не аннотированы названиями атрибутов.
{«n d l«c c .lo
ж .
fend 1 MKLta
CfeiaOflndMcfcMj
«rttttyigrMv
C h m W n t W m i
m tS a d jC o n ra c flo n
(С1м»01Я»1^1ДиЫр «jrtyp»)
Рисунок 29— Пример шаблона RelationOf!ndividualsTolndrv»duaJs
7.5.5ШаблонSpecializationOflndividualRelation(специализациязависимостидля
индивидуального объекта)
Настоящий шаблон показывает, что одна зависимость — это подзависммость другой зависимости.
Она ограничена зависимостями между индивидуальными объектами.
30