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