CCML: A Novel Service Composition Language

This paper presents a novel service composition language called CCML. Its distinct advantage from conventional composition languages is its ability to describe behaviors of interacting services and the composition of these behaviors. Interaction rules among services rely on a cooperative computation model, i.e. KPN (Kahn process network), which adopts dataflow and channel based asynchronous communication pattern among process nodes. The employment of dataflow based computation model of KPN enables CCML to avoid complicated control flow mechanisms. Formal model for behavioral semantics of CCML is based on CCS process algebra which presents a high expressive power, capable of capturing CCML behavioral semantics. We give an operational semantics to CCML in the form of a labeled transition system (LTS). Finally, we introduce an application case to show how to describe service composition using CCML