Способы задания логических условий в точке ветвления

Логические условия, по которым во время имитации в точке ветвления движок имитации принимает решение о том, в соответствии с какой ветвью диаграммы необходимо продолжить создавать экземпляры имитирующих операций, могут быть заданы при помощи:
- вероятности,
- условий,
- правил возникновения экземпляров имитирующих событий.
Способы задания логических условий в разных нотациях перечислены в Табл.1.


Нотация Способ задания логических условий ветвления
Basic Flowchart/Cross-functional Flowchart Логические условия задаются для каждой стрелки "Связь предшествования", исходящей из фигуры "Решение". В Окне свойств стрелки задается либо вероятность, либо условия. При указании и того, и другого приоритет отдается условиям.
EPC Логические условия задаются для модели каждого события, фигура которого следует после оператора или на диаграмме процесса.
В Окне свойств модели события задается либо вероятность, либо условия возникновения его экземпляров. При указании и того, и другого приоритет отдается условиям. Заданные правила возникновения экземпляров события игнорируются.
BPMN вариант 1 Логические условия задаются для стрелок типа "Условный поток управления". В Окне свойств стрелки задается либо вероятность, либо условия. При указании и того, и другого приоритет отдается условиям. При этом если условия заданы, но не выполняются, движок имитации выберет ту ветвь, переход к которой осуществляется по стрелке типа "Поток управления по умолчанию":
Ветвление без шлюза
BPMN вариант 2 Логические условия задаются для стрелок, исходящих из шлюзов следующих типов:
(Неэксклюзивный шлюз),
(Эксклюзивный шлюз),
(Комплексный шлюз).
В Окне свойств стрелки задается либо вероятность, либо условия. При указании и того, и другого приоритет отдается условиям.
BPMN вариант 3 Логические условия задаются для моделей событий, фигуры которых следуют за Эксклюзивным шлюзом по событиям на диаграмме процесса: . В Окне свойств модели события задаются либо правила возникновения, либо условия. Для модели события рекомендуется задавать правила возникновения, если тип триггера соответствующей фигуры события - Таймер. Для модели события рекомендуется задавать условия, если тип триггера соответствующей фигуры события - Условие. Если для фигуры события выбран другой тип триггера (не Таймер и не Условие), а у модели события заданы и правила возникновения, и условия, то приоритет отдается правилам возникновения. Если не заданы ни правила возникновения, ни условия, то учитываются вероятности. Если и вероятности не заданы, то при имитации все ветви рассматриваются как равновероятные. Ситуация, когда у части моделей событий заданы правила/условия, а у части – вероятности/ничего, считаются неопределенными (выдается ошибка имитации).
Таблица 1. Способы задания логических условий ветвления


Задание вероятности

Вероятность задается в Окне свойств объекта справочника "События" или стрелки на вкладке Параметры имитации путем заполнения значения параметра "Вероятность". Для моделей событий или стрелок, следующих после ветвления типа "Исключающее ИЛИ", сумма всех заданных вероятностей должна быть равна 1. Если сумма не равна 1, движок имитации производит приведение этой суммы к 1 автоматически, то есть вероятности пересчитываются пропорционально заданным значениям так, чтобы в сумме была 1.

На Рис.1 показан способ задания вероятности для модели события. Вероятность 0,9 говорит о том, что в 9-ти случаях из 10-ти проект будет утвержден.

Рисунок 1. Задание вероятности


Задание условий

Условия задаются в Окне свойств объекта справочника События или на вкладке Параметры имитации путем заполнения параметров вкладки Условия. Условие - это логическое выражение, включающее в себя проверку значений переменных. Работа с переменными описана в главе Использование переменных для моделирования временных и логических связей между экземплярами объектов. Для задания условия необходимо создать одно или несколько логических выражений (Рис.2).

Рисунок 2. Задание условий

Описание параметров вкладки Условия приведено в Табл.2.

Параметр Описание
И/ИЛИ Служит для формирования структуры условия.
( Служит для формирования структуры условия.
Переменная Задает переменную, значение которой будет сравниваться с операндом.
Оператор Задает оператор сравнения.
Операнд Задает операнд, значение которого сравнивается с переменной.
) Служит для формирования структуры условия.
Таблица 2. Описание параметров вкладки "Условия"


Логическое выражение состоит из параметров:

  • Переменная,
  • Оператор,
  • Операнд.

Значение Переменной сравнивается со значением Операнда при помощи Оператора, и в зависимости от результата осуществляется выбор ветви, в соответствии с которой будут созданы экземпляры имитирующих операций.

В качестве Операнда могут быть заданы: значение-константа или значение другой переменной.

Для сравнения используются операторы: ( = ), ( ! = ), ( < ), ( < = ), ( > ), ( > = ). Для переменных типа "Логика" в качестве операторов сравнения могут быть использованы только операторы: ( = ) и ( ! = ).

Задание правил возникновения

Особенности задания правил возникновения экземпляров имитирующих событий описаны в главе Моделирование возникновения экземпляра процесса.


« ПредыдущаяНа уровень вышеСледующая »
 
Driven by DokuWiki