Методология функционального моделирования

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

Функциональная модель информационной системы состоит из имеющих ссылки друг к другу диаграмм, фрагментов, текстов и глоссария. На диаграммах представляются функции ИС и взаимосвязи (интерфейсы) между ними в виде блоков и дуг. Место соединения дуги с блоком определяет тип интерфейса. Управляющая информация указывается сверху, обрабатываемая информация - с левой стороны блока, выводимая информация - с правой стороны, выполняющий операцию механизм (человек, программа или устройство), представляется дугой снизу блока

-

Рис. Х. Функциональный блок и дуги интерфейса

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

Рис. Х. Декомпозиция диаграмм

В общем случае функциональная модель ИС представляет собой серию диаграмм с документацией, декомпозирующих сложный объект на составные компоненты в виде блоков. Блоки на диаграмме нумеруются. Для указания положения диаграммы или блока в иерархии диаграмм используются номера диаграмм. Например, обозначение А32 указывает на диаграмму, детализирующую блок 2 на диаграмме А3. в свою очередь диаграмма А03 детализирует блок 3 на диаграмме А0.

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

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

· Случайные связи, означающие. Что связь между функциями мала или отсутствует;

· Логические связи, означающие , что данные и функции относятся к одному классу или набору элементов, но функциональных отношений между ними нет;

· Временные связипредставляют функции, связанные во времени, когда данные используются одновременно или функции включаются параллельно, а не последовательно;

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

· Коммуникационные связи означают, что функции группируются вместе, так как используют одни и те же данные и/или порождают одни и те же выходные данные;

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

· Функциональные связиобозначают случай, когда все элементы функциивлияют на выполнение только одной функции.