The implementation of Spring Web Flow's flow execution engine, based on finite-state machine.