Toward Automatic Transformation of Service Choreography Into UMLState Machine

An adaptive process consists of dynamic elements, and management rules which govern their run-time behaviors. the ws-cdl describes collaborative business processes between service consumers and providers. adapting the processes to runtime changes becomes a demanding challenge, because the ws-cdl has static technology-dependent structure, and does not support the separation of concerns. here, we propose a model-driven approach to transform ws-cdl into uml state machine (behavioral and protocol models), and subsequently into implementation code. besides separating the business logic from the implementation, the state machine has a dynamic structure which is veriable and adaptable. as a result, we can easily modify the process ow or change the management rules at run-time, and reect their effects on the running process instances. we present an 'itinerary purchase' case study for prototyping the transformation rules.