Verification of workflow nets with transition conditions |
| |
Authors: | Zhao-xia WANG Jian-min WANG Xiao-chen ZHU Li-jie WEN |
| |
Affiliation: | 1,3,4(1 School of Software,Tsinghua University,Beijing 100084,China) (2 Department of Computer Science and Technology,Tsinghua University,Beijing 100084,China) (3 MOE Key Laboratory for Information System Security,Tsinghua University,Beijing 100084,China) (4 National Laboratory for Information Science and Technology,Tsinghua University,Beijing 100084,China) (5 Department of Logistical Information & Engineering,Logistical Engineering University,Chongqing 400016,China) |
| |
Abstract: | Workflow management is concerned with automated support for business processes.Workflow management systems are driven by process models specifying the tasks that need to be executed,the order in which they can be executed,which resources are authorised to perform which tasks,and data that is required for,and produced by,these tasks.As workflow instances may run over a sustained period of time,it is important that workflow specifications be checked before they are deployed.Workflow verification is usually concerned with control-flow dependencies only;however,transition conditions based on data may further restrict possible choices between tasks.In this paper we extend workflow nets where transitions have concrete conditions associated with them,called WTC-nets.We then demonstrate that we can determine which execution paths of a WTC-net that are possible according to the control-flow dependencies,are actually possible when considering the conditions based on data.Thus,we are able to more accurately determine at design time whether a workflow net with transition conditions is sound. |
| |
Keywords: | Workflow nets Transition condition Verification Process model |
本文献已被 CNKI 等数据库收录! |
|