一种工作流模型的模拟与分析

• 作者: 曹宝香 李敏 郑垒
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: BPEL 工作流 验证 数据流网络 故障模拟
• 年，卷（期）: 2009,（6）
• 所属期刊栏目: 智能、算法、系统工程
• 页码范围: 131-134,137
• 页数: 5页
• 分类号: TP311.5
• 字数: 3719字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2009.06.036

摘要

基于BPEL的工作流技术,在企业流程的管理上应用越来越广泛.为基于BPEL的工作流模型的模拟和分析提出一个框架,并给出检查用BPEL实现的工作流程正确性的方法.讨论问胚主要三个:(1)如何使一个用BPEL语言实现的工作流模型可以转化为数据流网络模型;(2)如何能潜在地把不正确执行路径纳入;(3)如何用SPIN能将工作流的性能形式化地验证出来.为了实现从工作流到分析模型转变的步骤,使用了图形转变,实现分两个步骤实施工作流程一PROMELA转型,使每一个较小的一步都在抽象的水平.此验证方法方便于模型设计,而且对于验证在一个已经制定的业务流程中的小变化的执行情况也会有一定帮助.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曹宝香	曲阜师范大学计算机科学学院	153	1091	14.0	26.0
2	李敏	曲阜师范大学计算机科学学院	13	16	2.0	3.0
3	郑垒	曲阜师范大学计算机科学学院	2	9	1.0	2.0