ГОСТ Р ИСО 13584-101—2010
Формальные предложения
WR1: всущностиview_exchange_protocol_identifications. ссылающейся на класссоответствия 1,2
или 3 протокола обмена представлениями, установленного в настоящем стандарте, ссылка должна
бытьтолько наодну сущностьexternal_file_protocol.
WR2: атрибутlevel ссылочнойсущности standard_program_protocolдолженсоответствоватьатри
буту application сущности view_exchange_protocol_identifications, ссылающемуся на класс соответ
ствия 1.2 или 3 протокола обмена представлениями, установленного в настоящем стандарте.
WR3: при ссылке на протокол обмена представлениями, указанный в настоящем стандарте, сущ
ность view_exchange_protocol_identification.name должна иметь значение !SO_13584_101: значение
сущности view_exchange_protocol_identification.status должно соответствовать либо ’WD’. либо ’CD’,
либо ’DIS’. либо ’FDIS’. либо ’IS’; значение сущности view_exchange_protocol_identification.application
должно быть либо 1, либо 2, либо 3. а сущность view_exchange_protocol_identification.extemal_
file_protocols должна учитывать ограничения, установленные функцией ISO13584_101_protocol_
compliant_to_cc_1_or_2_or_3, приведенной в 6.3.3.2.
6.3.3.2 Функция ISO13584_101_protocol_compliant_to_cc_1_or_2_or_3
Функция ISO13584_101_protocol_compliant_to_cc_1_or_2_or_3 обеспечивает проверку того,
можетли сущностьview_exchange_protocol_identification. представляющаякласссоответствия 1.2 или3
протокола обмена представлениями, установленного в настоящем стандарте, предоставить ссылку на
сущностьexternal_file_protocol. Эта функция возвращаетлогическое значение TRUE, если на сущность
external_file_protocol может бытьдана ссылка, в противномслучаеона возвращаетлогическоезначение
FALSE. Сущность view_exchange_protocol_identification, представляющая класссоответствия 1.2 или 3
протоколаобмена представлениями, установленногов настоящемстандарте, можетссылаться насущ
ность extemal_file_protocol при выполнении следующих условий:
- сущность external_file_protocolдолжна бытьсущностью standard_simple_program_protocol. атри
бутом language которого является «FORTRAN», атрибутом status- SOURCE или COMPILED;
- атрибут organization сущности extemal_file_protocol должен ссылаться на сущность organization,
атрибутом id которой является ’ISO’, аатрибутом name - ’International Organization for Standardization’;
- атрибутом protocol_nameсущности external_file_protocolдолжен быть’ISO_13584_31’;
-атрибут level сущности external_file_protocol, если он существует, должен иметь значения 1. 2
или 3;
- атрибут designation сущности external_file_protocol должен ссылаться на сущность item_names,
для которой атрибутом preferred_name является *ISO_13584_31\ а атрибутом short_name —
’ISO_13584_31\
Спецификация на языке EXPRESS.
*)
FUNCTION IS013584_101_protocol_compliant_to_cc_1_or_2_or_3
(р: external_file_protocol): BOOLEAN;
IF ((’IS013584_EXTERNAL_FILE_SCHEMA’
+’.STANDARD_SIMPLE_PROGRAM_PROTOCOL’ INTYPEOF(p))
AND
(ISO13584_101_organization_comp!iant_to_cc_1_or_2_or_3(p.organisation))
AND (p.protocol_name = ’ISO_135e4_31’)
AND (NOT EXISTS(p.level) OR ((p.level= ’1’) OR (p.level =’2’) OR (p.level =’3’)))
AND (ISO13584_101_item_names_compliant_to_cc_1_or_2_or_3(p.designation))
AND (p\simple_program_protocol.language =’FORTRAN’)
AND ((p\simple_program_protocol.status = SOURCE)
OR (p\simple_program_protocol.status = COMPILED)))
THEN
RETURN(TRUE);
ELSE
RETURN(FALSE);
ENDJF;
END_FUNCTlON; -- IS013584 101_protocol_compliant_to_cc_1_or_2_or_3
(*
20