Basic principles

Standby

Wait for

Passwd

WaitFor

Authorization

userInput/

verify passwd

cardInserted/

request password

State

Input

Transition

Identifying the response of a process to an input

The response is informally defined

timeout/

eject card

Previous slide

Next slide

Back to first slide

View graphic version