uml - UML状态图中守卫和事件的区别

Question

我以为我可以区分event 和guard。但是我遇到了一个类似于守卫的事件:

counter > 4 [pin is high] / switch on
^^^^^^^^^^^ 
   event

我将变量计数器从某个小于 4 的值更改为大于 4 的值作为事件。这是否意味着事件也可以像守卫一样成为条件？

Answer 1

事件 是触发转换的事物。在您的例子中，counter > 4 是一个更改事件，意思是“计数器值已更改，它的值现在大于 4”。

括号之间的代号是guard。在您的情况下，pin is high，意思是“仅当 pin 为高电平时才启用转换”。

switch on 是执行转换时执行的行为。

脚注:在您的示例中，事件确实与 guard 非常相似。

在 C 中它可能看起来像这样:

/** 
 * this interrupt is triggered when the
 * counter exceeds the threshold (4)
 */
static void counter_isr(void)
{
   if (pin_is_high(PIN))
       switch_on();
} 

来自 UML 2.5 规范:

14.2.3.8 Transitions ... A Transition may own a set of Triggers, each of which specifies an Event whose occurrence, when dispatched, may trigger traversal of the Transition. A Transition trigger is said to be enabled if the dispatched Event occurrence matches its Event type.

14.2.4.9 Transition ... The default textual notation for a Transition is defined by the following BNF expression:

[<trigger> [‘,’ <trigger>]* [‘[‘ <guard>’]’] [‘/’ <behavior-expression>]]

换句话说:触发[守卫]/行为