Verification of workflow nets with transition conditions
Verification of workflow nets with transition conditions
复制标题
验证具有转换条件的工作流网络
DOI：
10.1631/jzus.c1100364
复制
发表时间：
2012-07
期刊：
影响因子：
--
通讯作者：
Wen Li-jie
中科院分区：
文献类型：
--
作者：
Wang Zhao-xia;Wang Jian-min;Zhu Xiao-chen;Wen Li-jie
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.
登录
查看更多内容
DOI：
10.1504/ijbpim.2009.026985
发表时间：
2007-07
期刊：
IEEE International Conference on Services Computing (SCC 2007)
影响因子：
--
作者：
W. Amme;Axel Martens;Simon Moser
通讯作者：
W. Amme;Axel Martens;Simon Moser
DOI：
10.1007/3-540-63139-9_48
发表时间：
1997-06
期刊：
--
影响因子：
--
作者：
Wil M.P. van der Aalst
通讯作者：
Wil M.P. van der Aalst
DOI：
10.1007/978-3-319-89960-2
发表时间：
2018
期刊：
--
影响因子：
--
作者：
Dirk Beyer;Marieke Huisman
通讯作者：
Dirk Beyer;Marieke Huisman
DOI：
10.1007/978-3-030-17465-1
发表时间：
2019
期刊：
Tools and Algorithms for the Construction and Analysis of Systems
影响因子：
--
作者：
Tomáš Vojnar;Lijun Zhang
通讯作者：
Tomáš Vojnar;Lijun Zhang
DOI：
10.1007/s10009-006-0221-5
发表时间：
2004-04
影响因子：
1.5
作者：
K. Jensen;A. Podelski
通讯作者：
K. Jensen;A. Podelski