Web服务组合模型的研究

A Novel Web Service Composition Model

针对Web服务组合问题,提出一种基于先进先出通信通道的Web服务组合模型,支持Web服务的层次性组合。给出了该模型的形式化定义及Web服务描述语言与该模型的对应关系。介绍了用于建模Web服务行为的Pi-演算语言的基本语法及操作语义。通过一个旅游路线预定服务研究了Web服务组合模型的实际应用。

To address the issue of Web servcie composition,a FIFO communication channel based Web service compositon model is proposed.The model support the layered compostion of Web services.The formal definition of this Web servcie composition model is given and the corresponding mappping relationship between WSDL and this model is presented.A formal language that is used to model the behavior of Web service,Pi-calculas,is introduced.A case study on the application of this model is demenstrarted.