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

• 作者: 刘惊雷 张伟 范宝德
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 工作流模型 形式化方法 工作流引擎 并行自动机 计算模型
• 年，卷（期）: 2006,（18）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 52-54,66
• 页数: 4页
• 分类号: TP311
• 字数: 4532字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2006.18.019

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘惊雷	烟台大学计算机学院	63	262	8.0	13.0
2	张伟	烟台大学计算机学院	40	377	12.0	18.0
3	范宝德	烟台大学计算机学院	29	86	5.0	7.0