Методы разработки программ (Метод джексона и метод Вареье ОРРА)

Методология Джексона. Рассматривается проектируемая программа как процесс обработки последовательного потока записей (предполагается существование на входе и выходе последовательных файлов, структура записей которых определяет структуру программы).

Метод Джексона (1975) включает 6 шагов. Три шага выполняются на этапе анализа, а остальные — на этапе проектирования.

1. Объект-действие. Определяются объекты — источники или приемники информации и действия — события реального мира, воздействующие на объекты.

2. Объект-структура. Действия над объектами представляются диаграммами Джексона.

Структура объектов описывает последовательность действий над объектами (в условном времени).

В основе диаграмм Джексона лежит предположение о том, что структуры данных, как и структуры программ, можно строить на основе трех конструкций: последовательности, выбора и повторения. Каждая конструкция представляется в виде двухуровневой иерархии, на верхнем уровне расположен блок конструкции, на нижнем – блоки элементов. Типы конструкций различаются специальными символами в правом верхнем углу блоков элементов. Нотация Джексона для представления конструкций (а – последовательность, б – выбор, в – повторение):

Конструкция A состоит из элементов B, C и D, Конструкция S состоит либо из элемента P, либо из элемента Q, либо из элемента R.

Конструкция I может не содержать элементов или содержать один и более элементов X

3. Начальное моделирование. Объекты и действия представляются как обрабатывающая модель. Определяются связи между моделью и реальным миром.

4. Доопределение функций. НА этом шаге уточняются процессы и вводятся дополнительные функции. Выделяют 3 типа сервисных функций: встроенные функции; функции впечатления, функции диалога.

5. Учет системного времени. Определяются и оцениваются характеристики планирования будущих процессов. Определяются временные ограничения, которые накладываются на систему.

6. Реализация. Проводится синхронизация процессов с учетом внешней программно-аппаратной среды.

Методология Варнье-Орра предполагает выводить структуру программы и структуру входных данных, исходя из структуры выходных данных.

Диаграмма Орра базируется на том же предположении о сходстве структур программ и данных, что и диаграмма Джексона, т.е. используются 3 базовые элемента: последовательность, выбор, повторение.

Скобочная нотация для представления структур данных Орра (а – последовательность, б – выбор, в – повторение):