Раздел 4 Модели и методы для обоснования выбора состав программных средств ВС

В статье 4-1 А.С. Казарицкого, Ю.Е. Мороховца ПРИМЕНЕНИЕ МОДЕЛИ АСИНХРОННЫХ ВЫЧИСЛЕНИЙ В ПРОГРАММНЫХ СИСТЕМАХ РАСПРЕДЕЛЕННОЙ ОБРАБОТКИ ДАННЫХ рассматривается применение модели асинхронных вычислительных сетей в программных системах распределенной обработки данных, в частности для решения задач сбора и обработки данных. Предлагается уточнение базовой модели: введение объектов нового типа – сервисов, и представление алгоритмов задач в графическом виде при помощи стандартных CASE-средств.

В статье 4-2 Г.А. Калининой , Ю.Е. Мороховца УСЛОВИЯ РЕАЛИЗУЕМОСТИ РЕГУЛЯРНЫХ ВЫЧИСЛИТЕЛЬНЫХ СХЕМ рассмотрена модель распределенных регулярных вычислений, основанная на взаимодействии параллельно протекающих последовательных процессов. Сформулированы условия реализуемости произвольных регулярных вычислительных схем.

В статье 4-3 Ал.М.Бебчик, Ан.М.Бебчик ОСОБЕННОСТИ ПРОГРАММИРОВАНИЯ НА ФУНКЦИОНАЛЬНО-ЛОГИЧЕСКОМ ЯЗЫКЕ S-FLOGOL рассматриваются основные методы программирования с использованием формализма направленных отношений. Рассматриваются текстовый и графический способы построения программ. Даются примеры решения некоторых задач на языке S-FLOGOL и приводятся соответствующие решения на языке Пролог. Кратко описывается среда программирования на языке S-FLOGOL.