Сейчас на сайте
Сейчас на сайте 0 пользователей и 1 гость.

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

Правила действия формулируется в соответствии с синтаксисом:
[Модель/] блок * действие : предусловия--> постусловия
и включают:

  • имя модели, к которой относится правило, задается в начале правила в том случае, если одновременно могут рассматриваться правила действия более чем для одной модели;

  • номер блока позволяет задать правилу уникальное имя для идентификации определенного блока модели;

  • уникальный идентификатор действия позволяет задать правилу уникальное имя. Действие идентифицирует одно правило действия для конкретного блока номер которого задан. Сочетание блока и действия однозначно идентифицирует одно правило действия в модели;

  • предусловия - это то, что требуется для действия;

  • постусловия - это то, является результатом действия.

Например, для функции блок правило действия определяется так: если истинны предусловия, то функция блок выполняется и постусловия делаются истинными.
Предусловия и постусловия представляют собой логические выражения, построенные с помощью ICOM-кодов, где каждый ICOM-код идентифицирует единичную дугу управления, входную или выходную дугу конкретного блока. Логические операторы AND, OR и NOT вместе со скобками представляют средства для записи различных сложных логических выражений. Это пример правила действия, которое утверждает необходимость участия всех входных дуг, дуг управления и выходных дуг в действии конкретного блока.
Особые ситуации правильного действия блока:

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

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

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

При моделировании иногда возникают ситуации, в которых аналитику трудно определить все способы действия функции в процессе работы системы. В этих случаях производится построение таблиц истинности, первоначально разработанных в логическом исчислении высказываний и часто применяемых в общей теории систем.
Для описания действий каждого блока таблица истинности, представляет собой декартово произведение всех возможных сочетаний присутствия ("true" или Т) и обязательного отсутствия ("false" или F) входных дуг, дуг управления и выходных дуг. Каждый столбец такой таблицы становится тогда потенциальным правилом действия. Если не имеет значения, принимает ли конкретная дуга участие в действии, используется буква D.
Обычно не все, что входит в таблицу, становится правилом действия, но каждое действие в таблице определено.