5.7. Резюме
Хорошая функциональная декомпозиция опирается в первую очередь на хорошую декомпозицию объектов системы. Дуги являются иерархическими наборами объектов системы. Они с помощью разветвлений и соединений описывают, как эти объекты декомпозируются. В принципе все дуги могут быть помещены в тоннель. Помещение дуг в тоннель позволяет не только скрыть нежелательные факты, но и представить необходимые подробности на соответствующем уровне модели. SADT различает объекты, преобразуемые системой (входы), и объекты, управляющие преобразованиями системы (управления). Дуги управления описывают правила и факты, влияющие на выполнение функции. Входные дуги содержат трансформируемые объекты. Таким образом, дуги управления и входные дуги представляют объекты совершенно различной природы. Дуги механизмов используются для конкретизации выполнения данной функции (например, как она выполняется или кто ее выполняет). Обратная связь по управлению свидетельствует о взаимном влиянии функций, тогда как обратная связь по потоку данных указывают на повторное использование и итерацию. Поэтому обратная связь по управлению связывает две функции между собой значительно жестче, чем обратная связь по потоку данных.
Глава 6. Более глубокие концепции моделей
6.1. Модели sadt структурируют естественный язык
Отличительная особенность SADT как методологии описания систем заключается в том, что она, используя в качестве основы естественный язык экспертов, структурирует этот язык с помощью своих графических средств. Естественный язык позволяет эксперту свободно описывать функционирование системы, пользуясь знакомой и удобной терминологией письменно и в беседе. Затем в процессе создания диаграмм автор снабжает слова эксперта специальной пунктуацией в соответствии с графическим языком SADT. Графические обозначения SADT, так же как и пунктуация, обладают высокой степенью точности. Используя "расширенную форму пунктуации", SADT-автор дает более точное и сжатое описание системы, не жертвуя качеством. Графика SADT устраняет неоднозначность описаний, выполненных экспертом на естественном языке.
Устранение неоднозначности достигается в результате стандартной интерпретации графических обозначений SADT. формально описание
Отдельный блок В, связанный с входными дугами I, дугами управления С, выходными дугами О И дугами механизма М" соответствует фразе: «Функция В преобразует I в О при ограничениях, заданных С с помощью М». Перевод SADT-диаграмм в предложения в точности следует этой схеме, но мы рекомендуем строить фразы так, чтобы они, семантически совпадая с приведенным образцом, были интересны для чтения. Описание системы, соответствующее диаграмме модели на рис. 6-1, может быть записано так:
«Экспериментальный механический цех производит нестандартные детали.Он делает это, используярабочий комплектистанки и инструментыс помощью процесса, управляемогосправочником стандартов качестваи создающегоготовую деталь.Кроме того, поступающие время от временитребования по срокам выполнения задания,требуют отчета обоценке степени завершённости задания».
Рис. 6-1 Описание границы SADT– модели
Неоднозначность устраняется также в результате декомпозиции и уточнения диаграмм высокого уровня, что приводит к ограничению числа возможных интерпретаций. Декомпозиция и уточнения производятся до тех пор, пока диаграммы низкого уровня не станут достаточно подробными для того, чтобы обеспечить точное значение объектов и функций системы. Иными словами, SADT-модель придает строгий смысл изложенному. Она организует описание системы в иерархическую структуру, подобную структуре, образуемой главами и разделами данной книги. Проанализируйте, например, спецификации в уроке 25. Обратите внимание на то, что каждая диаграмма вызывает свой ход мыслей, что позволяет по каждой из них написать несколько параграфов текста. Это объясняется тем, что, хотя блок и его дуги семантически эквивалентны фразе, отражающей одно из направлений, обычно существует еще несколько важных фактов, относящихся к данному блоку, которые необходимо сообщить, чтобы достичь цели модели. Поскольку SADT организует фразы, отражающие основные направления, с помощью иерархических диаграмм, где блоки упорядочены по доминантности, то взаимосвязанные факты собраны вместе и излагаются доступным образом без повторений и противоречий.