随着信息技术和管理理论的发展以及计算机网络的广泛应用,工作流技术正在成为计算机应用领域的研究热点。现代企业的信息系统的分布性、异构性和自治性的特征越来越显著,企业正在追求一种更深、更广的合作模式,期望实现集成化、协同一体化的商务运作方式,而实现这种协同运作的关键是要在供应链动态联盟企业间实现工作流的协同,通过工作流协同来实现企业间业务处理过程的相互理解和操作,并支持对数据信息的协同交互。对于协同工作流的分析与验证和并发程序有无死锁的检测,往往是采用基于Petri网的可达性分析方法。为了缓解可能出现的状态空间爆炸,本文基于对上述两类问题共同特征的抽象,提出了基于同步图的分析方法,与可达图枚举状态空间不同,同步图只针对影响协同交互的元素,利用这些元素的偏序关系,通过检测不恰当的偏序关系造成的逻辑矛盾,来发现是否有死锁的情形存在。与Petri网相比,同步图的规模要小很多:再加之它直接揭示隐含的内部矛盾,所以它的效率与可达性方法相比要高很多。本文给出了同步图的构造及转换方法,并详细阐述了基于同步图的先序路径分析方法。通过具体的实例了分析,展示了如何使用同步图进行协同工作流和并发程序的分析和验证。虽然本文提出的基于同步图的分析方法还有一定得局限性,并不能适用所有的协同工作流网,对同步图本身要求是无环的,但是该方法仍为并发系统死锁的检测提供了一条新的途径。