CC BY
38
УДК 004.94
ОТОБРАЖЕНИЕ ОПИСАНИЯ БИЗНЕС-ПРОЦЕССА В ОПЕРАЦИОННОЕ ПРОСТРАНСТВО ОРГАНИЗАЦИОННО-ТЕХНИЧЕСКОЙ СИСТЕМЫ
ОКСАНИЧИ.Г., ШЕВЧЕНКО И.В., КРАСНОПОЛЬСКАЯ Ю.А.
Рассматривается формальное описание, отображающее логические связи множества бизнес-процессов и бизнес-операций в операционном пространстве организационно-технической системы. Предлагаются динамические модели для мониторинга многофазного обслуживания множества бизнес-процессов на множестве автоматизированных рабочих мест. Ключевые слова: бизнес-процесс, бизнес-операция, операционное пространство, информационная модель, мониторинг, динамическая модель. Key words: business process, business opération, operating space, information model, monitoring, dynamic model.
1. Введение
Автоматизация бизнес-процессов в организационно-технических системах (ОТС), где происходит совместное выполнение бизнес-операций человеком-оператором (h-агентом) и b-агентом (ботом), рождает проблему статического и динамического моделирования операционного пространства, в котором сочетаются бизнес-процессы (БП), бизнес-операции (БО) и автоматизированные рабочие места (АРМ). Моделирование БП обычно проводится при помощи известных графических нотаций, таких как DFD, IDEF0, IDEF3 [1]. Эти методологии ориентированы на аналитиков, работающих над реинжинирингом БП. Широко распространена также методология ARIS - продукт компании IDS Scheer для моделирования бизнес-процессов [2]. В методологии ARIS для описания бизнес-процессов используется большое количество типов графических моделей, каждая из которых описывает тот или иной аспект. Нужно упомянуть также язык BPEL (Business Process Execution Language) - язык на основе XML для формального описания бизнес-процессов и протоколов их взаимодействия между собой [3]. BPEL расширяет модель взаимодействия веб-служб и включает в эту модель поддержку транзакций. Перечисленные нотации не соответствуют требованиям математической формализации, необходимой для строгого описания операционного пространства ОТС. В работе [4] описываются структуры мультиа-гентных систем, ориентированных на выполнение бизнес-процессов. Однако там нет математи-
ческих моделей, позволяющих связать множество процессов многофазного обслуживания на множестве АРМ с учетом необходимости мониторинга и оптимизации данных процессов. Построение системы взаимосвязанных БО на множестве БП осложняется тем, что каждая БО является частью одного из БП. Это требует рассмотрения совокупного операционного пространства и адекватного модельного отображения и согласования динамики происходящих процессов. Анализ литературных источников [58] подтверждает актуальность этого вопроса.
2. Постановка задачи
Цель данной работы заключается в формировании комплекса моделей, дающих возможность отобразить формальное описание бизнес-процесса и бизнес-операции в операционное пространство организационно-технической системы и создать математическое обеспечение для осуществления мониторинга бизнес-процессов на уровне как отдельных АРМ, так и ОТС. Применительно к указанной цели необходимо разработать:
1) теоретико-множественную модель БП и БО;
2) статическую информационную модель многофазного обслуживания заявок, основанную на матричном описании;
3) комплекс математических моделей динамики процесса многофазного обслуживания заявок на выполнение БО.
3. Теоретико-множественная модель бизнес-процесса и бизнес-операции
Будем полагать, что модель БП отражает его координаты в информационном пространстве ОТС. Вместе с тем, в информационном пространстве ОТС можно выделить операционное пространство. Операционным пространством ОТС назовем совокупность реализуемых БО, параллельно-последовательная реализация которых позволяет реализовать БП заданного класса. В таком случае операционное пространство БП содержит установленный набор классов бизнес-операций -СВРВО. Индивидуальными атрибутами каждого БП являются: граф выполнения БП - 0ВР, регламенты выполнения БП - 80ВР, квалиметрическая модель - QМBp, включающая требования по качеству, количеству и срокам выдачи продукта; СБВР - цена задержки выполнения БП, устанавливаемая экспертным методом. С учетом сказанного теоретико-множественную модель БП опишем выражением
ВР=<СВРВО,ОвР,80вР^МвР,СБвР>. (1)
В свою очередь модель БО представлена выражением:
ВО=<Сво, СЫеВО, Яво, МОво, 8мо,
КВво, ТОво, Уво, Ово, СБво>, (2) где СВоеСОВо - класс БО из множества классов СОВо БО; CodeBO - код БО, включающий принадлежность к БП и номер этапа БП; ЯВ0 - множество ресурсов, необходимых для выполнения операции класса СВ0; М0В0 - подмножество микроопераций, необходимых для выполнения операции класса СВ0; 8М0 - последовательность выполнения МО; КВВ0 - база знаний (компетенция) Ь-агента, выполняющего Б0 совместно с Ь-агентом; Т0В0 - нормированное время выполнения операции класса СВ0; УВ0 - нормированная стоимость выполнения операции класса СВ0; ОВ0
- показатель качества Б0; СБВ0 - цена задержки выполнения Б0 .
Таким образом, множество бизнес-операций разбито на с независимых подмножеств-классов:
СВ0Ь С0В02, ••• , С0В0с, (3)
где СВ0уеС0В0, 0vn0w=0, V, w=1,2,•..,с, В каждом классе сгруппированы функционально однородные Б0, такие, как «управление запасом», «контроль движения». Поскольку каждая Б0 состоит из множества элементарных операций, которые в дальнейшем будем называть микрооперациями (МО), определим состав и структуру МО:
Ммо=<К,Смо,Х,Р,Е,СХ,СЕ,Б,С>, (4) где N - название микрооперации; СМ0 - класс микрооперации, СМ0еМ0; МО - множество классов микроопераций; Х - входные данные микрооперации; Р - входные условия микрооперации; Е - множество результатов микрооперации; СХ - ограничения на входные данные; СЕ -ограничения на выходе; Б - нормированная продолжительность выполнения микрооперации; С -нормированная стоимость микрооперации. Далее опишем пространство признаков Б0 вектором РВ0={^01}, 1 = 1,Ь . Алфавит признаков Б0, в котором можно определить класс Б0, включает в себя:
- принадлежность к определенному классу БП;
- краткое название Б0;
- характер бизнес-операции - производственная, обслуживания, контрольная, управления (проверка условия и принятие решения);
- потребность в контроле данных или других ресурсов на входе;
- потребность в контроле на выходе;
- потребность в контроле ресурсов в процессе выполнения;
- потребность в контроле показателей качества процесса.
Каждый класс БО содержит подклассы. Например, класс «контроль» содержит подклассы:
- контроль очередей заявок;
- контроль факта поставки ресурса или продукта (на входе/на выходе);
- контроль движения (время начала, время окончания, задана скорость);
- контроль исполнения микрооперации;
- контроль параметра в трубке ограничений (включая уровень запаса).
4. Информационная модель многофазного обслуживания заявок
Данная модель должна отображать статические связи (отношения) между объектами операционного пространства ОТС.
Информационную модель БП опишем выражением
BPm=<SMbp, AM, LM(t), B(t), ТМ, ЕС,
СМ, РЕМ, RAM, LCE> (5) где SMBP - главная матрица формализованного описания БП. Каждая строка матрицы соответствует одному этапу БП, т.е. БО. Каждый столбец несёт данные про микрооперации, входящие в БО, а также норму времени выполнения БО, отметки выполнения, результат контроля по времени, адреса получателей сообщений. Таким образом, каждая строка матрицы SMBP содержит формализованное описание БО. AM - (adjacency matrix) квадратная матрица смежности графа выполнения БП, где каждая строка указывает на переходы к паралелльно выполняемым БО. Индексация матрицы соответствует индексации БО - i=1..I. Разность матриц смежности двух БП показывает степень сходства процессов на первом алгоритмическом уровне; E(t) - матрица выполнения, устанавливает взаимосвязь между переменными, относящимися к АРМ, и переменными, относящимися к БП (БО). Каждая строка матрицы с индексом г=1...Л соответствует номеру заявки на обслуживание по выполнению БО. Каждый столбец с индексом n=1...N соответствует номеру функционального узла (АРМ). К номеру строки r привязаны номера БП и БО. Ноль означает, что данная БО не выполняется на данном узле; 1,2,3... означают номер в очереди к узлу; 1 - идет обработка заявки;
B(t) - матрица-строка для сбора и фиксации дан-
ных об окончании времени обработки заявок на узлах. Индексом в данной строке служит п - номер АРМ;
ТМ - матрица норм времени обработки всех БО на всех узлах. Каждая строка соответствует номеру 1 БО, каждый столбец - номеру п АРМ; ЕС - матрица стоимости выполнения БО на существующих функциональных узлах. Каждая строка соответствует номеру 1 БО, каждый столбец - номеру п АРМ;
СБ - матрица цены задержек БО по всем актуальным БП. Каждая строка соответствует номеру 1 БО, каждый столбец - номеру j БП; СМ - матрица компетенций - элементы СМ содержат вероятности успешного и своевременного выполнения 1-й БО на п-м АРМ. Кроме перечисленных матриц при анализе эффективности выполнения БП используются таблицы, содержащие значения первичных показателей эффективности.
Таким образом, усовершенствована информационная модель многофазного обслуживания БП и БО, поданная в виде формального теоретико-множественного описания с отображением связей БП и БО различных классов в совместном операционном пространстве. Это дает возможность построения адекватного отображения и согласования динамики смены состояний множества БП и БО.
5. Разработка комплекса математических моделей процесса многофазного обслуживания на уровне АРМ
Моделирование работы ОТС имеет две цели. Во-первых, сам процесс динамического формирования исполнительных структур предполагает отображение процесса функционирования ОТС с помощью имитационной модели реального времени. При этом под имитационной понимается модель, сохраняющая с требуемой степенью адекватности решаемой задаче логическую структуру системных явлений и процессов, а также характер и структуру информации о состоянии и изменениях системы и составляющих ее элементов и их отношений.
Во-вторых, имитационная модель необходима для исследования эффективности различных вариантов стратегий оперативного управления режимами работы ОТС. Разработка моделей и алгоритмов планирования и оперативного управления ОТС связана с многочисленными экспериментами, которые практически невозможно осуществить в натурных условиях. Необходимой
частью системы управления ОТС как на стадии разработки и отладки, так и на стадии внедрения и эксплуатации является имитационная модель, позволяющая в ускоренном масштабе времени воспроизвести различные режимы работы ОТС, сравнить варианты и оценить качество планирования и управления.
Планирование и оперативное формирование исполнительных структур, а также мониторинг процессов выполнения БО на всех АРМ ОТС отводится агентам, выполняющим две роли:
- агент-монитор, осуществляющий контроль всех БО в рамках отдельного АРМ;
- агент-диспетчер, осуществляющий контроль состояния всех АРМ и всех актуальных БП в рамках ОТС.
К основным функциям агента-монитора относятся:
- контроль состояния всех БО на данном АРМ;
- контроль выполнения во времени каждой БО;
- расчет затрат времени по каждой БО;
- формирование с заданным интервалом времени отчетов для агента-диспетчера.
К основным функциям агента-диспетчера относятся:
- контроль состояния всех АРМ;
- контроль состояния всех актуальных БП;
- контроль очередей заявок на выполнение БО по каждому АРМ;
- расчет затрат и потерь времени по каждому АРМ и по каждому БП;
- динамическое распределение заявок по АРМ, т.е. динамическое формирование исполнительных структур для каждого БП. Эта последняя функция в данной статье не рассматривается. Таким образом, комплекс математических моделей процесса многофазного обслуживания является математическим обеспечением как имитационного моделирования процессов многофазного обслуживания, так и функционирования определенных выше агентов. Для целей мониторинга необходимо разработать модель динамики функционирования множества АРМ с учетом всех состояний каждой выполняемой или ожидающей выполнения заявки.
Математическую модель динамики ОТС представим в виде автомата:
Мф ={X, 5, Т, У, р,)), (6)
где Х - множество входных величин; 8 - множество состояний; Т - множество моментов време-
ни; У - множество выходных величин; Ф :Б х Т ^ 8 - функция переходов; ^ :8 х Т ^ У-
выходное отображение.
Входные величины суть выходные данные процессов функционирования отдельных АРМ, а именно:
ХА = {уА, ,УА, РА } , (7)
а также результаты смены состояний заявок, которые выполняются при реализации Б0:
^ = {у13, SD, Р° } , (8)
где А = {ап } - множество функциональных узлов (АРМ); УА = {уП }- множество входных сигналов, отображающих смену состояний узлов;
= {рП } - множество состояний функциональных узлов; УА - множество выходов функциональных узлов; РА = ^8А, УА) - функция переходов автоматной модели функционального узла; УБ- множество входных сигналов, которые определяются динамикой смены состояний отдельных заявок на выполнение Б0; SD = } -
множество состояний заявок; Р° = :(8°,У°) -функция переходов для модели динамики смены состояний заявок.
Входные сигналы модели представим следующим образом:
- для отслеживания функционирования АРМ:
уЛ = {УЛп, К/ - узЛп}; (9)
SD = {к, &, %},
(12)
- для отслеживания состояния заявки:
У {учк/П , Уок/п , Уобк/'п }
(10)
А
где V/ - поступление заявки на выполнение к-й
Б0 _)-го БП на обработку на п-м узле; уЛО/ -окончание выполнения к-й Б0 _)-го БП на п-м уз-
ле;
уЛ -
остановка п-го узла; V.) - заявка в
очереди на обработку; Vок//.п - заявка на обработку; Уб/п - заявку выполнено.
Поскольку все указанные события (за исключением остановки АРМ) происходят циклично, в каждый момент времени может быть истинным только один из входных сигналов. Множество состояний функциональных узлов и состояний заявок представлено в виде наборов:
sA = {?А, я/, <, //, С, С} , (11)
где бп - состояние п-го узла, со следующими допустимыми значениями: «З» - остановка, «0»
- обработка заявки, «Н» - узел неисправен; dkj -к-я заявка на выполнение Б0 )-го БП, которая обрабатывается на п-м узле; д" - количество
1_п 1п 1п
заявок в очереди к п-му узлу; , tk/-з, ^фвл- время начала, время окончания обработки заявки на п-м узле и время фиксации выхода из строя; qPí -место в очереди к п-му узлу, ^ - время ожидания к-й заявки /-го БП; - принимает такие значения: «Ч0» - ожидает обработки - это значение служит флагом нахождения в очереди; «0Б» - обрабатывается; «З0» - обработка заявки окончена, это значение служит флагом окончания выполнения Б0.
Выходные сигналы автоматной модели функционального узла запишем так:
=кбр, с} , (13)
где дОбр - количество заявок, обработанных на п-м узле; t - время простоя узла. Далее определим функцию переходов Рп = / , Уп) модели узла как набор преобразований, каждое из которых определяет смену состояния узла после определенного события. Общую структуру функции переходов определим следующим образом:
Рп (0 = (" SЛ", < (0, д: (t -1), /, /, tфвЛ ) . (14)
Символом # обозначим те переменные, которые в некотором состоянии не имеют значения. Для определенных ниже состояний функция переходов будет иметь такой вид:
- при поступлении очередной заявки на обработку У/п=1) узел должен переходить к ее обработке и состояние п-го экземпляра модели узла меняется так:
Рп (0 = ("О", я; (о, д:ч ^ -1), / ,#,#); (15)
- после того, как узел обработал заявку ( уЛО/ =1) 1 простаивает в ожидании поступления
новой заявки, состояние меняется следующим образом:
Рп ^) = (" ПР", йпк1 ^ -1), д"ч (t), 0, (t -1)/ ,#); (16)
- после того, как был выявлен выход из строя п-го узла (уа1 =1), его состояние меняется на такое:
Рп (1) = (" Н", < (1 -1), < (/ -1),#,#, С ). (17)
Таким образом, совокупность выражений (14)-(17) определяет функцию переходов автоматной модели для функционального узла. Аналогично определим функцию переходов Р? для смены состояний заявки. Общая структура этой функции показана выражением:
Рв (О = (п, , д? (О, О ; (18)
- после того, как была закончена обработка заявки на п-м АРМ, к-й заявки =1, ее состояние меняется так:
Р?(О = (п,"ЗО", д°чо(О,О ; (19)
- после того, как заявка поступает на обработку (=1), ее состояние меняется на такое:
Р0(1) = (п,"ОБ", д°чо(1 -1), (1 -1)) . (20)
Если заявка ждет обработки (уР^ =1), ее состояние выражается таким образом:
р0 (1) = (п,"чо", до (1), о. (21)
Если заявка последняя в данном БП, агент-диспетчер фиксирует событие «Завершение БП». Таким образом, выражения (6) - (21) являются моделью динамики функционирования каждого АРМ в ОТС и динамики продвижения заявок на выполнение отдельных БО через множество АРМ во время реализации множества БП. С помощью этой модели можно отслеживать в реальном времени состояние множества БО и, соответственно, получать результаты, которые нужны для анализа качества функционирования отдельных АРМ, исполнительных групп и ОТС в целом. Для получения оперативных данных мониторинга работы АРМ с помощью модели необходимо создать динамическую таблицу, в которой каждая запись соответствует одному АРМ. В процессе функционирования ОТС в каждой строке таблицы меняются данные о состоянии этого экземпляра модели, что дает возможность накапливать первичную информацию об эффективности функционирования каждого АРМ и в дальнейшем рассчитывать статистические данные, а также интерпретировать числовые оценки в вербальную форму. Аналогичную таблицу необходимо иметь и для отслеживания состояния заявок на выполнение БО каждого БП.
Для мониторинга функционирования ОТС в целом и оперативного управления маршрутами множества БП необходимо также осуществлять мониторинг длины очередей на входе каждого АРМ. Для этого нужна соответствующая модель, которая рассматривается в следующем подразделе статьи.
6. Модель и алгоритм многофазного обслуживания на уровне ОТС
Пусть в ОТС имеется N Ь-агентов (пользователей), закрепленных за функциональными узлами (АРМ), и каждый из этих исполнителей обладает определенным набором Ь-компетенций. Выполнению подлежат I БП различных видов. БП каждого вида должен пройти динамически назначаемый маршрут обработки через множество АРМ. Маршрут БП задается динамически, по мере выполнения очередных БО, в виде последовательности номеров АРМ, упорядоченных в порядке обработки на них данного БП. Ноль в этой последовательности означает окончание выполнения БП. Например, последовательность 4, 5, 10, 1, 0 показывает, что полный цикл выполнения БП включает в себя последовательную обработку на четвертом, пятом, десятом, первом АРМ. Будем считать, что время обработки каждой классифицированной БО нормировано по результатам статистических испытаний и с учетом экспертных оценок.
В некоторые случайные моменты времени в ОТС поступают на выполнение БП. На каждом этапе выполнения БП очередная заявка на выполнение БО поступает к АРМ выбранного Ь-агента. Выбор АРМ осуществляется агентом-диспетчером в соответствии с типом БП, типом БО и известными компетенциями Ь-агентов. Если АРМ загружено, заявка поступает в очередь на обработку. Построим математическую модель процесса выполнения множества БП. Как было определено выше, матрица выполнения Е(1;) является моделью отслеживания загрузки АРМ бизнес-операциями. Для упрощения понимания функционирования модели напомним, что элементы матрицы Е(1;)=(егп) являются номерами в очередях к АРМ, г=1..Ят, п=1,2,...^М, где т - число актуальных БП, Nм - длина самого длинного (по числу БО) бизнес-процесса. Имеем также вектор Т=(1к), к=1,...,К, где 1к - время, прошедшее с начала обработки к-й БО на п-м АРМ. Для построения алгоритма моделирования необходима также В(1) - матрица-строка для сбора и фик-
сации данных об окончании времени обработки заявок на узлах.
Элементы матрицы Е(1;)=(ет(1;)) определяются следующим образом: егп(1)= 0, если г-я заявка не обрабатывается и не находится в очереди на обработку к п-му АРМ в момент времени 1; егп(1)=р, если г-я заявка в момент времени 1 стоит р-й в очереди на обработку к п-му АРМ; при р=1 заявка обрабатывается на п-м АРМ. Элементы Ьп(1), п=1,...^М, вектора В(1) определяются как
Ь ^) =
\ток, ЗеГп = 1
0, оМвугре
(22)
где Ток - момент окончания обработки заявки с номером к на п-м АРМе согласно таймеру, который отсчитывает время выполнения данной заявки.
Иначе говоря, п-й столбец матрицы Е(1) изображает текущее состояние очереди заявок на обработку к п-му АРМ. Для заявки, которая в данный момент времени уже обрабатывается (первая в очереди), значение элемента Ьп(1) равно моменту окончания обработки.
При помощи матрицы Е(1) устанавливается взаимосвязь между переменными, относящимися к АРМ, и переменными, относящимися к БП. Таким образом достигается согласование динамики смены состояний множества БП и Б0. Из описания моделей ясно, что текущее состояние 0ТС в момент времени 1=10 полностью определяется множеством {(Е(10), В(10)}. Предположим, что это множество для момента времени 1=10 уже построено. Укажем алгоритм перехода от него к множеству (Е^), В (14)}, описывающему состояние 0ТС в следующий момент времени 11 = -10+Ь.
Все столбцы матрицы Е(10) просматриваются последовательно, элементы каждого столбца преобразуются по следующим правилам.
1. Присвоить г=1 (начало просмотра столбца п).
2. Если значение элемента Ьгп(1;0)#0, то перейти к пункту 8 (АРМ п к моменту времени 1 еще не освободилось), иначе перейти к п.3.
3. Запомнить индекс г0 элемента егп(10), равного 1 (обработка заявки на АРМ п закончена к моменту времени 1 и заявка в дальнейшем должна поступить на обработку к следующему АРМ своего маршрута или покинуть 0ТС). Заметим, что выполняя шаг 3, для всех п=1..^ определяем множество заявок, обработка которых завершена на всех АРМ в момент времени 10.
4. Положить ег0п(10+Ь)=0, Ьп(10+Ь)=0 (заявка уже обработана на АРМ п и уходит из очереди).
5. Найти в п-м столбце элемент егп(10)=2; если такого элемента в столбце нет, то перейти к пункту 8 (в очереди к п-му АРМ ищется заявка, которая в момент времени 10+Ь должна поступить на обработку).
6. Положить Ьп(10+Ь)=Ток, где Ток - время окончания обработки заявки согласно норме времени.
7. Для всех егп(10)>0 положить егп(10+Ь)=егп(10)-1 (после того как одна заявка покинула АРМ, очередь сдвигается на единицу).
8. Если n<NМ , положить п равным п+1 и перейти к пункту 2 (если не все АРМ просмотрены, переходим к следующему столбцу матрицы Е(1)).
9. Определить, должен ли очередной БП к моменту времени 1о+Ь поступить в 0ТС на обработку; если да, то присвоить ему порядковый номер и инициализировать содержимое его матриц 8МВЯ, АМ, ТМ, ЕС, СБ, СМ.
10. После обработки всех столбцов матрицы выполнения Есформировано множество заявок (см. шаг 3 алгоритма), обработка которых завершена на АРМ в момент времени 10. Эти заявки, включая новые, поступившие в 0ТС, должны пройти обработку на следующем АРМ своего маршрута или покинуть 0ТС, завершая БП. Совокупность текущих значений элементов матрицы Е(1;0) и вектора В(10) составляет «фотографию» 0ТС в момент времени 10. Пользуясь описанным алгоритмом преобразования переменных и алгоритмом динамической маршрутизации заявок, мы получаем «фотографию» 0ТС в следующий момент времени 10+Ь. Таким образом, начав с начального состояния, целиком состоящего из нулей, и задавая исходные данные и структуру входного потока, можно моделировать работу 0ТС на любом отрезке времени, что требуется как для диспетчеризации работы 0ТС, так и для накопления статистических данных.
7. Выводы
1. Усовершенствована информационная модель многофазного обслуживания заявок от бизнес-процессов и бизнес-операций, отличающаяся тем, что содержит многоуровневое формальное теоретико-множественное и матричное описание с отображением информационных связей бизнес-процессов и бизнес-операций различных классов. Это дает возможность построения совместного операционного пространства для множества функциональных узлов и множества выполняемых процессов.
2. Усовершенствован комплекс моделей многофазного обслуживания заявок, отличающийся тем, что в моделях учтены динамические связи бизнес-процессов, отдельных бизнес-операций и узлов обслуживания и предусмотрен мониторинг временных показателей всех узлов обслуживания, что дает возможность адекватно отобразить, согласовать и контролировать изменение состояний множеств функциональных узлов, бизнес-процессов и бизнес-операций. Литература: 1. Дроздов А., Коптелов А. Использование средств описания процессов при внедрении корпоративных информационных систем // Проблемы теории и практики управления. 2006. №10. С. 54-70. 2. Марка Д., МакГоуэн К. Методология структурного анализа и проектирования. - Режим доступа: http:/www.marathon.ru/IDEF/ooad.asf.ru/standarts/idef/s adt/index.shtml. 3. Business Process Execution Language for Web Services version 1.1. - Режим доступа: http://www.ibm.com/developerworks/library/specification /ws-bpel. 4. Массель Л.В., Гальперов В.И. Разработка многоагентной системы оценивания состояния электроэнергетических систем с использованием событийных моделей // Наука и образование. №9. 2015. М.: МГТУ им. Баумана. Эл. №ФС77-4211. ISSN 19940448. DOI: 10.7463/ 0915. 0811180. 5. Khodyrev I., Popova S. Discrete modeling and simulation of business processes using event logs// Procedia Computer Science, vol. 29, 2014, P. 322-331 6. Begona Martinez-Salvador, Mar Marcos, David Riano. An Algorithm for Guideline Transformation: from BPMN to SDA // Procedia Computer Science. 2015. №63. 244-251. 7. Rieger S., Neu-mair B. Towards usable and reasonable Identity Management in hererogeneous IT infrastructures. In: 10th IFIP/IEEE International Symposium on Integrated Network Management - IM. Munich, pp. 560-574. 2007. DOI: 10.1109/inm.2007.374820 8. Crowston K. A Coordination Theory Approach to Organizational Process Design (1997). Organization Science, 8 (2), pp. 157-175. DOI: 10.1287/orsc.8.2.157 . Transliterated bibliography:
1. Drozdov A., Koptelov A. Ispol'zovanie sredstv opisanija processov pri vnedrenii korporativnyh informacionnyh sistem // Problemy teorii i prak-tiki upravlenija, 2006. №10. S. 54-70.
2. Marka D., MakGoujen K. Metodologija strukturnogo analiza i proektirovanija. - Rezhim dostupa: http :/www.marathon. ru/IDEF/ooad. asf.ru/standarts/idef/s adt/index.shtml
3. Business Process Execution Language for Web Services version 1.1. - Rezhim dostupa: http://www.ibm.com/developerworks/library/specification /ws-bpel.
4. Massel' L.V., Gal'perov V.I. Razrabotka mnogoagent-noj sistemy ocenivanija sostojanija jelektrojener-geticheskih sistem s ispol'zovaniem sobytijnyh modelej //
Nauka i obrazovanie. №9. 2015. M.: MGTU im. Baumana. Jel. №FS77-4211. ISSN 1994-0448. DOI: 10.7463/ 0915. 0811180.
5. Khodyrev I., Popova S. Discrete modeling and simulation of business processes using event logs II Procedia Computer Science. Vol. 29. 2014. P. 322-331
6. Begona Martinez-Salvador, Mar Marcos, David Riano. An Algorithm for Guideline Transformation: from BPMN to SDA II Procedia Computer Science. 2015. №63. 244251.
7. Rieger S., Neumair B. Towards usable and reasonable Identity Management in hererogeneous IT infrastructures. In:10th IFIP/IEEE International Symposium on Integrated Network Management - IM. Munich. 2007. Р. 560-574. DOI: 10.1109/inm.2007.374820 .
8. Crowston K. A Coordination Theory Approach to Organizational Process Design (1997). Organization Science, 8 (2), pp. 157-175. DOI: 10.1287/orsc.8.2.157.
Поступила в редколлегию 11.06.2019 Рецензент: д-р техн. наук, проф. Гученко Н.И. Оксанич Ирина Григорьевна, канд. техн. наук, доцент кафедры автоматизации и информационных систем КрНУ. Научные интересы: автоматизированные системы и информационные технологии управления в организационно-технических системах. Адрес: Украина, 39600, Кременчуг, ул. Первомайская, 20, тел.: (05366)30157. E-mail: oksirena2017@gmail.com Шевченко Игорь Васильевич, д-р техн. наук, доцент, профессор кафедры автоматизации и информационных систем КрНУ. Научные интересы: методы и модели принятия решений в условиях неопределенности. Адрес: Украина, 39600, Кременчуг, ул. Первомайская, 20, тел.: (05366)30157. E-mail: ius.shevchenko@gmail.com Краснопольская Юлия Алексеевна, канд. техн. наук, программист кафедры автоматизации и информационных систем КрНУ. Адрес: Украина, 39600, Кременчуг, ул. Первомайская, 20, тел.: (05366)30157. Email: ulya.krasnopolskaya@gmail.com Oksanych Irina Grigoryevna, Cand. Tech. Sciences, Associate Professor, Department of Information and Control Systems, KrNU, Research interests: automated systems and information technology management in organizational and technical systems. Address: Ukraine, 39600, Kremenchug, Pervomayskaya Str, 20, tel.: (05366)30157. E-mail: oksirena2017@gmail.com Shevchenko Igor Vasylievich, Dr. Tech. Sciences, Associate Professor, professor of the department of Information and Control Systems. Research interests: decision-making methods and models in the face of uncertainty. Address: Ukraine, 39600, Kremenchug, Pervomaiskaya Str, 20, tel.: (05366)30157. E-mail: oksanich@kdu.edu.ua Krasnopol'skaja Julija Alekseevna, Cand. Tech. Sciences, Software Engineer, Address: Ukraine, 39600, Kremenchug, Pervomayskaya Str, 20, tel.: (05366)30157. E-mail: ulya.krasnopolskaya@gmail.com
