Text this: Generating finite state machine from WSMO choreography for testing Web services