| 工作流合理性验证中的事件平衡分析 |
| |
| 引用本文： | 罗海滨,范玉顺,吴澄.工作流合理性验证中的事件平衡分析[J].软件学报,2002,13(8):1686-1691. |
| |
| 作者姓名： | 罗海滨 范玉顺 吴澄 |
| |
| 作者单位： | 清华大学,自动化系,北京,100084 |
| |
| 基金项目： | 国家863高科技发展计划资助项目(863-511-944-002) |
| |
| 摘 要： | 工作流合理性的验证是目前工作流研究领域尚未得到很好解决的一个问题,许多工作流管理系统都缺乏有效的方法和工具来保证工作流的合理性.从事件平衡的角度推导了合理工作流所具备的必要条件,提出工作流执行历史的事件平衡定理,并把事件平衡的计算引入工作流模型,用以分析模型中是否存在可能破坏工作流合理性的结构.这种分析方法不受具体工作流模型的限制,适用范围广,而且具有多项式时间的计算复杂度.
|
| 关 键 词： | 工作流 工作流合理性 事件平衡 |
| 文章编号： | 1000-9825/2002/13(08)1686-06 |
| 收稿时间： | 2001/3/26 0:00:00 |
| 修稿时间： | 2001年3月26日 |
Analysis of Event Balance in the Verification of Workflow Soundness |
| |
| LUO Hai-bin,FAN Yu-shun and WU Cheng.Analysis of Event Balance in the Verification of Workflow Soundness[J].Journal of Software,2002,13(8):1686-1691. |
| |
| Authors: | LUO Hai-bin FAN Yu-shun and 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. |
| |
| Keywords: | workflow workflow soundness event balance |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
