ГОСТ Р ИСО/ТС 10303-1129-2014; Страница 14

или поделиться

Ещё ГОСТы из 41757, используйте поиск в верху страницы

ГОСТ 27775-2014 Искусственное осеменение сельскохозяйственных животных. Термины и определения (Настоящий стандарт устанавливает основные термины, применяемые в области искусственного осеменения сельскохозяйствен-ных животных, и их определения. Термины, установленные настоящим стандартом, рекомендуется использовать в правовой, нормативной, технической и организационно-распорядительной документации, научной, учебной и справочной литературе) ГОСТ Р ИСО/ТС 10303-1122-2014 Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 1122. Прикладной модуль. Задание документа (Настоящий стандарт определяет прикладной модуль «Задание документа». В область применения настоящего стандарта входят:. - задание документов, связанных с данными об изделии или с данными о действии;. - задание частей или разделов документов, связанных с данными об изделии или с данными о действии) ГОСТ EN 13819-2-2014 Система стандартов безопасности труда. Средства индивидуальной защиты органа слуха. Акустические методы испытаний (Настоящий стандарт устанавливает акустические методы испытаний средств индивидуальной защиты органа слуха. Цель настоящих испытаний - оценка эксплуатационных характеристик средств индивидуальной защиты органов слуха, установленных в стандартах на конкретное изделие)

Страница 14

Страница 1

Untitled document

ГОСТ Р ИСО/ТС 10303-1129—2014

EXPRESS-слецификация.

FUNCTION exterr.al_yersion_assignment_is_valid (aia :

applied_external_iden.tif ication_assignment) :BOOLEAN;

LOCAL

item: identificatior._item;

role: identificatior._role;

END_LOCAL;

role:= aia.role;

IF role.name=’version’ THEN

REPEAT i:=LOINDEX(aia.items) TO HIINDEX(aia.items);

item:= aia.items[i];

IF (SI2EOF([’EXTERNAL_PROPERTIES_MIM.’ +

’EXTERNALLY_VERSIONED_ITEMr]*TYPEOF(item))=0) THEN

— item invalid if item does not belong to versior.able

types

RETURN(FALSE);

END_IF;

END_REPEAT;

RETURN(TRUE);

ELSE— case where aia does not convey a version id

RETURN(TRUE);

END_IF;

END_FUNCTION;

Определение параметра

aia - экземпляр объекта applied_external_identification_assignment, допустимость которого

оценивается.

5.2.4 Определение глобальных правил ИММ

В настоящем пункте определены глобальные правила ИММ для прикладного модуля,

рассматриваемого в настоящем стандарте. Ниже специфицированы глобальные правила ИММ и их

определения.

5.2.4.1 Глобальное правило external_version_assignments_are_valid

Глобальное правило external_version_assignments_are_valid позволяет удостове-риться, что

всеэкземплярыобъектовapplied_external_identification_assignment.исполь-зуемыхдля

обозначения версии, содержат в атрибуте items (элементы) ссылки только на объекты тех

типов, которыеперечисленыв спискевыборавыбираемого

(SELECT)типаданных oxternally_versioned_item.

EXPRESS-спецификация:

RULE external_version_assignments_are_valid FOR

(applied_external_identification_assignment);

WHERE

WR1: SIZEOF(QUERY(aia <*

applied_exterr.al_identificatior._assignment INOT

external_version_assignment_is_valid(aia)))=0;

END_RULE;