ГОСТ Р ИСО 13584-101—2010
6.3.3.1 Правило IS013584_101_allowed_reference_to„conformance„class_1_2_and_3_rule
Правило ISO13584„101_allowed„reference_to_conformance„class_rule устанавливает ограниче
ния к сущности view_exchange_protocol_identifications. которые следует учитывать при ее использова
нии для ссылки на класссоответствия 1,2 или 3протокола обмена представлениями, установленного в
настоящем стандарте. Сущность view_exchange„protocol_identification допускается использовать для
ссылки на класссоответствия 1.2 или 3 протокола обмена представлениями, установленного в настоя
щем стандарте, при выполнении следующихусловий:
- атрибутом пате сущности view_exchange_protocol_identification является ’ISO_13584_101’;
- атрибутпротоколовextemal_file_protocolsсущности view_exchange_protocol_identification ссыла
ется только на один протокол extemal_file_protocol;
- атрибут level ссылочной сущности external_file_protocol должен соответствовать атрибуту
application сущности view_exchange_protocol_identification:
- атрибут status сущности view_exchange_protocol„.identification должен быть либо ’WD\ либо ’CD’,
либо ’DIS’, либо ’FDIS’, либо ’IS’:
- атрибут application сущности view_exchange_protocol_identification должен иметь значения 1. 2
или Зи
- протокол extemal_file_protocol. на который дается ссылка через атрибут external_fi!e_protocols
сущности view„exchange_protocolJdentification. должен учитывать ограничения, установленные функ
цией ISO13584_101_protocol_compliant_to_cc„1_or_2„or_3, приведенной в6.3.3.2.
Спецификация на языке EXPRESS:
•)
RULE IS013584 101_allowed_reference_to_conformance_class_1_2_and_3_rule
FOR {
view_exchange_protocol_identification);
WHERE
WR1:QUERY (vepjd <*view_exchange_protocol„identification |
(vepJd\data_exchange_specificationJdentification.name =’ISO_13584_10r)
AND
(SIZEOF(vep_id\data_exchange_specificationJdentification.external_file_protocols) <> 1))*Ц:
WR2: QUERY(vep_id <* view_exchange_protocol_identification |
(vep_id\data_exchange_specificationJdentification.name =’ISO_13584_101’)
AND
(QUERY(efp <*vep„id\data_exchange_specification„identification.
external_file„protocols |NOT(efp.level =vepjd.application) )<>[])) = [];
WR3: QUERY(vep„id <* view_exchange_protocol„identification |
((vep_id\data_exchange_specification„identification.status =’WD’)
OR (vep_id\data„exchange„spedfication_identification.status =’CD1)
OR (vep_id\data_exchange„spedfication„identification.status =’DIS’)
OR (vep_id\data„exchange_spedfication„identification.status =’FDIS’)
OR (vep_id\data„exchange_specification_identification.status =’IS’))
AND
(vep_id\data exchange_spedfication_identification.name =,ISO 13584_101’)
AND
((vep„id\data_exchange„specification_identification .application =’1’)
OR (vep„id\data_exchange_spedfication_identification.application = ’2’)
OR (vep_id\data_exchange_spedfication_identification.application = ’3’))
AND
(QUERY{ efp <*vep„id\data_exchange_specification_identification.
external_file„protocols |
NOT(ISO13584_101_protocol_compliant_to_cc_1_or_2_or„3(efp))) = []))
=QUERY(vep„id <* view„exchange„protocol„identification |
(vep_id\data_exchange spedficationjdentification.name =’ISO_13584_101’)
AND
(vep_id\data„exchange_spedfication_identification.application LIKE’#’));
END_RULE;
IS013584 101 allowed reference to conformance class 1 2 and 3 rule