摘要
针对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.
出处
《内蒙古工业大学学报(自然科学版)》
2014年第3期222-226,共5页
Journal of Inner Mongolia University of Technology:Natural Science Edition
基金
国家自然科学基金资助项目(61363052)
内蒙古高学校科学研究计划(NJZY11082
13120)
内蒙古自治区科技计划项目(20130362)
关键词
WEB服务
服务组合
形式化定义
Web service
Web service composition
Fomal definition