9.2. Сущность структурного подхода
Сущность структурного подхода к разработке ПО заключается в его разбиении на автоматизируемые функции: система разбивается на функциональные подсистемы, которые, в свою очередь делятся на подфункции, те – на задачи и так далее, до конкретных процедур.
Для описания системы используются две группы средств:
Описывающие функциональную структуру системы.
Описывающие отношение между данными.
В обоих случаях широкое распространение получили следующие модели:
Structured Analysis and Design Technique (SADT) – модели и соответствующие функциональные диаграммы;
Data Flow Diagrams (DFD) – диаграммы потоков данных;
Entity-Relationship Diagrams (ERD) – диаграммы «сущность-связь».
9.3. Метод функционального моделирования (sadt)
Метод SADT – это совокупность процедур и правил, предназначенных для построения функциональной модели объекта в какой-либо предметной области.
Функциональная модель SADT отображает функциональную структуру объекта, т.е. производимые им действия и связи между этими действиями.
Основные концепции метода:
Графическое представление блочного моделирования. Элемент модели (диаграммы) – блок, отображающий функцию. Дуги блока – интерфейсы входа-выхода, предназначенные для взаимодействия блоков друг с другом.
Строгость и точность. Правила SADT включают:
ограничение количества блоков на каждом уровне декомпозиции (3÷6 блоков);
связность диаграмм (через номера блоков);
уникальность меток и наименований (без повторов);
синтаксические правила для графики (блоков и дуг);
разделение входов и управлений (правило определения роли данных).
Отделение организации от функции. Необходимо исключить влияние административной структуры организации на функциональную модель.
9.3.1. Состав функциональных моделей
Модель SADT строится из следующих элементов:
Диаграммы.
Фрагменты текстов.
Глоссарий.
Ссылки друг на друга между перечисленными элементами.
Диаграммы – главные компоненты модели. Все функции организации и интерфейсы на них представлены как блоки и дуги соответственно.
Место соединения дуги с блоком определяет тип интерфейса. Управляющая информация входит в блок сверху, в то время как входная информация, которая подвергается обработке, показана с левой стороны блока, а результаты (выход) показаны с правой стороны. Механизм (человек или автоматизированная система), который осуществляет операцию, представляется дугой, входящей в блок снизу.
На диаграммах используются пять типов взаимосвязей между блоками.
На приведенном рисунке тип отношений между блоками определяется как (а) – «управление», (б) – «вход», (в) – «управленческая обратная связь», (г) – «входная обратная связь», (д) – «выход-исполнитель».
9.3.2. Методика построения модели
Построение SADT–модели начинается с определения всей системы в виде простейшего компонента – одного блока и дуг, изображающих интерфейсы с функциями вне системы.
Поскольку единственный блок отражает систему как единое целое, имя, указанное в блоке, является общим. Это верно и для интерфейсных дуг – они также соответствуют полному набору внешних интерфейсов системы в целом. Этот блок представляет систему в качестве единого модуля.
Затем первый компонент детализируется на другой диаграмме с помощью нескольких блоков, соединенных интерфейсными дугами. Эти блоки определяют основные подфункции исходной функции. Каждая из этих подфункций может быть декомпозирована далее подобным образом в целях большей детализации.
Каждая подфункция может содержать только те элементы, которые входят в исходную функцию. Также модель не может опустить какие-либо элементы, (т.е., родительский блок и его интерфейсы обеспечивают контекст). К контексту нельзя ничего добавить, и из него не может быть ничего удалено.
Модель SADT представляет собой серию диаграмм с сопроводительной документацией, разбивающих сложный объект на составные части, которые изображены в виде блоков.
Диаграмма предыдущего уровня называется родительской для более детальной диаграммы.
Дуги, входящие в блок и выходящие из него на диаграмме верхнего уровня, являются точно теми же самыми, что и дуги, входящие в диаграмму нижнего уровня.
Не присоединённые дуги соответствуют входам, управлениям и выходам родительского блока. Источник или получатель этих пограничных дуг может быть обнаружен только на родительской диаграмме. Все пограничные дуги должны продолжаться на родительской диаграмме, чтобы она была полной и непротиворечивой.
На SADT-диаграммах не указаны явно ни последовательность, ни время. Обратные связи, итерации, продолжающиеся процессы и перекрывающиеся (по времени) функции изображаются с помощью дуг.
Обратные связи могут выступать в виде комментариев, замечаний, исправлений и так далее.