Формалізація бізнес-процесів на основі апаратів РСА і π-числення

Розглядаються питання побудови формалізованих моделей виробничих і бізнес- процесів, які спроектовані на основі сервісно-орієнтованого підходу (SOA). Запропоновано досліджувати такі процеси на основі поділу на сильно- та слабопов’язані складові. Такий підхід дозволяє для формалізованого представлення процесів застосувати апарат алгебри алгоритмів та інструментарій $\pi$-обчислення, який призначений для опису взаємодії паралельних процесів. Запропонована методика дає змогу одержати компактний формалізований опис виробничих процесів, який забезпечує однозначну відповідність графічним моделям та комп’ютерному представленню мовою програмування BPEL.

The paper considers designing questions of the formalized models industrial and business processes which are constructed on the basis of the service-oriented approach (SOA). The researching of the given processes is offered on the basis of sharing on strong and loosely jointed components. Such approach allows to apply to the formalized representation of such processes the algebra of algorithms and $\pi$-calculus, which is intended for the description of interaction of concurrent processes. The offered technique allows to receive the compact readable formalized description of production and business-processes unambiguously corresponding to the computer representation in language BPEL as well as to the graphic models.