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