Статья посвящена описанию структурных методов моделирования бизнес-систем (систем бизнес-процессов), предназначенных не только для статического функционального/информационного моделирования процессов, но и позволяющих осуществлять имитацию их поведения.
Приведено описание базовых грамматических конструкций структурных языков моделирования бизнес-процессов, подмножества которых предлагается адаптировать для расширения входного языка инструментального комплекса РДС (Расчет Динамических Систем), что позволит использовать возможности комплекса для решения задач анализа не только динамических систем, но и бизнес-систем.
Для формального описания синтаксиса предлагается применять аппарат смешанных грамматик, являющихся комбинацией графовых и обычных грамматик. В статье неформально описаны семантические аспекты языка, в частности семантика отношений между объектами языка. Детально представлены нетерминальные символы языка: диаграмма, DFD-диаграмма, STD-диаграмма, ERD-диаграмма, миниспецификация, определены служебные структуры (включая словарь данных).
Описаны виды и типы оценочных критериев в задачах анализа качества бизнес-моделей, выявления синтаксических ошибок, а также ошибок статической семантики при их реализации в РДС. Приведена классификация потенциальных ошибок.
Статический анализ бизнес-модели осуществляется по трем направлениям – синтаксис, семантика и прагматика. Методы анализа можно разделить на следующие классы: синтаксические, т.е. те, которые выявляют нарушения синтаксиса языка представления диаграмм; семантические, выявляющие нарушения смыслового представления диаграмм и их элементов; методы анализа качества бизнес-модели, оцениваемого параметрами связности и сцепления.
Реализация описанных методов и механизмов предполагается в виде дополнительного модуля имитационного моделирования бизнес-процессов в составе программного комплекса РДС, являющегося инструментом для построения исследовательских стендов, обеспечивающих процесс моделирования, анализа и синтеза систем управления. Комплекс был реализован в рамках проектов, выполненных в ИПУ РАН. В статье определено назначение, состав и структура модуля имитационного моделирования бизнес-процессов.
