Описание языка WSFL

Web Services Flow Language (WSFL), разработанный компанией IBM, представляет собой XML-язык, описывающий композицию произвольного типа Web-служб в рамках одной модели потоков (Flow Model). Данная композиция описывается последовательностью точек доступа к функциям, предоставляемым различными службами. Порядок запуска сервисов определяется с помощью управляющих потоков и потоков данных между Web-службами.

Каждый поток работ, объединяющий в себе использование набора некоторых Web-служб, включает в себя:

Бизнес процесс, определяющий набор действий, которые необходимо выполнить в течение данного процесса.
Управляющие правила, которые определяют последовательность выполнения шагов бизнес-процесса.
Поток информации между различными этапами бизнес-процесса.

В языке WSFL рассматривается два типа композиций usage patterns (взаимодействие внутри поставщика услуг) и interaction patterns (поставщиков услуг). На основании этих композиций в языке появляется описание двух моделей:

Flow models - описывает как можно достичь бизнес цели. Результатом этого описания является бизнес-процесс.
Global models - определяет взаимодействие между партнерами в терминах клиент/серверных взаимодействий с помощью операций описанных в их открытых интерфейсах.

Формальная WSFL-модель, отражающая взаимодействие между потоком работ и внешними поставщиками услуг, представлена на следующей диаграмме:

Web Services Flow Language

WSFL Flow Model определяет структуру бизнес-процесса: "действия" (элемент помечены кружками на диаграмме) описывают шаги процесса, а "управляющие связи" (элемент ) и "потоки данных" (элемент ) определяют последовательность переходов и потоки данных между "действиями" соответственно. Для каждого "действия" назначен "поставщик услуг" (элемент ), ответственный за выполнение данного этапа бизнес-процесса, и определяются связи между "действиями" в модели потоков и "операциями" (элемент ), предоставляемыми поставщиками услуг (элементы и ). Результирующая модель потоков работ (элемент ) изображена в центре диаграммы. Она разбита вертикальными линиями на части, отражая тем самым связь "действий" процесса с конкретными поставщиками услуг.

Основными особенностями спецификации языка WSFL являются:

Этапы бизнес-процесса представлены "действиями", которые связываются в направленный граф с условными или безусловными переходами между его вершинами. Каждое "действие" связано с некоторой операцией поставщика услуг, отвечающего за его выполнение.
Связи между "действиями" (ControlLink) представляют собой направленные дуги графа маршрута модели потоков. Переходы между "действиями" могут быть условными.
Модель WSFL допускает возможность параллельного выполнения нескольких "действий". Для этого служит "действие" специального типа, называемое forkactivity, переход с которого может осуществляться одновременно на несколько других действий. При этом WSFL поддерживает набор средств для синхронизации одновременно выполняемых этапов процесса.
Существует два выделенных типа "действий": начальные - (на которые не осуществляются переходы посредством использования ControlLink) и конечные - (которые не связаны "исходящими" переходами с другими "действиями" процесса).
Между последовательно выполняющимися "действиями" может быть организован поток данных для обмена управляющей и другой информацией.