Более глубокие концепции моделей

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

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

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

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

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