ГОСТ Р 56271-2014
№Название роли
1 Предшествующий класс
2Последующий класс
3Операция вовлечения
Тип роли
Class
Class
Activity
4Тип вовлечения
5Статус предка (predecessor)
6Статус наследника
7Статус утверждающего лица
8Время начала
ClassOflnvolvementByReference
ClassOfApprovalByStatus
ClassOfApprovalByStatus
Possiblelndividual
RepresentationOfGregorianDateAndlltcTime
ClasslnvolvementSuccossion(xv х2, х3, хл, х5, х6. х1. х8)*—
Class(x,)A
Class(x2)A
Activity(x3)A
ClassOflnvolvementByReforonco(x4)A
ClassOfApprovalByStatus(x5)A
ClassOfApprovalByStatus(x6)A
Possiblolndividual(x7)A
RepresontationOfGregorianDatoAndUtcTimo(x8)A
3u,3u23uJ
BeginningOfTeinporalPart(U), x3, х8)л
lnvolvementByReferenceTriple(u2. x,t ut)л
InvolvementByReferencoTriple(u2. x2,
u
,)
a
ClassificationTemplate{u2, х4)л
ClassificationTemp!ate{uy х4)л
StatusApproval(u2, xs. х7)л
StatusApproval(u3, xe. х7)л
SuccessionOflnvotvementByReference(u2, u3))
8 Шаблоны как справочные данные
Если шаблон заносится в библиотеку справочных данных (RDL) в соответствии с ИСО 15926, то
ему назначается идентификатор в соответствии с ИСО 15926. Хранение шаблона в библиотеке RDL
обеспечивает эффективное совместное использование паттернов информации ИСО 15926.
8.1 Шаблонные подписи и аксиомы шаблонов
В соответствии с ИСО 15926 библиотека RDL хранит справочные данные, представленные на
языке ИСО 15926-2. Язык ИСО 1592S-2 и языки шаблонов, используемые в настоящем стандарте для
выражения аксиом шаблонов, содержат логические операторы и кванторы. Выразительная сила ука
занных языков не ограничивается возможностями ИСО 15926-2. Формальные требования к представ
лению шаблонов в библиотеке RDL ограничиваются аспектом шаблонной подписи.
Библиотечное RDL представление шаблона должно включать аксиому шаблона как аннотацию.
Жесткие требования на синтаксис аксиом (превышающие стандартные требования к выражениям как
формулам первого порядка в соответствии с языком ИСО 15926-2. рассматриваемым в настоящем
стандарте в приложении В) не накладываются.
8.2 Представление class_of_multidimensional_objoct
Если шаблон представляется как справочные данные, то он имеет тип сущности
ClassOfMultidimensionalObject (по ИСО 15926-2). Экземпляры шаблонов имеют, соответственно, тип
сущности MultidimensionalObject.
Шаблонная подпись, в соответствии с настоящим стандартом, является ограниченной формой
объекта ClassOfMultidimensionalObject. В соответствии со спецификацией языка EXPRESS, атрибу ты
данного типа сущности представляют собой следующие списки: кардинальные числа, элементы по
выбору, параметры, позиции параметров, роли. Из данного перечня кардинальные числа, параметры и
позиции параметров для шаблонных подписей не используются. Библиотечное (RDL) представление
данные атрибуты не указывают.
47