CC BY
88
Раздел IV. Новые информационные технологии
УДК 519.68
ЮЛ. Рогозов, C.A. Бутенков, P.M. Микита
ДЕКОМПОЗИЦИЯ ER++ МОДЕЛЕЙ БИЗНЕС-ПРОЦЕССОВ НА ОСНОВЕ
КРИТЕРИЯ ТИПИЗАЦИИ*
В работе рассматривается решение задачи о формальном моделировании бизнес-процессов с помощью введенных ранее в наших работах визуальных ER++ моделей. Предлагается графовая ER++ модель на основе мультиграфов, которая позволяет выполнить формальную декомпозицию графа модели на ряд подграфов, соответствующих модулям, из которых строится система. Вводится критерий типизации и предлагается алгоритм для решения задачи оптимальной декомпозиции.
CASE-средства; бизнес-процесс; модульная система; мультиграф; изоморфное вло-
; .
U.I. Rogozov, S.A. Butenkov, R.M. Mikita ABOUT BUSINESS-PROCESS ER++ MODELS DECOMPOSITION UNDER UNIFICATION CRITERION
This paper is dedicated to the problem of business-processes modeling problem. The special kind of models (visual ER++ models) was introduced in our recent papers. Also, the new formalization for ER++ model, are based on multigraphs, has been introduced in this paper. As a result, we provide the general theoretical framework and algorithm for the large models decomposition under the maximal unification criterion.
CASE-systems; business-process; unified systems; multigraph; isomophically embedding; optimal design.
Введение. Современное производство тре бует оперативного изменения основных показателей и структур (ре-инжиниринг) [1,2]. Такая гибкость может наиболее эффективно (с малыми затратами средств и времени) достигаться за счет модификации структур на основе типовых элементов, путем их комбинирования в разных структурах [3-5]. Для этого надо уметь максимально автоматизированным способом выделять такие типовые элементы и структуры бизнес-процессов и моделировать их взаимодействие в составе единой системы [6]. Обычно модели биз-
-
предприятия [7], в отличие от моделей вычислительных алгоритмов, конечных автоматов и т.д. [1] и являются плохо формализованными (чаще всего представлены графическими изображениями) [8]. В работе предлагается метод формализации моделей бизнес-процессов с помощью смешанных графов [1]. Этот метод основывается на введенных в наших работах функциональных моделях бизнес-процессов [9,10]. В результате становится возможным применение развитого математического аппарата теории графов для строго формализованного описания и моделирова-
*
Работа выполнена при поддержке г/б № 12.8.08.
-
функциональных модулей [4], что необходимо для разработки стандартизованного программного обеспечения информационных систем [3].
1. Задачи работы. Известен ряд подходов к задачам формализации сложных систем элементарных модулей (функциональных единиц в нашей терминологии) причем, не обязательно для бизнес-процессов [11]. Математически эквивалентными задачами проектирования на основе функционального подхода являются ряд описанных в литературе моделей [1,3,5,12,13]. Каждая подобная модель основывается на описании взаимодействия множества функциональных единиц в заданных условиях [13]. Формализация взаимодействия чаще всего описывается с помощью какого-либо вида графа (либо матрицы связей, также представляющей граф) [1,12]. Цель оптимизации для данной модели задается некоторым числовым критерием, а условия функционирования системы в целом задаются с помощью ряда ограничений. В число подобных моделей входят:
1. ,
как объединения элементарных функциональных узлов по критерию минимизации длины соединений, при этом ограничениями служат физические требования отсутствия пересечений, минимальных помех и взаимных наводок на проводники и т.д. [13].
2. ,
пространства состояний (переменных системы) и матричных связей меж. ( с внешними устройствами), что было актуально в эпоху ЭВМ с «медленными» внешними носителями данных [3,15].
3. , -
тайного, а не функционального подхода. Критерием оптимизации у них является длина критического пути [16].
4. , , , -
гии описания состояний, а с другой стороны - структурным графам, для которых критерием оптимизации являются функционалы на переменных состояния системы [14].
5. , ( -
),
выполнения функций системы [17].
В число критериев, используемых в оптимизации моделей динамических , , единиц [5,6] . Между тем, процесс типизации крайне важен при проектировании, , , основе максимально однородного состава модулей, реализующих заданные функции [7]. Понятие типизации является ключевым для данной работы. Этот путь, в частности, широко используется при разработке и улучшении (upgrade) вычислительной техники [18]. В разработке программного обеспечения типизация (выделение типовых программных модулей) повышает гибкость модификации ПО в процессе перестройки ПО при устранении недоработок и дальнейшей его модификации [3,5,11,15].
Согласно базовым предположениям, введенным в работах [4,9], процесс ти-
( ):
I - построение общей модели сложной системы (бизнес-процесса) либо на основе формального описания алгоритма ее функционирования [1,12,14], либо на основе исследования и формализации функционирования существующей производственной системы [2,6-9];
II - декомпозиция модели сложной структуры на ряд более простых и максимально часто встречающихся подсистем (выделение типовых функциональных модулей).
Отметим, что если для I этапа уже разработан ряд формализованных методик, позволяющих представить результаты обследования в графической форме (например, БЯ++ модели [9,10] и ряд других типов моделей [6,8]), то II этап проектирования чаще всего выполняется на основе эвристических соображений [5,18].
В работе предлагается на основе принципов функционального подхода и формального моделирования схем динамических процессов [4] разработать методику графового описания сложных функциональных моделей бизнес-процессов [9] и формализованные алгоритмы декомпозиции сложных моделей на типизирован, , состав модели [14].
2. Визуальные ER++ модели бизнес-процессов. Обычно бизнес-процессы описываются с помощью визуальных моделей [12]. Между тем, общая модель, используемая системным аналитиком, должна обладать определенной степенью интегрированности, т.е. отражать еще и связь различных аспектов деятельности предприятия [4]. Этому требованию удовлетворяет предложенная в наших работах БЯ++ модель, основой которой является представление бизнес-процессов в виде отдельных, элементарных бизнес-функций, выявляемых в процессе обследования [6], с помощью методик, предложенных в работах [2,9].
С точки зрения цели настоящей работы, важнейшей чертой функциональноориентированной модели является принцип категоризации сущностей [5]. В приводимом ниже примере моделирования лечебного учреждения имеет место под-типизация на двух уровнях. Из анализа организационной структуры учреждения вытекают модели сущностей, обычно называемых подразделениями: врач, диспетчер и т.д., в состав которых входят атомарные подтипы или функциональные единицы (ФЕ) (рис. 1). Выделение атомарных ФЕ позволяет “собирать” функции каждого подразделения из уникальных типовых атомарных ФЕ, реализованных в виде отдельных программных единиц.
,
состава типовых ФЕ и организации интерфейса между соответствующими им про.
набора сущностей и связей получаем связный граф. В полученном графе необходимо избегать циклических связей - они выявляют некорректность модели. На основании структуры системы, описанной с помощью БЯ-модели, графически представленной на рис. 1, построим графовую модель для данного бизнес-процесса.
3. Графовое представление ER++ модели. Допустим, что бизнес-процесс может выполняться различными видами исполнителей, различных по производительности, специализации и затратам (материальным для автоматических исполнителей и финансовым для гуманитарных исполнителей) [4,9]. Пусть
П:1 , 5 = 1,2,..., k - число исполнителей 5 -го типа, qs - затраты на работу исполнителя 5-го типа [10].
м - к -
ЧИСЛО ЧИСЛО
исполнителей пациентов
Схема 1.
Прямая передача документов итдел 1. (отдельные функции связи)
ВРАЧ Интерфейс 1
Функция 5.
Назначение курса обследования и лечения
Функция 6.
Контроль результатов обследования и лечения
Отдел 2. ДИСПЕТЧЕР
к
м
Функция 1.
Составление общего расписания работы исполнителей
Функция 2.
Распределение назначений пациента ______по исполнителям____
Функция 3.
tз Формирование списка назначений пациента для исполнитеоей
Функция 4.
І4 Формирование графика
прохождения исполнителей
Функция 7.
Контроль совместимости назначений
Функция 8.
Формирование расписания работы исполнителя
Функция 9.
Выполнение
назначений
5= 9430 #К
Курс обследования и лечения
К Ґ ?= 9439 #К Л
Ч I Результаты М-V. обследования )
2
М Г 1= 9434 #М N
Ч I Расписание работы И V. исполнителей )
К С 2= 9431 #К
Ч I Курс обследования N V и илечения )
К3= 9435 #КМЛ
Список назн. I—
пациентов )
4 4= 9432 #К Л
График прох. I—
исполнителей )
км
Отдел 3. ИСПОЛНИТЕЛЬ
3
Отдел 4. ПАЦИЕНТ
Г 8= 9436 #М Л
►I Форм.расписания I— .
КС 9= 9437 #К \
4-1 V Список назначений
—[Г ?= 9438 #К Л
*"►( Результаты I— V. обследования )
Функция 10.
Прохождение
назначений
410= 9433 #м N м
График прох. N
исполнителей )
Интерфейс 4
Рис. 1. Визуальная ЕЯ+ + модель бизнес-процесса диспансеризации пациента в
лечебном учреждении
Граф такого типа может содержать одновременно, как дуги, так и звенья [1] и для его описания обычно задаются множества вершин и ребер графа. Инцидентность определенных вершин и ребер задается с помощью трехместного предиката. Графовую БЯ++ модель бизнес-процесса можно представить в форме
к
к
2
к
3
11
52
11
96
м
3
к
81
3
к
к
4
к
39
м
м
к
к
2
91
92
к
к
м
2
О = ( ,и, Р) , где даны два множества элементов X и и (X О и = 0 ), причем, каждая вершина Х1 е X , 1 = 1,...,т соответствует определенной неделимой составляющей бизнес-процесса (1 -й элементарной ФЕ бизнес-процесса) [9], а каждое ребро и. еи, ] = 1,...,п соответствует ] -й материальной (дуга) или ин-
( ) . Р ,
,
[1].
, [1],
X1 е X снабжена вектором tn,..., ^ е Т, где tij, ] = 1,..., k - затраты на выполнение 1 -й элементарной функции исполнителем ] -го типа [10]. В данной работе будем считать tij =^ в случае, когда в соответствии со специализацией ] -го исполнителя или 1 -го процесса функция не может выполняться исполнителем данного типа. В применении к задачам анализа и планирования бизнес-процессов с помощью БЯ++ моделей такой граф назовем структурным графом БЯ++ модели. Отметим, что в отличие от методов планирования работы вычислительных систем [12,17], в настоящей работе допускается наличие кратных ребер [19], т.е., в общем случае, структурная БЯ++ модель бизнес-процесса представляется мультиграфом [1].
Это существенное отличие новой БЯ++ модели от известных графовых моделей процессов вызвано тем, что в БЯ++ моделях введены несколько уровней под, -( ). общей схемы, выявляемые в процессе обследования исходного процесса [2,7]. Вторым существенным отличием графовых БЯ++ моделей является возможность
( . 2).
06)
Рис. 2. Графовая ЕЯ++ модель бизнес-процесса диспансеризации пациента на основе мультиграфа с векторными весами вершин
Здесь каждая вершина и ребро могут иметь векторную весовую функцию, которая включает номер элементарной функции (с одной стороны) и вектор затрат (с другой стороны). Отметим также, что в задачах планирования операций в вычислительных системах часто рассматривают случай, когда необходимо учитывать параметры обмена информацией между функциями (например, если вычислительная система не имеет общей памяти [3]). В этом случае, каждой дуге, соединяющей
вершины а ив, присваивается некоторый вес Яа^р. Такой взвешенный граф
обозначают как О = ((, Т,Я,и,Р). В моделях бизнес-процессов такое представление структурного графа необходимо использовать в случае, когда стоимостью и длительностью обмена ресурсами нельзя пренебречь.
С точки зрения введенной графовой БЯ++ модели, определен ие функционального модуля формализуется на множестве задач обработки данных
Ф = { /,; н = 1,..., н} в котором Н -я задача из Ф считается реализуемой в моделируемой системе, если существует отображение вектора входных переменных задачи Xй в вектор выходных значений задачи Ун = ПН (Xй), где ПН - некоторое преобразование, описываемее мультиграфом с петлями. Вершинами этого мультиграфа являются элементарные функции обработки данных, а ребрами - переменные пространства состояния информационной системы, являющиеся общими
для этих функций [19]. Если преобразование УН = ПН (Xя) представимо в виде графа О = (Г,, £), где Г, - множество подграфов графа модели, а £ - множество дуг агрегированного графа, то подмножества Г, = (М,,Д), где М, -
множество вершин модуля, Д - множество инцидентных им ребер. В этом слу-
н
чае говорят, что преобразование П обладает свойством модульности [11].
Критерием модульного представления является множество функций, определенных на множестве разбиений ^ графа модели Г. Тогда задача оптимальной декомпозиции на функциональные модули формализуется в виде
М1(ХДр*((А)) (1)
где / (М1 (А)) - функция, определенная на множестве Р, а РД - множество
допустимых разбиений Р.
На основе введенных формализаций графовой БЯ++ модели и критерия ее
(1).
4. Алгоритм декомпозиции модели модульной структуры. Для построения алгоритма декомпозиции следует учитывать особенности алгебраических операций над графами, описывающими дискретные системы обработки (в нашем случае, как данных, так и материальных потоков). В [1] показано, что такие операции позволяют формализовать модель, в которой автоматы (в нашем случае - функ) . -, , , основываются на декартовом произведении на графах [19]. В этом базисе фундаментальную роль играет задача декомпозиции графов моделей, т.е. разложения сложных графов на более простые по различным алгебраическим операциям [1]. В настоящей работе такая постановка дополняется требованием учета при деком-(1).
Рассмотрим теперь один из возможных алгоритмов декомпозиции графа мо, , предложенный в [1]. Для этого представим мультиграф в виде О = (X,Z),
где X - множество вершин, а Z - отображение X в множество слов над X [1]. В [1] , -
вить в виде к -правильной клеточной матрицы ЯО = Ц/. ||, 1,7 е {1,2,..., к} , -
т , к = т2 . -
позиция сводится к применению к матрице смежности групп подстановок, не выводящих ее из класса к -правильных [1]. Это дает основу для построения следующего алгоритма декомпозиции графа модели на графы ее модулей.
Алгоритм декомпозиции модели по суперпозиции.
1. Подсчитать число п вершин мультиграфа О . Если п = к ■ т, то переходим к п. 2, иначе - к п. 9;
2. Для матрицы смежности Я графа О проверить условие правильности т < к ■ т2. Если условие выполняется, перейти к п. 3, иначе - к п. 9;
3. Разбить матрицу Я графа О на к2 клеток. Если полученная Я является к -правильной, то перейти к п. 8, иначе - перейти к п. 9;
4. Множество вершин X графа О разбить ( использованием визуальной модели Рис. 1) на к непересекающихся подмножеств по т вершин в каждом, образуя классы П разбиения П. Для данного разбиения вычислить и запомнить значение критерия (1). Выбирая по одному элементу (модулю) из каждого класса разбиения П, построить классы р ■ разбиения р . Перейти к п. 5;
5. Найти попарные пересечения классов П и р ■ всех изоморфных пар
(П, Р) разбиений, получая множество подстановок t ■ Т. Перейти к п. 6;
6. Применить обратную подстановку> t 1 любой подстановки из класса t ■ Т к исходной матрице Я. Если полученная Я является к - правильной, то перейти к п. 8, иначе - перейти к п. 7;
7. Образовать новую пару (п,рр, вычислить новое значение критерия
(1). Если оно меньше найденного, получить новую пару (п, р) и перейти . 5, - . 9;
8. к -правильной матрице построить графы декомпозиции по [1];
9. , -
.
Приведенный алгоритм является конечным [1] и позволяет получить декомпозицию исходного графа БЯ++ модели с учетом критерия модульности функциональных элементов модели [4]. Он позволяет формально пересматривать структуру
- , [2,4]
целью оптимизации его деятельности по критериям, предложенным в [10].
. , ,
,
предприятия, строить сначала визуальную, а затем формальную БЯ++ модель, основанную на моделировании основных функциональных единиц предприятия.
От известных описательных моделей типа IDEF и др. данная модель отличается наличием формального аппарата, позволяющего переходить от визуальной структуры к формальной. В дальнейшем на графовой модели возможна постановка и решение задач оптимизации деятельности предприятия.
От моделей дискретных устройств и автоматов данная модель отличается введением дополнительного критерия качества разбиения исходной схемы на .
Благодаря этим особенностям новые ER++ модели бизнес-процессов могут использоваться для построения нового типа CASE-средств - оптимизирующих как структуру, так и количественные показатели предприятия [10].
БИБЛИОГРАФИЧЕСКИЙ СПИСОК
1. Мелихов AM., Берштейн Л.С., Курейчик В.М. Применение графов для проектирования дискретных устройств. - М.: Наука, 1974.
2. Микита Р. М., Рогозов Ю.К., Свиридов А.С., Стукотий Л.Н. Концепция построения информационной модели предприятия // Телекоммуникации. - 2004, №8.
3. Кузнецов КА., Кульба В.В., Ковалевский С.С., Косяченко С.А. Методы анализа и синтеза модульных информационно-управляющих систем. - М.: Физматлит, 2002. - 800 с.
4. Рогозов Ю.К., Бутенков С.А., Свиридов А.С. Систематизация моделей жизненного цикла информационных систем в рамках модели J. Zakhman // В сб. трудов Международной научно-технической конференции ’’Системный анализ и информационные технологии” (САИТ-2007), Обнинск, 10-14 сентября 2007 г., т.2. - С. 195-199.
5. Якобсон А., Буч Г., Рамбо Дж. Унифицированный процесс разработки программного обеспечения. - СПб.: Питер, 2002. - 496 с.
6. Коберн А. Современные методы описания функциональных требований к системам. - М:
, 2002. - 288 .
7. . ., . .
на разработку информационной системы по результатам обследования предприятия. - , 2006, 11.
8. Верников Г. Основные методологии обследования организаций. Стандарт IDEF0 // Директору информационной службы, №5, 2001.
9. . ., . ., . ., . ., . . -
ER++ -
// . - : - , 9, 2006.
- C. 70-74.
10. Бобнев СВ., Рогозов Ю.К. Применение оптимизационных моделей информационных пото-
CASE - // -
«Приоритетные направления развития науки и образования в рыночных условиях», Ли-массол-Кипр, 2005 г. - C.142-151.
11. . . - .: , 1981.
12. . . . -ганизация. - М.: Радио и связь, 1990.
13. . ., . . . - .: . ,
1976.
14. . ., . ., . . -
ций радиоэлектронной аппаратуры. - М.: Радио и связь, 1983.
15. . ., . ., . . -
ных - Алма-Ата: Наука, 1981.
16. Кофман А., Дебазей Г. Сетевые методы планирования. - М.: Прогресс, 1968.
17. . .
BC // Известия АН СССР. Техническая кибернетика, 1974, №1. - С. 166-178.
18. Rumbaugh J., Blaha M. Object-Oriented Modeling and Design.- Prentice Hall, Englwood Cliffs, NJ, USA, 1991.
19. Харари Ф. Теория графов. - М.: Мир, 1973.
Рогозов Юрий Иванович
Технологический институт федерального государственного образовательного учреждения высшего профессионального образования «Южный федеральный университет» в г. Таганроге.
E-mail: [email protected].
347928, г. Таганрог, пер. Некрасовский, 44.
Тел.: 8(8634)371-787.
Кафедра системного анализа и телекоммуникаций.
Заведующий кафедрой.
Бутенков Сергей Андреевич
Технологический институт федерального государственного образовательного учреждения высшего профессионального образования «Южный федеральный университет» в г. Таганроге.
E-mail: [email protected].
347928, г. Таганрог, пер. Некрасовский, 44.
Тел.: 8(8634) 371-668.
Заведующий отделом обучения иностранных граждан.
Микита Роман Михайлович
Технологический институт федерального государственного образовательного учреждения высшего профессионального образования «Южный федеральный университет» в г. Таганроге.
E-mail: [email protected].
347928, г. Таганрог, пер. Некрасовский, 44.
Тел.: 8(8634)312-165.
ООО НПП «Дейманд»; заместитель директора.
Rogozov Jury Ivanovich
Taganrog Institute of Technology - Federal State-Owned Educational Establishment of Higher Vocational Education “Southern Federal University”.
E-mail: [email protected].
44, Nekrasovskiy, Taganrog, 347928, Russia.
Phone: 8(8634)371-787.
Department of System Analysis and Telecommunications.
Head chair.
Butenkov Sergey Andreevich
Taganrog Institute of Technology - Federal State-Owned Educational Establishment of Higher Vocational Education “Southern Federal University”.
E-mail: [email protected].
44, Nekrasovskiy, Taganrog, 347928, Russia.
Phone: 8(8634) 371-668.
Chief of the office for foreign studies.
Mikita Roman Mihailovich
Taganrog Institute of Technology - Federal State-Owned Educational Establishment of Higher Vocational Education “Southern Federal University”.
E-mail: [email protected].
44, Nekrasovskiy, Taganrog, 347928, Russia.
Phone: 8(8634)312-165.
Research-and-production enterprise ‘Deimand’; executive director.
