<abstract xmlns="http://www.w3.org/1999/xhtml"><p> Workflow systems are widely used in our daily life so that the validity, dependability and security with which they need to be assured are important. However, existing researches mainly focus on correctness validation, performance analysis and assignment scheduling, but the testing methods have been seldom suited. In this paper a formalized definition of workflows constrained by an input and output is presented, and based on that, a Petri Net-based model (I/O_WF_Net) is proposed. In I/O_WF_Net, the activities of the workflow can be modeled as transitions of a Petri Net, and the inputs and outputs of an activity can be modeled as places. After the modeling method for I/O constrained workflow net into the I/O_WF_Net model is described, the corresponding transforming algorithm and its simplifying method are given.</p></abstract>

Workflow systems are widely used in our daily life so that the validity, dependability and security with which they need to be assured are important. However, existing researches mainly focus on correctness validation, performance analysis and assignment scheduling, but the testing methods have been seldom suited. In this paper a formalized definition of workflows constrained by an input and output is presented, and based on that, a Petri Net-based model (I/O_WF_Net) is proposed. In I/O_WF_Net, the activities of the workflow can be modeled as transitions of a Petri Net, and the inputs and outputs of an activity can be modeled as places. After the modeling method for I/O constrained workflow net into the I/O_WF_Net model is described, the corresponding transforming algorithm and its simplifying method are given.

Modeling Workflow Systems Constrained by Inputs and Outputs − An Approach Based on Petri Nets

Institute of Command Information Systems, PLA University of Science and Technology, Nanjing, China

Cybernetics and Information Technologies

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.

Workflow systems are widely used in our daily life so that the validity, dependability and security with which they need to be assured are important. However,...

Modeling Workflow Systems Constrained by Inputs and Outputs − An Approach Based on Petri Nets

Publié en ligne: 26 nov. 2015

Pages: 27 - 41

DOI: https://doi.org/10.1515/cait-2015-0052

Mots clés
Workflow modeling, workflow testing, Petri Net, I/O_WF_Net

© by Changyou Zheng

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.

Modeling Workflow Systems Constrained by Inputs and Outputs − An Approach Based on Petri Nets

Publié en ligne: 26 nov. 2015

Pages: 27 - 41

DOI: https://doi.org/10.1515/cait-2015-0052

Mots clésWorkflow modeling, workflow testing, Petri Net, I/O_WF_Net

© by Changyou Zheng

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.

Mots clés
Workflow modeling, workflow testing, Petri Net, I/O_WF_Net