State Transition Specifications:State Charts Clock

off

ringing

CLOCK

tick

alarm

up

quiet

on

[alarm_time

= time]

enabled

disabled

time'

:= succ(time)

time' :=

midnight

gettime

disabled

Previous slide

Next slide

Back to first slide

View graphic version