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