4.5. Транзакты - динамические объекты системы

С использованием пунктов меню Command/Create Simulation осуществляется трансляция GPSS-модели и создаётся объект, реализующий процесс моделирования.

Посредством команды START осуществляется запуск процесса моделирования. Эта команда может задаваться интерактивно после трансляции модели или же находиться в GPSS-модели в качестве последнего оператора.

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

Транзакты последовательно перемещаются от блока к блоку в заданной алгоритмом моделирования последовательности.

Транзакты создаются и уничтожаются в модели с помощью операторов (блоков): GENERATE и TERMINATE.

В начале моделирования в GPSS-модели нет ни одного транзакта. В процессе моделирования транзакты формируются в модели в определенные моменты времени в соответствии с условиями, заданными с помощью блока GENERATE. Транзакты покидают модель (уничтожаются), попадая в блок TERMINATE. В общем случае, в модели может находиться множество транзактов, однако, в один и тот же момент времени продвигается только один транзакт. Транзакт, попадая в определенный блок, вызывает к исполнению совокупность действий, предписанных соответствующим оператором, и затем пытается войти в следующий по порядку блок. Такое продвижение транзакта продолжается до тех пор, пока не произойдет одно из следующих событий:

транзакт входит в блок, функцией которого является задержка транзакта на некоторое заданное время (блок ADVANCE); транзакт пытается войти в блок, который "отказывается" принять его до тех пор, пока в модели не изменятся некоторые условия (например, блоки SEIZE, ENTER); транзакт входит в блок, функцией которого является удаление транзакта из модели (блок TERMINATE).

При возникновении одного их перечисленных событий транзакт пре­кращает движение и начинается перемещение в модели другого транзакта, то есть моделирование продолжается. Таким образом, моделирование заключается в перемещении транзактов между блоками GPSS-модели и выполнении соответствующих действий.

Для изменения последовательности движения транзактов использу­ются условные и безусловные операторы, такие, как TRANSFER, TEST, SELECT.

Транзакт, продвигаемый в модели в данный момент времени, называется активным.

Интервал времени, в течение которого транзакт находится в модели, называется резидентным временем транзакта. Интервал времени, в течение которого транзакт проходит от одной произвольно выбранной точки модели до другой точки, называется транзитным временем перехода между двумя этими точками.

Каждому транзакту в модели присваивается порядковый номер, начиная с единицы.