Toward automatic Transformation of Service Choreography into UML State Machine


1 Shahid Beheshti University Mobile: 09124409497

2 Shahid Beheshti University


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 verifiable and adaptable. As a result, we can easily modify the process flow or change the management rules at run-time, and reflect their effects on the running process instances. We present an ‘itinerary purchase’ case study for prototyping the transformation rules and algorithm.