精选6-1状态图.pptVIP

3. 改变事件（Change Event） 改变事件指的是依赖与特定属性值的布尔表达式所表示的条件满足时，事件发生改变。改变事件用关键字when来标记，包含由一个布尔表达式指定的条件，事件没有参数。这种事件隐含一个对条件的连续的测试。当布尔表达式的值从假变到真时，事件就发生。要想事件再次发生，必须先将值变成假，否则，事件不会再发生。建模人员可以使用诸如when(time=8:00)的表达式来标记一个绝对的时间，也可以用如when(number100)之类的表达式来对其进行连续测试。 改变事件的定义格式为： when(布尔表达式)/动作 如图所示，“打印机暂停”状态有一个自转换，其上标出了改变事件的条件是“打印纸数量=0”，动作是“printTest”。 要小心使用改变事件，因为它表示了一种具有事件持续性的并且可能是涉及全局的计算过程。它使修改系统潜在值和最终效果的活动之间的因果关系变得模糊。可能要花费很大的代价测试改变事件，因为原则上改变时间是持续不断的。因此，改变事件往往用于当一个具有更明确表达式的通信形式显得不自然时。 注意改变事件与监护条件的区别：监护条件仅只在引起转换的触发器事件触发时或者事件接受者对事件进行处理时被赋值一次。如果为假，那么转换不激发并且事件被遗失，条件也不会再被赋值。而改变事件隐含连续计算，因此可以对改变事件连续赋值，直到条件为真激发转换。 4. 时间事