共查询到10条相似文献,搜索用时 78 毫秒
1.
2.
Web服务组合的正确性包括动态行为的匹配性和数据类型的一致性.本文定义了一个扩充的Pi-演算类型系统,同时利用该系统对BPEL4WS Web服务组合规范建立了一个类型化的形式化模型,通过该模型能够对Web服务组合的正确性进行验证.最后通过一个案例,给出了对Web服务组合动态行为的匹配性和数据类型的一致性的验证方法. 相似文献
3.
4.
5.
随着已有Web服务数量的不断增加,如何利用现有的Web服务创建新的更复杂的Web服务成为一项新的研究课题。该文提出了MDA模型转换驱动的合成Web服务开发方法,针对Web合成的静态建模部分,提出了建立Web服务静态结构平台无关和平台相关模型的方法,给出了二者之间的转换规则。 相似文献
6.
7.
组合服务是将一系列Web服务协调地组合在一起,从而完成预期目标。组合服务按照其引擎分布可分为:集中式服务组合和分布式服务组合。分布式组合服务可以有效地解决集中式组合服务在系统可伸缩性、消息传输效率、自治性和有效负载均衡等方面的问题,将可执行全局流程等价分解成可执行本地流程,以及将服务组合和负载均衡结合集群概念,研究服务组合的QOS。这些将成为新的挑战,文中通过PDG图进行等价分解,并结合QOS,通过实验测试引擎负载,提出将负载均衡融入服务组合QOS研究思想。 相似文献
8.
9.
Web服务业务流程规范的比较研究 总被引:3,自引:0,他引:3
随着XML和WebService技术的逐步成熟,流程层集成成为主流的企业应用集成(EAI)方式,而Web服务业务流程规范是流程层集成的基础。因此该文对典型的Web服务业务流程规范进行了介绍、比较和分析,并讨论了现有Web服务业务流程规范存在的主要问题以及今后的发展趋势。 相似文献
10.
从海量候选服务组合计划中选择具有最优/满意服务质量( QoS)的计划,即基于QoS的Web服务组合,是面向服务计算的难题之一。为此,将该问题建模为多属性决策问题,同时针对传统多属性决策方法难以处理海量搜索空间的问题,提出一种结合折中比例法和遗传算法的新型智能进化算法( GACRM )。 GACRM结合了折中比例法的方案排序优势和遗传算法高效的全局搜索能力,能够从海量搜索空间中快速找到全局近似最优解。实验结果表明,该算法不仅能够高效地产生与折中比例法接近的最优方案排序,且在解决大规模Web服务组合问题上具有良好的可伸缩性。 相似文献