BPEL

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

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