Please wait a minute...
FITEE
Front. Inform. Technol. Electron. Eng.  2012, Vol. 13 Issue (7): 483-509    DOI: 10.1631/jzus.C1100364
    
Verification of workflow nets with transition conditions
Zhao-xia Wang, Jian-min Wang, Xiao-chen Zhu, Li-jie Wen
School of Software, Tsinghua University, Beijing 100084, China; Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China; MOE Key Laboratory for Information System Security, Tsinghua University, Beijing 100084, China; National Laboratory for Information Science and Technology, Tsinghua University, Beijing 100084, China; Department of Logistical Information & Engineering, Logistical Engineering University, Chongqing 400016, China
Verification of workflow nets with transition conditions
Zhao-xia Wang, Jian-min Wang, Xiao-chen Zhu, Li-jie Wen
School of Software, Tsinghua University, Beijing 100084, China; Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China; MOE Key Laboratory for Information System Security, Tsinghua University, Beijing 100084, China; National Laboratory for Information Science and Technology, Tsinghua University, Beijing 100084, China; Department of Logistical Information & Engineering, Logistical Engineering University, Chongqing 400016, China
 全文: PDF 
摘要： 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.
关键词： Workflow nets;  Transition condition;  Verification;  Process model    
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.
Key words: Workflow nets    Transition condition    Verification    Process model
收稿日期: 2011-12-08 出版日期: 2012-07-06
CLC:  TP311  
服务　　
把本文推荐给朋友
加入引用管理器
E-mail Alert
RSS
作者相关文章　　
Zhao-xia Wang
Jian-min Wang
Xiao-chen Zhu
Li-jie Wen

引用本文:

Zhao-xia Wang, Jian-min Wang, Xiao-chen Zhu, Li-jie Wen. Verification of workflow nets with transition conditions. Front. Inform. Technol. Electron. Eng., 2012, 13(7): 483-509.

链接本文:

http://www.zjujournals.com/xueshu/fitee/CN/10.1631/jzus.C1100364    或    http://www.zjujournals.com/xueshu/fitee/CN/Y2012/V13/I7/483

[1] Gabriela Magureanu, Madalin Gavrilescu, Dan Pescaru. Validation of static properties in unified modeling language models for cyber physical systems[J]. Front. Inform. Technol. Electron. Eng., 2013, 14(5): 332-346.