5.7. Резюме
Хорошая функциональная декомпозиция опирается в первую очередь на хорошую декомпозицию объектов системы. Дуги являются иерархическими наборами объектов системы. Они с помощью разветвлений и соединений описывают, как эти объекты декомпозируются. В принципе все дуги могут быть помещены в тоннель. Помещение дуг в тоннель позволяет не только скрыть нежелательные факты, но и представить необходимые подробности на соответствующем уровне модели. SADT различает объекты, преобразуемые системой (входы), и объекты, управляющие преобразованиями системы (управления). Дуги управления описывают правила и факты, влияющие на выполнение функции. Входные дуги содержат трансформируемые объекты. Таким образом, дуги управления и входные дуги представляют объекты совершенно различной природы. Дуги механизмов используются для конкретизации выполнения данной функции (например, как она выполняется или кто ее выполняет). Обратная связь по управлению свидетельствует о взаимном влиянии функций, тогда как обратная связь по потоку данных указывают на повторное использование и итерацию. Поэтому обратная связь по управлению связывает две функции между собой значительно жестче, чем обратная связь по потоку данных.
Глава 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-модели
направления, с помощью иерархических диаграмм, где блоки упорядочены по доминантности, взаимосвязанные факты собраны вместе и излагаются доступным образом без повторений и противоречий.