19.2. Правила действия

Вспомните, что функциональные диаграм­мы SADT- это диаграммы ограничений, потому что они отражают ограничения, накладываемые функциями системы друг на друга. Законченная функциональная диаграмма дает моментальный снимок всех дуг управления, которые ограничи­вают функцию в какой-либо момент работы сис­темы. Поэтому, вообще говоря, не все ограниче­ния на функцию действуют одновременно. В большинстве случаев только некоторые ограни­чения на каждую отдельную функцию действуют в какой-либо момент времени. SADT определяет "действие" как вид работы функции после того, как она "включается" посредством некоторых ее входов или управлений для создания выходов. Таким образом, каждое конкретное действие ис­пользует не все возможные управления и входы и производит не все возможные выходы. Коли­чество возможных действий функции зависит исключительно от количества возможных взаимо­действий ее данных, а не от количества входя­щих в блок дуг. Позже об этом будет сказано подробнее.

Описание правила действия в SADT -это приме­чание (сходное с принятыми в формальных грам­матиках), которое описывает отдельную комби­нацию управления, входа и выхода для некото­рой функции конкретной модели. Правила дей­ствия включают номер блока, уникальный иден­тификатор действия, предусловия и постусловия. Каждое правило действия для модели формулиру­ется в соответствии с синтаксисом:

[Модель/] блок * действие : предусло­вия--> постусловия

Блок и действие дают правилу уникальное имя. Блок идентифицирует определенный блок моде­ли. Действие идентифицирует одно правило дей­ствия для этого конкретного блока. Поэтому со­четание блок и действие однозначно идентифи­цирует одно правило действия в модели. Одно­временно могут рассматриваться правила дей­ствия для более чем одной модели. В таком слу­чае модель, точнее имя той модели, к которой относится правило, пишется в начале правила. Предусловия и постусловия - это то, что требует­ся для действия и что является его результатом. Обобщая, можно сказать, что каждое правило действия может быть интерпретировано следу­ющим образом.

Рис. 19-2. Функция, имеющая единственное правило действия

Для функции блок правило действия дейст­вие определяется так: если истинны предусловия, выполняется функция блоки делает истинными постусловия.

Как предусловия, так и постусловия пред­ставляют собой логические выражения, построен­ные с помощью ICOM-кодов, где каждый ICOM-код идентифицирует единичную дугу управления, входную или выходную дугу конкретного блока. Логические операторы AND, ORи NOTвместе со скобками представляют средства для записи различных сложных логических выражений. Например, на рис. 19-2 показан блок диаграммы ЭМЦ/А2, у которого только одно правило дей­ствия. Это правило утверждает, что функции.подготовить рабочее местонеобходимы выбран­ное инструменты, станки в цехе, чертеж и указа­ния, чтобы рабочий подготовил оборудованное рабочее место. Это пример правила действия, которое утверждает необходимость участия всех входных дуг, дуг управления и выходных дуг в действии конкретного блока.

Часто возникают ситуации, в которых для правильного действия блока необходимо отсут­ствие одной или нескольких дуг. Дуги, не участ­вующие в конкретном действии, отмечаются горизонтальным штрихом (символизирующимNOT)над ICOM-кодом, если они входят в пред­условие. Это означает, что объекты, представля­емые этой дугой, должны отсутствовать для того, чтобы действие было выполнено. Например, дей­ствие 3 на рис. 19-3 утверждает, что план выпол­нения заданий не должен быть представлен в мо­мент оценки задания, который предшествует приемке.

Рис. 19-3. Функция, имеющая несколько правил действия

Встречаются также ситуации, когда только некоторые из дуг используются в процессе дей­ствия для производства выходов. Если входная дуга или дуга управления не участвуют в дей­ствии, они просто опускаются в предусловии. Аналогично если только часть выходов блока производится во время действии, то ICOM-коды для этих не создаваемых выходов опускаются в постусловиях. Например, отсутствие 02 и 03 в действии 4 означает, что в процессе этого дей­ствия вырабатывается только статус задания.

Иногда функции полностью используют свои входы или управления в процессе действия. В таких случаях эти входные дуги и дуги управле­ния перечисляются в постусловии со штрихом отрицания NOTнад ними. Это означает, что объекты, представленные данными дугами, ис­пользованы во время действия функции и недо­ступны для других блоков или будущих действий.