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

Современный этап развития ИТ характеризуется комплексностью подходов, методов и моделей их создания. Одной из основополагающих на сегодняшний день концепций в рассматриваемой области является концепция архитектуры предприятия (EA — Enterprise Architecture), под которой понимается всестороннее и исчерпывающее описание (модель) всех его ключевых элементов и межэлементных отношений. ЕА интегрирует три слоя предприятия (стратегический, процессный и системный) в единую модель, позволяющую осуществлять его комплексный анализ в различных разрезах (экономическом, организационном, качественном, количественном и т. д.) для совершенствования деятельности по принятию решений, контролю, координации и мониторингу различных его частей.

В настоящее время в рамках концепции ЕА активно создаются специальные языки моделирования архитектуры (EML — Enterprise Modeling Language), адаптируются и разрабатываются интегрирующие модели-платформы (прежде всего, базирующиеся на схеме Захмана) и т. п. [Калянов, 2006]. Консалтинговые компании получают все больше и больше проектов, связанных с построением ЕА и созданием корпоративной автоматизированной информационной системы на ее основе. Однако, это работы ведутся на интуитивном, слабо формализованном уровне, отсутствуют метрики и критерии оценки целевого состояния.

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

• 1. Разработка комплекса формальных моделей ЕА, методов их аналитического исследования, теоретических и методических основ комплексного реинжиниринга и консалтингового подхода (в части ИТ-консалтинга) в целом, позволяющих: осуществлять функционально-структурное проектирование (синтез) элементов ЕА, интегрирующих процессную и системную компоненты; проводить верификацию таких элементов; оценивать их состояние на основе комплекса критериев и обеспечивать переход от текущего состояния к целевому с использованием соответствующих критериев оценки и метрик; осуществлять взаимоувязанное автоматическое распараллеливание этих элементов.
• 2. Создание принципов построения, моделей и алгоритмов комплекса инструментальных программных средств поддержки разработанных подходов и методов управления ЕА и ИТ.
• 3. Практическая проверка эффективности созданных методов, моделей и алгоритмов при выполнении консалтинговых проектов для предприятий различного типа.

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