An Approach to Describing Behaviors of Interacting Web Services

摘要：

TService interaction describes how services can communicate with each other at the message level. Our focus is the behaviors of interacting web services and the composition of these behaviors which produces a single description to explain the behavior of the composition. First, we present a service interaction model which comes from a dataflow and channel based formal model of cooperative computation, i.e., Kahn Process Network (KPN). Then we describe service behavior semantics in this service interaction model using CCS process algebra which presents a high expressive power, capable of capturing behaviors of interacting web service. On the basis of service behavior semantics, we design a XML formatted service behavior description language to describe behaviors of interacting web services. Finally, we introduce an application case to show how to describe service behaviors using this service behavior description language.

关键词： Web service service behavior CCS process algebra Kahn Process Network (KPN) service interaction

作者: Xiuguo Zhang Yingjun Zhang

作者单位: Department of Computer Science and Technology, Dalian Maritime University, Dalian, China Navigation College,Dalian Maritime University,Dalian, China

会议类型: 国际会议

会议名称: 2010 International Conference on Future Information Technology(2010年未来信息技术国际会议 ICFIT 2010)

会议地点: 长沙

会议语种:英文

页码: 683-686

在线出版日期: 2010-12-14（万方平台首次上网日期，不代表论文的发表时间）