Title :
CCML: A Novel Service Composition Language
Author :
Zhang, Xiuguo ; Zhang, Weishi
Author_Institution :
Dept. of Comput. Sci. & Technol., Dalian Maritime Univ.
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
Keywords :
Internet; programming language semantics; asynchronous communication pattern; behavioral semantics; cooperative computation model; labeled transition system; operational semantics; process algebra; service composition language; Asynchronous communication; Computational modeling; Computer science; Data flow computing; Educational institutions; Employment; Intelligent agent; Ontologies; Power system modeling; Web and internet services;
Conference_Titel :
Web Intelligence and Intelligent Agent Technology Workshops, 2006. WI-IAT 2006 Workshops. 2006 IEEE/WIC/ACM International Conference on
Conference_Location :
Hong Kong
Print_ISBN :
0-7695-2749-3
DOI :
10.1109/WI-IATW.2006.52
