2339

(―Cклад товаров‖). Внешняя сущность не должна участвовать ни в какой обработке.

В модели присутствует еще контекстная диаграмма – специальный вид DFD. Она отражает интерфейс системы с внешним миром, т.е. информационные потоки между системой и внешними сущностями. Каждый проект имеет одну контекстную диаграмму. Если детализировать DFD в виде дерева, то контекстная диаграмма находится в корне дерева. Из контекстной диаграммы детализируется DFD первого уровня. Эта диаграмма имеет множество процессов, которые декомпозируются в DFD нижнего уровня.

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

Номера процессов при декомпозиции структурируются: 2.1, 2.1.1, 2.1.2 и т.п.

2 уровень 3 уровень

Потоки данных имеет смысл группировать. Например, ―яблоки‖, ―груши‖, ―апельсины‖ формально можно определить через поток ―фрукты‖.

Определение формального потока задается в словаре с помощью формы Бэкуса – Наура (БНФ). Обратная операция (расщепление потока) проводится с помощью группового узла.

Групповой узел

Узел - предок

(Name)

11.Пополнение словаря для определения потоков при каждом их появлении.

12.Параллельное с декомпозицией изучение требований, разбиение их на элементарные, и соответствие им процессов или спецификаций.

13.Ревизия после построения 2-3 уровней с целью улучшения и проверки корректности модели.

14.Построение спецификации процесса.

РАСШИРЕНИЯ РЕАЛЬНОГО ВРЕМЕНИ

Реальные управляющие объекты принято изображать следующим образом:

существительные и прилагательные без глаголов. Пример управляющего потока – сигнал о виде операции или состояния.

Существует 3 типа управляющих потоков:

Т – поток (trigger flow) – аналог выключателя света, когда только одним нажатием запускается процесс – свет. А – поток (aktivator flow) - аналог выключателя лампы, который может как включать, так и выключать свет.

Е/Д – поток (enable/disable flow) - аналог выключателя с двумя кнопками. Течение потока по Е - линии вызывает процесс. Процесс поддерживается до тех пор, пока поток не потечет по Д - линии. Можно использовать Е - поток, Д - поток и Е/Д - поток, т. е. существует три вида Е/Д потоков.

Управляющий процесс - это интерфейс DFD и спецификацией управления. Управляющий процесс преобразует управляющие входные потоки в управляющие выходные потоки. Точное описание этого преобразования дается в спецификации управления.

Управляющее хранилище - для хранения управляющих потоков. Управляющая информация может использоваться в любое время (после еѐ записывания) в любом порядке. Имя - существительное.

Узел изменения типа потока - для изменения типа потока (направляет из обычного в управляющий).

Cпецификации процессов

Составляется, если не нужна дальнейшая детализация по DFD. Должна занимать меньше 1 страницы. Спецификация процесса (СП) – это алгоритм задач, выполняемых процессами.

Содержание СП:

1.входные/выходные данные;

2.номер и/или имя процесса;

3.алгоритм (тело процесса).

Сначала описываются входные/выходные данные:

имена из словаря

Допустимо:

@ВХОДВЫХОД = <имя символа данных>, если входные и выходные данные совпадают.

Дальше пишется: @СПЕЦПРОЦ …..…

………………………

……………………… - алгоритм процесса

………………………

@КОНЕЦ СПЕЦИФИКАЦИИ ПРОЦ Ключевые слова пишутся прописными буквами.

Чтобы описать алгоритм, можно воспользоваться структурированным естественным языком.

Здесь слова естественного языка организуются в логические структуры, к ним добавляются арифметические выражения и диаграммы.

Можно использовать следующие элементы:

глаголы, которые выражают действия над объектами; термины, такие как задачи, функции, процедуры и т.п.; предлоги и союзы, употребляемые в логических выражениях; математические и физические термины; арифметические уравнения; таблицы, диаграммы, графы и т.п.; комментарии.

Пример:

@ВХОД = ЛИМИТ ДЕНЕГ @ВХОД = ЗАПРОС НА ОБСЛУЖИВАНИЕ

@ВЫХОД = ДЕНЕЖНАЯ СУММА @ВЫХОД = СООБЩЕНИЕ @ВЫХОД = ТРЕБУЕМОЕ ОБСЛУЖИВАНИЕ

@СПЕЦПРОЦ 1.2. ПОЛУЧИТЬ ЗАПРОС НА ОБСЛУЖИВАНИЕ ВЫПОЛНИТЬ выдать СООБЩЕНИЕ клиенту по вводу запроса на

обслуживание принять ЗАПРОС НА ОБСЛУЖИВАНИЕ

обновить данные ТРЕБУЕМОЕ ОБСЛУЖИВАНИЕ (а именно ЗАПРОС, ДОКУМЕНТАЦИИ, ЗАПРОС ДЕНЕГ, ЗАПРОС БАЛАНСА, ЗАПРОС НА ОПЕРАЦИЮ)

ЕСЛИ был сделан ЗАПРОС ДЕНЕГ ТО ВЫПОЛНИТЬ запросить ДЕНЕЖНУЮ СУММУ

выдать ТРЕБУЕМУЮ СУММУ с учетом непревышения ЛИМИТА ДЕНЕГ

КОНЕЦ ЕСЛИ ДО ТЕХ ПОР ПОКА запрашивается продолжение

обслуживания или не все обслуживание выполнено КОНЕЦ ВЫПОЛНИТЬ

@КОНЕЦ СПЕЦПРОЦ 1.2.

Т. к. естественный язык структурирован, то в описании структура должна иметь 1 вход и 1 выход.

Можно использовать следующие конструкции:

1.последовательные конструкции ВЫПОЛНИТЬ функция 1 ВЫПОЛНИТЬ функция 2

2.конструкции выбора

ЕСЛИ <условие> ТО ИНАЧЕ ВЫПОЛНИТЬ функция 1

ВЫПОЛНИТЬ функция 2 КОНЕЦ ЕСЛИ

3. генерации ДЛЯ <условие>

ВЫПОЛНИТЬ функция КОНЕЦ ДЛЯ

или

ПОКА <условие> ВЫПОЛНИТЬ функция КОНЕЦ ПОКА

или

ВЫПОЛНИТЬ функция 1 функция n

ДО ТЕХ ПОР ПОКА <условие> КОНЕЦ ВЫПОЛНИТЬ

Правила:

1.используются перечисленные конструкции;

2.ключевые слова ЕСЛИ, ДЛЯ и т.д. пишутся заглавными буквами;

3.слова и фразы из словаря данных – заглавными буквами;

4.глаголы должны быть активными, предельно понятными: ―вычислить‖, ―заполнить‖, а не ―модернизировать‖, ―обработать‖;

5.логика процесса должна быть однозначной и четкой.

Таблицы и деревья решений

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

Например ЕСЛИ идет дождь ТО раскрыть зонт Левая часть ТР содержит описание условий (верх) и действий (низ).

Правая часть ТР – все комбинации условий (верх) и соответствующих им действий (низ). Комбинации смотрятся по столбцам.

Таблицу можно сокращать, если например, при различных комбинациях

На основе ТР очень легко писать код. Правила по составлению ТР:

Определять все условия (или переменные). Определять все значения, которые может принимать переменная.

Вычислить число возможных комбинаций условий. Если условий N, то возможных комбинаций 2N.

Определять каждое действие.

Построить пустую ТР с условиями и действиями и число возможных комбинаций.

Занести в ТР все комбинации.

Определить соответственные действия для комбинации условий. Редуцировать ТР.

Выделить комбинации условий, которые не ведут к выполняемым действиям.

Обсудить построенную ТР.

FLOW-формы

Можно использовать визуальные языки проектирования спецификаций. Суть: специальные иерархические схемы управления потоками. Один из

наиболее популярных подходов – использование FLOW – форм.

Суть: каждый символ FLOW-формы изображается в виде прямоугольника. каждый прямоугольник может быть вписан в другой прямоугольник.

Циклы

Здесь каждый символ – блок обработки. Каждый прямоугольник внутри символа – также блок обработки.

Например, сортировка элементов массива методом «поплавка».

for j = 1 to n-1 do

……… сравнить и поменять

местами

if a[j] > a[j+1]

местами

temp = a[j]

a[j] = a[j+1]