Математическая энциклопедия - симула

(от англ. "SIM Ulation LAnguage", т. е. "язык моделирования") название двух алгоритмич. языков, разработанных на основе алгола в Норвежском вычислительном центре и неофициально различаемых как симула 1 и симула-67.

Симула 1 проблемно-ориентированный язык для моделирования систем с дискретными событиями (напр., систем массового обслуживания), разработан в 1964. Спецификация модели сопоставляет компонентам системы (клиентам, станкам, материалам и т. п.) процессы. Процесс имеет атрибуты (структуру данных) и программу действий (алгоритм). Модель работает по принципу квазипараллелизма: в каждым момент активен только один процесс; исполняя свою программу, он может использовать свои и чужие атрибуты, порождать новые процессы, планировать себе и другим процессам события новые фазы активности (применяя встроенное в язык понятие дискретного времени), приостановить себя. Реализация С.1 привела к разработке алгоритмич. средств большой общности, позволяющих выразить также иные подходы к моделированию (и не только дискретному). Включение их в язык привело к созданию С. -67.

Симула 67 определена как база для построения проблемно-ориентированных языков. Ее элементарные средства включают весь алгол-60 (с небольшими изменениями), а механизм расширения основан на концепции класса объектов.

Понятие объекта возникло из понятия процесса С.1 путем абстрагирования от сравнительно частной организации квазипараллельного исполнения в терминах дискретного времени. Оригинальные средства задания программы и атрибутов объектов через описания классов составляют главное достижение С.-67. Особенно важен принцип префиксации классом, позволяющий включить в описание нового класса объектов (напр., класса "студент") атрибуты и действия более общего класса (напр., "человек"). Префиксация применима и к блокам в смысле алгола; такой блок с префиксом получает "пролог" и "эпилог" из программы своего префикса, а также все его атрибуты (переменные и процедуры). Это позволяет оформить разработку проблемно-ориентированного языка как описание класса. В частности, поставив префиксом стандартный класс SIMULATION, пользователь получает доступ к средствам, эквивалентным средствам С. 1 (и описанным через базу).

Идеи С. 67 оказали большое влияние на позднейшие языки программирования. Понятие объекта как сочетания действий и данных привело к концепции а к-тора во многих языках программирования задач искусственного интеллекта и повлияло на развитие концепции абстрактных типов данных. Непосредственно средствами С.-67, помимо языков моделирования, описаны языки работы с базами данных, машинной графики и т. д.

С.-67 реализована на БЭСМ-6 и ЕС ЭВМ.

Лит.:[1] Дал О. И., Нигард К., СИМУЛА язык для программирования и описания систем с дискретными событиями, пер. с англ., "Алгоритмы и алгоритмические языки", 1967, в. 2, с. 3-72; [2] Дал У. И., Мюрхауг Б., Нюгорд К., СИМУЛА-67 универсальный язык программирования, пер. с англ., М., 1969. В. В. Окольнишников, С. Б. Покровский.

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985