ГОСТ РИСО 19440—2010
REPEAT action UNTIL test condition.
где действие является либо действием «инициировать» (единичным действием. AND-ветвлением или XOR-
ветвлением). либо действием последующего цикла, а проверяемое условие
(test condition)
представляет собой
завершение действия согласно А. 1.2.2.
П р и м е ч а н и е — Выражение
REPEAT ЕАх UNTIL ES
(ЕАх) =ANY семантически эквивалентно "ЕАх";
end-comment-symbol *)
end-group-symbol )
end-option-symbol )
end-repeat-symbol }
special-sequence-symbol ?
П р и м е ч а н и е — Знак пробела, заключенный в кавычки, означает, что требуется литеральный пробел, в
противном случае пробелы и концы строк (так называемое «белое место») не имеют значения. Мета
идентификатор может быть расположен в правиле как слева, так и справа, позволяя тем самым выполнять
рекурсию.
Ь)повторить итеративно
(repeat iteratively)
— данный цикл обеспечивает фиксированное число повторе
ний данного действия и представляется посредством
REPEAT action loop count TIMES.
где действие является либо действием «инициировать» (единичным действием. AND-ветвлением или XOR-
ветвлением), либо действием последующего цикла, а счетчик цикла
(loop count)
является выражением, которое
проводит оценку до положительного целого, которое определяет число повторений, или, если такую оценку не
проводят, действие не инициируется.
А.2 Формальный синтаксис вeBNF
В следующем синтаксисе используется нотация eBNF согласно ИССШЭК 14977. Обычный символ, пред
ставляющий каждый оператор из
Extended BNF
и его подразумеваемый приоритет (высший приоритет на верху),
имеет следующий вид:
* (repetition-symbol) — символ повторения;
- (except-symbol)— символ исключения:
. ( concatenate-symbol) — символ объединения;
| (definition-separator-symbol) — символ разделения определения;
= (defining-symbo!) — определяющий символ;
; (terminator-symbol) — символ завершения.
Обычная последовательность (приоритет) представляется следующими парами:
’ first-quote-symbolfirst-quote-symbol ’
* second-quote-symbolsecond-quote-symbol "
(‘ start-comment-symbol
( start-group-symbol
[ start-option-symbol
{ start-repeat-symbol
? special-sequence-symbol
Пример
-
list
=
item
|
item ANDlist;
(‘ использует рекурсию для генерации непустой последовательности элемента item, item AND
item, item ANDitem AND item, etc. *)
Следующие базовые декларации определяют положительные целые числа и некоторые строки поведен
ческого правила:
ненулевое целое число =*1*|’2* | ’3l |-411
Ъ’
|’б’ 17’ |
Ъ’
|’Э’:
десятичная цифра = "O’ | ненулевое целое число:
положительное целое число = ненулевое:
целое число (десятичная цифра); (’используется в XOR-модальности и цикле’);
прописная буква =‘А’ |’В’ |’С’ |’D’ |‘Е’ |V |’G’ |К | Т |Т |’К’ |’L’|М |’N’ |’O’ |
’Р \•Q’
|’R’ | ’S’ |T |’U ’ | V |W |’X’ |
V |Т;
строчная буква = ’а’ |Ъ’ |’С |’d’ | ’е’ |Y |‘g11W |Т |У| ’k’ |Т |W |W |’o’ |’р’ | ’q’ |Г | ’s’ |
У \
’и’ |V |V |V |у |
’г
’ :
буква = прописная буква | строчная буква;
символ строки =буква | десятичная цифра|
‘Г
Г: {’ обратите внимание, что символ строки может быть
имя = буква, (символ строки);
пробелом *);
(’Имя поведенческого правила является идентифицирующей
меткой или переменной. Оно должно начинаться с буквы, со
держать пробелы и т. д.’);
(’ идентифицировать Бизнес-процесс по его имени ’);
(’ идентифицировать Деятельность
предприятия по его имени *);
(’см. А.1.1 •);
(’ идентифицировать конструкцию
Событие по ее имени *);
Ьр = имя;
еа = имя:
Ьреа = Ьр | еа;
ev = имя;
47