» » »

38. Проверка корректности SADT-модели;

1. Система представляется одним блоком

SADT-модель является иерархически орга­низованной совокупностью диаграмм. Диаграммы обычно состоят из трех-шести блоков, каждый из которых потенциально может быть детализиро­ван на другой диаграмме. Каждый блок может пониматься как отдельный тщательно определен­ный объект. Разделение такого объекта на его структурные части (блоки и дуги, составляющие диаграмму) называется декомпозицией.

2. Идентификация декомпозиции номерами узлов

SADT-модели развиваются в процессе структурной декомпозиции сверху вниз. Сначала декомпозируется один блок, являющийся грани­цей модели, на одной диаграмме, которая имеет от трех до шести блоков, затем декомпозируется один (или больше) из этих блоков на другой диаграмме с тремя-шестью блоками и т.д. На­звание диаграммы совпадает с названием деком­позируемого блока. Результатом этого процесса является модель, диаграмма верхнего уровня которой описывает систему в общих терминах черного ящика, а диаграммы нижнего уровня описывают очень детализированные аспекты и операции системы.

3. Связывание декомпозиции с помощью С-номеров

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

4. Коды ICOM гарантируют стыковку диаграмм

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

5. Резюме

SADT-диаграммы являются декомпозициями ограниченных объектов. Объект ограничивает­ся блоком и касающимися его дугами. Диаграм­ма, содержащая границу, называется родитель­ской диаграммой, а диаграмма, декомпозирую­щая блок родительской диаграммы, называется диаграммой-потомком. Для связывания родитель­ской диаграммы и диаграммы-потомка исполь­зуются С-номера, так что модель всегда сохраняет актуальность. Коды ICOM используются для того, чтобы стыковать диаграмму-потомка с ро­дительской диаграммой. Номер узла идентифи­цирует уровень данной диаграммы в иерархии модели. Когда диаграммы в модели становятся слишком трудными для чтения, для упрощения описания системы могут разумным образом ис­пользоваться специальные технические приемы типа вхождения дуг в тоннель.


Друзья! Приглашаем вас к обсуждению. Если у вас есть своё мнение, напишите нам в комментарии.

Поделиться

Оплаченная реклама

Дисциплины