CCML: A Novel Service Composition Language

Author

Zhang, Xiuguo ; Zhang, Weishi

Author_Institution

Dept. of Comput. Sci. & Technol., Dalian Maritime Univ.

fYear

2006

fDate

18-22 Dec. 2006

Firstpage

109

Lastpage

112

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/WI-IATW.2006.52

Filename

4053214