协同验证协同验证的提出背景工作流验证的目的是在过程定义时检验工作流的正确性，避免执行时出现异常，从而降低工作过程运行时的停产、检查和修复的成本
传统的工作流验证过程是先进行工作流的建模，待所有工作流建模工作结束后再进行验证
然而，在网格环境下，业务流程的建模较为复杂，工作流的建模过程可能是跨组织跨域的，最终的模型可能十分庞大
如果在全部流程建模结束之后再验证，验证过程将会十分困难
并且工作流的验证又包括很多方面，结构、数据流、角色、交互接口等，工作流结构方面规定了哪个任务需要执行，以及任务执行的次序；数据流方面检测控制流结构的数据语义是否一致；角色方面检查数据的执行者是否是预先规定的执行者；交互接口检验任意子网合成时所采用的协作方式
由此可知，传统的工作流验证方法，没有能力解决以上这些问题
因此提出了协同验证的概念
以上内容由大学时代综合整理自互联网，实际情况请以官方资料为准。
