Locating and Controlling Unsound Transitions in Workflow Systems Based on Workflow Net With Data Constraints
Locating and Controlling Unsound Transitions in Workflow Systems Based on Workflow Net With Data Constraints
复制标题
基于数据约束的工作流网络的工作流系统中不健全转换的定位与控制
DOI：
10.1109/access.2018.2876904
复制
发表时间：
2018-10
期刊：
影响因子：
3.9
通讯作者：
J. Wang
中科院分区：
文献类型：
--
作者：
Y. He;G. Liu;C. Yan;C. Jiang;J. Wang
数据对工作流系统正确性的分析有很大影响。如何确保一个系统在没有数据错误的情况下运行是非常重要的。带有数据约束的工作流网（WFDC - 网）是一种善于指定……的正式模型（原句此处不完整）
Data has a great influence on the analysis of the correctness of workflow systems. How to ensure that a system runs without data errors is very important. Workflow nets with data constraints (WFDC-nets) are a kind formal model that is good at specifying data oriented functional requirements in workflow systems. A sound WFDC-net can guarantee that the system is not only functionally correct but also meets all data requirements. Methods and tools for the soundness verification of WFDC-nets have been designed. However, how to locate unsound transitions in a WFDC-net and then effectively control them is still an open topic. This paper attempts to solve the issue and gives methods to optimize unsound workflow systems in design stage. In our solution, we first construct a minimal complete configuration tree based on the configuration graph with data constraints (C-graph) of the WFDC-net, and then we define four kinds of paths and algorithms to characterize unsound transitions. Furthermore, a pseudo intermediate set is constructed according to different paths and unsound transitions. Based on it, a 4-step controlling strategy is taken to optimize the system and finally makes the controlled system satisfy the data requirements. An e-commerce system is used to illustrate the feasibility and effectiveness of the proposed methods.
登录
查看更多内容
DOI：
10.1016/j.is.2014.07.007
发表时间：
2015-03
期刊：
Inf. Syst.
影响因子：
--
作者：
M. T. Gómez-López;R. M. Gasca;José Miguel Pérez-Álvarez
通讯作者：
M. T. Gómez-López;R. M. Gasca;José Miguel Pérez-Álvarez
DOI：
10.1109/icpads.2016.0073
发表时间：
2016-12
期刊：
2016 IEEE 22nd International Conference on Parallel and Distributed Systems (ICPADS)
影响因子：
--
作者：
Dongming Xiang;Guanjun Liu;Chungang Yan;Changjun Jiang
通讯作者：
Dongming Xiang;Guanjun Liu;Chungang Yan;Changjun Jiang
DOI：
10.1142/9789813146426_0005
发表时间：
2017
期刊：
--
影响因子：
--
作者：
De-qin Shu;Hao Fan;Liang Zhang;Cheng-ming Zhang
通讯作者：
De-qin Shu;Hao Fan;Liang Zhang;Cheng-ming Zhang
DOI：
10.1109/tsmca.2012.2183357
发表时间：
2012-07
期刊：
IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans
影响因子：
--
作者：
María José Ibáñez;Javier Fabra;P. Álvarez;J. Ezpeleta
通讯作者：
María José Ibáñez;Javier Fabra;P. Álvarez;J. Ezpeleta
基于Petri网展开技术的数据不一致检测
影响因子：
12.3
作者：
Dongming Xiang;Guanjun Liu;CG Yan;CJ Jiang
通讯作者：
CJ Jiang