В управляющих Е-сетях базисный набор переходов обычных Е-сетей расширенным путем введения переходов-очередей, выполняющих функции расстановки меток в очереди сразной дисциплиной обслуживания. Описание схем срабатывания всех типов переходов CEN приведен, а схеме 1. Схема 1. Переходы. Для переходов базисного набора обычных Е-сетей в основном сохранены известные спецификации [7]. Поэтому остановимся только на характеристике введенных как расширение базисного набора CEN дополнительных типов переходов-очередей. В отличие от всех других типов перехода, переходы-очереди сказываются прямоугольником. Предусмотрено четыре разновидности переходов-очередей, которые реализуются в рамках двух основных типов этих переходов:
Переход QF реализует порядок обслуживания меток FIFO и приоритетную обработку по возрастанию приоритетов;
— Переход-очередь QL реализует дисциплину обслуживания LIFO и приоритетное обслуживание по убыванию приоритетов. Переход-очередь может срабатывать в двух случаях: когда во время перемещения метки во входную позицию x исходная позиция свободна, и когда она занята. В первом случаеможно говорить о постоянной готовности перехода к работе, поскольку единственным условием его срабатывания будет только наличие метки во входной позиции: M (x) = 1 С началомработы перехода метка помещается в очередь, а при пустой очереди и свободной исходной позициинемедленно ее занимает, то есть выполняется правило перемещения меток:
Если при перемещении метки в очередь исходная позиция уже занята одной из техметок, находящихся в очереди, то правило перемещения меток будет таким:
Изъята из входной позиции x метка помещается в очередь;
— Изъята из исходной позиции в метка помещается в очередь, освобождая позицию;
— В исходную позицию по очереди помещается метка, выбранная в соответствии с принятым принципом обслуживания очереди. Всегда при увольнении исходной позиции y в ней помещается метка из очереди (еслитакая в очереди есть) в соответствии с принятой для данного перехода обслуживания. Следует указать на ограничения, связанные с использованием переходов-очередей.
1. Процедура преобразования выполняется при перемещении метки во входную позицию.
2. Функция временной задержки для них не определяется.
3. Для правильной работы данных переходов в одной структурной связке с их исходной позиции должны находиться переходы с нулевым временем задержки. Иначемогутбыть нарушены правила срабатывания переходов. Управляющая Е-сеть традиционно изображается в виде графа, в котором простыепозиции обозначаются в виде кружочков, решающие позиции — в виде квадратов, а переходы — в виде вертикальных линий. Переходы-очереди сказываются прямоугольниками спределом: вертикальная черта ближе к выходуобозначает переход-очередь типа «QF», пределближе к входу — «QF» переходы-очереди сприоритетами сказываются прямоугольникомс соответствующей диагональю. Связи между позициями и переходами отражаются в виде направленных дуг. Предельные (входные ивыходные) позиции обозначаются триугольниками. Наличие метки внутри простой позиции обозначается точкой.
На рис. 1 показан пример управляющей Е-сети.Приведенных типов переходов управляющей Е-сети недостаточно, чтобы описать логику некоторых типов перекрестков, использованных вконцептуальной модели бизнес-процессов. Указанную проблему предлагается решить путем принятия дополнительных мер по достижению их логического содержания в формальной модели.Рис. 1. Формальная модель бизнес-процесса «Лицензирование деятельности по предоставлениюобразовательных услуг в сфере высшего образования"Таким образом, формальная модель бизнес-процесса дополняет концептуальную модель иявляется основой для получения программной модели.
ЗАКЛЮЧЕНИЕ
В рефератерассмотрен метод формализованного описания бизнес-процессов, основанный наиспользовании формального аппарата управляющих Е-сетей. Управляющая Е-сеть позволяетпредставить всю последовательность этапов выполнения бизнес-процесса в виде ориентированногографа дискретных состояний, а его динамику — в форме процессов перемещения в этой сети объектов, смысл которых определяется природой и функциями моделируемого бизнес-процесса (напримерпример, документов, распоряжений, сообщений и др.).Основой для построения формальной модели является концептуальная модель бизнес-процесса, представлена набором IDEF0 и IDEF3-диаграмм. Для лучшей адаптации диаграммконцептуальной модели формальном аппарата управляющих Е-сетей авторами метода введены дополнительные соответствия между типами перекрестков IDEF3-нотации и типами переходовуправляющих Е-сетей.Полученные таким образом формальные модели в дальнейшем планируется использоватьсядля построения программных моделей бизнес-процессов, что позволит реализовать концепцию унификации и простоты превращения описания в код.
СПИСОК ЛИТЕРАТУРЫ
1.
Артамонов И. В. Современные стандарты описания и исполнения бизнес-процессов [электронный ресурс]. — Режим доступа:
http://ecm-journal.ru/post/Sovremennye-standarty-opisanija-i-ispolnenija-biznes-processov.aspx2. Елиферов В. Г. Бизнес-процессы. Регламентация и управление / В. Г. Елиферов, В. В. Репин. − М.: Манн, Иванов и Фербер, 2013. − 512 с.
3. Tom Baeyens. 3 Approaches To Transform Analysis Diagrams Into Executable Processes. 2008 / [электронный ресурс] //.
http://processdevelopments.blogspot.com/2008/10/3-approaches-to-transform-analysis.html4. H arish Gaur. BPEL C ookbook. B.
est Practices for SOA-based integration and composite applications development / подред. H arish Gaur, подред. M arkus Zirn.
— B irmingham, UK: Packt Publishing Ltd., 2006. — 185 гг.
5. Кулямин В. В. Технологии программирования. Компонентный подход /В.В. Кулямин. — М .: БИНОМ, 2006. — 464 с.
6. Web Services Choreography Description Language Version 1.0 [электронныйресурс] / Nickolas Kavantzas, David Burdett [идр.]. — Режимдоступа:
http://www.w3.org/TR/ws-cdl-10/7. Why BPEL is not the holy grail for BPM [электронныйресурс] / Pierre Vigneras, 2008 — Режимдоступа:
http://www.infoq.com/articles/bpelbpm.
