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