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

Abstract

Розглядається задача побудови моделі сукупності взаємозв’язаних бізнес-процесів на основі подальшого розвитку апарату CTL*-логіки. Запропоновано синхронізацію бізнес-процесів за допомогою правил, що містять умови та сценарій синхронізації. Розглянуто логічну модель сукупності взаємодіючих бізнес-процесів. Запропонований підхід орієнтований на синхронізацію взаємодії бізнес-процесів при їх динамічному реінжинірингу в рамках системи менеджменту бізнес-процесів. The problem of constructing a model of a set of interrelated business processes based on the further development of the CTL * -logy is considered. It is proposed to synchronize business processes using rules that include conditions and a synchronization script. A logical model of the set of interacting processes is considered. The proposed approach is aimed at synchronizing the interaction of business processes with their dynamic reengineering within the framework of the business process management system.