A Method to Verify the Soundness of Workflow Control Logic

摘要：

Verification of workflow soundness is an importantproblem in the current workflow research area, but thisproblem has not been solved well. Many WfMSs probablycreate wrong workflow models, so the running ofworflow will be abnormal. Theorem of event balance isintroduced in Reference 3. A necessary condition toverify workflow logical soundness is proposed byanalyzing the soundness of local workflow. But how toverify the soundness of a whole workflow is notintroduced. In this paper, a workflow model based on adouble-road conditional directed graph is created and amethod to verify the soundness of a whole workflow isproposed. The experiential results prove that the methodis feasible.

作者: Lei Gong Hai-yang Wang

作者单位: School of Computer Science and Technology,Shandong University,Jinan,Shandong,China(250061)

会议类型: 国际会议

会议名称: The 8th International Conference on Computer Supported Cooperative Work in Design(第八届计算机支持的协同工作设计国际会议)(CSCWD2004)

会议地点: 厦门

会议语种:英文

页码: 384-388

在线出版日期: 2004-05-26（万方平台首次上网日期，不代表论文的发表时间）