ВУЗ:
Составители:
Рубрика:
Сравнение текстов одной и той же программы, составленных средствами системы
GRAPH (рис.3.2) и на языке Си, демонстрирует выразительные достоинства граф-
программ.
3.2. Классификация данных объектов ГСП
3.2.1. Проблема классификации данных агрегатов
В технологии ГСП все объекты (акторы, предикаты, агрегаты) реализуют в общем
случае векторные функции многих переменных, которые можно представить в виде
DD
out in
= f (), где D
in
, D
out
- множество входных и вычисляемых данных. Причем, для
двух этих категорий справедливо:
DD D D D
in out mod in out
, ∈=D I , где D -словарь
данных предметной области. В связи с чем, к двум категориям данных
входных и
вычисляемых, добавляется модифицируемый тип данных.
Информация о разделении данных по признаку их использования на объектах
необходима в следующих случаях:
1. При построении на основе объекта исполняемого EXE-модуля;
2. Для выполнения операции инкапсуляции объектов;
3. При тестировании объектов технологии ГСП.
В первых двух случаях потребность в классификации данных связана с
необходимостью инициализации входных данных. Так, например
, отсутствие начальных
значений входных или модифицируемых переменных непременно вызовет ошибочную
ситуацию при исполнении EXE-модуля. С другой стороны, при выполнении операции
инкапсуляции объекта “спрятанным” данным (локальным для инкапсулированного
модуля), если они входные или модифицируемые, также должно быть присвоено
начальное значение.
При тестировании объектов признак классификации данных используется для
выделения независимых переменных
функции, в пространстве которых реализуется
поиск ошибочных ситуаций.
Если для объектов типа акторов и предикатов вопрос классификации данных
решается пользователем на этапе формирования паспорта модуля, то при классификации
данных модуля-агрегата задача становится не столь тривиальной. В отличие от актора, в
агрегате отнесение того или иного данного к определенному классу в
значительной
степени зависит от маршрута работы алгоритма на управляющем графе объекта.
Пусть мы имеем агрегат
G
1
, представленный на рис. 3.5. Предположим, что
классификация параметров модулей A
1, A2 и A3 представлена в таблице 3.1.
Таблица 3.1
Модуль Параметр Тип
A
1
D1 входной
A
2
D2 вычисляемый
A
3
D2 входной
Страницы
- « первая
- ‹ предыдущая
- …
- 27
- 28
- 29
- 30
- 31
- …
- следующая ›
- последняя »
