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