- •Часть III. Рецензирование диаграмм и моделей
- •Глава 12. Цикл автор/читатель
- •12.1. Составление исходной документации
- •12.3. Ответы на комментарии
- •12.4. Совершенствование моделей
- •12.5. Цикл автор/читатель
- •12.6. Резюме
- •Глава 13. Подготовка папки
- •13.1. Обмен информацией с помощью папок
- •13.2. Титульный лист
- •13.3. Организация папки
- •13.4. Размеры папки
- •13.5. Когда формировать папку
- •13.6. Резюме
- •Глава 14. Чтение диаграмм и моделей
- •14.1. Процедура чтения
- •14.2. Изучение деталей диаграммы
- •14.4. Уточнение места диаграммы в модели
- •14.5. Критическая оценка содержания диаграммы
- •14.6. Резюме
- •Глава 15. Конструктивное комментирование
- •15.1. Запись о продолжительности работы
- •15.2. Проверка заполнения полей бланка диаграммы
- •15.3. Обозначения согласия и несогласия с автором
- •15.4. Замечания
- •15.5. Язык ссылок sadt
- •15.6. Повторное чтение папки
- •15.7. Конструктивная критика
- •15.8. Резюме
- •Глава 16. Ответы на комментарии и их обобщение
- •16.1. Чтение и ответы на замечания
- •16.2. Беседа автор/читатель
- •16.3. Обобщение читательских комментариев
- •16.4. Переделка диаграмм
- •16.5. Резюме
- •Часть IV. Завершение моделирования. Руководство моделированием
- •Глава 17. Завершение моделирования
- •17.1. Размер sadt-моделей
- •17.2. Прекращение декомпозиции
- •17.3. Достаточная детализированность
- •17.4. Изменение уровня абстракции
- •17.5. Изменение точки зрения
- •17.6. Сходные функции
- •17.7. Тривиальные функции
- •17.8. Принятие решения о завершении моделирования
- •17.9. Резюме
- •Глава 18. Дополнения к диаграммам и моделям
- •18.1. Дополнения к диаграммам
- •18.2. Определение терминологии с помощью глоссария
- •18.3. Пояснение содержания с помощью текста
- •18.4. Пояснение с помощью рисунков
- •18.5. Дополнение моделей
- •Глава 19. Примечания на диаграммах и моделях
- •19.1. Информация о свойствах
- •19.2. Правила действия
- •19.3. Генерация правил действия
- •19.4. Резюме
- •Глава 20. Управление проектом
- •20.1. Начало проекта
- •20.2. Создание и рецензирование результатов работы
- •20.3. Создание модели
- •20.5. Резюме
- •Глава 21. Средства автоматизации
- •21.4. Сводный список для оценки автоматизированной поддержки sadt
- •21.5. Резюме
19.3. Генерация правил действия
Иногда аналитику трудно определить все способы действия функции в процессе работы системы. В этих случаях мы рекомендуем воспользоваться приемом построения таблиц истинности, первоначально разработанный в логическом исчислении высказываний и часто применяемый в общей теории систем.
Действие каждого блока описывается таблицей истинности, представляющей собой декартово произведение всех возможных сочетаний присутствия (отмечаемого с помощью "true" или Т) и обязательного отсутствия (отмечаемого с помощью "false" или F) входных дуг, дуг управления и выходных дуг. Каждый столбец такой таблицы становится тогда потенциальным правилом действия. (Иногда не имеет значения, принимает ли конкретная дуга участие в действии. В этих случаях представляется разумным использование буквы D. Однако запомните, что для полного отражения декартова произведения потребуется существенное увеличение размера таблиц.)
Обычно не все, что входит в таблицу, становится правилом действия, но каждое действие в таблице определено. Например, в табл. 19-1 представлено декартово произведение с отсутствующими или присутствующими дугами для блока подготовить рабочее место. Для экспериментального механического цеха реален только случай 1, когда все входные дуги и дуги управления участвуют в действии. Попробуйте применять этот прием, когда вы точно не знаете, как выполняется конкретная функция моделируемой вами системы.
Условия |
Варианты действий |
|||||||||||||||
1 |
2 |
3 |
4 |
5 |
6 |
7 |
8 |
9 |
10 |
11 |
12 |
13 |
14 |
15 |
16 |
|
Выбранные инструменты |
T |
F |
T |
F |
T |
F |
T |
F |
T |
F |
T |
F |
T |
F |
T |
F |
Станки в цехе |
T |
T |
F |
F |
T |
T |
F |
F |
T |
T |
F |
F |
T |
T |
F |
F |
Чертежи и указания |
T |
T |
T |
T |
F |
F |
F |
F |
T |
T |
T |
T |
F |
F |
F |
F |
Оборудованное рабочее место |
T |
T |
T |
T |
T |
T |
T |
T |
T |
F |
F |
F |
F |
F |
F |
F |
Таблица 19-1. Все возможные действия блока "Подготовить рабочее место"
19.4. Резюме
Метки свойств в SADT описывают конкретные аспекты системы. Они помещаются на диаграмме в виде примечаний, часто как подготовительный этап к созданию спецификации модели. Правила действия в SADT кодируют набор возможных действий блоков модели. Иногда для какого-либо блока эти правила трудно определить. В этом случае для создания полного набора возможных действий мы советуем использовать методы, применяемые в логическом исчислении.
Дополнительная литература
Dickover, M., and С. McGowan: "Software Design Using SADT", SofTech Technical paper TP061, August 1977.
Mendelson, E.: Introduction to Mathematical Logic, Van Nostrand Reinhold, New York, 1964.
Martin, J., and C. McClure: Diagramming Techniques for Analysts and Programmers, Prentice-Hall, Englewood Cliffs, N.J., 1985.
Parnas, D.: "On the Criteria to be Used in Decomposing Systems into Modules", CACM, December 1972.
Ross, D.: "An Essay on Activity Diagramming", SofTech Technical Report no. 7104, November 1976.
Ross D.: "Structured Analysis (SA): A Language for Communicating Ideas", IEEE Transactions on Software Engineering, vol. 3, no. 1, January 1977.
Schoman, K.: "SADT and PERT", SofTech Deliverable no. CLIN#0-02AG, November 1977.
SofTech, Inc.: "The DWS/CS Emergency Preset Structured Specification", Technical Paper no. 1083-1, August 1981.
Savith, W.: Abstract Machines and Grammars, Little, Brown, Boston, 1982.
Weinberg, G.: An Introduction to General Systems Theory, John Wiley, New York, 1975.
Weinberg, G.: Rethinking Systems Analysis and Design, Little Brown, Boston, 1982.