作为企业业务过程电子化的关键要素，业务流程管理是正在迅速发展的技术，在不同的行业得到广泛应用。业务流程建模是工作流系统中的一个重要功能，它使得工作流管理系统可以被看作一个包含业务流程相关的元业务数据的仓库。然而，现有很多工作流管理系统中没有较好的过程模型，使得业务过程中的某些通用结构没有得到很好的处理。另一方面，W.M.P.vanderAaslt等人提出了大量描述了工作流相关基本特征和共性的模式，这些模式的实现依赖于具体的流程建模语言或方法。 Pi-演算是一种进程代数，可以被应用于业务流程的形式化建模，且使用其描述的业务流程具有简洁、具体等特点。但其在工作流领域的应用研究，特别对工作流扩展模式的形式化建模等方面的研究相对较少。因此，本文使用Pi-演算作为业务流程形式化的工具，对部分工组流相关模式进行建模，以探究工作流模式Pi-演算的描述，检验Pi-演算对业务流程行为特征的表现能力。 本文首先讨论了工组流管理系统、工作流参考模型、XPDL等工作流相关技术，并介绍了工作流相关模式及Pi-演算相关理论。在此基础上，本文详细阐述了使用Pi-演算对工作流模式及工作流资源模式进行形式化建模，并详细介绍了相关模式对应的过程代数模型。之后本文介绍了业务流程模型的分析与检验的方法，并提出了实现基于Pi-演算描述的流程定制工具原型系统的基本结构。本文所具有的创新点或特点在于： ·在分析Pi-演算相关理论的基础上，将该理论的应用扩展到工作流领域，特别是业务流程建模方面； ·基于Pi-演算理论对工作流模式的形式化建模进行补充，对资源模式进行形式化建模； ·基于Pi-演算描述的业务流程定制工具原型系统的构建方法。