| progr. |
guard condition (в UML; если оно есть, всегда записывается в прямых скобках после события-триггера и представляет собой некоторое логическое выражение. Из контекста диаграммы состояний должна явно следовать семантика этого выражения, а для записи выражения может использоваться синтаксис языка объектных ограничений. Введение для перехода сторожевого условия позволяет явно специфицировать семантику его срабатывания. Однако вычисление истинности сторожевого условия происходит только после возникновения ассоциированного с ним события-триггера, инициирующего соответствующий переход ssn); guard (логическое выражение, применяемое к событию. Если выражение является истинным, то событие приводит к изменению состояния системы ssn) |
