基于并行状态自动机的工作流建模

摘要

为了实现工作流管理功能,首先要把业务过程从现实世界抽象出来,并用一种形式化方法对其进行描述,其结果就是工作流模型.该文讨论利用并行自动机对工作流的形式化问题.基于对工作流和并行自动机的分析,提出了将工作流的概念映射到并行自动机概念上的方法,该方法可以把工作流联盟提出的工作流的4种结构映射到并行自动机的结构上.给出了并行自动机的结点转化图,即给出了工作流引擎的框架.并行自动机是一种图形的、数学化的计算模型,当工作流的模型--并行自动机建立起来后,为工作流的静态特性和动态特性的分析打下不坚实的基础,为进一步的研究作好了准备.