АБСТРАКТНЫЙ И СТРУКТУРНЫЙ СИНТЕЗ СИСТЕМ ОБРАБОТКИ ДАННЫХ НА ОСНОВЕ ПАРАДИГМЫ ПЕРЕДАЧИ СООБЩЕНИЙ В РАСПРЕДЕЛЕННОМ ОКРУЖЕНИИ ВЫЧИСЛИТЕЛЬНОЙ СЕТИ

Актуальность и цели. Объектом исследования являются распределенные системы обработки данных, работа которых основана на принципах, названных в статье парадигмами. Рассмотрена парадигма, используемая для проектирования программного обеспечения промежуточного слоя, ориентированного на обмен сообщениями в распределенном окружении. Предметом исследования являются вопросы абстрактного и структурного проектирования распределенных сетевых приложений на основе логико-алгебраического подхода и некоторых методов искусственного интеллекта. Цель работы – совершенствование методов проектирования распределенных приложений на основе концептуальных, логических и логико-алгебраических моделей, положенных в основу технологии распределенного программирования в сетях ЭВМ, основанной на передаче сообщений Материалы и методы. Предлагаемые методы позволяют разрабатывать распределенные приложения для обработки данных, соответствующие некоторой формальной спецификации. Для реализации распределенных приложений обработки данных выбраны методы, не требующие специальных синтаксических примитивов при организации параллелизма в распределенных системах. Описание и поддержка параллелизма в распределенных системах осуществляется средствами, реализуемыми на основе перехода от первоначальных концептуальных представлений процессов, базирующихся на правилах вывода и концептуальных графов, к непосредственному программированию путем прямого использования логико-алгебраических выражений в качестве формализованных спецификаций. Результаты и выводы. Предложенные новые концептуальные, логические и логико-алгебраические модели распределенных вычислений в системах с передачей сообщений отличаются от известных тем, что они относятся к классу непосредственно исполнимых (реализуемых), применение которых позволяет снизить трудозатраты при создании распределенных сетевых приложений.

• Зинкин С.А.
• Волчихин В.И.
• Дубравин А.В.

• Искусство. Декоративно-прикладное искусство. Фотография. Музыка. Игры. Спорт

• Технические науки. Промышленность
• Физико-математические науки