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, August1977.

Mendelson, E.: Introduction to Mathematical Logic, Van Nostrand Reinhold, New York,1964.

Martin, J., and C. McClure: Diagramming Tech­niques for Analysts and Programmers, Prentice-Hall, Englewood Cliffs, N.J.,1985.

Parnas, D.: "On the Criteria to be Used in Decom­posing 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, January1977.

Schoman, K.: "SADT and PERT", SofTech Deliver­able no. CLIN#0-02AG, November1977.

SofTech, Inc.: "The DWS/CS Emergency Preset Structured Specification", Technical Paper no. 1083-1, August1981.

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.