论文部分内容阅读
针对Web服务组合问题,提出一种基于先进先出通信通道的Web服务组合模型,支持Web服务的层次性组合。给出了该模型的形式化定义及Web服务描述语言与该模型的对应关系。介绍了用于建模Web服务行为的Pi-演算语言的基本语法及操作语义。通过一个旅游路线预定服务研究了Web服务组合模型的实际应用。
Aiming at the problem of Web service composition, this paper proposes a Web service composition model based on first in, first out (FIFO) communication channel and supports the hierarchical combination of Web services. The formal definition of the model and the correspondence between Web Services Description Language and the model are given. The basic syntax and operational semantics of the P-calculus language for modeling Web service behavior are introduced. A tour route reservation service is used to study the practical application of web service composition model.