Введение. 
Использование формальных грамматик в задачах реинжиниринга бизнес-процессов

Основные результаты теории программирования были получены в 50−80 г. г. XX-го века и относились к следующим направлениям: формальные грамматики и языки; параллельные процессы и методы распараллеливания; теория тестирования и методы отладки программ; методы оптимизации, верификации, анализа и оценки качества; теория баз данных и баз знаний; структурные и объектно-ориентированные методы анализа и проектирования; теория синтаксического анализа и компиляции.

Все эти методы были созданы до появления персональных компьютеров и, в основном, развивались в сторону ориентации на новые вычислительные архитектуры (прежде всего, многопроцессорные вычислительные комплексы классов SIMD и MIMD).

В частности, в ИПУ РАН в 70−80 г. г. прошлого века в рамках работ по созданию базового системного программного обеспечения для МВК ПС-2000 и ПС-3000 фактически были предложены теоретические основы синхронного и асинхронного параллельного программирования практически по всем из вышеперечисленных направлений [Прангишвили и др., 1983], [Трахтенгерц, 1987], [Разбегин и др., 1985].

Второй этап развития теоретических основ создания автоматизированных информационных систем связан с массовым применением компьютеров в производственной деятельности, с изменением роли информационных технологий (ИТ), ставших частью этой деятельности. Фактически, в современных условиях под ИТ понимается регламентированный бизнес-процесс, поддержанный (полностью или частично) автоматизированной информационной системой.

В этой связи на данном этапе основное внимание было уделено созданию теории инжиниринга/реинжиниринга бизнес-процессов [Калянов, 2000]. При этом созданная теория во многом опирается на результаты вышеперечисленных направлений теории программирования. В частности, для решения задач проектирования процесса (порождения и анализа множества вариантов, выбора варианта и т. п.) применяются параллельные атрибутные порождающие грамматики специального вида;

для решения задачи оценки качества выбранного варианта используются адаптированные для бизнес-процесса критерии и метрики сцепления и связности, в свое время предложенные для оценки качества программного обеспечения;

для решения задачи верификации разработан комплекс моделей, критериев и методов тестирования процесса, обеспечивающий обнаружение наиболее части встречающихся ошибок определенных классов;

модели и методы анализа и проектирования адаптируются и дополняются новыми моделями, специально разработанными для бизнес-процессов (например, business use-cases в UML);

разрабатываются методы автоматического распараллеливания бизнес-процессов и т. п.

Таким образом, родство задач проектирования программного обеспечения и синтеза и реинжиниринга бизнес-процессов было подмечено во второй половине 90-х годов прошлого века. Стало понятно, что общим математическим аппаратом для их исследования могут служить грамматики, параллельные процессы, графовые модели различных видов.