ГОСТ Р ИСО/ТС 10303-1080—2009
EXPRESS-спеиификация:
*>
ENTITY class_of_possession_of_property_by_product
SUBTYPE OF (property_definition);
WHERE
link_to_class: CLASS_OF_PRODUCT_MIM.CLASS_OF_PRODUCT IN TYPEOF
(SELRproperty_defmition.defmition.formation);
END_ENTITY:
r
Формальное утверждение
link_to_class — объект class_of_possession_of_property_by_product должен ссылаться на
объект class_of_product.
5.2.1.3 Объект possessed_physical_quantity_space
Объект possessod_physical_quantity_space является подтипом объекта general_property_
association, который определяет объект Physical_quantity_space (как определено в ПЭМ) для объек та
Class_of_possession_of_property (как определено в ПЭМ).
EXPRESS-спеиификация:
‘)
ENTITY possessed_physical_quantity_space
SUBTYPE OF (general_property_association);
SELF\general_property_assoriation.base_definition. physical_quantity_space;
WHERE
link_to_possession: (PROPERTY_SPACE_MIM.CLASS_OF_POSSESSION_OF_PROPERTY_BY_
ACTIVITY’ IN TYPEOF (SELF\general_property_association.derived_definition)) OR
(’PROPERTY_SPACE_MIM.CLASS_OF_POSSESSION_OF_PROPERTY_BY_PRODUCT IN TYPEOF
(SELF\general_property_association.derived_definition));
END_ENTITY:
r
Определение атрибута
base_definition — объект Physical_quantity_space. содержащий представителей пространства
физической величины.
Формальное утверждение
link_to_possession — наобъектPhysical_quantity_spaceдолженссылатьсяобъект
Class_of_possession_of_property.
5.2.1.4 Объект physical_quantity_range
Объект physlcal_quantity_range является подтипом объекта physical_quantity_ space, то есть
объектом Physical_quantity_rango (как определено в ПЭМ).
EXPRESS-спеиификация:
*)
ENTITY physical_quantity_range
SUBTYPE OF (physical_quantity_space);
END_ENTITY;
r
5.2.1.5 Объект physical_quantity_space
Объект physical_quantity_space является подтипом объектов general_property и class, то есть
объектом Physical_quantity_space (как определено в ПЭМ).
EXPRESS-спеиификация:
*)
ENTITY physical_quantity_space
SUBTYPE OF (general_property, class);
END_ENTITY;
r
12