ГОСТ Р 56271-2014
6 Шаблоны индивидуальных объектов
6.1 Цель
В данном разделе рассматриваются шаблоны, характеризующие индивидуальные объекты, в
отличие от классов. Обычно данные шаблоны регистрируют информацию об одном физическом объ
екте.
При м е ча н и е 1 - ИСО 15926 не требует четкого разделения всей (совокупной) предметной области на
индивидуальные объекты, классы, метаклассы и т.д. Соответственно, вопрос «Что такое индивидуальный объ
ект?» не имеет четкого ответа.
6.2 Необходимые справочные элементы
В настоящем разделе рассмотрены следующие элементы справочных данных, используемые в
аксиомах шаблона. Расширение языка ИСО 15926-2 происходит за счет термина индивидуального объ
екта. Для практических приложений шаблонов, определения которых относятся к рассматриваемому
элементу, указанный элемент должен быть внесен в библиотеку справочных данных.
Таблица 1— Справочные элементы: шаблоны индивидуальных объектов (индивид).
Справочный индивидуальный объект
ActivityLocation
InvolvomentSuccession
Типсущности
ClassOfRelationshipWithSignature
ClassOfRelationshipWithSignature
ActivityLocation и InvolvomentSuccession — это зависимости. Соответствующие записи библи
отеки RDL должны определять классы для ролей в соответствии с типом сущности hasClassOfEndl
или hasClassOfEnd2. представляющие, соответственно, области и диапазоны указанных зависимо
стей.
Для ActivityLocation область и диапазон задаются справочными элементами, представляющими
типы сущностей Activity и SpatialLocation. в соответствии с предназначением в части размещения
операции.
Для InvolvomentSuccession область и диапазон задаются справочными элементами, представ
ляющими тип сущности InvolvementByReforence.
6.3 Начальное множество
6.3.1 Шаблон ClassificationOflndividual
Рассматривается шаблон классификации индивидуальных объектов (в отличие от пар индивиду
альных объектов, классов или зависимостей).
ClassificationOflndividual(a. Ь) означает, что а — это индивидуальный объект. Ь — это класс инди
видуальных объектов, и а — член класса Ь.
В соответствии с ИСО 15926-2:
Классификация — это тип отношения, указывающего, что классифицируемый элемент является
членом некоторого класса.
№Название роли
1 Индивидуальный объект
2Класс
Тип роли
Possiblelndividual
ClassOflndividual
ClassificationOflndividua!(x,. х2)*-*
Possiblolndividual(x, )л
ClassOflndividual(x2)A
ClassificationTem plate^. х2)
П р и м е р — Классификация Alfred (Альфреда) как Engineer (инженера) может быть выражена с
помощью настоящего шаблона. Расширение утверждения ClassificationOflndividual(Alfred, Person) соот
ветствует утверждению на языке ИСО 15926-2. показанному на нижеследующей диаграмме.
Отметим, что справочные индивидуальные объекты Alfred и Engineer не определяются утверж
дениями шаблона. Каждый элемент может иметь более специализированный тип сущности в отличие от
показанного на диаграмме.
12