W eb 服务组合模型的研究

摘要：

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

关键词：Web服务、服务组合、形式化定义

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目61363052；内蒙古高学校科学研究计划NJZY11082，13120；内蒙古自治区科技计划项目20130362。

在线出版日期：2014-11-02（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：222-226