P 1

ТЕМА 4.
Стадия предпроектного
обследования
Лекция 15.
Методы формирования нового заданного
состояния экономического объекта.
Методы стадии предпроектного
обследования



методы изучения и анализа фактического
состояния экономического объекта и
перспектив его развития;
методы детального анализа предметной
области;
методы формирования нового заданного
состояния экономического объекта.
2
Методология BPM



BPM (Business Process Management) –
методология, включающая в себя
совокупность идеологии и программного
обеспечения управления бизнеспроцессами.
BPM поддерживает процессный подход.
Отличие от реинжиниринга бизнеспроцессов (BPR) – непрерывный процесс
усовершенствования бизнес-процессов.
3
BPR
Процессный
подход
Business Process
Management
Workflow
BPM
Системы
электронного
документооборота
СЭД
SOA
Service Oriented
Architecture
Business Process
Reengineering
KPI
Key Performance
Indicators
4





BPR – методология реинжиниринга бизнеспроцессов.
Workflow — это система обеспечения
выполнения задач, поставленных перед
исполнителями в рамках процессного управления.
СЭД – система электронного документооборота.
KPI (Key Performance Indicators) – ключевые
показатели деятельности, позволяющие измерять
достижение целей.
SOA (Service Oriented Architecture) – концепция
проектирования и разработки сервисов и средств
их подключения. Сервис – определенная работа
или бизнес-функция, предназначенная для
обеспечения согласованной работы приложений.
5
Компоненты BPM


BPM – интегрированный набор
инструментов, позволяющий моделировать
процессы, автоматически их исполнять и
контролировать эффективность.
Компоненты BPM:

средство моделирования (BPMN+BPEL):
Business Process Modeling Notation – графическая
нотация моделирования бизнес-процессов;
 Business Process Execution Language – стандарт
проектирования и исполнения бизнес-процессов

средство исполнения
 средство мониторинга

6
Нотация BPMN


Business Process Modeling Notation – нотация
моделирования бизнес-процессов.
Основная цель BPMN — создание стандартной
нотации, понятной всем бизнес пользователям:




бизнес-аналитикам, создающим и улучшающим
процессы,
разработчикам, ответственным за реализацию процессов,
менеджерам, управляющих бизнес-процессами.
Не описывается BPMN:


Модель данных;
Организационная структура.
7
Элементы BPMN
1. Объекты потока управления: события,
действия и логические операторы
2. Соединяющие объекты: поток
управления, поток сообщений и
ассоциации
3. Роли: пулы и дорожки
4. Артефакты: данные, группы и текстовые
аннотации.
8
Пример модели в нотации BPMN
9
Сети Петри



В большой системе приходится учитывать
состояние всех компонентов при каждой
смене ее общего состояния, что делает
модель громоздкой.
Исчезает информация о причинноследственных связях между событиями в
системе.
События могут происходить внутри
неопределенно больших интервалов
времени, заранее трудно указать точно
время их начала, конца и длительность.
10
Основные элементы сети Петри
• Состояние системы описывается совокупностью условий.
• Функционирование системы состоит в осуществлении
последовательности событий.
• Для возникновения события необходимо выполнение
некоторых условий, называемых предусловиями.
• Осуществление событий может привести к возникновению
условий, называемых постусловиями.
Условие
(Позиция)
Событие
(Переход)
Предусловие
Событие 1
Предусловие для события 2
Постусловие
для события 1
Постусловие
для события 2
Событие 2
11
Модель сети Петри
N = (P, T, I, O), где




P - конечное множество позиций;
T - конечное множество переходов;
I: T  P - входная функция, отображающая переходы в
позиции;
O: T  P - выходная функция, отображающая переходы в
позиции.
P1
t1
P2
t2
P3
I(t1) = {P1}
O(t1) = {P2}
I(t2)= {P2}
O(t2) = {P3}
12
Динамическая модель сети Петри



Динамические свойства сети Петри определяются с
помощью понятия маркировки.
Маркировка M сети Петри – это функция,
отображающая множество позиций P в множество
неотрицательных целых чисел N.
М: P N
M = (M1, M2, ..., Mn), где n = |P|
M(Pi) – целое неотрицательное число, равное
количеству фишек, принадлежащих позиции Pi.
P1
t1
P2
t2
М(P1)= 1 M(P2)= 0
P3
M(P3)= 2
13
Срабатывание перехода

Срабатывание перехода – неделимое
действие, изменяющее разметку его входных
и выходных позиций следующим образом: из
каждой входной позиции фишки изымаются,
а в каждую выходную позицию фишки
добавляются.
t1
P1
P2
До срабатывания
P1
t1
P2
После срабатывания
14
Правила срабатывания переходов
Правило 1. Разрешение срабатывания.
Переход tj называется разрешенным, если в
каждой входной позиции Pi находится не
меньше фишек, чем из этой позиции
исходит дуг в tj.
Pi
tj
Pk
Переход разрешен.
Pi
tj
Pk
Переход не разрешен.
15
Переход разрешен.
P1
t1
P4
P1
P2
P2
P3
P3
t1
P4
Переход не разрешен.
P1
t1
P4
P1
P2
P2
P3
P3
t1
P4
16
Правила срабатывания переходов
Правило 2. Перемещение фишек.
При срабатывании перехода tj:
1) из каждой входной позиции Pi этого перехода
удаляется столько фишек, сколько дуг ведет из
позиции Pi в переход tj,
2) в каждую выходную позицию Pk помещается
столько фишек, сколько дуг ведет из перехода tj в
позицию Pk.
До срабатывания
Pi
tj
Pk
После срабатывания
Pi
tj
Pk
17
Срабатывание разрешенных переходов
ДО
P1
t1
ПОСЛЕ
P4
P1
P2
P2
P3
P3
t1
P4
18
Срабатывание разрешенных переходов
ПОСЛЕ
ДО
P1
t1
P4
P4
P2
P2
P3
P1
t1
P5
P3
P5
19
Правила срабатывания переходов
Правило 3. Конфликт.
Если два (и более) перехода могут сработать
и при этом они имеют общую входную
позицию, то срабатывает только один,
любой из них.
t1
P1
P2
t2
P3
20
Пример конфликта
ПОСЛЕ
t1
ДО
P1
t1
P1
P2
t2
P2
P3
Или
t2
t1
P3
P1
P2
t2
P3
21
Пример разрешения конфликта
t1
P1
P2
t2
P3
22
Пример разрешения конфликта
t1
P1
t2
t1
P1
P2
P3
P2
t2
Или
P3
t1
P1
P2
t2
P3
23
Пример разрешения конфликта
t1
P1
t1
P1
P1
t2
P2
Или
P1
t2
t1
P3
P2
t2
t1
P2
P3
t1
P1
t1
P1
P3
t2
Или
P3
P2
P2
P2
t2
Или
t2
P3
P3 t1
P1
P2
t2
P3
24
Правила срабатывания переходов
Правило 4. Параллельная работа.
Если несколько переходов могут сработать и они
не имеют общих входных позиций, то их
срабатывания являются независимыми
действиями, осуществляемыми в любой
последовательности или параллельно.
t1
P1
P3
t2
P2
25
Пример параллельной работы
t1
P1
t1
P3
P1
t2
P2
P3
t2
P2
26
Пример конфликта
t1
P1
t1
P1
P3
t2
P3
t2
P2
t1
P2
P1
Или
P3
t2
P2
27
Свойства сети Петри
1. Безопасность.

Позиция называется безопасной, если число
фишек в ней никогда не превышает 1. Сеть
Петри безопасна, если безопасны все ее
позиции.
2. Сохраняемость.

В случае, когда фишки интерпретируются как
некоторые ресурсы, они не должны ни
создаваться, ни уничтожаться. В сети должен
действовать закон сохранения. Сеть Петри
называется строго сохраняющей, если
мощность маркировки постоянна.
28
Свойства сети Петри
3. Ограниченность.

Позиция называется К- ограниченной, если число
фишек в ней в любой маркировке не превышает К.
Сеть Петри является К- ограниченной, если ее позиции
являются К- ограниченными.
4. Достижимость.


Маркировка М’ называется непосредственно
достижимой из M, если найдется такой переход tj,
разрешенный в M, что при его срабатывании
получается маркировка M’. Множество достижимых
маркировок сети Петри называется множеством
достижимости.
Тупиком в сети Петри называется множество
переходов, которые в некоторой достижимой
маркировке не разрешены.
29
Пример построения
дерева достижимости
t1
P1
t3
P3
t4
P4
P5
t2
P2
P6
М0= (1,1,0,0,0,0)
30
t1
P1
t3
P3
t4
P4
P5
t2
P2
P6
М0= (1,1,0,0,0,0)
t1
t2
31
t1
P1
t3
P3
t4
P4
P5
t2
P2
P6
М0= (1,1,0,0,0,0)
t1
t2
М1= (0,1,1,1,0,0)
32
t1
P1
t3
P3
t4
P4
P5
t2
P2
P6
М0= (1,1,0,0,0,0)
t1
t2
М1= (0,1,1,1,0,0)
t3+t4
33
t1
P1
t3
P3
t4
P4
P5
t2
P2
P6
М0= (1,1,0,0,0,0)
t1
t2
М1= (0,1,1,1,0,0)
t3+t4
М2= (0,1,0,0,2,0) тупик
34
t1
P1
t3
P3
t4
P4
P5
t2
P2
P6
М0= (1,1,0,0,0,0)
t1
t2
М1= (0,1,1,1,0,0)
t3+t4
М2= (0,1,0,0,2,0) тупик
35
t1
P1
t3
P3
t4
P4
P5
t2
P2
P6
М0= (1,1,0,0,0,0)
t1
М1= (0,1,1,1,0,0)
t2
М3= (0,0,0,0,0,1) тупик
t3+t4
М2= (0,1,0,0,2,0) тупик
36
P1
t1
P2
t2
P4
t3
P3
М0= (0,2,1,0)
37
P1
t1
t2
P2
P4
t3
P3
М0= (0,2,1,0)
t2
38
P1
t1
t2
P2
P4
t3
P3
М0= (0,2,1,0)
t2
М1= (0,0,1,1)
t3
39
P1
t1
t2
P2
P4
t3
P3
М0= (0,2,1,0)
t2
М1= (0,0,1,1)
t3
М2= (1,0,1,0)
t1
40
P1
t1
t2
P2
P4
t3
P3
М0= (0,2,1,0)
t2
М1= (0,0,1,1)
t3
М2= (1,0,1,0)
t1
М3= (0,2,1,0)
дублирующая
41