ГОСТ Р ИСО 13584-101—2010
AND
((vep_id\data_exchange_specificationJdentification.application =’1E’)
OR {vep_id\data_exchange_specification_identification.application = ’2E’)
OR (vep_id\data_exchange_specificationJdentification.application = ’3E’)>
AND
(QUERY(efp<*vepJd\data_exchange_specificationJdentification.external_file_protocols|
N0T(IS013584_101_protocol_compliant_to_cc_1 E_or_2E_or_3E(efp)))={)))
=QUERY(vep_id <* view_exchange_protocol_identification |
(vepJd\data_exchange_specificationJdentification.name = ’ISO_13584_101’)
AND
(vepJd\data_exchange_specificationJdentification.application LIKE WE’));
END_RULE;
ISO13584_101_allowed_reference to_conformance_class_1E_2E_and_3E_rule
C
Формальные предложения:
WR1: в сущности view_exchange_protocol..identifications, ссылающейся на класссоответствия 1Е,
2Е или ЗЕпротокола обмена представлениями, установленногов настоящем стандарте, ссылкадолжна
быть только на сущностьexternal Jile_protocol.
WR2: при ссылке на протокол обмена представлениями, установленный в настоящем стандарте,
сущность view_exchange_protocolJdentification.name должна иметь значение ИСО_13584_Ю1; значе
ниемсущностиview_excfiange_protocolJdentification.statusдолжно бытьлибо "WD’.либо’CD’, либо ’DIS’,
либо ’FDIS’, либо ’IS’, значение сущности view_exchange_protocol_identification.application должно быть
’1Е‘. ’2Е’ или ’ЗЕ’. а сущность view_exchange_protocoljdentification.extemal_file_protocolsдолжна учиты
ватьограничения, установленныефункцией ISO13584_101_protocol_compliant_to_cc_1E_or_2E_or_3E.
приведенной в 6.3.4.2.
6.3.4.2 Функция ISO13584_101_protocol_compliant_to_cc_1E_or_2E_or_3E
Функция ISO13584_101_protocol_compliant_to_cc_1E_or_2E_or_3E обеспечивает проверку того,
можетли насущность external_file_protoco! ссылаться сущность view_exchange_protocol..identifications,
представляющая класс соответствия 1Е, 2Е или ЗЕ. Сущность view_exchange_protocolJdentification,
представляющая класссоответствия 1Е. 2Е или ЗЕ. может сослаться на сущность extemal_file_protocol
при выполнении следующего условия:
- сущность external_file_protocolдолжна быть сущностью non_standard_simple_program_protocol.
Функция IS013584_101_organization_compliantJo_cc_1E_or_2E_or_3E возвращает логическое
значение TRUE, если заданная сущность external_file_protocol учитываетэто ограничение, в противном
случае функция возвращаетлогическое значение FALSE.
Спецификация на языке EXPRESS:
•)
FUNCTION ISO13584_101_protocol_compliant_to_cc_1E_or_2E_or_3E(
р: external_file_protocol): BOOLEAN;
IF ({’IS013584_EXTERNAL_FILE_SCHEMA’
+ ’.NON_STANDARD_SIMPLE_PROGRAM_PROTOCOL’ IN TYPEOF(p)))
THEN
RETURN (TRUE);
ELSE
RETURN (FALSE);
ENDJF;
END_FUNCTION;-- ISO13584_101_protocol_compliant_to_cc_1E_or_2E_or_3E
END_SCHEMA; -- ISO135e4_101_cc_1E_or_2E_or_3E_schema
(*
23