Statechart Diagram History State (2/2)

Normal

Frozen

Freeze

Unfreeze

+

-

when(Balance < 0)

when(Balance > 0)

H

Withdrawal(b) [not in Frozen]

/Balance := Balance - b

Deposit(b)

/ Balance :=

Balance + b

Balancing

[not in Frozen]

/ Balance := 0

Open

/ Balance := 0

Previous slide

Next slide

Back to first slide

View graphic version