StateWORKS: Solutions

Below you can find solutions of examples taken from real projects. If you have designed any interesting state machine, send us the design and we will put it onto our web site. Or if you have a problem that could be solved by a state machine send us the requirements and we will do the job for you.

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...