16. Структура сегментов для моделирования последовательного вычислительного процесса.

При моделировании последовательных вычислительных систем (процессов) с различными характеристиками потоков данных и заданными параметрами обработчиков информации необходимо:

1. Каждый сегмент модели оформлять в соответствии с семантикой типовых блоков, причем каждый сегмент заканчивается оператором TERMINATE, управляющим завершением только данного подпроцесса;

2. Управление процессом моделирования системы выделяется в отдельный сегмент (n+1), в котором оператор TERMINATE управляет счетчиком количества статистических испытаний.

Программная реализация.

Устройство, имитирующее обработчик информации для каждого процесса, имеет стандартный идентификатор Facility 1,2…n, но процесс обработки сообщений в каждом устройстве задается уникальным законом распределения.

*описательный сегмент

Transit TABLE M1,250,250,20 ; разметка для гистограммы

Number TABLE Q$Expon,0,1,20 ;

QConstant QTABLE Constant,200,200,20 ;

Qexpon QTABLE Expon,200,200,20 ;

QErlang QTABLE Erlang,200,200,20 ;

*сегмент описания модели 1-го вычислительного процесса

GENERATE (Exponential(1,0,500)) ;

QUEUE Constant ; сохранение измеренной

информации

SEIZE Facility1 ;

ADVANCE 300 ;

RELEASE Facility1 ;

DEPART Constant ;

TERMINATE 1 ; нет параметров

* сегмент описания модели 2-го вычислительного процесса

GENERATE (Exponential(1,0,500)) ;

QUEUE Expon ;

SEIZE Facility2 ;

ADVANCE (Exponential(1,0,300)) ;

RELEASE Facility2 ;

DEPART Expon ;

TABULATE Transit ;

TERMINATE 1 ;

* сегмент описания модели 3-го вычислительного процесса

GENERATE (Exponential(1,0,500)) ;

QUEUE Erlang ;

SEIZE Facility3 ;

ADVANCE (Exponential(1,0,150)) ;

ADVANCE (Exponential(1,0,150)) ;

RELEASE Facility3 ;

DEPART Erlang ;

TERMINATE 1 ;

* сегмент управления моделирования

GENERATE (Exponential(1,0,6000)) ;

TABULATE Number ;

TERMINATE 1

Функциональное моделирование.

Инструментальные средства разработки функциональных моделей базируются на трёх международных стандартах:

1. IDEF0 – стандарт разработки процессов, работ.

2. DFD – стандарт разработки потоков данных в информационной системе.

3. IDEF3 – стандарт разработки потоков работ, обеспечивающих создание информационной системы.

Функциональное моделирование (idef0) мкс

Функциональное моделирование – это концепция формального представления сложных процессов (технических) с целью количественной оценки возможности их реализации в сравнении с известными аналогичными процессами.

Концептуальная модель и ее представление контекстной диаграммой

Все процессы в стандарте IDEF0 имеют 5 видов связей, каждая из которых зафиксирована как семантически (по смыслу), так и по графическому расположению относительно процесса.

Связи, входящие в правую грань идентифицируются как входные и характеризуют объекты материального, энергетического, информационного, финансового и других типов. Фактически они характеризуют объекты, которые преобразуются конкретным процессом.

Управление (Control)

Управление (Control)

C_n

C_i

C₁

O₁

I_i

I₁

Создание и/или модернизация МКС

Входы (Input)

Вызов

M_k

M₁

O_s

I_m

Выходы (Output)

Механизмы

Любой процесс может иметь несколько входов или вообще их не иметь. Любой процесс должен иметь хотя бы одну выходную связь (они обязательно располагаются справа). Все процессы должны быть управляемы, поэтому в верхнюю грань процесса должна входить хотя бы одна такая связь. Как правило, управляющие связи выполняют роль ограничений, связанных с реализацией конкретного процесса.

Связи, входящие в нижнюю грань процесса характеризуют механизмы, обеспечивающие выполнение этого процесса. Эти связи могут отсутствовать, но в комментарии к процессу обязательно нужно указывать каким ресурсом этот процесс должен располагать.

Если описываемый процесс сложный и требует взаимодействия с другими процессами, из нижней грани формируется связь с именем вызова.

Для описания функциональной модели процесса любой сложности используют декомпозицию контекстной диаграммы, число уровней которой определяется возможностью количественной оценки операций или действий составляющих нижний уровень каждой ветви иерархии диаграммы.

В качестве таких количественных оценок пакет BPwin предлагает стоимостные или временные оценки.

примитив

Качественная оценка (стоимость в тупиковых ветвях)

Уровень 1

Уровень 0

Уровень 3

Уровень 4

Уровень 2

Для того чтобы лицу принимающему решение (ЛПР) было из чего выбирать, необходимо предоставить модель, альтернативную уже созданной.

Полнота и точность процесса-аналога достигается консенсусом разработчика и экспертов модели.

Чем больше примитивов, тем более доказательна модель.