5.7. Резюме

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

Дополнительная литература

Miller, J.: Living Systems, McGraw-HiIl, New York, 1978.

Ross, D.: "An Essay on Activity Diagramming", SofTech Technical Report no.7104, November, 1976.

SofTech, Inc.: "IDEFO Author's Guide to Creating Activity Diagrams", SofTech Deliverable no.7500-13, September1979.

SofTech, Inc.: "Integrated Computer-Aided Manu­facturing (ICAM) Report: Function Modeling Manual (IDEFO)", contract no. F33612-73-C-5158, SofTech, Inc.,1981.

Глава 6. Более глубокие концепции моделей

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

6.1. Модели sadt структурируют естественный язык

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

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

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

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

Рис. 6-1. Описание границSADT-модели

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