А. ПИСКУНОВ

RAISE SPECIFICATION LANGUAGE: ПРОЕКТИРОВАНИЕ И ДЕКОМПОЗИЦИЯ ПОТОКОВ ДАННЫХ ИНТЕРАКТИВНОГО ПРИЛОЖЕНИЯ

В работе рассматривается вопрос использования языка спецификаций RAISE (RSL) для анализа и проектирования потока данных интерактивного приложения.

Напомним, что в монографии Г.Майерса "Надежность программного обеспечения" понятие потока данных использовалось для STS-декомпозиции на модули с заданными характеристиками, такими как прочность модуля, сцепление с другими модулями и т.д. Если под состоянием приложения понимать множество всех значений его переменных, включая входные и выходные параметры, то под потоком данных Майерс, по видимому, понимал последовательность из состояний приложения после выполнения каждого его оператора.

Главными идеями позволившими свести вопрос анализа и проектирования интерактивного приложения к STS-декомпозиции Майерса были

формальное выделение нескольких уровней абстракции;

разделение двух каналов данных на несколько независимых каналов, соответствующих различным процессам; более конкретных процессов;

При этом, на каждом уровне абстракции, более старший (более абстрактный) процесс управлял множеством более младших (более конкретных) процессов, но не имел доступа к их каналам данных

1) ЧАСТЬ 1 Введение и основные принципы.

2) ЧАСТЬ 2 формальное описание интерактивной системы.

3) ЧАСТЬ 3 Описание реальной интерактивной системы.

Пример описания потоков данных на RSL.