ГОСТ Р ИСОГГС 10303-1129—2014
Определение параметра
applied_external_identification_assignment-множествовсехэкземпляровобъекта
applied_extornal_identification_assignmont.
Формальное положение
WR1: не должно существовать ни одного предоставляющего обозначение версии экземпляра
объекта applied_externaljdentification_assignmont. который ссылается на экземпляр объекта типа,
которыйнесодержитсявспискевыборавыбираемого(SELECT)типа данных
externally_versioned_item.
5 2.4.2 Глобальное правило plib_property_reference_requires_name_scope
Глобальное правило plib_property_referenco_requires_name_scopo устанавливает то. что на
каждый экземпляр объекта oxternally_defined_general_property. источник которого .представлен
объектом known_source. как на объект, играющий роль атрибута relatingjtem, ссылается строго
один экземпляр объекта externally_defined_item_ relationship с именем name scope’, атрибут
relatedjtem которого ссылается на объект externally_defined_class. источником которого является
объект known_source. Это правило накладывает более строгое ограничение, чем требование, чтобы
каждый объект Plib_property_ reference был связан с объектом name_scope.
EXPRESS-спецификация:
*)
RULE plib_property_reference_requires_name_scope FOR
(externally_defined_general_property);
LOCAL
known_sourced_properties : SET OF
externally_defined_general_property;
END_LOCAL;
known_sourced_properties := QUERY(edc <*
externally_defined_general_property |
’PLIB_CLASS_REFERENCE_MIM’ + ’.KNOWN_SOURCE’ IN
TYPEOF(edc.source) );
WHERE
WR1: SIZEOF (QUERY (edgp <* known_sourced_properties | (
SIZEOF (QUERY (edir <* USEDIN (edgp,
’EXTERNAL_REFERENCE_SCHEMA1 +
’.EXTERNALLY_DEFINED_ITEM_RELATIONSHIP.RELATING_ITEM’ >| (
edir.name = ’name scope’ )AND (’EXTERNAL_CLASS_MIM’ +
’.EXTERNALLY_DEFINED_CLASS’ IN TYPEOF (edir.related_item ) ) AND
( ’PLIB_CLASS_REFERENCE_MIM’ + ’.KNOWN_SOURCE’ IN TYPEOF (
edir.relatea_item.source ) ) ) ) <>1 ) ) ) = 0;
END_RULE;
(*
’
Определение параметра
externally_defined_general_property-множествовсехэкземпляровобъекта
externally_defined_general_property.
Формальное положение
WR1: на каждый экземпляр объекта externally_dofined_genoral_proporty, источник которого
представлен объектом known_source. как на объект, играющий роль атрибута relatingjtem.
ссылается строго один экземпляр объекта externally_definedjtem_ relationship с именем пате
scope’, атрибут relatedjtem которого ссылается на объект oxternally_defined_class, источником
которого является объект known_source.
5.2.4.3 Глобальное правило plib_property_reference_requires_version
Глобальное правило plib_proporty_reference_requires_version устанавливает, что каждый
экземпляр объекта externally_definod_goneral_property. имеющий в качестве источника объект с
предопределенным именем ’ISO 13584 library* (библиотека, соответствующая ИСО 13584).
содержится в наборе элементов строго одного объекта applied_externalJdentification_assignment.
12