Prev Home Next

А. ПИСКУНОВ

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

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

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

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

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

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

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

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

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

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




    Prev Up Next