This page is hosted for free by zzz.com.ua, if you are owner of this page, you can remove this message and gain access to many additional features by upgrading your hosting to PRO or VIP for just 8.33 UAH.
Do you want to support owner of this site? Click here and buy hosting plan!
Prev Home Next

А. ПИСКУНОВ

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

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

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

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

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

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

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

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

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

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




    Prev Up Next