Модель знание-емкого бизнес-процесса для задач интеллектуального анализа процессов
Предложена модель знание-емкого бизнес-процесса, включающая в себя набор его состояний и правила перехода между последними. Модель отличается от существующих тем, что связывает контекст с последовательностью действий процесса посредством темпоральных правил, что позволяет адаптировать модель во врем...
Збережено в:
Дата: | 2016 |
---|---|
Автори: | , |
Формат: | Стаття |
Мова: | Russian |
Опубліковано: |
Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
2016
|
Назва видання: | Управляющие системы и машины |
Теми: | |
Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/117314 |
Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
Цитувати: | Модель знание-емкого бизнес-процесса для задач интеллектуального анализа процессов / В.М. Левыкин, О.В. Чалая // Управляющие системы и машины. — 2016. — № 6. — С. 59-66, 72. — Бібліогр.: 20 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraineid |
irk-123456789-117314 |
---|---|
record_format |
dspace |
spelling |
irk-123456789-1173142017-05-23T03:03:06Z Модель знание-емкого бизнес-процесса для задач интеллектуального анализа процессов Левыкин, В.М. Чалая, О.В. Методы и средства обработки данных и знаний Предложена модель знание-емкого бизнес-процесса, включающая в себя набор его состояний и правила перехода между последними. Модель отличается от существующих тем, что связывает контекст с последовательностью действий процесса посредством темпоральных правил, что позволяет адаптировать модель во время выполнения бизнес-процесса путем включения новых правил. Запропоновано модель знання-ємного бізнес-процесу, яка містить набір його станів і правила переходів між ними. Модель відрізняється від існуючих тим, що пов'язує контекст і послідовність дій процесу за допомогою темпоральних правил, що дозволяє адаптувати модель під час виконання бізнес-процесу шляхом включення нових правил. Model of knowledge-intensive business process for process mining is proposed. The model includes a set of states of a business process and a set of transition rules. State of the business process is defined by a set of attributes of objects that uses the business process. The relation of the transition between the states is determined by the logical rules. These rules define the possible workflows in accordance with the various conditions of the business process context. 2016 Article Модель знание-емкого бизнес-процесса для задач интеллектуального анализа процессов / В.М. Левыкин, О.В. Чалая // Управляющие системы и машины. — 2016. — № 6. — С. 59-66, 72. — Бібліогр.: 20 назв. — рос. 0130-5395 http://dspace.nbuv.gov.ua/handle/123456789/117314 004.891.3 ru Управляющие системы и машины Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України |
institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
collection |
DSpace DC |
language |
Russian |
topic |
Методы и средства обработки данных и знаний Методы и средства обработки данных и знаний |
spellingShingle |
Методы и средства обработки данных и знаний Методы и средства обработки данных и знаний Левыкин, В.М. Чалая, О.В. Модель знание-емкого бизнес-процесса для задач интеллектуального анализа процессов Управляющие системы и машины |
description |
Предложена модель знание-емкого бизнес-процесса, включающая в себя набор его состояний и правила перехода между последними. Модель отличается от существующих тем, что связывает контекст с последовательностью действий процесса посредством темпоральных правил, что позволяет адаптировать модель во время выполнения бизнес-процесса путем включения новых правил. |
format |
Article |
author |
Левыкин, В.М. Чалая, О.В. |
author_facet |
Левыкин, В.М. Чалая, О.В. |
author_sort |
Левыкин, В.М. |
title |
Модель знание-емкого бизнес-процесса для задач интеллектуального анализа процессов |
title_short |
Модель знание-емкого бизнес-процесса для задач интеллектуального анализа процессов |
title_full |
Модель знание-емкого бизнес-процесса для задач интеллектуального анализа процессов |
title_fullStr |
Модель знание-емкого бизнес-процесса для задач интеллектуального анализа процессов |
title_full_unstemmed |
Модель знание-емкого бизнес-процесса для задач интеллектуального анализа процессов |
title_sort |
модель знание-емкого бизнес-процесса для задач интеллектуального анализа процессов |
publisher |
Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України |
publishDate |
2016 |
topic_facet |
Методы и средства обработки данных и знаний |
url |
http://dspace.nbuv.gov.ua/handle/123456789/117314 |
citation_txt |
Модель знание-емкого бизнес-процесса для задач интеллектуального анализа процессов / В.М. Левыкин, О.В. Чалая // Управляющие системы и машины. — 2016. — № 6. — С. 59-66, 72. — Бібліогр.: 20 назв. — рос. |
series |
Управляющие системы и машины |
work_keys_str_mv |
AT levykinvm modelʹznanieemkogobiznesprocessadlâzadačintellektualʹnogoanalizaprocessov AT čalaâov modelʹznanieemkogobiznesprocessadlâzadačintellektualʹnogoanalizaprocessov |
first_indexed |
2025-07-08T12:01:21Z |
last_indexed |
2025-07-08T12:01:21Z |
_version_ |
1837080072066957312 |
fulltext |
УСиМ, 2016, № 6 59
Методы и средства обработки данных и знаний
УДК 004.891.3
В.М. Левыкин, О.В. Чалая
Модель знание-емкого бизнес-процесса для задач интеллектуального анализа
процессов
Предложена модель знание-емкого бизнес-процесса, включающая в себя набор его состояний и правила перехода между последни-
ми. Модель отличается от существующих тем, что связывает контекст с последовательностью действий процесса посредством тем-
поральных правил, что позволяет адаптировать модель во время выполнения бизнес-процесса путем включения новых правил.
Запропоновано модель знання-ємного бізнес-процесу, яка містить набір його станів і правила переходів між ними. Модель від-
різняється від існуючих тим, що пов'язує контекст і послідовність дій процесу за допомогою темпоральних правил, що дозво-
ляє адаптувати модель під час виконання бізнес-процесу шляхом включення нових правил.
Введение. Интеллектуальный анализ процес-
сов (process mining) направлен на построение и
усовершенствование моделей функционирова-
ния взаимодействующих физических или ин-
формационных объектов на основе обработки
информации о последовательностях событий,
фиксирующих такое поведение [1, 2].
Результирующее поведение объектов пред-
ставляется в виде модели, отражающей возмож-
ные (реализованные на практике) последова-
тельности действий процесса использования и
обработки указанных объектов. В качестве ис-
ходных данных, содержащих последовательно-
сти событий, чаще всего используются файлы
логов (журналов регистрации событий) инфор-
мационных систем, отражающих выполняющие-
ся на предприятии бизнес-процессы. Поэтому в
практическом плане основное внимание в облас-
ти process mining уделяется построению моделей,
выполняющихся бизнес-процессов «как есть».
Знание-емкие (knowledge intensive) бизнес-
процессы (ЗБП) [3] отличаются от традицион-
ных процессов с предопределенным алгорит-
мом действий наличием уровня знаний, ис-
пользуемых для адаптации действий процесса
во время выполнения с учетом текущего со-
стояния предметной области [4]. Эти знания
подразделяются по форме представления на
явные и неявные [5]. Первые обычно пред-
ставлены в формальном виде, а вторые – пер-
сональными знаниями исполнителей, отражаю-
щими их опыт и навыки [6]. Использование
исполнителями своих знаний для изменения
хода ЗБП в зависимости от текущего контекста
вызывает формирование новых последователь-
ностей действий, которые не были включены в
его исходную модель.
При моделировании бизнес-процессов тра-
диционно основное внимание уделяется опи-
санию последовательности действий процесса.
Для формализации последовательности дей-
ствий используются различные варианты work-
flow-моделей [7]. В таких моделях задается ал-
горитм действий процесса с указанием значе-
ний входных переменных, отражающих со-
стояние предметной области. Явные знания о
правилах выбора одного из вариантов реализа-
ции бизнес-процесса включаются в модель на
этапе описания последовательности работ и не
могут быть изменены во время выполнения
процесса.
Альтернативный подход к моделированию
бизнес-процессов заключается в построении
моделей жизненного цикла объектов, с кото-
рыми взаимодействует бизнес-процесс [8]. Мо-
дель жизненного цикла фактически представ-
ляет собой workflow-модель фрагмента процес-
са, связанного с обработкой отдельного объек-
та. Однако в обоих рассмотренных подходах
не учитывается наличие уровня знаний, суще-
ственно влияющего на ход выполнения про-
цесса с учетом его текущего контекста.
Это приводит к возникновению проблемы
спагетти – подобных графов при построении
60 УСиМ, 2016, № 6
workflow – модели ЗБП средствами process
mining [1, 9]. Данная проблема состоит в том,
что формируемый в результате интеллектуаль-
ного анализа workflow-граф включает все воз-
можные варианты реализации процесса без
учета их значимости. В результате граф визу-
ально напоминает блюдо спагетти: содержит
избыточное количество вершин и дуг, затруд-
няющее понимание и использование модели
бизнес-процесса аналитиком [10].
Поэтому решение задач построения и усо-
вершенствования workflow-модели в результа-
те выполнения интеллектуального анализа про-
цессов, а также соответствующего повышения
эффективности процессного управления стал-
кивается со значительными трудностями для
ЗБП.
В связи с изложенным, проблема построе-
ния модели ЗБП, учитывающей зависимость
действий процесса от контекста их выполне-
ния, – актуальна.
Анализ исследований и публикаций
Исследования в сфере использования пер-
сональных знаний при управлении бизнес-про-
цессами выполняются уже около двух десяти-
летий. Первоначально такие процессы рассмат-
ривались с позиций менеджмента и основное
внимание уделялось организации работы работ-
ников, обладающих знаниями (knowledge work-
ers), а также получению максимального эффекта
от использования этих знаний. В соответствии с
указанным подходом знание рассматривалось в
первую очередь как результат работы такого
бизнес-процесса, а не как средство обеспечения
его нормального функционирования [11, 12].
Термин «знание-емкие (knowledge-intensive)
бизнес-процессы» получил распространение в
последнее десятилетие, после разработки об-
щего подхода к описанию знание-емких биз-
нес-процессов с учетом неявной составляющей
знаний, а также постоянной трансформации зна-
ний между явной и неявной формами [3, 13].
В настоящее время существует ряд отли-
чающихся подходов к определению ЗБП. При
его описании выделяют следующие их ключе-
вые особенности: использование явных и не-
явных знаний для получения результатов [4,
14]; сложность алгоритма, задающего последо-
вательность действий в текущих условиях
предметной области [15]; сотрудничество ис-
полнителей при достижении цели процесса с
использованием их персональных знаний [16].
Анализ указанных подходов показывает, что
все основные свойства ЗБП, отличающие их от
других классов бизнес-процессов, связаны с
применением персональных знаний коллекти-
ва исполнителей для того, чтобы достичь цели
процесса с максимальной эффективностью.
В workflow-модели ЗБП персональные знания
отображаются парой (объект знаний, исполни-
тель). Объект знаний содержит краткую харак-
теристику знаний, используемых исполнителем
[3]. Знания в таком объекте характеризуются
количественными показателями, отражающи-
ми степень использования опыта, профессио-
нальных навыков, контекстных зависимостей
[4]. Однако сами зависимости, влияющие на ход
выполнения процесса, представлены в неявной
форме и потому они не могут быть включены в
формальную модель ЗБП. Этот недостаток не
позволяет выделить все возможные варианты
изменения ЗБП и использовать их для повыше-
ния эффективности процессного управления.
Для того чтобы включить неявные знания в
модель, необходимо выполнить их экстернали-
зацию (преобразование в явную форму). Фор-
мальные подходы к экстернализации неявных
персональных знаний исполнителей пока раз-
работаны недостаточно [6]. Поскольку неявные
знание отражает применение личных персо-
нальных знаний людей при производстве про-
дуктов, выполнении процессов, то оно может
быть формализовано на основе анализа этих
продуктов и процессов. Однако применяемые на
практике подходы к его экстернализации на-
правлены скорее на выявление некоторых идей,
предположений и не рассматривают построение
формализованных зависимостей [17, 18].
В то же время логи, используемые при реше-
нии задач интеллектуального анализа процессов,
отражают действия исполнителей в конкретном
контексте [1, 2, 19] и потому содержат встроен-
ное знание. Это обуславливает принципиальную
возможность экстернализации неявных знаний
УСиМ, 2016, № 6 61
ЗБП на основе анализа их логов, при условии
использования моделей бизнес-процессов, вклю-
чающих в себя компонент знаний.
Однако в настоящее время недостаточно ис-
следованы вопросы, связанные с разработкой
процессных моделей, включающих формали-
зованные знания, и позволяющих дополнять
набор этих знаний во время выполнения про-
цесса с учетом текущего состояния процесса и
его контекста.
Постановка задачи
Цель статьи состоит в построении модели
ЗБП, которая включала бы в себя описание кон-
текста выполнения, типовые последовательно-
сти действий, а также формализованные зависи-
мости, обеспечивающие выбор действий про-
цесса в зависимости от текущего состояния кон-
текста.
Это даст возможность повысить эффектив-
ность процессного управления путем включе-
ния в контур управления экстернализованных
знаний, отражающих опыт исполнителей.
Структура знание-емкого бизнес-процесса
Знание-емкий бизнес-процесс реализуется в
форме итеративного выбора отдельных дей-
ствий либо их последовательностей в текущем
контексте. Выбор действий в общем случае
осуществляется исполнителем на основе ин-
формации о текущем состоянии контекста,
знаний о типовой последовательности работ и
о влиянии контекста на ход процесса. Резуль-
тирующий экземпляр процесса формируется в
виде workflow-последовательности, получен-
ной в результате взаимодействия исполните-
лей. Модель процесса включает все реализуе-
мые в данном контексте экземпляры ЗБП.
Исходя из этого, предлагаемая авторами
структура ЗБП включает в себя следующие со-
ставляющие:
контекст выполнения, состоящий из набо-
ра объектов, используемых в ходе реализации
процесса либо влияющих на ход выполнения
процесса;
знания о выполнении процесса, отражаю-
щие зависимости между контекстом и дей-
ствиями процесса;
последовательность действий процесса,
реализуемая в условиях конкретного состоя-
ния контекста; совокупность возможных по-
следовательностей для различных состояний
контекста определяет workflow-описание зна-
ние-емкого процесса.
Приведенная структуризация показывает, что
в разрабатываемой модели должны быть зада-
ны элементы всех трех уровней, а также взаи-
модействие между этими элементами (рис. 1).
Знание-емкий бизнес-процесс
Контекст бизнес-процесса:
Объекты, с которыми работает процесс,
Исполнители процесса,
Допустимые действия процесса,
Ресурсы, в частности организация, в которой выполняется
процесс.
Уровень знаний бизнес-процесса:
Влияние зависимостей между элементами контекста на
выбор последовательностей действий процесса
Влияние изменения состояния элементов контекста на выбор
последовательностей действий процесса
Зависимости, отражающие коммуникацию действий или
последовательностей действий
Workflow-представление бизнес-процесса:
Совокупность последовательностей действий, реализуемых
экземпляров бизнес-процесса
Информация о
зависимостях между
элементами контекста
Данные о состоянии
элементов контекста
Выбор последовательности действий
ЗБП на основе зависимости между
элементами контекста, их состояния
при заданных ресурсных
ограничениях Изменение
контекста
ЗБП
Рис. 1. Многоуровневая структура ЗБП
В то же время модель ЗБП должна обеспе-
чивать возможность описания и верификации
его поведения, а также возможность формали-
зации выбора и выполнения последовательно-
сти действий на основе известных записей о
поведении ЗБП.
Последняя возможность реализуется с ис-
пользованием методов интеллектуального ана-
лиза процессов. Исходные данные для постро-
ения модели методами process mining пред-
ставляются в виде набора последовательностей
событий (event), называемых трассами (trace).
Каждая трасса фиксирует выполнение одного
62 УСиМ, 2016, № 6
экземпляра процесса. Пример фрагмента трас-
сы, представленный в стандарте описания ло-
гов XES, приведен на рис. 2.
<trace>
<string key="concept:name" value="1-
740866821"/>
<event>
<string key="org:group" value="N36"/>
<string key="resource country"
value="USA"/>
<string key="organization country"
value="us"/>
<string key="org:resource"
value="Matt"/>
<string key="organization involved"
value="Org line C"/>
<string key="org:role" value="V3_2"/>
<string key="concept:name"
value="Accepted"/>
<string key="impact" value="High"/>
<string key="product"
value="PROD321"/>
<string key="lifecycle:transition"
value="In Progress"/>
<date key="time:timestamp"
value="2012-05-05T14:54:27+02:00"/>
</event>
<event>
...
</event>
...
</trace>
Рис. 2. Исходные данные для интеллектуального анализа про-
цессов
Приведенный фрагмент исходных данных по-
зволяет структурировать описание ЗБП в логе.
Каждое выполнение экземпляра процесса отра-
жается в логе в виде трассы. Действие процесса
фиксируется в логе в виде одного или последо-
вательности из нескольких событий. Последова-
тельность событий трассы отражает выполнение
последовательности действий для одного экзем-
пляра процесса. Каждое событие, помимо вре-
менной метки time:timestamp, характеризуется
набором переменных, содержащих значения ат-
рибутов объектов, с которыми взаимодействует
процесс. Так, в примере на рис. 2 переменная
org:resource, отражающая используемый ресурс
организации, содержит имя исполнителя Matt,
переменная org:role – код роли исполнителя в
текущем процессе, а переменная product – код
обрабатываемого продукта. Действия процесса
также описаны в виде значений переменных. В
частности, переменная concept:name отражает
выполненное действие Accepted. Обобщая, опи-
сание событий на трассе процесса характеризует
состояние используемых процессом объектов.
Иными словами, информация о структуре и со-
стоянии контекста процесса, а также об измене-
нии состояния контекста содержится в последо-
вательности событий лога.
Исходный лог характеризуется следующи-
ми особенностями:
текущее состояние бизнес-процесса задает-
ся через набор значений атрибутов объектов кон-
текста, связанных с каждым событием лога, и со-
держит условия для запуска действий процесса;
последовательность переходов между со-
стояниями, записанная в логе в виде последо-
вательности событий, отражает выполнение
действий процесса;
связи между контекстом и действиями,
влияющие на выбор действий в ходе процесса,
скрыты в структуре лога в виде связей между
атрибутами событий, характеризующих ис-
пользуемые объекты, а также атрибутами дей-
ствий процесса.
Модель знание-емкого бизнес-процесса
Исходя из изложенных предпосылок, мо-
дель знание-емкого процесса представим как
модель Крипке [20] BP над множеством ус-
ловий запуска действий процесса C:
BP =(S, D, F) (1)
где S – конечное множество состояний ЗБП; D –
отношение переходов между состояниями;
F : S 2C – отображение, которое с каждым со-
стоянием s S связывает подмножество усло-
вий c C, истинных в этом состоянии.
Отношение переходов между состояниями
реализуется посредством выполнения дей-
ствий ЗБП:
: ( ', '') ( ', '') , D S S s s S d s s D (2)
где ', ''s s – произвольная пара состояний кон-
текста бизнес-процесса; ( ', '')d s s – действие
процесса, которое переводит контекст из со-
стояния 's в состояние ''s .
Для реализации одного из действий процес-
са d D в произвольном состоянии s S не-
обходимо, чтобы выполнялось условие запуска
c, входящее в состав правила вида (условие,
УСиМ, 2016, № 6 63
действие), т.е. r = (c, d). Данное правило задает
порядок выполнения лишь одного действия
знание-емкого процесса.
В то же время анализ особенностей ЗБП пока-
зал, что они – обобщение традиционных бизнес-
процессов с априорно заданной структурой. ЗБП
объединяет фрагменты процесса, требующие
принятия решений исполнителем и фрагменты с
предопределенной последовательностью дейст-
вий. В этом случае цикл выполнения ЗБП вклю-
чает в себя шаги: выбор последовательности
действий; поочередное выполнение действий до
завершения выбранной последовательности; вы-
бор новой последовательности и т.д. Для на-
чального действия последовательности сущест-
вует правило r0 = (c0, d0), а для всех последую-
щих – ri = (true, di).
По мере осуществления выбранной последо-
вательности действий выполняется безусловный
переход между состояниями, при котором изме-
няются как значения атрибутов объектов кон-
текста, так и взаимосвязи между объектами. Из-
мененные значения переменных и связей обра-
зуют постусловие выполненной последователь-
ности действий. Поэтому при описании поведе-
ния ЗБП необходимо перейти от правил в форме
(условие, действие) к правилам в форме (преду-
словие, постусловие). В дальнейшем такие пра-
вила будем называть подпроцессами, поскольку
они содержат как определенную область знаний,
так и workflow-составляющую.
Определение. Под подпроцессом g в модели
поведения ЗБП ZP будем понимать пару (пре-
дусловие c, постусловие d), где предусловие
представляет собой логическую формулу со-
стояния, отражающую состояние контекста до
выполнения подпроцесса, а постусловие пред-
ставляет собой логическую формулу пути, отра-
жающую последовательность действий и ре-
зультаты выполнения подпроцесса.
Для представления формул состояния и пути
используем темпоральные логики [20], посколь-
ку последние представляют собой формализм,
применяемый для описания последовательности
переходов реагирующей системы без явного
упоминания времени. В состав таких логик вхо-
дят темпоральные операторы, позволяющие ука-
зать возможность достижения интересующего
авторов состояния. При моделировании бизнес-
процессов темпоральная логика позволяет пока-
зать достижимость (недостижимость) состояния,
свидетельствующего о достижении цели ЗБП,
что обеспечивает возможность последующей
верификации модели процесса.
В данной статье используется темпоральная
модальная логика CTL* – логика ветвящегося
времени. Данная логика позволяет описать дере-
во реализации бизнес-процесса, содержащее все
возможные экземпляры ЗБП, запускаемые из не-
которого начального состояния. Использование
этой логики обусловлено ключевой особенно-
стью ЗБП, представленной в структурной моде-
ли: изменение хода выполнения процесса путем
выбора исполнителей одного из возможных дей-
ствий (последовательностей действий). В раз-
личных экземплярах ЗБП могут быть реализова-
ны альтернативные последовательности дей-
ствий во времени, что приводит к необходимо-
сти использования логики ветвящегося времени.
Отметим, что альтернативная логика линейного
времени LTL позволяет описать только один эк-
земпляр бизнес-процесса, поскольку такой эк-
земпляр содержит только одну выполнившуюся
последовательность действий.
Для описания поведения ЗБП как последо-
вательности переходов между состояниями
определим семантику формул предусловий и
постусловий подпроцесса, а также связь между
ними в модели Крипке.
Формулы предусловий ci вычисляются на
основе информации о текущем состоянии кон-
текста в виде текущих значений атрибутов
объектов, связей между атрибутами и зависи-
мостей между значениями атрибутов и потому
есть формулами состояния. Их истинность в
модели ZP обозначается для некоторого со-
стояния s символом .
Истинность (либо неистинность) произвольно-
го предусловия ci, а также истинность конъюнк-
ции и дизъюнкции предусловий ci и cj в модели
ZP в состоянии s определяется традиционно:
, (s);
, , ;
ZP i i
ZP i ZP i
s c c F
s c s c
64 УСиМ, 2016, № 6
, , , ;
, , , .
ZP i j ZP i ZP j
ZP i j ZP i ZP j
s c c s c s c
s c c s c s c
(3)
Связь между некоторым состоянием s и пу-
тем выполнения π для произвольного экземп-
ляра процесса задается следующим образом:
, : , ,s s
ZP i ZP is Ec c (4)
где s – часть полного пути выполнения про-
цесса π, которая начинается с состояния s ; Е –
квантор пути, задающий возможность реали-
зации действий в экземпляре процесса.
Выражение (4) задает возможность достиже-
ния некоторого предусловия ci на данном пути
выполнения процесса π, начиная с текущего со-
стояния s. Неформально это означает, что авто-
ры статьи на правильном пути и, после выпол-
нения некоторого предопределенного количест-
ва действий, получим истинное предусловие ci
для выполнения других действий процесса. Сле-
довательно, выбранная последовательность дей-
ствий, которая привела процесс в состояние s,
должна быть продолжена до достижения со-
стояния, в котором выполняется условие ci.
Отметим, что полный путь выполнения
процесса π представлен в логе в виде трассы.
Поэтому выражение (4) при решении задач ин-
теллектуального анализа процессов определяет
наличие на трассе процесса такого события,
для которого ci будет истинным.
Определим связь между некоторым состоя-
нием s и множеством путей выполнения π для
всех экземпляров процесса:
, , ,s
ZP i ZP is Ac c (5)
где – множество всех путей реализации
ЗБП, включая как полные пути π, так и непол-
ные пути s, т.е. , s ; А – квантор пути,
задающий возможность реализации действий
во всех экземплярах процесса.
Семантика выражения (5) состоит в том, что
из данного состояния s можно выбирать любой
путь для того, чтобы обеспечить истинность
формулы ci. Иными словами, в данном состоя-
нии на достижение результата ci не влияют зна-
ния исполнителя, выбирающего дальнейшую по-
следовательность действий бизнес-процесса.
Определим постусловия di в модели ZP.
Постусловия задают реализацию подмножеств
действий некоторого подпроцесса gi, а также
результаты этих действий в виде изменения
контекста на конкретном пути реализации
процесса. Поэтому формулы постусловий есть
формулами пути.
Истинность произвольного постусловия di
на части пути π выполнения процесса опреде-
ляется традиционно:
, , .s
ZP i ZP id s d (6)
В этом случае истинность постусловия di оп-
ределяется для пути реализации процесса, начи-
ная с состояния s. Это означает, что подпроцесс
gi с постусловием di полностью завершен в со-
стоянии s.
Связь нескольких последовательно выпол-
няющихся процессов определяется через пост-
условие следующим образом:
0
0, , | ,s
ZP i ZP id s d (7)
где s0 – начальное состояние пути π.
В данном случае результаты предшествую-
щего ЗБП используются при запуске после-
дующего процесса, поскольку истинность пост-
условия di в начальном состоянии s0 пути π оз-
начает, что данная формула была выполнена в
результате реализации предшествующего про-
цесса. Поэтому di можно рассматривать как
предусловие для текущего процесса, начиная с
начального состояния s0.
Неистинность произвольного постусловия di
означает, что подпроцесс gi не может быть вы-
полнен на пути π:
, ,ZP i ZP id d (8)
При решении задач интеллектуального анали-
за процессов это означает, что текущая трасса не
содержит записи о выполнении действий di.
Для объединения результатов различных под-
процессов определим конъюнкцию и дизъюнк-
цию их постусловий di и dj в модели ZP для
пути π:
, ,
, ,
ZP i j ZP
i ZP j i j
d d
d s d d d
(9)
, ,ZP i j ZPd d
УСиМ, 2016, № 6 65
, ,i ZP j i jd s d d d (10)
где di, dj – различные постусловия, истинные
на одном и том же пути π, т.е. принадлежащие
одному экземпляру бизнес-процесса.
Постусловия представляют знания о выпол-
нении подпроцесса в случае их истинности. С
каждым элементом постусловия связан пере-
ход между состояниями текущего экземпляра
бизнес-процесса. Поэтому ограничение di dj
не позволяет дважды выполнить идентичные
постусловия (т.е. идентичные последователь-
ности действий) на одном и том же пути реа-
лизации процесса.
Реализуемость подпроцесса gi в данном эк-
земпляре бизнес-процесса задается посредст-
вом определения истинности его действий di в
одном из последующих состояний пути π.
Выполнение последнего действия подпро-
цесса gi = (ci, di) (или подпроцесса из одного
действия) определяется следующим образом:
1, , ,s s
ZP i ZP iXd d (11)
где s, s+1 – фрагменты пути π, начинающиеся
с состояний s и s + 1 соответственно; оператор
X позволяет задать истинность произвольного
постусловия di в состоянии, непосредственно
следующим за текущим.
Реализуемость подпроцесса gi = (ci, di) для
данного экземпляра бизнес-процесса без ука-
зания состояния завершения определяется сле-
дующим образом:
, 0 : , ,s s l
ZP i ZP iFd l d (12)
где l – количество действий процесса, которые
должны быть реализованы, чтобы выполнилось
постусловие di; s , 1s – фрагменты пути π, на-
чинающиеся с состояний s и s + 1 соответ-
ственно; F – оператор, который задает истин-
ность произвольного постусловия di на текущем
пути в одном из последующих состояний.
Выполнимость подпроцесса для всех после-
дующих состояний, начиная с текущего со-
стояния, задается следующим образом:
, , 0,s s l
ZP i ZP iGd d l (13)
где оператор логики G задает истинность di на
текущем пути во всех последующих состояниях.
Реализуемость подпроцесса gi только при
условии выполнения подпроцесса gi задается
следующим образом:
, ( : ,
) ( , | ),
s s l
ZP i j ZP
s m
j ZP i
d Ud l
d d m l
(14)
где , s m s l индексы состояний на пути π;
оператор U определяет истинность произволь-
ного постусловия di на текущем пути после
выполнения предусловия во всех предшест-
вующих состояниях.
Представление знаний знание-емкого биз-
нес-процесса
Представленная семантика логического опи-
сания ЗБП позволяет определить правила, обес-
печивающие решение задач поддержки выпол-
нения бизнес-процесса, а также оценки дости-
жения целей процесса. Такие зависимости
включают в себя: правила выполнения дей-
ствий, синхронизации; объединения результа-
тов, поддержки принятия решений и т.д. Сово-
купность таких правил определяет модель
представления знаний ЗБП
Например, правило EcXd задает доступ-
ность в текущем состоянии такого пути, на ко-
тором будет истинным условие с, после чего
реализуется действие d , правило AcXd пока-
зывает, что на всех путях из текущего состоя-
ния будет истинным условие с, после чего вы-
полнится действие d .
При решении задач process mining первое
правило задает существование такой трассы
процесса, в составе которой существует пара
событий с зависимостью между атрибутами
cXd . Тогда первое событие содержит набор
значений переменных, определяющих преду-
словие c , а второе событие содержит пере-
менные, определяющие постусловие d .
Второе правило показывает, что при дости-
жении текущего состояния на всех трассах
процесса будет пара событий, задающих cXd .
Отметим, что рассмотренные правила могут
включать в себя экстернализованные неявные
зависимости, формируемые с использованием
методов интеллектуального анализа процессов.
66 УСиМ, 2016, № 6
Заключение. Предложена типовая модель
ЗБП, которая задает логическое описание мно-
жества его состояний, а также поведения про-
цесса. Состояния бизнес-процесса характеризу-
ются набором атрибутов объектов, используе-
мых процессом. Модель отличается от сущест-
вующих процессных моделей тем, что содержит
компоненту знаний, определяющую отношение
переходов между состояниями в форме набора
темпоральных правил выбора действий процесса
в зависимости от состояния контекста. Для пред-
ставления знаний используются средства темпо-
ральной логики, поскольку такие зависимости
должны задавать адаптируемый во времени ал-
горитм действий процесса. Представление зна-
ний для конкретной предметной области форми-
руется путем выявления множества логических
темпоральных правил средствами интеллекту-
ального анализа процессов.
Последовательность применения правил за-
дает workflow-описание ЗБП.
Формализация типового описания ЗБП на ос-
нове темпоральной логики обеспечивает возмож-
ности адаптации модели во время выполнения
ЗБП путем ее дополнения новыми темпоральны-
ми правилами, а также верификации поведения
процесса с использованием известных методов
верификации моделей программ (model checking).
Практическая значимость разработанной мо-
дели связана с возможностью включения экстер-
нализованных методами интеллектуального ана-
лиза неявных знаний в модель процесса и после-
дующего использования этих знаний для повы-
шения эффективности процессного управления.
1. W.M.P. van der Aalst. Process Mining: Data Science
in ActionAalst. – Berlin: Springer-Verlag, 2016. – 466 p.
2. W.M.P. van der Aalst. Process Mining in the Large: A
Tutorial // Business Intelligence. – Springer Science +
Business Media, 2014. – P. 33–76.
3. Gronau N. Modeling and Analyzing knowledge intensive
business processes with KMDL: Сomprehensive insights
into theory and practice (Engl). – Gito, 2012. – 522 p.
4. A Proposal to Model Knowledge in Knowledge-Inten-
sive Business Processes / N. Gronau, С. Thim, A. Ullrich
et al. // Proc. of the Sixth Int. Symp. on Business Mod-
eling and Software Design. – 20–22 June. – Rhodes,
Greece. BMSD 2016. – 16. – P. 98–103.
5. Collins H. Tacit and Explicit Knowledge. – The Univ.
of Сhicago Press. – 2010. – 186 p.
6. Нонака И., Такеучи X. Компания – создатель зна-
ния. Зарождение и развитие инноваций в японских
фирмах. – М.: Олимп-Бизнес, 2003. – 384 с.
7. Weske М. Business Process Management: Сoncepts,
Languages, Architectures. – Berlin – Heidelberg: Sprin-
ger-Verlag, 2012. – 403 p.
8. Cohn D. Business artifacts: A data-centric approach to
modeling business operations and processes // Bulletin
of the IEEE Сomputer Society Technical Сommittee
on Data Engineering. – 2009. – 32, № 3. – P. 1–7.
9. Handling Сoncept Drift in Process Mining / Jagadeesh
Сhandra Bose R.P., W.M.P. van der Aalst, I. Zliobaite
et al. // Int. Сonf. on Advanced Information Syst. En-
gin. (Сaise 2011).Lecture Notes in Сomputer Science. –
Berlin: Springer-Verlag, 2011. – 6741. – P. 391–405.
10. Visual Representations / С. Görg, M. Poh, E. Qeli et al. //
Human-Сentered Visualization Environments. – Springer
Science + Business Media, 2007. – 4417. – P. 163–230.
11. Davenport T., Jarvenpaa S., Beers M., Improving Know-
ledge Work Processes // Sloan Management Review,
1996. – P. 53–66.
12. Davenport T. Improving the Performance of People,
Processes and Organizations. – Harvard Business School
Press, 2005. – 227 p.
13. Gronau N. Müller C., Korf R. KMDL-Сapturing, Ana-
lysing and Improving Knowledge-Intensive Business
Processes // J. of Universal Сomputer Science. – 2005. –
N 11 (4). – P. 452–472.
14. Richter-von Hagen C., Ratz D., Povalej R. Towards self-
organizing knowledge intensive processes // J. of Univer-
sal Knowledge Management. – 2005. – 2. – P. 148–169.
15. Panian Z. A promising approach to supporting knowl-
edge intensive business processes: business case man-
agement // World Acad. of Sci., Engin. and Technol. –
2011. – 75. – P. 642–648.
16. Isik O., Mertens W., Van den Bergh J., Practices of
knowledge intensive process management: quantitative
insights // Business Process Management J. – 2013. –
19, N 3. – P 515–534.
17. Leonard-Barton D.A. Wellsprings of Knowledge:
Building and Sustaining the Sources of Innovation. –
Boston: Harvard Business School Press, 1995. – 334 р.
18. Nonaka I., Krogh G. Tacit Knowledge and Knowledge
Сonversion: Сontroversy and Advancement in Organ-
izational Knowledge Сreation Theory // Organization
Science. – May–June 2009. – 20, N 3. – P. 635–652.
19. W.M.P. van der Aalst. Process Mining: Discovery, Сon-
formance and Enhancement of Business Processes. –
Berlin – Heidelberg: Springer, 2011. – 352 p.
20. Кларк Э., Грамберг О., Пелед Д. Верификация моде-
лей программ: Model Сhecking. – М.: МЦНМО,
2002. – 416 с.
Поступила 11.11.2016
E-mail: levykinvictor@gmail.com, oksana.chala@nure.ua
© В.М. Левыкин, О.В. Чалая, 2016
Окончание на стр.72
72 УСиМ, 2016, № 6
Окончание
статьи
В.М. Левыкина
и
др.
UDC 004.891.3
V.М. Levykin, O.V. Chalaya
The Model of Knowledge-Intensive Business Process for the Process Mining
The concept drift problem of knowledge-intensive business process is considered. The problem lies in the fact that knowl-
edge workers use their personal knowledge to change the workflow during its execution. They take into account the context
of the process to change the workflow. The result is a complex structure of the workflow. That is why, for managing the
business process, it is important to include knowledge that makes the concept drift in the process model. It gives the opportu-
nity to make the process model more adequate to the real knowledge intensive business processes. So, the purpose of this
paper is development of process model that includes the description of the process context, the workflow and the knowledge.
That knowledge is used to choose an activity of a workflow in the specific context.
Model of knowledge-intensive business process for process mining is proposed. The model includes a set of states of a
business process and a set of transition rules. State of the business process is defined by a set of attributes of objects that uses
the business process. The relation of the transition between the states is determined by the logical rules. These rules define the
possible workflows in accordance with the various conditions of the business process context.
The model differs from the existing ones by linking the context and workflow through the logical rules. This makes it
possible to adapt the model of business process at runtime by integrating the new rules.
The model is designed to create a description of complex knowledge intensive processes using process mining techniques.
Process mining techniques use the event logs to build a process model. State of the business process in the event logs is de-
fined by a set of attributes of the events that belong to the log. We can use a subset of the event log for problems of process
mining to build an interesting fragment of the proposed process model. This subset is defined by a set of pre-defined event
attributes. These attributes belong to the events, and to a priori defined subset of objects that belongs to the context of the
process. This allows to avoid building a spaghetti-like workflows.
<<
/ASCII85EncodePages false
/AllowTransparency false
/AutoPositionEPSFiles true
/AutoRotatePages /None
/Binding /Left
/CalGrayProfile (Dot Gain 20%)
/CalRGBProfile (sRGB IEC61966-2.1)
/CalCMYKProfile (U.S. Web Coated \050SWOP\051 v2)
/sRGBProfile (sRGB IEC61966-2.1)
/CannotEmbedFontPolicy /Error
/CompatibilityLevel 1.4
/CompressObjects /Tags
/CompressPages true
/ConvertImagesToIndexed true
/PassThroughJPEGImages true
/CreateJobTicket false
/DefaultRenderingIntent /Default
/DetectBlends true
/DetectCurves 0.0000
/ColorConversionStrategy /CMYK
/DoThumbnails false
/EmbedAllFonts true
/EmbedOpenType false
/ParseICCProfilesInComments true
/EmbedJobOptions true
/DSCReportingLevel 0
/EmitDSCWarnings false
/EndPage -1
/ImageMemory 1048576
/LockDistillerParams false
/MaxSubsetPct 100
/Optimize true
/OPM 1
/ParseDSCComments true
/ParseDSCCommentsForDocInfo true
/PreserveCopyPage true
/PreserveDICMYKValues true
/PreserveEPSInfo true
/PreserveFlatness true
/PreserveHalftoneInfo false
/PreserveOPIComments true
/PreserveOverprintSettings true
/StartPage 1
/SubsetFonts true
/TransferFunctionInfo /Apply
/UCRandBGInfo /Preserve
/UsePrologue false
/ColorSettingsFile ()
/AlwaysEmbed [ true
]
/NeverEmbed [ true
]
/AntiAliasColorImages false
/CropColorImages true
/ColorImageMinResolution 300
/ColorImageMinResolutionPolicy /OK
/DownsampleColorImages true
/ColorImageDownsampleType /Bicubic
/ColorImageResolution 300
/ColorImageDepth -1
/ColorImageMinDownsampleDepth 1
/ColorImageDownsampleThreshold 1.50000
/EncodeColorImages true
/ColorImageFilter /DCTEncode
/AutoFilterColorImages true
/ColorImageAutoFilterStrategy /JPEG
/ColorACSImageDict <<
/QFactor 0.15
/HSamples [1 1 1 1] /VSamples [1 1 1 1]
>>
/ColorImageDict <<
/QFactor 0.15
/HSamples [1 1 1 1] /VSamples [1 1 1 1]
>>
/JPEG2000ColorACSImageDict <<
/TileWidth 256
/TileHeight 256
/Quality 30
>>
/JPEG2000ColorImageDict <<
/TileWidth 256
/TileHeight 256
/Quality 30
>>
/AntiAliasGrayImages false
/CropGrayImages true
/GrayImageMinResolution 300
/GrayImageMinResolutionPolicy /OK
/DownsampleGrayImages true
/GrayImageDownsampleType /Bicubic
/GrayImageResolution 300
/GrayImageDepth -1
/GrayImageMinDownsampleDepth 2
/GrayImageDownsampleThreshold 1.50000
/EncodeGrayImages true
/GrayImageFilter /DCTEncode
/AutoFilterGrayImages true
/GrayImageAutoFilterStrategy /JPEG
/GrayACSImageDict <<
/QFactor 0.15
/HSamples [1 1 1 1] /VSamples [1 1 1 1]
>>
/GrayImageDict <<
/QFactor 0.15
/HSamples [1 1 1 1] /VSamples [1 1 1 1]
>>
/JPEG2000GrayACSImageDict <<
/TileWidth 256
/TileHeight 256
/Quality 30
>>
/JPEG2000GrayImageDict <<
/TileWidth 256
/TileHeight 256
/Quality 30
>>
/AntiAliasMonoImages false
/CropMonoImages true
/MonoImageMinResolution 1200
/MonoImageMinResolutionPolicy /OK
/DownsampleMonoImages true
/MonoImageDownsampleType /Bicubic
/MonoImageResolution 1200
/MonoImageDepth -1
/MonoImageDownsampleThreshold 1.50000
/EncodeMonoImages true
/MonoImageFilter /CCITTFaxEncode
/MonoImageDict <<
/K -1
>>
/AllowPSXObjects false
/CheckCompliance [
/None
]
/PDFX1aCheck false
/PDFX3Check false
/PDFXCompliantPDFOnly false
/PDFXNoTrimBoxError true
/PDFXTrimBoxToMediaBoxOffset [
0.00000
0.00000
0.00000
0.00000
]
/PDFXSetBleedBoxToMediaBox true
/PDFXBleedBoxToTrimBoxOffset [
0.00000
0.00000
0.00000
0.00000
]
/PDFXOutputIntentProfile ()
/PDFXOutputConditionIdentifier ()
/PDFXOutputCondition ()
/PDFXRegistryName ()
/PDFXTrapped /False
/CreateJDFFile false
/Description <<
/ARA <FEFF06270633062A062E062F0645002006470630064700200627064406250639062F0627062F0627062A002006440625064606340627062100200648062B062706260642002000410064006F00620065002000500044004600200645062A064806270641064206290020064406440637062806270639062900200641064A00200627064406450637062706280639002006300627062A0020062F0631062C0627062A002006270644062C0648062F0629002006270644063906270644064A0629061B0020064A06450643064600200641062A062D00200648062B0627062606420020005000440046002006270644064506460634062306290020062806270633062A062E062F062706450020004100630072006F0062006100740020064800410064006F006200650020005200650061006400650072002006250635062F0627063100200035002E0030002006480627064406250635062F062706310627062A0020062706440623062D062F062B002E0635062F0627063100200035002E0030002006480627064406250635062F062706310627062A0020062706440623062D062F062B002E>
/BGR <FEFF04180437043f043e043b043704320430043904420435002004420435043704380020043d0430044104420440043e0439043a0438002c00200437043000200434043000200441044a0437043404300432043004420435002000410064006f00620065002000500044004600200434043e043a0443043c0435043d04420438002c0020043c0430043a04410438043c0430043b043d043e0020043f044004380433043e04340435043d04380020043704300020043204380441043e043a043e043a0430044704350441044204320435043d0020043f04350447043004420020043704300020043f044004350434043f0435044704300442043d04300020043f043e04340433043e0442043e0432043a0430002e002000200421044a04370434043004340435043d043804420435002000500044004600200434043e043a0443043c0435043d044204380020043c043e0433043004420020043404300020044104350020043e0442043204300440044f0442002004410020004100630072006f00620061007400200438002000410064006f00620065002000520065006100640065007200200035002e00300020043800200441043b0435043404320430044904380020043204350440044104380438002e>
/CHS <FEFF4f7f75288fd94e9b8bbe5b9a521b5efa7684002000410064006f006200650020005000440046002065876863900275284e8e9ad88d2891cf76845370524d53705237300260a853ef4ee54f7f75280020004100630072006f0062006100740020548c002000410064006f00620065002000520065006100640065007200200035002e003000204ee553ca66f49ad87248672c676562535f00521b5efa768400200050004400460020658768633002>
/CHT <FEFF4f7f752890194e9b8a2d7f6e5efa7acb7684002000410064006f006200650020005000440046002065874ef69069752865bc9ad854c18cea76845370524d5370523786557406300260a853ef4ee54f7f75280020004100630072006f0062006100740020548c002000410064006f00620065002000520065006100640065007200200035002e003000204ee553ca66f49ad87248672c4f86958b555f5df25efa7acb76840020005000440046002065874ef63002>
/CZE <FEFF005400610074006f0020006e006100730074006100760065006e00ed00200070006f0075017e0069006a007400650020006b0020007600790074007600e101590065006e00ed00200064006f006b0075006d0065006e0074016f002000410064006f006200650020005000440046002c0020006b00740065007200e90020007300650020006e0065006a006c00e90070006500200068006f006400ed002000700072006f0020006b00760061006c00690074006e00ed0020007400690073006b00200061002000700072006500700072006500730073002e002000200056007900740076006f01590065006e00e900200064006f006b0075006d0065006e007400790020005000440046002000620075006400650020006d006f017e006e00e90020006f007400650076015900ed007400200076002000700072006f006700720061006d0065006300680020004100630072006f00620061007400200061002000410064006f00620065002000520065006100640065007200200035002e0030002000610020006e006f0076011b006a016100ed00630068002e>
/DAN <FEFF004200720075006700200069006e0064007300740069006c006c0069006e006700650072006e0065002000740069006c0020006100740020006f007000720065007400740065002000410064006f006200650020005000440046002d0064006f006b0075006d0065006e007400650072002c0020006400650072002000620065006400730074002000650067006e006500720020007300690067002000740069006c002000700072006500700072006500730073002d007500640073006b007200690076006e0069006e00670020006100660020006800f8006a0020006b00760061006c0069007400650074002e0020004400650020006f007000720065007400740065006400650020005000440046002d0064006f006b0075006d0065006e0074006500720020006b0061006e002000e50062006e00650073002000690020004100630072006f00620061007400200065006c006c006500720020004100630072006f006200610074002000520065006100640065007200200035002e00300020006f00670020006e0079006500720065002e>
/DEU <FEFF00560065007200770065006e00640065006e0020005300690065002000640069006500730065002000450069006e007300740065006c006c0075006e00670065006e0020007a0075006d002000450072007300740065006c006c0065006e00200076006f006e002000410064006f006200650020005000440046002d0044006f006b0075006d0065006e00740065006e002c00200076006f006e002000640065006e0065006e002000530069006500200068006f006300680077006500720074006900670065002000500072006500700072006500730073002d0044007200750063006b0065002000650072007a0065007500670065006e0020006d00f60063006800740065006e002e002000450072007300740065006c006c007400650020005000440046002d0044006f006b0075006d0065006e007400650020006b00f6006e006e0065006e0020006d006900740020004100630072006f00620061007400200075006e0064002000410064006f00620065002000520065006100640065007200200035002e00300020006f0064006500720020006800f600680065007200200067006500f600660066006e00650074002000770065007200640065006e002e>
/ESP <FEFF005500740069006c0069006300650020006500730074006100200063006f006e0066006900670075007200610063006900f3006e0020007000610072006100200063007200650061007200200064006f00630075006d0065006e0074006f00730020005000440046002000640065002000410064006f0062006500200061006400650063007500610064006f00730020007000610072006100200069006d0070007200650073006900f3006e0020007000720065002d0065006400690074006f007200690061006c00200064006500200061006c00740061002000630061006c0069006400610064002e002000530065002000700075006500640065006e00200061006200720069007200200064006f00630075006d0065006e0074006f00730020005000440046002000630072006500610064006f007300200063006f006e0020004100630072006f006200610074002c002000410064006f00620065002000520065006100640065007200200035002e003000200079002000760065007200730069006f006e0065007300200070006f00730074006500720069006f007200650073002e>
/ETI <FEFF004b00610073007500740061006700650020006e0065006900640020007300e4007400740065006900640020006b00760061006c006900740065006500740073006500200074007200fc006b006900650065006c007300650020007000720069006e00740069006d0069007300650020006a0061006f006b007300200073006f00620069006c0069006b0065002000410064006f006200650020005000440046002d0064006f006b0075006d0065006e00740069006400650020006c006f006f006d006900730065006b0073002e00200020004c006f006f0064007500640020005000440046002d0064006f006b0075006d0065006e00740065002000730061006100740065002000610076006100640061002000700072006f006700720061006d006d006900640065006700610020004100630072006f0062006100740020006e0069006e0067002000410064006f00620065002000520065006100640065007200200035002e00300020006a00610020007500750065006d006100740065002000760065007200730069006f006f006e00690064006500670061002e000d000a>
/FRA <FEFF005500740069006c006900730065007a00200063006500730020006f007000740069006f006e00730020006100660069006e00200064006500200063007200e900650072002000640065007300200064006f00630075006d0065006e00740073002000410064006f00620065002000500044004600200070006f0075007200200075006e00650020007100750061006c0069007400e90020006400270069006d007000720065007300730069006f006e00200070007200e9007000720065007300730065002e0020004c0065007300200064006f00630075006d0065006e00740073002000500044004600200063007200e900e90073002000700065007500760065006e0074002000ea0074007200650020006f007500760065007200740073002000640061006e00730020004100630072006f006200610074002c002000610069006e00730069002000710075002700410064006f00620065002000520065006100640065007200200035002e0030002000650074002000760065007200730069006f006e007300200075006c007400e90072006900650075007200650073002e>
/GRE <FEFF03a703c103b703c303b903bc03bf03c003bf03b903ae03c303c403b5002003b103c503c403ad03c2002003c403b903c2002003c103c503b803bc03af03c303b503b903c2002003b303b903b1002003bd03b1002003b403b703bc03b903bf03c503c103b303ae03c303b503c403b5002003ad03b303b303c103b103c603b1002000410064006f006200650020005000440046002003c003bf03c5002003b503af03bd03b103b9002003ba03b103c42019002003b503be03bf03c703ae03bd002003ba03b103c403ac03bb03bb03b703bb03b1002003b303b903b1002003c003c103bf002d03b503ba03c403c503c003c903c403b903ba03ad03c2002003b503c103b303b103c303af03b503c2002003c503c803b703bb03ae03c2002003c003bf03b903cc03c403b703c403b103c2002e0020002003a403b10020005000440046002003ad03b303b303c103b103c603b1002003c003bf03c5002003ad03c703b503c403b5002003b403b703bc03b903bf03c503c103b303ae03c303b503b9002003bc03c003bf03c103bf03cd03bd002003bd03b1002003b103bd03bf03b903c703c403bf03cd03bd002003bc03b5002003c403bf0020004100630072006f006200610074002c002003c403bf002000410064006f00620065002000520065006100640065007200200035002e0030002003ba03b103b9002003bc03b503c403b103b303b503bd03ad03c303c403b503c103b503c2002003b503ba03b403cc03c303b503b903c2002e>
/HEB <FEFF05D405E905EA05DE05E905D5002005D105D405D205D305E805D505EA002005D005DC05D4002005DB05D305D9002005DC05D905E605D505E8002005DE05E105DE05DB05D9002000410064006F006200650020005000440046002005D405DE05D505EA05D005DE05D905DD002005DC05D405D305E405E105EA002005E705D305DD002D05D305E405D505E1002005D005D905DB05D505EA05D905EA002E002005DE05E105DE05DB05D90020005000440046002005E905E005D505E605E805D5002005E005D905EA05E005D905DD002005DC05E405EA05D905D705D4002005D105D005DE05E605E205D505EA0020004100630072006F006200610074002005D5002D00410064006F00620065002000520065006100640065007200200035002E0030002005D505D205E805E105D005D505EA002005DE05EA05E705D305DE05D505EA002005D905D505EA05E8002E05D005DE05D905DD002005DC002D005000440046002F0058002D0033002C002005E205D905D905E005D5002005D105DE05D305E805D905DA002005DC05DE05E905EA05DE05E9002005E905DC0020004100630072006F006200610074002E002005DE05E105DE05DB05D90020005000440046002005E905E005D505E605E805D5002005E005D905EA05E005D905DD002005DC05E405EA05D905D705D4002005D105D005DE05E605E205D505EA0020004100630072006F006200610074002005D5002D00410064006F00620065002000520065006100640065007200200035002E0030002005D505D205E805E105D005D505EA002005DE05EA05E705D305DE05D505EA002005D905D505EA05E8002E>
/HRV (Za stvaranje Adobe PDF dokumenata najpogodnijih za visokokvalitetni ispis prije tiskanja koristite ove postavke. Stvoreni PDF dokumenti mogu se otvoriti Acrobat i Adobe Reader 5.0 i kasnijim verzijama.)
/HUN <FEFF004b0069007600e1006c00f30020006d0069006e0151007300e9006701710020006e0079006f006d00640061006900200065006c0151006b00e90073007a00ed007401510020006e0079006f006d00740061007400e100730068006f007a0020006c006500670069006e006b00e1006200620020006d0065006700660065006c0065006c0151002000410064006f00620065002000500044004600200064006f006b0075006d0065006e00740075006d006f006b0061007400200065007a0065006b006b0065006c0020006100200062006500e1006c006c00ed007400e10073006f006b006b0061006c0020006b00e90073007a00ed0074006800650074002e0020002000410020006c00e90074007200650068006f007a006f00740074002000500044004600200064006f006b0075006d0065006e00740075006d006f006b00200061007a0020004100630072006f006200610074002000e9007300200061007a002000410064006f00620065002000520065006100640065007200200035002e0030002c0020007600610067007900200061007a002000610074007400f3006c0020006b00e9007301510062006200690020007600650072007a006900f3006b006b0061006c0020006e00790069007400680061007400f3006b0020006d00650067002e>
/ITA <FEFF005500740069006c0069007a007a006100720065002000710075006500730074006500200069006d0070006f007300740061007a0069006f006e00690020007000650072002000630072006500610072006500200064006f00630075006d0065006e00740069002000410064006f00620065002000500044004600200070006900f900200061006400610074007400690020006100200075006e00610020007000720065007300740061006d0070006100200064006900200061006c007400610020007100750061006c0069007400e0002e0020004900200064006f00630075006d0065006e007400690020005000440046002000630072006500610074006900200070006f00730073006f006e006f0020006500730073006500720065002000610070006500720074006900200063006f006e0020004100630072006f00620061007400200065002000410064006f00620065002000520065006100640065007200200035002e003000200065002000760065007200730069006f006e006900200073007500630063006500730073006900760065002e>
/JPN <FEFF9ad854c18cea306a30d730ea30d730ec30b951fa529b7528002000410064006f0062006500200050004400460020658766f8306e4f5c6210306b4f7f75283057307e305930023053306e8a2d5b9a30674f5c62103055308c305f0020005000440046002030d530a130a430eb306f3001004100630072006f0062006100740020304a30883073002000410064006f00620065002000520065006100640065007200200035002e003000204ee5964d3067958b304f30533068304c3067304d307e305930023053306e8a2d5b9a306b306f30d530a930f330c8306e57cb30818fbc307f304c5fc59808306730593002>
/KOR <FEFFc7740020c124c815c7440020c0acc6a9d558c5ec0020ace0d488c9c80020c2dcd5d80020c778c1c4c5d00020ac00c7a50020c801d569d55c002000410064006f0062006500200050004400460020bb38c11cb97c0020c791c131d569b2c8b2e4002e0020c774b807ac8c0020c791c131b41c00200050004400460020bb38c11cb2940020004100630072006f0062006100740020bc0f002000410064006f00620065002000520065006100640065007200200035002e00300020c774c0c1c5d0c11c0020c5f40020c2180020c788c2b5b2c8b2e4002e>
/LTH <FEFF004e006100750064006f006b0069007400650020016100690075006f007300200070006100720061006d006500740072007500730020006e006f0072011700640061006d00690020006b0075007200740069002000410064006f00620065002000500044004600200064006f006b0075006d0065006e007400750073002c0020006b00750072006900650020006c0061006200690061007500730069006100690020007000720069007400610069006b007900740069002000610075006b01610074006f00730020006b006f006b007900620117007300200070006100720065006e006700740069006e00690061006d00200073007000610075007300640069006e0069006d00750069002e0020002000530075006b0075007200740069002000500044004600200064006f006b0075006d0065006e007400610069002000670061006c006900200062016b007400690020006100740069006400610072006f006d00690020004100630072006f006200610074002000690072002000410064006f00620065002000520065006100640065007200200035002e0030002000610072002000760117006c00650073006e0117006d00690073002000760065007200730069006a006f006d00690073002e>
/LVI <FEFF0049007a006d0061006e0074006f006a00690065007400200161006f00730020006900650073007400610074012b006a0075006d00750073002c0020006c0061006900200076006500690064006f00740075002000410064006f00620065002000500044004600200064006f006b0075006d0065006e007400750073002c0020006b006100730020006900720020012b00700061016100690020007000690065006d01130072006f00740069002000610075006700730074006100730020006b00760061006c0069007401010074006500730020007000690072006d007300690065007300700069006501610061006e006100730020006400720075006b00610069002e00200049007a0076006500690064006f006a006900650074002000500044004600200064006f006b0075006d0065006e007400750073002c0020006b006f002000760061007200200061007400760113007200740020006100720020004100630072006f00620061007400200075006e002000410064006f00620065002000520065006100640065007200200035002e0030002c0020006b0101002000610072012b00200074006f0020006a00610075006e0101006b0101006d002000760065007200730069006a0101006d002e>
/NLD (Gebruik deze instellingen om Adobe PDF-documenten te maken die zijn geoptimaliseerd voor prepress-afdrukken van hoge kwaliteit. De gemaakte PDF-documenten kunnen worden geopend met Acrobat en Adobe Reader 5.0 en hoger.)
/NOR <FEFF004200720075006b00200064006900730073006500200069006e006e007300740069006c006c0069006e00670065006e0065002000740069006c002000e50020006f0070007000720065007400740065002000410064006f006200650020005000440046002d0064006f006b0075006d0065006e00740065007200200073006f006d00200065007200200062006500730074002000650067006e0065007400200066006f00720020006600f80072007400720079006b006b0073007500740073006b00720069006600740020006100760020006800f800790020006b00760061006c0069007400650074002e0020005000440046002d0064006f006b0075006d0065006e00740065006e00650020006b0061006e002000e50070006e00650073002000690020004100630072006f00620061007400200065006c006c00650072002000410064006f00620065002000520065006100640065007200200035002e003000200065006c006c00650072002000730065006e006500720065002e>
/POL <FEFF0055007300740061007700690065006e0069006100200064006f002000740077006f0072007a0065006e0069006100200064006f006b0075006d0065006e007400f300770020005000440046002000700072007a0065007a006e00610063007a006f006e00790063006800200064006f002000770079006400720075006b00f30077002000770020007700790073006f006b00690065006a0020006a0061006b006f015b00630069002e002000200044006f006b0075006d0065006e0074007900200050004400460020006d006f017c006e00610020006f007400770069006500720061010700200077002000700072006f006700720061006d006900650020004100630072006f00620061007400200069002000410064006f00620065002000520065006100640065007200200035002e0030002000690020006e006f00770073007a0079006d002e>
/PTB <FEFF005500740069006c0069007a006500200065007300730061007300200063006f006e00660069006700750072006100e700f50065007300200064006500200066006f0072006d00610020006100200063007200690061007200200064006f00630075006d0065006e0074006f0073002000410064006f0062006500200050004400460020006d00610069007300200061006400650071007500610064006f00730020007000610072006100200070007200e9002d0069006d0070007200650073007300f50065007300200064006500200061006c007400610020007100750061006c00690064006100640065002e0020004f007300200064006f00630075006d0065006e0074006f00730020005000440046002000630072006900610064006f007300200070006f00640065006d0020007300650072002000610062006500720074006f007300200063006f006d0020006f0020004100630072006f006200610074002000650020006f002000410064006f00620065002000520065006100640065007200200035002e0030002000650020007600650072007300f50065007300200070006f00730074006500720069006f007200650073002e>
/RUM <FEFF005500740069006c0069007a00610163006900200061006300650073007400650020007300650074010300720069002000700065006e007400720075002000610020006300720065006100200064006f00630075006d0065006e00740065002000410064006f006200650020005000440046002000610064006500630076006100740065002000700065006e0074007200750020007400690070010300720069007200650061002000700072006500700072006500730073002000640065002000630061006c006900740061007400650020007300750070006500720069006f006100720103002e002000200044006f00630075006d0065006e00740065006c00650020005000440046002000630072006500610074006500200070006f00740020006600690020006400650073006300680069007300650020006300750020004100630072006f006200610074002c002000410064006f00620065002000520065006100640065007200200035002e00300020015f00690020007600650072007300690075006e0069006c006500200075006c0074006500720069006f006100720065002e>
/RUS <FEFF04180441043f043e043b044c04370443043904420435002004340430043d043d044b04350020043d0430044104420440043e0439043a043800200434043b044f00200441043e043704340430043d0438044f00200434043e043a0443043c0435043d0442043e0432002000410064006f006200650020005000440046002c0020043c0430043a04410438043c0430043b044c043d043e0020043f043e04340445043e0434044f04490438044500200434043b044f00200432044b0441043e043a043e043a0430044704350441044204320435043d043d043e0433043e00200434043e043f0435044704300442043d043e0433043e00200432044b0432043e04340430002e002000200421043e043704340430043d043d044b04350020005000440046002d0434043e043a0443043c0435043d0442044b0020043c043e0436043d043e0020043e0442043a0440044b043204300442044c002004410020043f043e043c043e0449044c044e0020004100630072006f00620061007400200438002000410064006f00620065002000520065006100640065007200200035002e00300020043800200431043e043b043504350020043f043e04370434043d043804450020043204350440044104380439002e>
/SKY <FEFF0054006900650074006f0020006e006100730074006100760065006e0069006100200070006f0075017e0069007400650020006e00610020007600790074007600e100720061006e0069006500200064006f006b0075006d0065006e0074006f0076002000410064006f006200650020005000440046002c0020006b0074006f007200e90020007300610020006e0061006a006c0065007001610069006500200068006f0064006900610020006e00610020006b00760061006c00690074006e00fa00200074006c0061010d00200061002000700072006500700072006500730073002e00200056007900740076006f00720065006e00e900200064006f006b0075006d0065006e007400790020005000440046002000620075006400650020006d006f017e006e00e90020006f00740076006f00720069016500200076002000700072006f006700720061006d006f006300680020004100630072006f00620061007400200061002000410064006f00620065002000520065006100640065007200200035002e0030002000610020006e006f0076016100ed00630068002e>
/SLV <FEFF005400650020006e006100730074006100760069007400760065002000750070006f0072006100620069007400650020007a00610020007500730074007600610072006a0061006e006a006500200064006f006b0075006d0065006e0074006f0076002000410064006f006200650020005000440046002c0020006b006900200073006f0020006e0061006a007000720069006d00650072006e0065006a016100690020007a00610020006b0061006b006f0076006f00730074006e006f0020007400690073006b0061006e006a00650020007300200070007200690070007200610076006f0020006e00610020007400690073006b002e00200020005500730074007600610072006a0065006e006500200064006f006b0075006d0065006e0074006500200050004400460020006a00650020006d006f0067006f010d00650020006f0064007000720065007400690020007a0020004100630072006f00620061007400200069006e002000410064006f00620065002000520065006100640065007200200035002e003000200069006e0020006e006f00760065006a01610069006d002e>
/SUO <FEFF004b00e40079007400e40020006e00e40069007400e4002000610073006500740075006b007300690061002c0020006b0075006e0020006c0075006f00740020006c00e400680069006e006e00e4002000760061006100740069007600610061006e0020007000610069006e006100740075006b00730065006e002000760061006c006d0069007300740065006c00750074007900f6006800f6006e00200073006f00700069007600690061002000410064006f0062006500200050004400460020002d0064006f006b0075006d0065006e007400740065006a0061002e0020004c0075006f0064007500740020005000440046002d0064006f006b0075006d0065006e00740069007400200076006f0069006400610061006e0020006100760061007400610020004100630072006f0062006100740069006c006c00610020006a0061002000410064006f00620065002000520065006100640065007200200035002e0030003a006c006c00610020006a006100200075007500640065006d006d0069006c006c0061002e>
/SVE <FEFF0041006e007600e4006e00640020006400650020006800e4007200200069006e0073007400e4006c006c006e0069006e006700610072006e00610020006f006d002000640075002000760069006c006c00200073006b006100700061002000410064006f006200650020005000440046002d0064006f006b0075006d0065006e007400200073006f006d002000e400720020006c00e4006d0070006c0069006700610020006600f60072002000700072006500700072006500730073002d007500740073006b00720069006600740020006d006500640020006800f600670020006b00760061006c0069007400650074002e002000200053006b006100700061006400650020005000440046002d0064006f006b0075006d0065006e00740020006b0061006e002000f600700070006e00610073002000690020004100630072006f0062006100740020006f00630068002000410064006f00620065002000520065006100640065007200200035002e00300020006f00630068002000730065006e006100720065002e>
/TUR <FEFF005900fc006b00730065006b0020006b0061006c006900740065006c0069002000f6006e002000790061007a006401310072006d00610020006200610073006b013100730131006e006100200065006e0020006900790069002000750079006100620069006c006500630065006b002000410064006f006200650020005000440046002000620065006c00670065006c0065007200690020006f006c0075015f007400750072006d0061006b0020006900e70069006e00200062007500200061007900610072006c0061007201310020006b0075006c006c0061006e0131006e002e00200020004f006c0075015f0074007500720075006c0061006e0020005000440046002000620065006c00670065006c0065007200690020004100630072006f006200610074002000760065002000410064006f00620065002000520065006100640065007200200035002e003000200076006500200073006f006e0072006100730131006e00640061006b00690020007300fc007200fc006d006c00650072006c00650020006100e70131006c006100620069006c00690072002e>
/UKR <FEFF04120438043a043e0440043804410442043e043204430439044204350020044604560020043f043004400430043c043504420440043800200434043b044f0020044104420432043e04400435043d043d044f00200434043e043a0443043c0435043d044204560432002000410064006f006200650020005000440046002c0020044f043a04560020043d04300439043a04400430044904350020043f045604340445043e0434044f0442044c00200434043b044f0020043204380441043e043a043e044f043a04560441043d043e0433043e0020043f0435044004350434043404400443043a043e0432043e0433043e0020043404400443043a0443002e00200020042104420432043e04400435043d045600200434043e043a0443043c0435043d0442043800200050004400460020043c043e0436043d04300020043204560434043a0440043804420438002004430020004100630072006f006200610074002004420430002000410064006f00620065002000520065006100640065007200200035002e0030002004300431043e0020043f04560437043d04560448043e04570020043204350440044104560457002e>
/ENU (Use these settings to create Adobe PDF documents best suited for high-quality prepress printing. Created PDF documents can be opened with Acrobat and Adobe Reader 5.0 and later.)
>>
/Namespace [
(Adobe)
(Common)
(1.0)
]
/OtherNamespaces [
<<
/AsReaderSpreads false
/CropImagesToFrames true
/ErrorControl /WarnAndContinue
/FlattenerIgnoreSpreadOverrides false
/IncludeGuidesGrids false
/IncludeNonPrinting false
/IncludeSlug false
/Namespace [
(Adobe)
(InDesign)
(4.0)
]
/OmitPlacedBitmaps false
/OmitPlacedEPS false
/OmitPlacedPDF false
/SimulateOverprint /Legacy
>>
<<
/AddBleedMarks false
/AddColorBars false
/AddCropMarks false
/AddPageInfo false
/AddRegMarks false
/ConvertColors /ConvertToCMYK
/DestinationProfileName ()
/DestinationProfileSelector /DocumentCMYK
/Downsample16BitImages true
/FlattenerPreset <<
/PresetSelector /MediumResolution
>>
/FormElements false
/GenerateStructure false
/IncludeBookmarks false
/IncludeHyperlinks false
/IncludeInteractive false
/IncludeLayers false
/IncludeProfiles false
/MultimediaHandling /UseObjectSettings
/Namespace [
(Adobe)
(CreativeSuite)
(2.0)
]
/PDFXOutputIntentProfileSelector /DocumentCMYK
/PreserveEditing true
/UntaggedCMYKHandling /LeaveUntagged
/UntaggedRGBHandling /UseDocumentProfile
/UseDocumentBleed false
>>
]
>> setdistillerparams
<<
/HWResolution [2400 2400]
/PageSize [612.000 792.000]
>> setpagedevice
|