Шаблоны проектирования бизнес-процессов с помощью сетей Петри Текст научной статьи по специальности «Компьютерные и информационные науки»

традиционного ФКА, и L2 соответствующая концептуальная решётка. Тогда, L2 является подрешёткой решётки L\ с тем же наибольшим и наименьшим элементом.

БИБЛИОГРАФИЧЕСКИЙ СПИСОК

1. Wille R. Bedeutungen von Begriffsverbanden // В, Ganter, R. Wille, K.E. Wolff и др. Beitrage zur Begriffsanalyse. Mannheim: Wissenschaftsverlag, 1987, B.I. P. 161-211.

2. Ganter В., Wille R. Formal Concept Analysis. Mathematical Foundations. Berlin: Springer, 1998.

3. Мейер Д. Теория реляционных баз данных. М,: Мир, 1987.

4. Новиков В.Е. Концепты и функциональные зависимости // Математика. Механика: Сб. науч. тр. Саратов: Изд-во Сарат. ун-та, 2007. Вып. 9.

5. Новиков В.Е. Функциональные зависимости в формальном контексте // Математика. Механика: Сб. науч. тр. Саратов: Изд-во Сарат. ун-та, 2008. Вып. 10. С. 53-55

УДК 519.95:681.31

А.А. Орел

ШАБЛОНЫ ПРОЕКТИРОВАНИЯ БИЗНЕС-ПРОЦЕССОВ С ПОМОЩЬЮ СЕТЕЙ ПЕТРИ

В работе [1] была рассмотрена технология проектирования бизнес-процессов, состоящая из двух этапов. На начальном этапе применялась методология структурного проектирования БАЮТ и создавалась функциональная модель, а затем на ее основе строилась имитационная модель с использованием сетей Петри.

В работе [2] была рассмотрена обратная задача построения функциональной 8Л1)Т-.\1одели на основе сети Петри.

В работе [3] было предложено выделить полезные, часто используемые, конструкции управления в схемах потоков работ. Такие конструкции названы шаблонами, по аналогии с часто используемыми шаблонами разработки программного обеспечения.

В данной статье предложены шаблоны сетей Петри, при помощи которых реализуются некоторые полезные конструкции 8Л1)Т-.\1оделеи.

Пусть имеются процессы РА, РВ и РС, связанные между собой одним из двух способов, представленных на рис. 1,2.

Для простоты на БАОТ-диаграммах будем изображать только входные и выходные дуги. На рис. 1 с1а выходные данные процесса РА, а с1Ь и с1с входные данные процессов РВ и РС соответственно. На рис. 2 с1Ь и с1с выходные данные процессов РВ и РС соответственно, а с1а входные данные процесса РА. Будем считать с1а, с1Ь и с1с множествами, удовлетворяющими соотношению da = db и с!с. Множества данных db и с1с могут иметь общую часть.

Рассмотрим случай, когда процессы РВ и РС являются альтернативными. В случае, представленном на рис. 1, после завершения процесса РА может выполняться либо только РВ, либо только РС, а случае, представленном на рис. 2, процессу РА может предшествовать либо только РВ, либо только РС. Для моделирования на сетях Петри данных процессов предлагаются шаблоны, представленные на рис. 3, 4, где овалами изображены позиции, а прямоугольниками переходы.

Пусть процессы РВ и РС выполняются после процесса РА (рис. 1) или перед процессом РА (рис. 2). В этих случаях предлагаются два варианта шаблонов сетей Петри. Наиболее простые шаблоны соответствует случаю, когда множества данных с1Ь и с1с не пересекаются. Они изображены на рис. 5, 6.

В более сложном случае, когда множества db и de имеют общую часть, шаблоны представлены на рис. 7, 8.

Здесь использованы обозначения: db-c — db de, dc-b — de db, db*c — = db П dc.

Рассмотрим циклический процесс P, который может повторяться в зависимости от результата завершения процесса С (рис. 9, 10). Если процесс С завершается с выходными данными О, то процесс Р не выполняется, а если в результате завершения процесса С вырабатываются данные de, то процесс Р выполняется. Результатом завершения процесса Р являются данные dp, которые поступают на вход процесса С. Инициируются процессы входными данными I (вариант dpi для цикла с предусловием (см. рис. 9) или вариант dei для цикла с постусловием (см. рис. 10)).

-

Рис.10

Соответствующие шаблоны сетей Петри для рассмотренных процессов представлены на рис. 11, 12.

Здесь процесс С изображен в виде блока, включающего два альтернативных процесса СО и СР. Процесс СО завершает цикл и формирует выходные данные О, a CP продолжает цикл, формируя входные данные de для процесса Р. Рис. 11, 12 показывают, что рассматриваемые процессы имеют структурное сходство. Они различаются только начальной разметкой. Процессы, представленные на рис. 11, инициируются фишкой в позиции dpi, а процессы, представленные на рис. 12, фишкой в позиции dci. Таким образом, можно изменять вид циклического процесса (цикл с предусловием или цикл с постусловием) посредством выбора стартовой позиции и использовать в обоих случаях единый шаблон.

БИБЛИОГРАФИЧЕСКИЙ СПИСОК

1. Орел A.A. Моделирование бизнес-процессов с помощью сетей Петри // Математика. Механика: Сб. науч. тр. Саратов: Изд-во Сарат, ун-та, 2005. Вып. 7, С. 89-93.

2. Орел A.A. О преобразовании моделей бизнес-процессов, основанных на сетях Петри /у Математика. Механика: Сб. науч. тр. Саратов: Изд-во Сарат. ун-та, 2008. Вып. ю'. С. 55-59.

3. BW.M.P. van der Aalst, A.H.M. ter Hofstede, Kie.pusze.wski В.. Barros A.P. Workflow Patterns // Series, WP 47, Eindhoven University of Technology, Eindhoven, 2000.