II. Состав функциональной модели SADT

Типы диаграмм SADT-модели

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

Модель в SADT может содержать следующие типы диаграмм:

· контекстную диаграмму (в каждой модели может быть только одна контекстная диаграмма);

· диаграммы декомпозиции;

· диаграммы дерева узлов.

Контекстная диаграмма

Контекстная диаграмма является вершиной древовидной структуры диаграмм и представляет собой самое общее описание системы и ее взаимодействие с внешней средой. Моделирование начинается с представления системы как единого целого – одного функционального блока с граничными стрелками, простирающимися за пределы рассматриваемой области.

Диаграммы декомпозиции

После описания системы в целом проводится разбиение ее на крупные фрагменты. Этот процесс называется функциональной декомпозицией, а диаграммы, которые описывают каждый фрагмент и взаимодействие фрагментов, называются диаграммами декомпозиции.

После декомпозиции контекстной диаграммы проводится декомпозиция каждого большого фрагмента системы на более мелкие и так далее, до достижения нужного уровня подробности описания. После каждого сеанса декомпозиции проводятся сеансы экспертизы – эксперты предметной области указывают на соответствие реальных процессов созданным диаграммам. Найденные несоответствия исправляются, и только после прохождения экспертизы без замечаний можно приступать к следующему сеансу декомпозиции. Так достигается соответствие модели реальным процессам на каждом уровне декомпозиции модели. Синтаксис описания системы в целом и каждого ее фрагмента одинаков во всей модели.

Диаграммы дерева узлов

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

Iii. Элементы контекстной диаграммы модели SADT

Работа

Работы обозначают поименованные процессы, функции или задачи, которые происходят в течение определенного времени и имеют распознаваемые результаты. Работы изображаются в виде прямоугольников. Все работы должны быть названы и определены. Имя работы должно быть выражено глаголом повелительного наклонения или отглагольным существительным, обозначающим действие. Каждая работа может быть декомпозирована.

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

Граничные стрелки

Стрелки – это объекты реального мира или какая-либо информация, которые необходимы для выполнения работы или являются результатом выполнения работы, представленной на диаграмме функциональным блоком.

Стрелки на контекстной диаграмме служат для описания взаимодействия системы с окружающим миром. Такие стрелки называются граничными. Они могут начинаться у границы диаграммы и заканчиваться у работы, или наоборот, начинаться у работы и заканчиваться у границы диаграммы.

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

 

Рис. 4.1 Функциональный блок с граничными стрелками

Различают пять типов граничных стрелок, связывающих систему с внешним миром:

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

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

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

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

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

Контекстная диаграмма

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

Диаграмма, состоящая из одного блока и стрелок, определяет границы системы и называется контекстной диаграммой модели. При этом блок изображает границы системы: всё, лежащее внутри него, является частью системы, а все, лежащее вне его, образует внешнюю среду системы.

Рис. 4.2 Контекстная диаграмма модели