Любая моделируемая система может быть описана в терминах небольшого набора абстрактных элементов - объектов. Подобным же образом логические правила, лежащие в основе систем, могут быть сведены к обобщённому набору простых операций. Таким образом, язык моделирования состоит из абстрактных объектов и операций. Специфические элементы и логические правила конкретных систем представляются в терминах абстрактных объектов и операций этого языка. GPSS обеспечивает такой системный язык. Он строится из наборов простых объектов, разделяемых на четыре класса: динамические, аппаратно-ориентированные, статистические и операционные. Динамические объекты, представляющие собой элементы потока обслуживания, называются в GPSS транзактами. Они создаются и уничтожаются так, как это нужно в процессе моделирования. С каждым транзактом может быть связано некоторое число параметров, которые назначаются пользователем для задания характеристик этого транзакта. Аппаратно-ориентированные объекты соответствуют элементам оборудования, которые управляются транзактами. Они включают в себя устройства, накопители и логические переключатели. Устройство может обслуживать одновременно только один транзакт. Оно представляет собой потенциальное "узкое место". Накопитель может обслуживать одновременно несколько транзактов. Логический переключатель является бистабильным индикатором, который, принимая при прохождении одного транзакта состояние "включено" или "выключено", может изменять путь других транзактов. Для того чтобы оценить поведение системы, применяются два типа статистических объектов: очереди и таблицы. Каждой очереди соответствует перечень транзактов, задержанных в какой-либо точке системы, и запись длительности этих задержек. Таблицы могут использоваться для построения распределений выбранных величин. Наконец операционные объекты, называемые блоками, формируют логику системы, давая транзактам указания, куда идти и что делать дальше. Эти блоки в совокупности с другими классами объектов, указанными выше, и составляют средства языка GPSS.