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.


Volume 2, Issue 3 - Serial Number 3
July 2015
Pages 209-222
  • Receive Date: 24 April 2015
  • Revise Date: 26 May 2018
  • Accept Date: 25 September 2017
  • First Publish Date: 25 September 2017