工作流技术作为计算机支持的协同工作(Computer Suppoaed CooperativeWork，CSCW)领域的一项重要应用，在企业过程管理中发挥了重大作用。工作流管理系统(Workflow Management System，WfMS)是用来定义和创建工作流，并对工作流的执行过程进行监督和管理。工作流模型(过程定义)是工作流管理系统的一个核心问题，其质量直接影响了整个工作流管理系统的应用范围和对变化的适应能力。一个好的工作流模型是实现一个具有高度灵活性、可靠性、可用性、可伸缩性和互操作性的工作流管理系统的关键和基础。　　 工作流建模主要有两大目的：一是对系统进行模拟和分析，二是对系统进行成本和预算分析。工作流建模主要研究内容是如何清晰、准确地表示实际应用中的业务过程，特别是研究如何以形式化的方法表示工作流模型。工作流需要形式化的模型方法，形式化方法有利于对模型进行清晰、易懂、无二义性的定义和形式化的分析。　　 本文首先介绍基于Petri网工作流建模理论、着色Petri网工作流建模理论和EPC(Event-driven Process Chains)工作流建模方法的主要原理和建模方式，根据建立工作流模型的目标需求和对建模方法的要求，以分析这三种方法在实际建模实践中的优势和不足，作为业务流程形式化研究的切入点，然后提出一种源于EPC的工作流建模形式化方法-基于角色的EPC(Role-based Event-driven ProcessChains，REPC)，并在本文以下部分简称为：REPC。　　 依照REPC建模形式化定义对实例项目建立对应模型，讨论REPC形式化方法的可用性；通过讨论REPC与成熟建模理论衔接，研究REPC理论支持；运用REPC建立模型来说明复杂工作流逻辑，分析REPC对实际工作流过程的建模能力，并总结REPC作为形式化建模语言在业务建模领域的优势与不足，和与其他业务流程建模语言相比较需要改进的地方。从上述方面，对REPC进行了比较完整的研究工作，为REPC更进一步的研究工作做了较为充分的准备。本文研究中的创新点有以下几个内容：　　 ●定义具体REPC形式化描述，确定REPC建模使用的模型元素，建立REPC建模规则，并依据上述内容对某实例项目建立分层的REPC模型，并分析模型性能；根据着色Petri网模型定义与性能，建立REPC模型到着色Petri网模型转换规则，研究REPC利用成熟的CPN理论验证其模型的正确性、可靠性等方面问题的可行性；　　 ●建立工作流模式的REPC描述，分析描述结果，讨论了REPC形式化方法语义表达缺陷，寻找REPC不能完整支持工作流模式的原因，确定REPC的建模层次定位，探讨下步REPC发展。