Методология структурного проектирования SADT


Правила действия - часть 2


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

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

и делает истинными постусловия.

Как предусловия, так и постусловия представляют собой логические выражения, построенные с помощью ICOM-кодов, где каждый

ICOM-код идентифицирует единичную дугу управления, входную или выходную дугу конкретного блока. Логические операторы

AND, OR и NOT

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

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

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

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

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

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




Начало  Назад  Вперед



Книжный магазин