ГОСТ Р ИСО/ТС 10303-1129—2014
.роль которого определена объектом identification_role. имеющим значение атрибута name
(наименование), равное ’version’ (версия). Это правило накладывает более строгое ограничение, чем
то, что каждый объект Plib_property_referonce должен иметь версию.
EXPRESS-спецификация:
*)
RULE plib_property_referer.ce_requires_version FOR
(externally_defined_generai_property);
LOCAL
plib_properties : SET OF
externally_defined_general_property := [];
END_LOCAL;
plib_properties := QUERY (edgp <*
externally_defir.ed_ger.eral_property I
( ’EXTERNAL_PROPERTIES_MIM’ + ’.KNOWN_SOURCE’ IN TYPEOF
(edgp.source ) )AND
( ’EXTERNAL_PROPERTIES_MIM’ + ’.KNOWN_SOURCE’ +
’\PRE_DEFINED_ITEM.NAME’ = ’ISO 13584 library’ ) );
WHERE
WR1: SIZEOF(QUERY(edgp <* plib_properties | (SIZEOF( QUERY(
edir <* USEDIN(edgp, ’EXTERNAL_ITEM_IDENTIFICATION_ASSIGNMENT_MIM’
+ ’.APPLIED_EXTERNAL_IDENTIFICATION_ASSIGNMENT.ITEMS’) |
(edir.role.name = ’version’) )) <> 1) )) = 0;
END_RULE;
(*
Определение параметра
externally_defined_general_property-множествовсехэкземпляровобъекта
externally_defined_general_property.
Формальное положение
WR1: каждый экземпляр объекта oxternally_defined_general_property. имеющий в качестве
источника объект с предопределенным именем ’ISO 13584 library’ (библиотека, соответствующая ИСО
13584).содержитсявнабореэлементовстрогоодногообъекта
app!ied_externalJdentification_assignment. роль которого определена объектом identification_role,
имеющим значение атрибута пате (наименование), равное ’version’ (версия).
*)
END_SCHEMA; -- External_properties_mim
(*
13