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