随着三网合一的有效推进和Web标准的逐步统一,Web服务组合作为一种新的软件服务形式,得到了高速的发展和进步,并引起了科学界和商业界的极大关注。随着计算机和网络技术的迅速发展和普及,一种结合了Web技术和软件工程技术的新型计算模式应运而生,它就是面向服务的新型计算模式,相应地产生了面向服务的体系结构。面向服务的体系结构以Web服务组合为重要特性,将注意力放在服务上,使得应用程序能够集中起来提供更加丰富、目的性更强的商业流程,更加真实地反映业务模型。由于Web服务组合资源利用和重整的优势和广泛的应用前景,成为当前研究的热点。虽然Web服务组合为有效利用网络资源和提供高效灵活的功能创造了新的契机,但是在理论研究和实际应用上都还存在着诸多难题,约束条件下的Web服务优化组合就是其中之一。服务的组合性是Web服务组合区别传统软件服务的重要特性,通过组合可以实现服务资源的高效利用和复用。服务组合的方法决定了服务组合的正确性,服务组合的算法优化决定了服务组合的效率。本文通过关联Petri网对约束条件下的Web服务组合进行形式化的建模,并研究了模型特性.然后进一步研究了约束下Web服务组合进行优化的若干先进算法。本文首先介绍了Web服务及Web服务其组合的基本概念和国内外学术界企业界对Web服务组合的研究现状,在此基础上然后介绍了关联Petri网、Web服务组合、约束的相关知识。然后,本文利用关联Petri网对独立全局约束的Web服务组合进行了形式化的建模,并使用遗传算法对独立全局约束的Web服务组合进行优化。最后,通过分析发现遗传算法在约束组合优化中存在着不足,在此基础上,我们针对问题的特点使用差分进化算法进行分析,利用该算法在模型中找到最优组合。通过实验仿真,仿真结果显示了基于差分进化算法和关联Petri网的方法比使用基于遗传算法和关联Petri网的方法有好的性能,一方面具有少的时间开销,另一方面又有较高的可行解比率。