Поволжский регион УДК 681.324 В. И. Волчихин, А. В. Дубравин, С. А. Зинкин АБСТРАКТНЫЙ И СТРУКТУРНЫЙ СИНТЕЗ РАСПРЕДЕЛЕННЫХ СИСТЕМ ОБРАБОТКИ ДАННЫХ НА ОСНОВЕ МУЛЬТИПАРАДИГМАЛЬНОГО ПОДХОДА1 Аннотация. <...> Предметом исследования являются вопросы абстрактного и структурного проектирования распределенных сетевых приложений на основе логико-алгебраического подхода и некоторых методов искусственного интеллекта. <...> Цель работы – совершенствование методов проектирования распределенных приложений на основе концептуальных, логических и логико-алгебраических моделей, положенных в основу новой гибридной технологии распределенного программирования. <...> Главным результатом работы является то, что предлагаемые методы позволяют разрабатывать распределенные приложения для обработки данных, соответствующие некоторой формальной спецификации. <...> Для реализации распределенных приложений обработки данных выбраны методы, не требующие специальных синтаксических примитивов при организации параллелизма в распределенных системах. <...> Описание и поддержка параллелизма в распределенных системах осуществляется средствами, реализуемыми на основе перехода от первоначальных концептуальных представлений процессов, базирующихся на правилах вывода и концептуальных графов, к непосредственному программированию путем прямого использования логикоалгебраических выражений в качестве формализованных спецификаций. <...> Сопоставление описательных возможностей двух моделей распределенных вычислений позволило сделать вывод о том, что новая гибридная модель распределенной обработки данных в большей степени соответствует сетевой среде и отличается от известных тем, что в ней передача управления осуществляется путем передачи сообщений через сетевое инфокоммуникационное пространство, а функциональные связи реализуются через структурированное виртуальное пространство памяти, что во многих случаях ускоряет обработку <...>