При разработке набора бизнес-процессов, которые проектируются фрагментарно, возникает проблема несогласованности значений и параметров этих процессов. Связано это с тем, что проектировщиками могут выступать разные люди и команды. На данный момент существуют средства разработки BPM, которые позволяют вести разработку согласованных бизнес-процессов, но они используют модифицированные стандарты описания моделей, а так же не предоставляют обратной связи по некорректным процессам, которые были загружены в них извне. Поэтому возникает потребность в исследовании методов валидации согласованности параметров бизнес-процессов и впоследствии программного обеспечения, результатом работы которого будет набор предупреждений, которые в последствии могут быть использованы для формирования перечня операций для устранения несогласованностей. В задачи проекта входит анализ BPM-машин, исследования синтаксиса различных схем описания процессов, таких как BPMN, XML и UML, разработки алгоритмов извлечения данных из этих схем, алгоритмов для проверки согласованности их параметров, а также реализации подсистемы, которая будет выполнять эти проверки и предоставлять результат их выполнения пользователю. Результаты могут быть использованы для построения подсистем валидации в BPM-машинах.

When developing a set of business processes, the project is fragmented, the problem of inconsistency of settings and process parameters arises. This is due to the fact that designers can be different people and teams. At this point, BPM development tools, which allowed the development of consistent business processes, but they used modified standards for describing models, and also did not take into account the tracking of communication by responsible processes, were loaded into them from the outside. Therefore, there is a need to find methods for checking the validity of business process parameters and, as a result, it is required that work arises in which there will be a set of warnings, in which the consequences can be used to form a list of operations to absorb inconsistencies. The task of the project is to analyze the use of BPM machines, study the syntax of various process description schemes, such as BPMN, XML and UML, develop algorithms for extracting data from this scheme, algorithms for checking the parameters of their parameters, as well as implementing subsystems that will perform these checks. and the consequences of their implementation. The results of the work were used to create validation subsystems on BPM machines.

• Введение
• =Средства моделирования и валидации бизнес-процессов
  • =DMAIC
  • =BPM-машины
  • =BPMN
  • =Camunda
    • =Process Engine
    • =Cockpit
    • =Tasklist
    • =Camunda Modeler
  • =Средства преобразования BPMN процессов
  • =Выводы
• =Алгоритмы валидации бизнес-процессов
  • =Перечень проверок согласованности
  • =Метод проверки согласованности параметров
  • =Алгоритм проверки достижимости
  • =Алгоритм проверки слабой терминированности
• =Реализация системы валидации бизнес-процессов
  • =Функции проверки
    • =Достижимость задач и вентелей
    • =Проверка шлюзов на корректность
    • =Проверка принадлежности к зоне ответственности
    • =Проверка наличия циклов
  • =Архитектура программы
  • =Функции программы
    • =Преобразование BPMN к графовой структуре
    • =Выбор проверок
    • =Отображение результатов работы программы
• =Исследование
  • =Анализ быстродействия программы
  • =Пример работы проверок
• Заключение
• Список литературы
• Приложение А. Схема бизнес-процесса