检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:包力[1]
机构地区:[1]内蒙古工业大学信息学院,呼和浩特010080
出 处:《内蒙古工业大学学报(自然科学版)》2014年第3期222-226,共5页Journal of Inner Mongolia University of Technology:Natural Science Edition
基 金:国家自然科学基金资助项目(61363052);内蒙古高学校科学研究计划(NJZY11082;13120);内蒙古自治区科技计划项目(20130362)
摘 要:针对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.
分 类 号:TP311[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.171