| Web服务组合模型的研究 |
| |
| 引用本文： | 包力.Web服务组合模型的研究[J].内蒙古工业大学学报,2014(3):222-226. |
| |
| 作者姓名： | 包力 |
| |
| 作者单位： | 内蒙古工业大学信息学院,呼和浩特010080 |
| |
| 基金项目： | 国家自然科学基金资助项目（61363052）; 内蒙古高学校科学研究计划（NJZY11082,13120）; 内蒙古自治区科技计划项目（20130362） |
| |
| 摘 要： | 针对Web服务组合问题,提出一种基于先进先出通信通道的Web服务组合模型,支持Web服务的层次性组合。给出了该模型的形式化定义及Web服务描述语言与该模型的对应关系。介绍了用于建模Web服务行为的Pi-演算语言的基本语法及操作语义。通过一个旅游路线预定服务研究了Web服务组合模型的实际应用。
|
| 关 键 词： | Web服务 服务组合 形式化定义 |
A Novel Web Service Composition Model |
| |
| BAO Li.A Novel Web Service Composition Model[J].Journal of Inner Mongolia Polytechnic University(Social Sciences Edition),2014(3):222-226. |
| |
| Authors: | BAO Li |
| |
| Institution: | BAO Li (School of Information, Inner Mongolia University of Technology, Huhhot 010080) |
| |
| Abstract: | 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. |
| |
| Keywords: | Web service Web service composition Fomal definition |
| 本文献已被 CNKI 维普 等数据库收录！ |
