A calculus for WS-CDL language

With the growth of interest on the web services, people pay increasingly attention to the choreography, that is, to describe collaborations of participants in accomplishing a common business goal from a global viewpoint. In this paper, based on a calculus model and a role oriented process language, we study some fundamental issues related to choreography, especially those related to implementation, including semantics and generalized projection, dominant role in choices and iterations, etc. We propose some novel calculus structures related to it. The study reveals some clues about the language, the semantics, the specification and the implementation of choreography.