基于语义推理工作流结构验证方法.pdfVIP

第12卷第6期 计算机集成制造系统 V01．12No．6 2 006年6月 ComputerIntegratedT订anufacturingSystems Jun．2OO6 文章编号：1006—5911(2006)06一0893一06 基于语义推理的工作流结构验证方法 凌鸿，周江波，胥正川 (复旦大学管理学院，上海200433) 摘要：为了验证工作流结构方面的问题，提出和证明了过程结构验证等同定理和无环工作流结构验证定理， 并在这两个定理的基础上，给出了基于语义推理的工作流结构验证算法。最后，在运算复杂程度、循环路由、死锁 和同步丢失等4个方面，与其他验证方法进行了比较。 关键词：工作流；工作流验证；过程 中图分类号：C93l 文献标识码：A Semanticdeduction—basedworknowstructureverificationmethod LING Ho，lg，ZHOUJfn7lg一60，XUZ矗鲫g一曲抛行 200433，China) (Sch．ofManagement，FudanUniv．，Shanghai Abst哺ct：Tosolvetheverificationofworkflowstructure，thestructureverificationtheorem problem process equal were and Basedonthesetwotheoremsand andthe workflowstructureverificationtheorem acyclic proposedproved． deduction—basedverificationwas with semantictables，semantic workflow algorithmproposed．Finallycomparisons methodswerecOnductedfromfour route，deadlockand otherverification aspects(computationcomplexity，iterative lackofsynchronization)． Keywords：workflow；workflowverification；process 工作流验证已经引起学术界和企业界的广泛关 0 引言 注。与系统开发一样，越晚探测到工作流过程模型 工作流(workflow)是一类能够完全或者部分中的错误，纠正它所付出的成本也就会越高H]。一 自动执行的经营过程，它根据一系列过程规则、文 个过程模型配置在工作流管理系统之前经过恰当的 档、信息和任务，能够在不同的执行者之间进行传递 定义、分析、验证和优化是十分必要的[5]。目前，活 management)是跃在市场上的工作流产品不下百余种，比较有代表 与执行[¨。工作流管理(workflow 对工作流的定义、执行、管理和控制[2]。工作流验证 性的是Staffware (workflowverification)是工作流管理的一个重要的MQseries、Action 组成部分，目