Часть IV Завершение моделирования. Руководство моделированием.

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

В главе 17 приведен набор эвристик, которыми пользуются опытные SADT-авторы для определения достижения полноты модели и момента окончания моделирования. В главе 18 показано, как можно дополнить модель определением технических терминов, письменными материалами и рисунками. В главе 19 рассматривается техника сопровождения SADT-диаграмм примечаниями, которые позволяют уточнить количественные и качественные характеристики описываемой системы. В главе 20 дается обзор типичного процесса выполнения SADT-проекта. В главе 21 обсуждаются возможности доступных в настоящее время средств автоматизации проектирования в SADT и приводятся примеры их применения.

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

Глава 17. Завершение моделирования

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

17.1. Размер sadt-моделей

Прежде чем обсуждать критерии для опре­деления завершения процесса моделирования, посмотрим, как увеличивается размер sadt-модели. С точки зрения математики размер иерар­хических моделей типа SADT-моделей увеличива­ются со скоростью геометрической прогрессии. В табл. 17-1 показаны размеры полной четырех­уровневой SADT-модели, каждая диаграмма кото­рой состоит из четырех блоков, причем каждый из этих блоков декомпозируется аналогичной диаграммой.

В такой модели общее число блоков состав­ляет 1365, а в четырехуровневой модели, содер­жащей по шесть блоков на диаграмме, общее число их - 9331.

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

Уровень в Модели	Общее число блоков в модели
	4 блока/1 диаграмма	6 блоков/1 диаграмма
Тор 0 1 2 3 4	1 5 21 85 341 1365	1 7 43 259 1555 9331

Таблица 17-1. Размер иерархических моделей увеличивается со скоростью геометрической прогрессии

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

Однако типичной также является декомпо­зиция части SADT-модели на глубину 5-6 уров­ней. В этом случае на такую глубину декомпози­руется обычно один из блоков диаграммы АО. Функции, которые требуют такого уровня детали­зации, часто очень важны, и их детальное описа­ние дает ключ к секретам работы всей системы. Но хотя важные функции могут нуждаться в глу­бокой детализации, таких функций при создании одной модели насчитывается, как правило, не­много. Модели, обладающие такими функциями, имеют обычно форму зонтика с широким тонким куполом и длинной ручкой, на которой происхо­дит детализация. Поэтому вторая причина, по которой размер SADT-моделей не растет в гео­метрической прогрессии, заключается в том, что, хотя нередко модель имеет глубину 5-6 уровней, она почти никогда не декомпозируется вся до такой степени детализации.

Большие аналитические проекты обычно разбиваются на несколько отдельных более мел­ких проектов, каждый из которых создает модель одного конкретного аспекта всей проблемы. Поэтому вместо одной гигантской модели созда­ётся сеть из нескольких небольших моделей. Например, один аналитический проект, в кото­ром принимали участие авторы этой книги, за­ключался в описании системы защитного оружия для подводной лодки. Вместо создания одной большой модели защищающей себя лодки мы использовали отдельные модели для описания каждого вида оружия (например, торпеды), за­щитного средства (например, ловушки), средства доставки (например, пускового орудия) и консо­ли оператора. Таким образом, вместо огромной, неуправляемой модели, которую было бы трудно прочесть и понять, была создана серия неболь­ших, управляемых и понятных моделей. Однако последние замечания не должны вас обмануть. Исключительно большие проекты могут привести к созданию высококачественной модели, состоя­щей из тысяч блоков. Но это случается редко. К счастью, большинство систем не требует для аде­кватного описания моделей такой величины.