В настоящем разделе определены информационные требования к прикладному модулю "Группа", которые представлены в виде ПЭМ.
Примечания
1 Графическое представление информационных требований представлено в приложении C.
2 Спецификация отображения определена в 5.1. Она показывает, как удовлетворяются информационные требования при использовании общих ресурсов и конструкций, определенных в схеме ИММ или импортированных в схему ИММ прикладного модуля, описанного в настоящем стандарте.
Ниже представлен фрагмент EXPRESS-спецификации, с которого начинается описание схемы Group.
EXPRESS-спецификация:
*)
SCHEMA Group_arm;
(*
4.1 Определение типа данных ПЭМ
В данном подразделе приведен определенный в ПЭМ тип данных рассматриваемого прикладного модуля.
4.1.1 Тип данных groupable_item
Тип данных groupable_item является расширяемым списком альтернативных типов данных. В выбираемых (SELECT) типах данных, расширяющих тип данных groupable_item, добавляются дополнительные альтернативные типы данных.
Примечание - Для обеспечения уверенности в том, что для объектов, ссылающихся на пустой расширяемый выбранный (SELECT) тип данных, существует хотя бы один тип разрешенных экземпляров, в прикладных модулях, использующих этот тип данных, требуется его расширение.
EXPRESS-спецификация:
*)
TYPE groupable_item = EXTENSIBLE GENERIC_ENTITY SELECT;
WHERE
WR1: NOT ('GROUP_ARM.GROUP' IN TYPEOF(SELF));
END_TYPE;
(*
Формальное положение
WR1: Экземпляр данных типа groupable_item не может быть экземпляром объекта Group или какого-либо подтипа объекта Group.
Примечание - Вложенность групп может быть представлена с помощью объекта Group_relationship.
4.2 Определение объектов ПЭМ
В настоящем подразделе определены объекты ПЭМ рассматриваемого прикладного модуля. Объект ПЭМ является простейшим неделимым элементом, который моделирует уникальное понятие прикладной области, и содержит атрибуты для представления объекта. Ниже приведены объекты ПЭМ и их определения.
4.2.1 Объект Group
Представляющий группу объект Group является собранием экземпляров данных типа groupable_item. Объект может содержать ноль или более элементов.
EXPRESS-спецификация:
*)
ENTITY Group;
id : OPTIONAL STRING;
name : STRING;
description : OPTIONAL STRING;
elements : SET[0:?] OF groupable_item;
membership_meaning : OPTIONAL STRING;
END_ENTITY;
(*
Определения атрибутов
id - обозначение, позволяющее отличать один представляющий группу объект от другого объекта. Значение этому атрибуту присваивать не обязательно;
name - слово или группа слов, которыми называется представленная объектом Group группа;
description - текст, предоставляющий дополнительную информацию о группе, представленной объектом Group. Значение этому атрибуту присваивать не обязательно;
elements - экземпляры данных типа groupable_item, представляющие членов группы, представленной объектом Group;
membership_meaning - строка, описывающая смысл или цель включения элементов в группу, представленную объектом. Задавать значение этому атрибуту не обязательно.
4.2.1 Объект Group_relationship
Объект Group_relationship представляет связь между двумя экземплярами объекта Group, представляющими группы.
EXPRESS-спецификация:
*)
ENTITY Group_relationship;
description : OPTIONAL STRING;
relation_type : STRING;
relating_group : Group;
related_group : Group;
END_ENTITY;
(*
Определения атрибутов
description - текст, предоставляющий дополнительную информацию о представленном объектом Group_relationship отношении групп. Значение этому атрибуту присваивать не обязательно;
relation_type - строка, описывающая смысл отношения.
Когда это приемлемо, должно использоваться следующее значение:
'иерархия' - связывающая группа содержит связываемую группу;
relating_group - один из представляющих группы объектов, участвующих в отношении;
related_group - другой из представляющих группы объектов, участвующих в отношении. Если один из участников отношения зависит от другого, роль этого атрибута должен играть зависимый элемент отношения.
*)
END_SCHEMA; -- Group_arm
(*
В настоящем стандарте под термином "прикладной элемент" понимается любой объектный тип данных, определенный в разделе 4, любой из его явных атрибутов и любое ограничение на подтипы. Термин "Элемент ИММ" означает любой объектный тип данных, определенный в 5.2 или импортированный с помощью оператора USE FROM из другой EXPRESS схемы, а также любой из их атрибутов и любое ограничение на подтипы, определенное в 5.2 либо импортированное с помощью оператора USE FROM.
В данном подразделе представлена спецификация отображения, которая определяет, как каждый прикладной элемент, описанный в разделе 4 настоящего стандарта, отображается на один или более элементов ИММ (см. 5.2).
Спецификация отображения для каждого объекта ПЭМ определена ниже в отдельном пункте. Спецификация отображения атрибута объекта для ПЭМ описывается в подпункте пункта, содержащего спецификацию отображения этого объекта. Каждый такой подпункт содержит не более пяти секций.
Секция "Заголовок" содержит:
- наименование рассматриваемого объекта ПЭМ или ограничение на подтипы, либо
- наименование атрибута рассматриваемого объекта ПЭМ, если данный атрибут ссылается на тип, не являющийся объектным типом данных или типом SELECT, который содержит или может содержать объектные типы данных, либо
- составное выражение вида: "связь объекта <наименование объекта ПЭМ> с объектом <тип данных, на который дана ссылка> (представляющим атрибут <наименование атрибута>)", если данный атрибут ссылается на тип данных, являющийся объектным типом данных или типом SELECT, который содержит или может содержать объектные типы данных.
Секция "Элемент ИММ" содержит в зависимости от рассматриваемого прикладного элемента следующие составляющие:
- наименование одного или более объектных типов данных ИММ;
- наименование атрибута объекта ИММ, представленное в виде синтаксической конструкции <наименование объекта>.<наименование атрибута>, если рассматриваемый атрибут ссылается на тип, не являющийся объектным типом данных или типом SELECT, который содержит или может содержать объектные типы данных;
- ключевое слово PATH, если рассматриваемый атрибут объекта ПЭМ ссылается на объектный тип данных или на тип SELECT, который содержит или может содержать объектные типы данных;
- ключевое слово IDENTICAL MAPPING, если оба прикладных объекта, присутствующих в прикладном утверждении, отображаются на тот же самый экземпляр объектного типа данных ИММ;
- синтаксическую конструкцию /SUPERTYPE(<наименование супертипа>)/, если рассматриваемый объект ПЭМ отображается как его супертип;
- одну или более конструкций /SUBTYPE(<наименование подтипа>)/, если отображение рассматриваемого объекта ПЭМ является объединением отображений его подтипов.
Если отображение прикладного элемента содержит более одного элемента ИММ, то каждый из этих элементов ИММ представляется в отдельной строке спецификации отображения, заключенной в круглые или квадратные скобки.
Секция "Источник" содержит:
- обозначение стандарта ИСО, в котором определен данный элемент ИММ, для тех элементов ИММ, которые определены в общих ресурсах;
- обозначение настоящего стандарта для тех элементов ИММ, которые определены в схеме ИММ настоящего стандарта.
Данная секция опускается, если в секции "Элемент ИММ" используются ключевые слова PATH или IDENTICAL MAPPING.
Секция "Правила" содержит наименования одного или более глобальных правил, которые применяются к совокупности объектных типов данных ИММ, перечисленных в секции "Элемент ИММ" или "Ссылочный путь". Если правила не применяются, то данную секцию опускают.
За ссылкой на глобальное правило может следовать ссылка на подпункт, в котором определено данное правило.
Секция "Ограничение" содержит наименование одного или более ограничений на подтипы, которые применяются к совокупности объектных типов данных ИММ, перечисленных в секции "Элемент ИММ" или "Ссылочный путь". Если ограничения на подтипы отсутствуют, то данную секцию опускают.
За ссылкой на ограничение подтипа может следовать ссылка на подпункт, в котором определено данное ограничение на подтипы.
Секция "Ссылочный путь" содержит:
- ссылочный путь к супертипам в общих ресурсах для каждого элемента ИММ, созданного в настоящем стандарте;
- спецификацию взаимосвязей между элементами ИММ, если отображение прикладного элемента требует связать экземпляры нескольких объектных типов данных ИММ. В этом случае в каждой строке ссылочного пути указывают роль элемента ИММ по отношению к ссылающемуся на него элементу ИММ или к следующему по ссылочному пути элементу ИММ.
В выражениях, определяющих ссылочные пути и ограничения между элементами ИММ, применяют следующие условные обозначения:
[] - в квадратные скобки заключают несколько элементов ИММ или частей ссылочного пути, которые требуются для обеспечения соответствия информационному требованию;
() - в круглые скобки заключают несколько элементов ИММ или частей ссылочного пути, которые являются альтернативными в рамках отображения для обеспечения соответствия информационному требованию;
{} - заключенный в фигурные скобки фрагмент ограничивает ссылочный путь для обеспечения соответствия информационному требованию;
< > - в угловые скобки заключают один или более необходимых ссылочных путей;
|| - между вертикальными линиями помещают объект супертипа;
-> - атрибут, наименование которого предшествует символу ->, ссылается на объектный или выбираемый тип данных, наименование которого следует после этого символа;
<- - атрибут объекта, наименование которого следует после символа <-, ссылается на объектный или выбираемый тип данных, наименование которого предшествует этому символу;
[i] - атрибут, наименование которого предшествует символу [i], является агрегированной структурой; ссылка дается на любой элемент данной структуры;
[n] - атрибут, наименование которого предшествует символу [n], является упорядоченной агрегированной структурой; ссылка дается на n-й элемент данной структуры;
=> - объект, наименование которого предшествует символу =>, является супертипом объекта, наименование которого следует после этого символа;
<= - объект, наименование которого предшествует символу <=, является подтипом объекта, наименование которого следует после этого символа;
= - строковый (STRING), выбираемый (SELECT) или перечисляемый (ENUMERATION) тип данных ограничен списком выбора или значением;
\ - выражение для ссылочного пути продолжается на следующей строке;
* - один или более экземпляров взаимосвязанных объектных типов данных могут быть объединены в древовидную структуру. Путь между объектом взаимосвязи и связанными с ним объектами заключают в фигурные скобки;
-- - последующий текст является комментарием или ссылкой на раздел;
*> - выбираемый (SELECT) или перечисляемый (ENUMERATION) тип данных, наименование которого предшествует символу *>, расширяется до выбираемого или перечисляемого типа данных, наименование которого следует за этим символом;
<* - выбираемый (SELECT) или перечисляемый (ENUMERATION) тип данных, наименование которого предшествует символу <*, является расширением выбираемого или перечисляемого типа данных, наименование которого следует за этим символом.
!{} секция, заключенная в фигурные скобки, обозначает отрицательное ограничение, налагаемое на отображение.
Определение и использование шаблонов отображения не поддерживаются в настоящей версии прикладных модулей, однако поддерживается использование предопределенных шаблонов /SUBTYPE/ и /SUPERTYPE/.
5.1.1 Прикладной объект Group
#1: Если группа не содержит элементы.
#2: Если группа содержит один или более элементов.
5.1.1.1 Атрибут id
5.1.1.2 Атрибут name
5.1.1.3 Атрибут description
5.1.1.4 Связь объекта Group с объектом groupable_item, представляющим атрибут elements
5.1.1.5 Атрибут membership_meaning
5.1.2 Прикладной объект Group_relationship
5.1.2.1 Атрибут relation_type
5.1.2.2 Связь объекта Group_relationship с объектом Group, представляющим атрибут relating_group
5.1.2.3 Связь объекта Group_relationship с объектом Group, представляющим атрибут related_group
5.1.2.4 Атрибут description
В данном подразделе определена EXPRESS-схема, полученная из таблицы отображений. В ней использованы элементы из общих ресурсов или из других прикладных модулей и определены конструкции на языке EXPRESS, относящиеся к настоящему стандарту.
В данном подразделе определена интерпретированная модель прикладного модуля "Группа", а также определены модификации, которые применяются к конструкциям, импортируемым из общих ресурсов.
При использовании в данной схеме конструкций, определенных в общих ресурсах или в прикладных модулях, необходимо применять следующие ограничения:
- использование объекта супертипа не дает право применять любой из его подтипов, пока этот подтип не будет также импортирован в схему ИММ;
- использование выбираемого типа SELECT не дает право применять любой из перечисленных в нем типов, пока этот тип не будет также импортирован в схему ИММ.
EXPRESS-спецификация:
*)
SCHEMA Group_mim;
USE FROM group_schema -- ISO 10303-41
(group,
group_relationship);
USE FROM management_resources_schema -- ISO 10303-41
(group_assignment);
USE FROM basic_attribute_schema -- ISO 10303-41
(id_attribute,
id_attribute_select);
(*
Примечания
1 Схемы, ссылки на которые даны выше, можно найти в следующих документах комплекса ИСО 10303:
group_schema - ИСО 10303-41;
management_resources_schema - ИСО 10303-41;
basic_attribute_schema - ИСО 10303-41.
2 Графическое представление данных схем приведено на рисунках D.1 и D.2, приложение D.
5.2.1 Определение типа данных ИММ
В настоящем пункте определен тип данных ИММ для прикладного модуля, рассматриваемого в настоящем стандарте.
5.2.1.1 Тип данных groupable_item
Тип данных groupable_item является расширяемым списком альтернативных типов данных. В выбираемых (SELECT) типах данных, расширяющих тип данных groupable_item, добавляются дополнительные альтернативные типы данных.
Примечание - Для обеспечения уверенности в том, что для объектов, ссылающихся на пустой расширяемый выбранный (SELECT) тип данных, существует хотя бы один тип разрешенных экземпляров, в прикладных модулях, использующих этот тип данных, требуется его расширение.
EXPRESS-спецификация:
*)
TYPE groupable_item = EXTENSIBLE GENERIC_ENTITY SELECT;
WHERE
WR1: NOT ('GROUP_MIM.GROUP' IN TYPEOF(SELF));
END_TYPE;
(*
Формальное положение
WR1: Экземпляр данных типа groupable_item не может быть экземпляром объекта group или какого-либо подтипа объекта group.
Примечание - Вложенность групп может быть представлена с помощью объекта group_relationship.
5.2.2 Определение объекта ИММ
В настоящем пункте определен объект ИММ для прикладного модуля, рассматриваемого в настоящем стандарте.
5.2.2.1 Объект applied_group_assignment
Объект applied_group_assignment - это такой подтип объекта group_assignment, который связывает представляющий группу объект group с одним или более экземпляром данных типа groupable_item.
Рассматриваемая группа задается с помощью наследуемого атрибута assigned_group. Смысл связи задается с помощью наследуемого атрибута role.
Для того, чтобы представить включение элементов в группу, атрибут role (роль) должен иметь значение 'group membership' (членство в группе).
EXPRESS-спецификация:
*)
ENTITY applied_group_assignment
SUBTYPE OF (group_assignment);
items : SET[1:?] OF groupable_item;
END_ENTITY;
(*
Определение атрибута
items - набор из одного или более экземпляров данных, которые связываются с представляющим группу объектом group, на который ссылается наследуемый атрибут assigned_group.
*)
END_SCHEMA; -- Group_mim
(*
(обязательное)
СОКРАЩЕННОЕ НАИМЕНОВАНИЕ ОБЪЕКТА ИММ
Сокращенное наименование объекта, установленного в настоящем стандарте, приведено в таблице A.1.
Таблица A.1
Имена объектов были определены в 5.2 настоящего стандарта и в других стандартах, перечисленных в разделе 2.
Требования к использованию сокращенных наименований объекта содержатся в стандартах тематической группы "Методы реализации" комплекса ИСО 10303.
Примечание - Наименования объектов на языке EXPRESS доступны в Интернете по адресу /template/go.php?url=https://www.tc184-sc4.org/Short_Names/.
(обязательное)
РЕГИСТРАЦИЯ ИНФОРМАЦИОННЫХ ОБЪЕКТОВ
B.1 Обозначение документа
Для однозначного обозначения информационного объекта в открытой системе настоящему стандарту присвоен следующий идентификатор объекта:
{ iso standard 10303 part(1113) version(2) }
Смысл данного обозначения установлен в ИСО/МЭК 8824-1 и описан в ИСО 10303-1.
B.2 Обозначение схем
B.2.1 Обозначение схемы Group_arm
Для однозначного обозначения в открытой информационной системе схеме Group_arm, установленной в настоящем стандарте, присвоен следующий идентификатор объекта:
{ iso standard 10303 part(1113) version(2) schema(1) group-arm(1) }
Смысл данного обозначения установлен в ИСО/МЭК 8824-1 и описан в ИСО 10303-1.
B.2.2 Обозначение схемы Group_mim
Для однозначного обозначения в открытой информационной системе схеме Group_mim, установленной в настоящем стандарте, присвоен следующий идентификатор объекта:
{ iso standard 10303 part(1113) version(2) schema(1) group-mim(2) }
Смысл данного обозначения установлен в ИСО/МЭК 8824-1 и описан в ИСО 10303-1.
(справочное)
Диаграммы на рисунках C.1 и C.2 получены из сокращенного листинга ПЭМ на языке EXPRESS, приведенного в разделе 4. В диаграммах использована графическая нотация EXPRESS-G языка EXPRESS.
![]() в формате EXPRESS-G
![]() в формате EXPRESS-G
В настоящем приложении приведены два различных представления ПЭМ для рассматриваемого прикладного модуля:
- представление на уровне схемы отображает импорт конструкций, определенных в схемах ПЭМ других прикладных модулей, в схему ПЭМ рассматриваемого прикладного модуля с помощью операторов USE FROM;
- представление на уровне объектов отображает конструкции на языке EXPRESS, определенные в схеме ПЭМ данного прикладного модуля, и ссылки на импортированные конструкции, которые конкретизированы или на которые имеются ссылки в конструкциях схемы ПЭМ рассматриваемого прикладного модуля.
Примечание - Оба этих представления являются неполными. Представление на уровне схемы не отображает в схемы ПЭМ модули, которые импортированы косвенным образом. Представление на уровне объектов не отображает импортированные конструкции, которые не конкретизированы или на которые отсутствуют ссылки в конструкциях схемы ПЭМ рассматриваемого прикладного модуля.
Описание EXPRESS-G установлено в ИСО 10303-11, приложение D.
(справочное)
Диаграммы на рисунках D.1 и D.2 получены из сокращенного листинга ИММ на языке EXPRESS, приведенного в 5.2. В диаграммах использована графическая нотация EXPRESS-G языка EXPRESS.
![]() в формате EXPRESS-G
![]() в формате EXPRESS-G
В настоящем приложении приведены два различных представления ИММ для рассматриваемого прикладного модуля:
- представление на уровне схемы отображает импорт конструкций, определенных в схемах ИММ других прикладных модулей или в схемах общих ресурсов, в схему ИММ рассматриваемого прикладного модуля с помощью оператора USE FROM;
- представление на уровне объектов отображает конструкции на языке EXPRESS, определенные в схеме ИММ рассматриваемого прикладного модуля, и ссылки на импортированные конструкции, которые конкретизированы или на которые имеются ссылки в конструкциях схемы ИММ рассматриваемого прикладного модуля.
Примечание - Оба этих представления являются неполными. Представление на уровне схемы не отображает в схемы ПЭМ модули, которые импортированы косвенным образом. Представление на уровне объектов не отображает импортированные конструкции, которые не конкретизированы или на которые отсутствуют ссылки в конструкциях схемы ПЭМ рассматриваемого прикладного модуля.
Описание EXPRESS-G установлено в ИСО 10303-11, приложение D.
(справочное)
МАШИННО-ИНТЕРПРЕТИРУЕМЫЕ ЛИСТИНГИ
В данном приложении приведены ссылки на сайты, на которых находятся листинги наименований объектов на языке EXPRESS и соответствующих сокращенных наименований, установленных или на которые даются ссылки в настоящем стандарте. На этих же сайтах находятся листинги всех EXPRESS-схем, установленных в настоящем стандарте, без комментариев и другого поясняющего текста. Эти листинги доступны в машинно-интерпретируемой форме (см. таблицу E.1) и могут быть получены по следующим адресам URL:
сокращенные наименования: /template/go.php?url=https://www.tc184-sc4.org/Short_Names/;
EXPRESS: /template/go.php?url=https://www.tc184-sc4.org/EXPRESS/.
Таблица E.1
Если доступ к этим сайтам невозможен, необходимо обратиться в центральный секретариат ИСО или непосредственно в секретариат ИСО ТК184/ПК4 по адресу электронной почты: sc4sec@tc184-sc4.org.
Примечание - Информация, представленная в машинно-интерпретированном виде по указанным выше адресам URL, является справочной. Обязательным является текст настоящего стандарта.
(справочное)
И ДОКУМЕНТОВ ССЫЛОЧНЫМ НАЦИОНАЛЬНЫМ СТАНДАРТАМ
РОССИЙСКОЙ ФЕДЕРАЦИИ
Таблица ДА
Вернуться в "Каталог нормативных документов"
Источник информации: https://internet-law.ru/documents/prod/gost-r_gosudarstvennyj-standart/38/gost_43660.html
На правах рекламы:
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||