интересно
Предыдущая | Содержание | Следующая

Структурный анализ: управление переходами между слоями модели при многоуровневой декомпозиции

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

Существуют четыре разновидности декомпозиции процессов:

общий случай декомпозиции сложного процесса с помощью узлов типа down;

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

декомпозиция процессов выделения ресурсов с помощью узлов типа rent;

абстрактное объединение группы процессов в один псевдопроцесс с помощью виртуальног*£<мнимого, не существующего в реальности) узла parent без обрДОРвания нового узла.

Общая схема взаимодействия между слоями модели показана на рис. 2.1. Здесь рассматривается декомпозиция реальных узлов pay, rent и down. Управление переходами между слоями модели при многоуровневой декомпозиции основано на применении виртуального узла parent, который будет рассмотрен в главе 5, так как этот узел -атрибут диалогового CASE-конструктора, позволяющего проводить структурный анализ и создавать модели в графическом виде.

Функция имитации перечисления денежной суммы. Имитация перечисления денежной суммы с помощью узла pay выглядит гораздо понятнее, чем это делается с помощью запутанных цепочек send=>direct, рассмотренных выше. Однако узел pay подлежит детализации на более низком уровне с помощью все тех же узлов send и direct. Функция pay имеет следующий вид:

Для этой функции задаются семь аргументов.

- символическое имя узла pay: строка длиной до 14 символов, включая пробелы (char).

Параметр рг - номер узла-счета типа send, на который переводится денежная сумма (int).

Параметр рз - значение денежной суммы (или стоимость). Это переменная типа double.

Параметр р4 - номер узла-счета типа send, с которого переводится денежная сумма (int).

- признак работы с приоритетами (pity или попе).

Параметр р6 - номер узла-приемника на нижнем слое (int).

Параметр р7 - номер узла возврата на данном слое модели, где расположен узел pay (int).