Prev | Home | Next |
RAISE SPECIFICATION LANGUAGE:
ПРОЕКТИРОВАНИЕ И ДЕКОМПОЗИЦИЯ ПОТОКОВ ДАННЫХ
ИНТЕРАКТИВНОГО ПРИЛОЖЕНИЯ
![]() |
В работе рассматривается вопрос использования языка спецификаций RAISE (RSL) для анализа и проектирования потока данных интерактивного приложения.
Напомним, что в монографии Г.Майерса "Надежность программного обеспечения" понятие потока данных использовалось для STS-декомпозиции на модули с заданными характеристиками, такими как прочность модуля, сцепление с другими модулями и т.д. Если под состоянием приложения понимать множество всех значений его переменных, включая входные и выходные параметры, то под потоком данных Майерс, по видимому, понимал последовательность из состояний приложения после выполнения каждого его оператора.
Главными идеями позволившими свести вопрос анализа и проектирования интерактивного приложения к STS-декомпозиции Майерса были
При этом, на каждом уровне абстракции, более старший (более абстрактный) процесс управлял множеством более младших (более конкретных) процессов, но не имел доступа к их каналам данных
1) ЧАСТЬ 1 Введение и основные принципы.
2) ЧАСТЬ 2 формальное описание интерактивной системы.
3) ЧАСТЬ 3 Описание реальной интерактивной системы.
Prev | Up | Next |