论文部分内容阅读
Web服务合成的相容性是服务合成研究领域的重要问题。相容性分析需要考虑异步交互的服务合成环境。用形式化的分析方法为Web服务的合成建模,给出服务合成满足相容性要求的限制条件,并提供了相容性的判断方法。
异步交互的Web服务的相容性分析
【摘 要】
：
Web服务合成的相容性是服务合成研究领域的重要问题。相容性分析需要考虑异步交互的服务合成环境。用形式化的分析方法为Web服务的合成建模,给出服务合成满足相容性要求的限
【机 构】
：
上海大学计算机工程与科学学院
【出 处】
：
计算机科学
【发表日期】
：
2011年2期
【基金项目】
：
国家自然科学基金项目（60803143）资助
其他文献
Zadeh提出的CRI算法是模糊推理中运用最广泛的算法,但其逻辑语义不太清楚,也不具有还原性。王国俊教授提出的全蕴涵三I算法具有还原性,并在一定程度上解决了模糊推理的逻辑基
随着物联网中基于异构接入技术的物品信息进一步集成的需求日益强烈,需要上层的接入技术无关的协议来屏蔽异构接入技术所带来的差异性。物品管理协议就是一种接入技术无关的上层协议,用来交换物品信息。探讨了物联网的体系结构与物品管理协议的必要性,基于SOAP设计并实现了该物品管理协议,包括协议支持的操作、协议操作的接口定义以及协议的实现结构和处理流程。
为了减少IPTV频道切换延时,提出了一种基于优先路径能力评估的组播树维护算法。首先根据候选父节点到源节点的距离确定优先路径集合,然后应用节点能力评估方案对候选路径进行
研究了物联网的设计过程,根据物联网的三层结构,提出了一种面向搜索的Restful Web Service的三段式物联网设计方法,根据该方法,设计并实现了一个制造服务管理系统物联网项目。研究表明,基于Restful Web Service的三段式设计理论对物联网的实现具有很重要的应用价值。
基/副版本技术是实现实时分布式系统容错的一个重要手段。提出了一种异构分布式混合型容错模型,该模型与传统的异构分布式实时调度模型相比同时考虑了周期和非周期调度任务。
在LTE系统中,动态调度对提高MBMS业务资源利用效率具有重要的理论与实际意义,而动态调度信息的设计亦是其中重要的一环。在详细讨论现有DSI设计方案存在的问题及其对MBMS业务
为了满足网络终端用户对网页噪音的过滤需求,提出一种面向终端用户的动态模板网页过滤系统模型,它基于模板并利用用户反馈自动进化过滤系统。设计了模板生成算法,模拟实验验
由于因果图的经典推理的计算复杂度是NP难的,因此其不便于推广和使用。基于因果图理论和MonteCarlo思想,提出了基于抽样的A-R Sampling和重要性抽样的因果图仿真推理算法。在
基于离散对数和秘密共享思想,提出一个高效的（t,n）门限群签名方案。份额分配中心DC（Distribution Center）以自选份额的形式与群中成员共享签名密钥。SC（Signature Combiner）对收到