A tool that creates Finite State Machines that can be used as JSLEE service components.