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

Simulation and Analysis of a Workflow Model

作　　者：李敏[1] 曹宝香[1] 郑垒[1] 

机构地区：[1]曲阜师范大学计算机科学学院,山东日照276826

出　　处：《计算机技术与发展》2009年第6期131-134,137,共5页Computer Technology and Development

基　　金：山东省科技计划项目(2006GG2301001)

摘　　要：基于BPEL的工作流技术,在企业流程的管理上应用越来越广泛。为基于BPEL的工作流模型的模拟和分析提出一个框架,并给出检查用BPEL实现的工作流程正确性的方法。讨论问题主要三个:(1)如何使一个用BPEL语言实现的工作流模型可以转化为数据流网络模型;(2)如何能潜在地把不正确执行路径纳入;(3)如何用SPIN能将工作流的性能形式化地验证出来。为了实现从工作流到分析模型转变的步骤,使用了图形转变,实现分两个步骤实施工作流程-PROMELA转型,使每一个较小的一步都在抽象的水平。此验证方法方便于模型设计,而且对于验证在一个已经制定的业务流程中的小变化的执行情况也会有一定帮助。BPEL- based workflow technique is widely used on the aspect of the enterprise process management. Present a framework for the simulation and formal analysis of workflow models. Then, a method to check correctness properties of workflows implemented in BPEL is proposed. Discuss： （1） How a workflow model, implemented in the BPEL language, can be transformed into a dataflow network model; （2） How potentially incorrect execution paths can be incorporated; （3） How the properties of a workflow can be formally verified using the SPIN model checker. For the several model transformation steps from workflow to analysis models, use graph transformations. This allows us to implement the workflow - PROMELA transformation in two steps, each a smaller step in abstraction level. The verification method is meant to be used at design time but could also be helpful to verify the implementation of a small change in an already enacted business process.

关 键 词：BPEL 工作流 验证 数据流网络 故障模拟 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]