【摘 要】
：
Web服务成为一种具有良好互操作性的新的分布式计算模型，Web服务组合是实现良好互操作性的基础。本文基于WS_Net描述Web服务的接口信息和内部行为特征,给出了WS_Net互模拟
【机 构】
：
北方工业大学信息工程学院 北京 100144
【出 处】
：
2011年中国计算机学会服务计算学术会议(CCF NCSC2011)
论文部分内容阅读
Web服务成为一种具有良好互操作性的新的分布式计算模型，Web服务组合是实现良好互操作性的基础。本文基于WS_Net描述Web服务的接口信息和内部行为特征,给出了WS_Net互模拟等价的定义。用WS_Net描述的Web服务满足接口互模拟等价, 则两个Web服务可以实现上下文无关的相互替换。提出了WS_Net的化简规则,证明了这些化简规则能够保持WS_Net化简前后的接口互模拟等价特性。通过化简的方法简化Web服务可替换性分析的复杂度, 克服了现有方法的不足。
其他文献
针对含有时变和时不变未知参数的高阶非线性系统，提出了一种自适应学习控制器的设计方案，该方案利用Backstepping方法和分段积分机制相结合，可以处理参数在一个未知紧集内周
她从小就喜欢跳舞，却因为一次车祸失去了右臂，但她没有放弃，而是走上了一条特殊的艺术之路，并颇有斩获。2010年10月，《中国达人秀》的舞台上，她翩翩起舞，人们盛赞：看到的不是舞蹈，而是一个不屈的灵魂！ 折翼蝴蝶仍想飞 1977年4月8日，马丽出生在河南省驻马店市一个普通的工人家庭，父亲马洪思在市汽车运输公司上班，母亲付玉贞在当地居委会工作。很小的时候，马丽就表现出舞蹈方面的天赋。11岁
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
作为传统的农业国,稻米生产和出口在越南农业经济中占有突出地位,是国际三大稻米出口国之一,占据世界粮食市场重要地位.通过对近30年来越南稻米生产、出口贸易情况的考察,采
当前的网络学习存在着“信息过载”、“缺少个性化”、“缺少长远规划”这些问题。本文针对这些问题，提出了一种过程驱动的、个性化的、动态组合学习资源优化方法。首先对
“罗副司令员对党无限忠诚,作战勇敢,为革命事业与外国帝国主义及国内反动派搏斗,二十一年如一日,身经百战,历尽人间的艰苦,接连负伤九次之多,始终不爱休息,虽在病人重危之际
演员、修理工、富二代、记者、工厂主、打工女……过往三十余年,这些五花八门的身份当中,产生了这个国家最富有的女性——刘晓庆、陈丽华、杨惠妍、吴亚军、张茵、周群飞——
随着我国的社会发展水平的不断提高,人们对建筑质量的要求也越来越高.建设项目项目管理的重要性在建设中变得越来越重要.建设项目管理关系到企业的声誉、经济利益甚至是企业
随着人们日常生活质量和水平的不断提升,人们对建筑物提出的要求也越来越高.建筑行业在发展过程中,不仅要保证建筑工程项目在规划和建设过程中的质量,还要满足人们在日常使用
本文介绍一个基于SOA架构的煤矿报警系统的基本结构，并以功能分析作为切入点设计了煤矿报警系统Web客户端的结构，应用Ajax技术和Struts2框架实现了Web客户端。在以SOA为架