Рассмотрены основы синтеза управляющих распределенных программ на основе формальных логико-алгебраических спецификаций. Приведены иллюстрирующие примеры, развитые на основе модели использования ресурсов Генриха – Глэссера. Даны логико-алгебраические спецификации для реализации нового подхода к реализации распределенных сетевых программ.
хранение данных, обработка данных, формальное определение распределенных процессов, логико-алгебраический подход, сети абстрактных машин, распределенные поведенческие модели