Структурные модели
SADT - модель даёт полное, точное и адекватное описание системы, имеющее конкретное назначение. Это назначение, называемое целью модели, вытекает из формального определения модели в SADT. В SADT - моделях используются как естественный, так и графический языки. Для передачи информации о конкретной системе источником естественного языка служат люди, описывающие систему, а источником графического языка - сама методология SADT. Графический язык SADTобеспечивает структуру и точную семантику естественному языку модели. Графический язык SADT организует естественный язык вполне определённым и однозначным образом.
С точки зрения SADT, модель может описывать либо на функции системы, либо её объекты. SADT-модели, ориентированные на функции, принято называть функциональными моделями, а ориентированные на объекты системы - моделями данных, функциональная модель представляет с требуемой степенью детализации систему функций, которые, в свою очередь, отражают свои взаимоотношения через объекты системы. Модели данных дуальны к функциональным моделям и представляют собой подробное описание объектов системы, связанных системными функциями. Полная методология SADT поддерживает создание множества моделей для более точного описания сложной системы.
Диаграммы потоков данных
Диаграммы потоков данных (DFD) являются основным средством функционального моделирования проектируемой системы. Для изображения DFD традиционно используются две различные нотации: Йордана (Yourdon) и Гейна-Сарсона (Gane-Sarson).
В соответствии с методологией модель системы определяется как иерархия диаграмм потоков данных, описывающих процесс преобразования информации от её ввода в систему до выдачи пользователю. С помощью этих диаграмм система разбивается на функциональные компоненты (процессы) и представляются в виде сети, связанной потоками данных. Главная цель таких средств — продемонстрировать, как каждый процесс преобразует входные данные в выходные, а также выявить отношения между этими процессами. Диаграммы верхних уровней иерархии (контекстные диаграммы) определяют основные процессы или подсистемы ИС с внешними входами и выходами. Они детализируются при помощи диаграмм нижнего уровня. Такая декомпозиция продолжается, создавая многоуровневую иерархию диаграмм, до тех пор, пока не будет достигнут такой уровень декомпозиции, на котором процесс становятся элементарными и детализировать их далее невозможно. Внешняя сущность - информационная структура вне контекста системы, являющуюся источником или приёмником данных. Данные, при помощи потоков данных, являющиеся механизмами, для моделирования передачи информации из одной части системы в другую. Продуцирование выходных потоков из входных осуществляется информационными процессами. Хранилище данных позволяет на определённых участках определять данные, которые будут сохраняться в памяти между процессами.
Задача множества DFD заключается в том, чтобы осуществить правильную декомпозицию системы, с целью показать функционирование системы ясными и понятными на каждом уровне детализации (рис.2.3).
Рис. 2.3. Потоки данных в DFD
Процесс построения модели разбивается на следующие этапы:
Расчленение множества требований и организация их в основные функциональные группы.
Идентификация внешних объектов, с которыми система должна быть связана.
Идентификация основных видов информации, циркулирующей между системой и внешними объектами.
Формирование DFD первого уровня на базе процессов предварительной контекстной диаграммы.
Проверка основных требований по DFD первого уровня.
Декомпозиция каждого процесса текущей DFD с помощью детализирующей диаграммы или спецификации процесса. Проверка основных требований по DFD соответствующего уровня. Добавление определений новых потоков в словарь данных при каждом их появлении на диаграммах.
После построения двух-трёх уровней проведение ревизии с целью проверки корректности и улучшения понимаемости модели.