Система GPSS World призначена для імітаційного моделювання дискретних і неперервних систем. Основними об’єктами системи є програмний код, написаний мовою GPSS (GPSS-модель), виконавчий об’єкт, що створюється у результаті трансляції GPSS-моделі і реалізує процес моделювання та звіт з результатами моделювання.
Мова моделювання GPSS (General Purpose Simlation System) з вбудованою мовою програмування PLUS передбачає, що модель складної системи можна представити сукупністю елементів і логічних правил їхньої взаємодії в процесі функціонування системи, що моделюється. Також передбачається, що для модельованих систем можна виділити невеликий набір абстрактних елементів, які називаються об'єктами. Основними елементами мови GPSS є транзакти і блоки. Вони відповідно характеризують динамічні та статичні об’єкти системи. Набір логічних правил обмежений і може бути описаний невеликим числом стандартних операцій. Комплекс програм, що описують функціонування об'єктів і виконують логічні операції, є основою для створення програмної моделі системи даного класу. Компілювання програми у GPSSW здійснюється у два етапи. На першому етапі перевіряється синтаксис і семантика програм, а на другому – здійснюється просування транзактивів у моделі від блоку до блоку.
GPSS-модель обов’язково містить блоки і транзакти. Послідовність блоків відображає напрями переміщення транзактів. За аналогією з іншими мовами моделювання механізм керування у GPSS реалізується у модельному часі. Це дає змогу відображати динамічні процеси у реальних системах. Керування між блоками передається за допомогою руху транзактів у модельному часі. Звернення до підпрограм блоків зумовлюється рухом транзактів. Змістовне наповнення моделі здійснює розробник моделі. Він же встановлює аналогію між транзактами та елементвами реальної сисиеми моделювання.
У системі GPSS World є спеціальна програма-планувальник, що виконує наступні функції:
· забезпечення руху транзактів за заданими маршрутам;
· планування подій шляхом реєстрації часу настання кожної події, що відбуваються в моделі й виконання їх у наростаючій часовій послідовності;
· реєстрація статистичної інформації про функціонування моделі;
· просування модельного часу в процесі моделювання системи.
Для забезпечення послідовності оброблювання подій у часі використовується системний годинник, що зберігає значення абсолютного модельного часу.
Об'єкти GPSS поділяються на 7 категорій і 15 типів,які представлені в табл. 4.1. Розглянемо їх призначення.
Динамічні об'єкти – це транзакти, які створюються в певних місцях моделі, пересуваються у GPSS-моделі від одного блоку до іншого у заданій послідовності. Кожний транзакт може мати будь-яке число параметрів. Параметри нумеруються або їм даються назви. Номери та назви параметрів використовуються для посилань на значення, присвоєні параметрам. Транзактам може присвоюватися пріоритет. Він визначає перевагу, що одержує транзакт, коли він й інші транзакти претендують на той самий ресурс.
До об'єктів апаратної категорії відносяться одноканальні пристрої, багатоканальні пристрої і логічні ключі. За допомогою цих елементів може бути здійснена декомпозиція систем моделювання. Впливаючи на ці об'єкти, транзакти можуть змінювати їхній стан і впливати на рух інших транзактів.
Одноканальні пристрої (ОКП) – це об’єкти, що у будь-який момент часу можуть бути лише в одному з двох станів: вільному або зайнятому. Наприклад, один канал передавання даних, один вузол зв’язку.
Багатоканальні пристрої (БКП) призначені для імітації пристроїв, що здійснюють паралельне оброблення даних. Вони можуть бути використані одночасно декількома транзактами. БКП можна використовувати як аналог, наприклад, багатоканального ремонтного органу, декількох каналів зв'язку.
Таблиця 4.1