ГОСТ Р ИСО/ТС 10303-1212—2016
EXPRESS-слецификация:
*>
TYPE com plete_m em bersh ip_select - EXTENSIBLE SELECT;
END_TYPE;
{*
4.3 Определения объектов ПЭМ
Настоящий подраздел описывает объекты ПЭМ рассматриваемого прикладного модуля. Объект
ПЭМ является простейшим неделимым элементом, который моделирует уникальное понятие приклад
ной области, и содержит атрибуты для представления объекта. Далее приведены объекты ПЭМ и их
определения.
4.3.1 Объект Classification
Объект Classification представляет отношение между классом и предметом, показывающее, что
предмет является членом класса.
Примечание — Смысл настоящего объекта идентичен смыслу объекта Classification, определенного
вИСО 15926-2.
EXPRESS-слецификация:
ENTITY C la s s if ic a tio n ;
c la s s if ie d : c l a s s i f i c a t i o n _ s e l e c t ;
c la s s if ie r : C la s s ;
ENU_EN1TTY;
(*
"
Определения атрибутов:
classified — объект, представляющий предмет, входящий в класс, представленный объектом,
играющим роль атрибута classifier.
classifier — объект, представляющий класс, член которого представлен объектом, играющим
роль атрибута classified.
4.3.2 Объект Complete_membership
Посредством объекта Complete_membershipis устанавливается такое отношение между клас
сом и перечисляемым множеством предметов, когда класс содержит все перечисленные предметы и
ничего более.
EXPRESS-слецификация:
ь)
ENTITY Com plete_m em bership;
c o n ta ir.in g _ se t : C la s s ;
members : SE TfO :?) 01 co m p lete_m em bersh ip _select;
£ND_ENTITY;
<*
Определения атрибутов:
containing_set — класс, содержащий члены, перечисленные посредством атрибута members, и
ничего более;
members — члены класса, представленного объектом, играющим роль атрибута containing_set.
END_SCHEMA;-- C la ssific a tio n _ a rm
(* "
5 Интерпретированная модель модуля (ИММ)
5.1 Спецификация отображения
В настоящем стандарте под термином «прикладной элемент» понимается любой объектный тип
данных, определенный в разделе 4. любой из его явных атрибутов и любое ограничение на подтипы.
4