ГОСТ Р ИСО/ТС 10303-1127—2014
EXPRESS-слецификация.
*)
TYPE file_location_select = SELECT BASED_ON
external_identification_item WITH
(documenC_file);
END_TYPE;
(*
5.2.2 Определение объекта ИММ
В настоящем пункте определены объекты ИММ для прикладного модуля, рассматриваемого в
настоящем стандарте. Ниже специфицирован объект ИММ и его определение.
5.2.2.1 Объект document_file
Объект document_file является подтипами объектов document и characterized_ object. С
помощью данного объекта обозначается внешний файл или твердая копия, которым могут быть
заданы свойства, описывающие их характеристики.
EXPRESS-слецификация:
*)
ENTITY document_file
SUBTYPE OF (characterized_object, document);
WHERE
WR1: SELF\characterized_object.name =
WR2: NOT EXISTS(SELF\characterized_object.description);
WR3: SIZEOF(QUERY(drt <* SELF\document.representation_types |
drt.name IN [’digital’, ’physical’J)) = 1;
END_ENTITY;
(*
’
Формальные положения
WR1: атрибут name объекта characterized_object должен быть пустой строкой;
WR2: атрибуту description объекта characterizod_object не должно присваиваться значение.
WR3: на объект document_file должен ссылаться один объект document_ reprosentation_type,
значение атрибута пате которого ’digital’ или ’physical’.
П р и м е ч а н и е-С помощью экземпляра объекта document_representation_type задается,
представляет объект document_file цифровой файл или твердую копию.
*)
END_SCHEMA; — File_iden.tification_mim
(*
9