ГОСТ РИСО 19440-2010
status constant = имя;(* литеральная константа, которую
можно сравнивать с Конечным статусом *);
(* Следующие записи устанавливают служебные слова для поведенческих правил: *)
(* Служебные слова в поведенческих правилах разграничиваются пробелом или пунктуацией ’)
AND = ? логический и ?;
ANY = ? эквивалент символа шаблона, состояние, которое сравнивает ANY с любым значением, которое
всегда присутствует ?;
ASYNCHRONOUS = ? активируется параллельно, возможно начинается в разные моменты времени ?;
DO = ? инициировать действие, если наступает управляющее условие ?;
ES = ? Конечный статус Деятельности предприятия ?; {*ES(ea) нужно оценить до предиката 0-параметра *)
EXCEPTION = ? сигнализировать об аномальном поведении ?;
FINISH = ? сигнализировать о завершении Бизнес-процесса ?;
FROM = ? выбрать идентифицированный элемент из списка ?;
GENERATE = ? вызвать наступление экземпляра или особой ситуации ?:
OR = ? логический или ?;
REPEAT = ? итерировать ?;
RUN-TIME CHOICE = ? выбрать элемент из списка в момент, когда требуется принять решение ?;
SELECT = ? установить, какой элемент из списка должен быть выбран ?;
START = ? состояние, которое наступает, когда инициируется Бизнес-процесс ?;
SYNCHRONOUS = ? все (состояния
I
события), начинающиеся в одно и то же время ?;
TIMES = ? установить число повторений ?:
UNORDERED = ? очередность активации неизвестна и будет определена во время выполнения (действия),
и. возможно, будет подвергнута временным ограничениям ?;
UNTIL = ? проверить завершение действия ?:
WHEN = ? подождать наступления состояния (возможно многокомпонентного) ?;
XOR = ? логический эксклюзив или ?:
(* Предварительная информация заканчивается здесь *)
(* Определить набор поведенческих правил для конструкций Бизнес-процесса: *)
набор поведенческих правил = поведенческое правило {поведенческое правило) (* см. 6.3.5 *);
поведенческое правило = WHEN условие DO действие; (’ см. А. 1.1 ’);
условие = термин условия
| термин условия {AND термин условия)
| термин условия {OR термин условия), {* см. А1.1 Ь) 3) *);
термин условия = единичное условие
|(условие): ( см. А. 1.1 Ь) 3) *);
единичное условие = наступление события
| завершение действия; (* см. А.1.1 Ь)1)иА.1.1 Ь)2) *);
наступление события = событие
| начало
| особая ситуация; (* см. А. 1.2.1 *);
событие =е\г,(* см. А. 1.2.1 а) имеющее имя Событие необходимо
включить в список Бизнес-процесса сВходами
События *);
начало = START; (* см. А. 1.2.1 Ь) *);
особая ситуация = указанная ситуация
| значение по умолчанию ("см. А. 1.2.1 с) *);
указанная ситуация = [EXCEPTION] имя особой ситуации (* см. А. 1.2.1 с) 1)*);
особая ситуация = имя;
значение по умолчанию = EXCEPTION ANY (* см. А.1.2.1 с) 2) *);
завершение действия = по завершении
| и завершение
| или завершение (’см. А.1.2.2 *);
по завершении = по состоянию:
| FINISH (bp)(• см. А.1.2.2 иА.1.2.2Ь) *):
по состоянию = ES (еа). compare, значение состояния(* см. А. 1.2.2 а) *);
сравнить =*=" | -<’ |">* | •<>*; (’ см. А.1.2.2а) *):
значение состояния = постоянная состояния
48