CCML: A Novel Service Composition Language

Authors:
Xiuguo Zhang;Weishi Zhang
Affiliations:
Dalian Maritime University, China/ Shandong University of Science & Technology, China;Dalian Maritime University, China
Venue:
WI-IATW '06 Proceedings of the 2006 IEEE/WIC/ACM international conference on Web Intelligence and Intelligent Agent Technology
Year:
2006

Citing 3
Cited 0

Communication and concurrency

Communication and concurrency
CCM: A Cooperative Computation Model of Services

IMSCCS '06 Proceedings of the First International Multi-Symposiums on Computer and Computational Sciences - Volume 1 (IMSCCS'06) - Volume 01
Requirements on the execution of Kahn process networks

ESOP'03 Proceedings of the 12th European conference on Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.