Business Object State Management Using State Machine Compiler