实际应用中Web服务组合的正确性不仅受到其他Web服务的约束,也受到Web环境的约束。由于Web环境的特殊性,很难用传统的方法进行建模和分析,因此研究Web环境约束下Web服务组合的正确性需要采用新的建模工具和分析方法。本文首先提出Web服务域和Web环境域的概念并使用开放Petfi网对Web服务域和Web环境域进行建模。然后通过分析Web环境域模型与Web服务域模型组合后的交互行为情况,给出了二者可组合的前提条件以及组合后的正确性判定算法,从而实现在环境约束下Web服务组合的正确性分析和判定。Web环境和Web服务通过接口库所进行通信,从而形成了一个结构和行为上都相互关联的整体。由于Web服务和Web环境进行了通信,那么Web环境必然会对Web服务的行为产生约束,这种约束主要通过组合后服务的正确性来反映。Web环境对Web服务产生约束的前提是Web环境和Web服务进行了组合,因此先要判定Web环境和Web服务能否组合。Web环境约束下的Web服务组合正确性分析主要有两方式：1)单个Web环境/Web服务均满足合理性,可通过组合后整体的合理性来确定正确性。2)单个Web环境/Web服务不满足或不考虑合理性,则可通过组合后整体有无死锁来确定正确性。最后通过具体实例来分析该方法的有效性。