服务组合近来成为一个研究热点。目前而言,服务组合方法分为人工组合、半自动组合和全自动组合三种。找到一个合成服务要求对服务描述和使用者要求有准确的说明。约束条件就是用于使用者要求中来准确地描述需要的服务,共分为全局约束和局部约束两种。全局约束又分为严格依赖全局约束和独立全局两种情况。本文针对独立全局约束的Web服务组合问题采用半自动方法进行了研究。独立全局约束条件就是对于一个全局约束条件,如果其中的一个属性被赋值,那么剩下的受限制属性的值不能唯一确定。如果一个给定的独立全局约束定义了q个属性,服务描述给每个属性都赋予了p个值,那么寻找一个满足需要的服务就需要考虑p*q种情况,所以独立全局约束的服务组合是一个比较困难的问题。半自动方法就是开发者先构造一个进程模型,然后自动地为每个抽象任务选择服务组件。本文首先介绍了Web服务及其组合的相关概念和研究现状,然后介绍了模糊Petri网和约束的相关知识,接着讨论了两个全局约束的模糊网的组合的不同情况。随后本文利用模糊Petri网对独立全局约束的Web服务组合进行建模,并给出了一个小生境遗传算法,利用该算法在模型中找到最优组合。通过实验仿真,我们可以看出文中的方法既节省了时间又有较高的可行解比率。文中最后还提出来了约束条件下的Web服务组合的正确性和可靠性的验证方法。正确性就是要验证约束满足情况还有服务功能的正确。可靠性就是在考虑约束的情况下来保证服务的质量,通过将单个服务的可靠性转换成模糊网模型中的依赖关系下的变迁可靠性,并给出了库所中代表组合服务运行时可靠性的托肯值的计算方法,然后构造论文服务组合的可靠性验证图,通过该验证图来说明服务组合的可靠性。