（1） 当一预定的量的时间到期后没有发生预期事件发生的状况。例如，导致的一种在线过程终止，如果在指定的时间段，体验 （1） 中的条件 time.~(2) 内不收到任何用户输入的条件。