Formalizing multiple instance workflow patterns based on the π-calculus
多实例工作流模式的π演算形式化

Keywords: π演算,ECA规则,多实例工作流模式,多实例,工作流,流模式,π演算,形式化,based,patterns,workflow,multiple,描述,利用,研究,建模,系统,态变化,进程代数,移动

Full-Text   Cite this paper   Add to My Lib

Abstract:

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

Full-Text