协同验证是在工作流子模型不断的合成,规模逐渐扩大的过程中,随时支持着语义验证,检验整个协同过程是否完成了协作者的目标。协同验证具有二维性,一个维度考虑规模,基于语义约束验证因地域、功能因素形成的子模型的合成;一个维度考虑内容,基于语义约束验证协同目标的实现