Solutions

The following section presents solutions of examples taken from real projects. If you have designed an interesting state machine, we invite you to share it with us by sending us the design, we may then feature it on our website. Alternatively, if you have a problem that could be solved by a state machine, we encourage you to send us the requirements so that we can find a solution.

Diameter Protocol Failover

The Failover state machine is taken from a Diameter project. The Diameter base protocol is intended to provide an Authentication, Authorization and Accounting (AAA) framework for applications such as network access or IP mobility.

Traffic Light

A simple traffic light application serves as the perfect example to illustrate how state machines are a much better approach than UML, the latter turns out to be incapable of modelling even such a trivial example, never mind producing anything executable…