Кулябов Д.С., Королькова А.В. Введение в формальные методы описания бизнес-процессов

Подождите немного. Документ загружается.

9.1. Нотация BPMN 121

чески поток по-умолчанию изображается сплошной линией с закрашенной

стрелкой и косой чертой на противоположном конце.

Поток сообщений (Message Flow) используется для отображения потока

сообщений между двумя отдельными участниками процесса. Графически по-

ток сообщений изображается пунктирной линией с незакрашенной стрелкой

и незакрашенным кружочком на противоположном конце.

Ассоциация (Association) используется для того, чтобы связать данные,

текст и другие артефакты с потоком объектов процесса. Графически ассоци-

ация изображается пунктирной линией с V-образной стрелкой.

Событие представляет собой нечто, происходящее в ходе бизнес-процес-

са и влияющее на его течение. Так, указание типа триггера (условия или огра-

ничения) на событие устанавливает определённые ограничения на процесс

потока. Также события могут приводить бизнес-процесс к некоторому резуль-

тату.

Существует три типа событий (рис. 9.3), классифицированных по време-

ни воздействия на ход процесса: начальные (Start Events), промежуточные

(Intermeidate Events) и конечные (End Events). Начальные и конечные события

представляют собой точки начала и окончания процесса и должны обязатель-

но присутствовать на диаграмме.

Рис. 9.3. Графическое изображение начального, промежуточного и конечного событий в

нотации BPMN

В нотации BPMN определены следующие типы триггеров (табл. 9.2):

–– сообщение (Message) — исходит от некоторого участника или триггера

процесса и предшествует началу, продолжению или окончанию неко-

торого действия процесса;

122 Глава 9. Описание бизнес-процессов с использованием обозначений …

–– таймер (Timer) — устанавливает цикл времени течения процесса;

–– правило (Rule) — тестовая строка, описывающая некоторое правило,

применяемое к событию;

–– исключительное событие (Exception) — при завершении некоторого

действия информирует процесс о возникновении ошибки;

–– компенсация (Compensation) — показывает, как подпроцесс может быть

скомпенсирован последовательностью отката;

–– отмена (Cancel) — указывает на отмену события;

–– ссылка (Link) — представляет собой механизм, обеспечивающий под-

ключение окончания события одного потока процесса к началу события

другого потока процесса;

–– составное событие (Multiple) — указывает на то, что событие может

задействовать несколько путей развития процесса или продолжить про-

цесс в случае наличия промежуточного события.

Таблица 9.2

Типы триггеров в нотации BPMN

Графический символ Название элемента

события с триггером «сообщение»

события с триггером «таймер»

события с триггером «правило»

события с триггером «исключительное событие»

события с триггером «компенсация»

события с триггером «отмена»

события с триггером «ссылка»

события с триггером «составное событие»

9.1. Нотация BPMN 123

Шлюз (или объединение) используется для контроля расхождения и схож-

дения последовательного потока и обозначает ветвление или соединение марш-

рутов (табл. 9.3). Внутренние маркеры указывают на тип контроля развития

процесса. Шлюзы могут определять направление потока на основе данных

процесса (Data-Based) или на основе результатов наступления событий (Event-

Based).

Таблица 9.3

Типы шлюзов в нотации BPMN

Граф.

символ

Название элемента

шлюз

шлюз на основе данных процесса с оп. XOR

шлюз на основе результатов наступления событий с оп. XOR

шлюз на основе результатов наступления событий с оп. OR

шлюз с оп. AND

шлюз со сложным условием

В нотации BPMN определены следующие виды шлюзов:

–– шлюз на основе данных процесса с операцией «исключающее ИЛИ»

(Exclusive (XOR) Data-Based) — может выполняться только одна из вет-

вей процесса;

–– шлюз на основе результатов наступления событий с операцией «ис-

ключающее ИЛИ» (Exclusive (XOR) Event-Based) — может выполнять-

ся только одна из ветвей процесса;

–– шлюз на основе результатов наступления событий с операцией

«ИЛИ» (Inclusive (OR) Event-Based) — могут выполняться одна или бо-

лее ветвей процесса;

124 Глава 9. Описание бизнес-процессов с использованием обозначений …

–– шлюз с операцией «И» (Parallel (AND)) — все ветви процесса выпол-

няются параллельно;

–– шлюз со сложным условием (Complex).

Дорожки представляют собой участников процесса и группируют про-

цесс по ответственности и категориям исполнителей (рис. 9.4).

Рис. 9.4. Графическое изображение дорожек в нотации BPMN

В BPMN определены следующие типы артефактов (табл. 9.4):

–– данные об объекте (Data Objects) — представляют собой дополнитель-

ные данные об объекте, графически изображаются в виде прямоуголь-

ника с «загнутым» верхним правым уголком;

–– группа (Groupe) — используется для документации или анализа целей,

но не влияет на последовательность потоков;

–– аннотация (Annotation) — предоставляет дополнительную информацию

для читателя диаграмм BPMN.

Таблица 9.4

Артефакты в нотации BPMN

Графический символ Название элемента

данные об объекте

группа

аннотация

9.2. Язык моделирования бизнес-процессов BPML 125

9.1.4. Пример диаграммы BPMN

На рис. 9.5 приведён пример BPMN-процесса «Доставка товара в мага-

зин». Магазин отправляет заявку на товар дистрибьютору. Дистрибьютор под-

тверждает получение заявки, запрашивает товар со склада. Перед отправкой

товара со склада проверяется наличие товара, при необходимости товар зака-

зывается у поставщика, после чего товар доставляется грузоперевозчиком в

магазин.

Рис. 9.5. Пример BPMN процесса «Доставка товара в магазин»

9.2. Язык моделирования бизнес-процессов BPML

Язык моделирования бизнес-процессов (Business Process Modeling Lan-

guage, BPML) базируется на метаязыке XML. Бизнес-процесс в BPML соот-

126 Глава 9. Описание бизнес-процессов с использованием обозначений …

ветствует иерархическому набору вложенных и последовательных тегов.

BPML предназначен для представления формальной модели, описываю-

щей процессы, выполняемые в системе, которые определяют все аспекты кор-

поративных бизнес-процессов. BPML задаёт операции разного уровня слож-

ности, транзакции и компенсации, управление данными, параллелизм, обра-

ботку исключений и операционную семантику. В основе BPML лежит язык

XML, поэтому грамматика BPML оформляется в виде XML-схемы, что обес-

печивает постоянство определений и их обмен между гетерогенными систе-

мами и инструментами моделирования.

BPML может применяться для более детального определения процессов.

Он преобразует бизнес-операции в сообщения, которыми обмениваются про-

цессы.

WorkFlow-процесс в BPML определяется при помощи элементов: деятель-

ность (Activity), сигнал (Signal), исключение (Exception), контекст (Context),

свойство (Property).

Деятельность (Activity) является основным элементом бизнес-процесса.

Элементы Activity могут соединяться последовательно (простые) или вкла-

дываться один в другой (сложные). Разные типы деятельности выполняют

различные функции.Также существуют типы деятельности, которые запуска-

ют дочерние процессы (как с ожиданием их окончания, так и без), организуют

задержки выполнения процесса и т.д. Кроме того, есть несколько типов дея-

тельности, реализующих разного вида циклы.

Синтаксис базового типа bpml:activity имеет вид:

<{activity type}

name = NCName

{other attributes}>

Content: (documentation?, {other element}*)

</{activity type}>

BPML спецификация определяет следующие виды деятельности

–– простые:

9.2. Язык моделирования бизнес-процессов BPML 127

– Action — выполняет или запускает операции обмена входящими

и исходящими сообщениями;

– Assign — присваивает новое значение свойству;

– Call — запускает процесс и ждёт его завершения;

– Compensate — вызывает компенсации указанных процессов;

– Delay — выражает течение времени;

– Empty — ничего не делает;

– Fault — выдаёт сообщение об ошибке в текущем контексте;

– Raise — активизирует сигнал;

– Spawn — запускает процесс, не дожидаясь его завершения;

– Synch — синхронизирует по сигналу;

–– сложные:

– All — выполняет указанные операции параллельно;

– Choice — выполняет операции одного из составных комплектов,

выбранного в соответствии с возникшим событием;

– Foreach — однократно выполняет операции для каждого пункта из

списка;

– Sequence — выполняет операции последовательно;

– Switch — выполняет операции одного из составных комплектов,

выбранного на основе истинного значения условия;

– Until — выполняет операции один или более раз на основе истин-

ного значения условия;

– While — не выполняет операции или выполняет их один или более

раз на основе истинного значения условия.

Для деятельности определены следующие состояния:

128 Глава 9. Описание бизнес-процессов с использованием обозначений …

–– ready — деятельность находится в состоянии готовности;

–– active — деятельность находится в активном состоянии (работает);

–– completing — деятельность совершает действия для завершения выпол-

ненных работ;

–– completed — деятельность полностью завершила выполняемые действия;

–– aborting — деятельность совершает действия для прерывания выполня-

емых работ;

–– aborted — деятельность полностью завершила действия для прерыва-

ния выполняемых работ.

Синтаксис для определения элемента Action имеет вид:

<action

name = NCName

portType = QName

operation = NCName

correlate = list of QName

locate = QName

role = QName

{extension attribute}>

Content: (documentation?, (input | output)*, {any activity}*)

</action>

Синтаксис для определения входящего элемента имеет вид:

<input

property = QName

element = QName

xpath = XPath/>

Синтаксис для определения исходящего элемента имеет вид:

<output

type = QName

element = QName

xpath = XPath>

Content: (((source | value)+ | {extension element})?)

</output>

9.2. Язык моделирования бизнес-процессов BPML 129

Синтаксис элемента Assign имеет вид:

<assign

name = NCName

property = QName

xpath = XPath

{extension attribute}>

Content: (documentation?, ((source | value)+ | {extension element})?)

</assign>

Синтаксис элемента Source имеет вид:

<source

property = QName

xpath = XPath>

Content: ({extension element})?)

</source>

Синтаксис элемента Call имеет вид:

<call

name = NCName

process = QName>

Content: (documentation?, output*, input*)

</call>

Синтаксис элемента Compensate имеет вид:

<compensate

name = NCName

process = list of QName>

Content: (documentation?, output*)

</compensate>

Синтаксис элемента Delay имеет вид:

<delay

name = NCName

duration = QName

instant = QName>

Content: (documentation?)

</delay>

130 Глава 9. Описание бизнес-процессов с использованием обозначений …

Синтаксис элемента Empty имеет вид:

<empty

name = NCName>

Content: (documentation?)

</empty>

Синтаксис элемента Fault имеет вид:

<fault

name = NCName

code = QName

property = QName>

Content: (documentation?)

</fault>

Синтаксис элемента Raise имеет вид:

<raise

name = NCName

signal = QName

fault = boolean : true>

Content: (documentation?, output*)

</raise>

Синтаксис элемента Spawn имеет вид:

<spawn

name = NCName

process = QName>

Content: (documentation?, output*)

</spawn>

Синтаксис элемента All имеет вид:

<all

name = NCName>

Content: (documentation?, context?, {any activity}+)

</all>