4072

Автор(ы): 

Автор(ов): 

2

Параметры публикации

Тип публикации: 

Статья в журнале/сборнике

Название: 

Язык спецификации взаимодействующих процессов MODEL-100

Наименование источника: 

  • Программирование

Обозначение и номер тома: 

№ 1

Город: 

  • Москва

Издательство: 

  • Наука

Год издания: 

2007

Страницы: 

1-18
Аннотация
Описывается идеология и основные конструкции языка Model-100, предназначенного для описания поведения множества взаимодействующих процессов. Правила взаимо-действия процессов задаются предложениями вида "если … то …" (хорновскими дизъюнктами). Структура взаимодействий представляется графом, который описывается рациональным термом. Исполнение одного шага программы сводится к одновременному применению всех правил ко всем вершинам, к которым правило применимо (ко всем рациональным подтермам, с которыми хорновский дизъюнкт унифицируем).

Библиографическая ссылка: 

Бабичев А.В., Лебедев В.Г. Язык спецификации взаимодействующих процессов MODEL-100 // Программирование. 2007. № 1. С. 1-18.