ГОСТ Р ИСОГГС 10303-1654—2014
EXPRESS-слецификация.
*>
ENTITY row_representatior._it.em
SUBTYPE OF (compound_representation_item);
SELF\compour.d_representation_item.item_element
:list_representation_item;
END_ENTITY;
<*
Определение атрибута
item_oloment - атрибут, унаследованный от объекта compound_reprosentation_ Item, должен
быть переобъявлен для объекта row_representation_item как объект list_representation_item.
5.2.2.Э Объект table_representation_item
Объект table_representatlon_item является подтипом объекта compound_representation_item.
EXPRESS-слецификация:
*)
ENTITY table_representation_item
SUBTYPE OF <compound_representation_item);
WHERE
WR1: SIZEOF(QUERY(itet <*
SELF\compound_representation_item.item_element |
NOT(’CHARACTERISTIC_MIM.ROW_REPRESENTATION_ITEM’
IN TYPEOF(itet)) )) = 0;
END_ENTITY;
(*
Формальное утверждение
WR1 - атрибут item_element. унаследованный от объекта compound_represontation_ item, дол
жен быть подтипом объекта row_representation_item.
5.2.3 Определение ограничения подтипов ИММ
В данном пункте определено ограничение подтипов ИММ прикладного модуля «Технические ха
рактеристики». Ограничение подтипов устанавливает ограничение на возможные реализации отно
шения «супертип - подтип».
5.2.3.1 Ограничение c_compound_reprosentation_item_subtypes
Ограничение c_compound_representation_item_subtypes устанавливает ограничение на экзем
пляры подтипов объекта compound_representation_item.
EXPRESS-слецификация:
*>
SUBTYPE_CONSTRAINT c_compouna_representation_item_subtypes FOR
compound_representation_item;
ONEOF (row_representation_item,
table_representation_item);
END_SUBTYPE_CONSTRAINT;
(*
*)
END_SCHEMA; -- Characteristic_mim
(*
30