多实例工作流模式的π演算形式化

Formalizing multiple instance workflow patterns based on the π-calculus

多实例工作流模式是一类重要的工作流模式。π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。对π演算进行了研究,提出了以π演算作为工作流形式化的基础,利用π演算对多实例工作流模式进行了详细的描述。

Multiple instance workflow patterns are important worktlow patterns. The π-calculus is a kind of mobile process algebra which can be used to model concurrent and dynamic systems. Having done the research of the π-ealculus, the π-calculus was proposed as a formal foundation for workflow, furthermore multiple instance workflow patterns were described by using the π-caleulus in detail.