Средства формализации

Основной принцип формализации – процессно-ориентированный: представление процесса функционирования моделируемой системы в виде перемещения транзактов (динамических, движущихся элементов) по блок-схеме модели. Этот принцип можно рассматривать как альтернативный по отношению к рассмотренным ранее событийному и к агрегативному подходам к формализации при построении ИМ.

ТРАНЗАКТЫ, как правило, отображают заявки, перемещающиеся по СМО. Иногда транзакты вводятся в ИМ искусственно и используются для организации ИМЭ (задания времени прогона ИМ, сбора статистики и др.).

БЛОКИ, как правило, отражают части моделируемой системы (очереди, каналы обслуживания, определение логической последовательности движения заявок по СМО и т.п.). Некоторые блоки используются для организации процесса моделирования (задания времени прогона ИМ, сбора статистики и др.).

Большинство переменных состояния (ПС) GPSS-модели вводится автоматически без участия пользователя в соответствии с используемыми в модели блоками. Такие ПС в GPSS-модели называются стандартными числовыми атрибутами (СЧА). Доступ разработчика GPSS-модели к СЧА осуществляется с помощью имен СЧА.

ИМЯ СЧА состоит из двух частей:

1) групповое имя СЧА. Характеризует тип элемента блок-схемы, состояние которого характеризуется, и вид информации о состоянии этого элемента (Например, для элемента «прибор» FC- число занятий прибора, FA – загрузка прибора, для элемента «очередь» Q- текущая длина очереди, QM – максимальная длина очереди и т.п.). Перечень используемых групповых имен определяется при описании блоков.

2) Вторя часть имени СЧА определяет конкретного члена группы данного типа (имя или номер).