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.