| 摘要: |
| 工作流合理性的验证是目前工作流研究领域尚未得到很好解决的一个问题,许多工作流管理系统都缺乏有效的方法和工具来保证工作流的合理性.从事件平衡的角度推导了合理工作流所具备的必要条件,提出工作流执行历史的事件平衡定理,并把事件平衡的计算引入工作流模型,用以分析模型中是否存在可能破坏工作流合理性的结构.这种分析方法不受具体工作流模型的限制,适用范围广,而且具有多项式时间的计算复杂度. |
| 关键词: 工作流 工作流合理性 事件平衡 |
| DOI： |
| 分类号: |
| 基金项目:国家863高科技发展计划资助项目(863-511-944-002) |
|
| Analysis of Event Balance in the Verification of Workflow Soundness |
|
LUO Hai-bin,FAN Yu-shun,WU Cheng
|
| Abstract: |
| Verification of workflow soundness is a problem that has not been solved well in the workflow research. Many workflow management systems lack of the effective tolls which can guarantee the correctness of workflow. In this paper, a necessary condition of sound workflow based on the event balance is put forward. Theorem of event balance in the workflow execution history is proved. Also the calculation of event balance is introduced in the workflow model in order to analyze the model structure which may destroy the soundness of workf;ow.This method is not bouud to any specific workflow model so that it can be used in a wide range of models.Also this method can be finished in polynomial time. |
| Key words: workflow workflow soundness event balance |
