随着网格技术的不断发展及网格应用研究的深入,网格环境下业务流程越来越复杂。随着业务流程规模因跨领域跨组织而增大,导致业务流程的高复杂性,就会由于状态空间爆炸而给网格工作流的验证带来困难。本文针对这个问题,研究面向语义约束的协同验证方法,使协同验证基于化简技术,提高验证效率。主要做了以下几个方面的工作：(1)研究协同验证的概念和模型。深入分析了网格工作流验证的研究现状,突破已有研究中结构验证的局限,研究协同验证的理论,建立理论模型,提出了协同验证具有二维性的观点。(2)研究协同验证过程。已有研究中的验证都不具有分布式特性,而协同验证是分布式的。考虑子模型之间存在的关系,定义了SCN的协作方式,分析了合成模型的验证方法。论证了协同验证在两个维度上交叉验证的合理性,并比较了交叉验证与“先子模型,后合成”验证方法的区别,说明了协同验证具有动态性的优势。(3)研究协同验证的化简规则。结构化简的原则是无结构冲突,不适用于协同验证。协同验证的化简规则是在语义约束一致性的原则下,逐步规约模型中无语义冲突的部分。根据网结构的不同,基于SCN提出一组子网级化简规则,证明了这组化简规则的活性保持性、有效性和完备性。以网上购物流程为例,说明了上述方法的有效性。