ГОСТ РИСО 19440—2010
|имя
|ANY;(• см. А. 1.2.2 а): значение состояния является пос
тоянной величиной или выражением, которое дает
оценку по имени: такая грамматика отражает неод
нозначность языка в этом отношении — постоянная
состояния и имя используют разную семантику, но
оба являются чередованием символов строки: ES
(еа) compare (сравнить) ANY всегда является истин
ным. если еа завершено *)
и завершение = (по завершении {AND по завершении})(* см. А. 1.2.2 с) *):
или завершение = (по завершении {OR по завершении}) (• см. А.1.2.2 d) *);
действие = инициировать
| завершить
| генерировать
| создать цикл (* см. А. 1.3*):
инициировать = единичное действие | и ветвление
| хот ветвление (’ см. А. 1.3.1 *);
единичное действие = Ьреа {* см. А. 1.3.1 а) ’);
и ветвление = и модальность, и набор действий (* см. А.1.3.1 Ь) *);
и модальность = SYNCHRONOUS |ASYCHRONOUS | UNORDERED (* см. А. 1.3.1 Ь) *); и набор действий =
единичное действие ("," единичное действие}
| единичное действие {AND единичное действие} (’ см. А.1.3.1 Ь) *);
хот переход =хот модальность, хог набордействий (* см. А1.3.1 с)’):
хот модальность = RUN-TIME CHOICE
| SELECT nthдействие FROM; (’ см. А.1.3.1 с) *);
хог набор действий = единичное действие {"." единичное действие)
|единичное действие {XOR единичное действие}; (’ см. А.1.3.1 Ь) *)
nth действие = положительное целое число;
(‘ см. А.1.3.1 с); nth действие является выражением,
которое должно оценить до положительного целого
числа <= число элементов данных в наборе действий
хог. в противном случае возбуждается особаяситуа
ция’);
завершить = [возбудить особую ситуацию] обычный (‘ см. А.1.3.2 *);
возбудить особую ситуацию = GENERATE имя особой ситуации AND {* см. А.1.3.2 Ь) *);
обычный = FINISH {’см. А.1.3.2 а) *);
генерировать = GENERATE событие (‘ см. А.1.3.3 *);
цикл = условное повторение
| итеративное повторение;(*см. А.1.3.4 *);
условное повторение = REPEAT действие UNTIL завершение действия; {’ см. А 1.3.4 а)*);
итеративное повторение = REPEAT действие, счетчик цикла TIMES (’ см. А.1.3.4 Ь) *);
счетчик цикла = положительное целое число;(’ см. А.1.3.4 Ь); счет цикла должен быть выраже
нием. с помощью которого оценивают положитель
ное целое числоили нуль (в этом случае действие не
выполняется), или. если это не так. наступает особая
ситуация*):
(* Определения набора поведенческих правил заканчиваются здесь ’).
49