ГОСТ РИСО/ТС 10303-1199—2015
SUBTYPE OF (action_property);
SELRaction_property.definition:individual_activity;
END_ENT!TY;
C
Опроаслемие атрибута
definition — отдельное действие, представленноеобъектом lndividual_activity. которое облада
етхарактеристикой.
5.2.1.2 Объект possession_of_property_by_product
Объект possession_of_proporty_by_product является подтипом объекта property_definition,
который представляетопределенный в ПЭМ объект Possession_of_property
EXPRESS-специФикаиия:
•)
ENTITY possession_of_property_by_product
SUBTYPE OF (property_defmition);
WHERE
linkJo individual: ,PRODUCT_AS_INDIVIDUAL_MIM.PRODUCT_AS
INDIVIDUAL_VERSION’ IN
TYPEOF(SELF\property_definition.definition.formation):END_ENTITY;
(*
Формальное утверждение
link_to_individual — объект possession_of_property_by_product должен ссылаться на объект
product_as_individual_version.
5.2.1.3 Объект possessed_property
Объект possessed_property является подтипом объекта genoral_property_association, который
задает определенный в ПЭМ объект Physical_quantity_ instance для определенного в ПЭМ объекта
Possession_of_property.
EXPRESS-спсцификаиия:
•)
ENTITY possessed_property
SUBTYPE OF (general_property_association);
SELRgeneral_property_association.base_definition: physical_
quantityJnstance;
WHERE
ink_to_possession:
CPOSSESSION_OF_PROPERTY_MIM.POSSESSION_OF_PROPERTY_BY_ACTIVITYIN
TYPEOF(SELF\general_property_association.derived_definition))OR
(’POSSESSION_OF_PROPERTY_MIM.POSSESSION_ OF_PROPERTY_BY_PRODUCT’ IN
TYPEOF(SELRgeneral_property_association.derived_definition));END_ENTITY;
r
Определение атрибута
base_definition — объект Physical_quantlty_instance. представляющий экземпляр физической
величины, которым обладаетотдельное изделие или действие.
Формальное утверждение
link_to_possession — на объект Physical_quantity_instance, представляющий экземпляр физи
ческой величины, должен ссылатьсяобъект Possossion_of_ property.
*)
END_SCHEMA; -- Possession_of_property_mim
С
9