基于Pi演算的工作控制流模式研究

工作流模式指在工作流过程模型中反复出现的过程基本构造，是衡量工作流建模语言在控制流方面的表达能力和适用性的重要标准。本文以Pi演算作为工作流形式化的基础，对当前流行的一些工作流模式进行详细的描述，并提出一些应用实例。结果表明，该语言不仅能很好地支持工作流模式，而且具有建模。。简洁、准确的特点。