Данный подраздел определяет объект ПЭМ для данного прикладного модуля. Объект ПЭМ является простейшим неделимым элементом, который моделирует уникальное понятие прикладной области и содержит атрибуты, определяющие элементы данных объекта. Объект ПЭМ и его определение приведено ниже.
4.3.1 Объект lncomplete_reference_marking
Объект lncomplete_reference_marking является таким подтипом объекта Classification_assignment, который задает определенную маркировку экземплярам объектов типов, входящих в список выбора выбираемого типа данных idrm_marked_item. Маркировка устанавливает, что каждый из этих экземпляров представляет пакет данных, который в обменной структуре передан частично.
Пример - При применении в отношении экземпляра, представляющего цифровой файл объекта Digital_file, данная маркировка означает, что внешний файл, который передается вместе с объектом Digital_file в пакете передаваемых данных, не передан. Это предотвращает необходимость повторной передачи большого файла между партнерами, когда его содержимое не изменилось.
EXPRESS-спецификация:
*)
ENTITY lncomplete_reference_marking
SUBTYPE OF (Classification_assignment);
SELF\Classification_assignment.items : SET[1:?] OF idrm_marked_item;
WHERE
WR1: SELF\Classification_assignment.assigned_class.id = 'reference';
END_ENTITY;
(*
Определение атрибута:
items - набор экземпляров объектов типов, входящих в список выбора выбираемого типа данных idrm_marked_item, которым посредством объекта lncomplete_reference_marking может быть задана маркировка неполноты.
Формальное утверждение:
WR1. Представляемая настоящим объектом маркировка должна применяться только к экземплярам объектов типов, входящих в список выбора выбираемого типа данных idrm_marked_item.
*)
END_SCHEMA; -- lncomplete_data_reference_mechanism_arm
(*