Существующие барьеры и проблемы при постановке задач на проектирование новых информационных систем в органах государственной власти обусловливают необходимость новых подходов к моделированию бизнес-процессов. Предлагается применение нотации BPMN-моделей с использованием графической платформы моделирования бизнес-процессов Oryx. Определен механизм верификации модели и устранения структурных конфликтов на преобразованной в сеть Петри WF-модели. Предложен сценарный подход к формированию спецификации разрабатываемых программных приложений. Библиогр. 3.
моделирование, бизнес-процесс, сеть петри