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

摘要：

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

关键词：工作流模型、形式化方法、工作流引擎、并行自动机、计算模型

所属期刊栏目：32

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金60496323;烟台大学校科研和教改项目JS03Z1

在线出版日期：2006-10-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：52-54,66