A Modelling Approach for Workflow Constrained by Inputs and Outputs

• Autorzy: Zheng C. , Huang S. , Liu X. , Yao Y.

Warianty tytułu

PL

Modelowanie przepływu pracy (workflow) z ograniczeniami dla wejść i wyjść

• Języki publikacji: EN

Abstrakty

EN

Workflow systems have been studied for years, but there is not so much research in workflow testing. The key point for workflow testing is to model a workflow. In this paper, a formalized definition of workflow constrained by inputs and outputs is presented first. Based on the definition and the traditional Petri Net, a kind of I/O_WF_NET model is proposed. In that model, the activities of the workflow are modelled as transitions and the inputs and outputs of an activity are modelled as places. The modelling approach for workflow constrained by inputs and outputs is also presented. And a case study is given to show how to apply this approach and the validity of the proposed modelling method.

PL

W artykule przedstawiono model przepływu pracy (workflow), oparty na schemacie Petri Net. Wstępnie zdefiniowano sam model wraz z ograniczeniami wejść i wyjść. Na tej podstawie prowadzono dalsze prace. Opisano sposób modelowania przepływu informacji oraz elementów wejścia i wyjścia. Przeprowadzono także badanie warunkach rzeczywistych w celu weryfikacji proponowanego modelu.

Słowa kluczowe

EN

workflow modeling; workflow testing; I/O Constrained workflow; Petri net

PL

modelowanie przepływu pracy; testowanie przepływu pracy; ograniczenia I/O przepływu pracy; sieć Petriego

• Wydawca: Wydawnictwo SIGMA-NOT
• Czasopismo: Przegląd Elektrotechniczny
• Rocznik: 2013
• Tom: R. 89, nr 3b
• Strony: 156--160
• Opis fizyczny: Bibliogr. 17 poz., schem., tab.

Twórcy

autor

Zheng C.

• Institute of Command Automation, PLA University of Science and Technology, Nanjing, China

autor

Huang S.

• Institute of Command Automation, PLA University of Science and Technology, Nanjing, China

autor

Liu X.

• Institute of Command Automation, PLA University of Science and Technology, Nanjing, China

autor

Yao Y.

• Institute of Command Automation, PLA University of Science and Technology, Nanjing, China

Bibliografia

• [1] Jin L.,Jian W.. A Linear Logic Representation for BPEL Process Protocol. Applied Mathematics & Information Sciences. 5(2011), No. 2, 25S-31S.
• [2] Karniel, Y. Reich. Formalizing a Workflow-Net Implementation of Design-Structure-Matrix-Based Process Planning for New Product Development. IEEE Trans. Syst., Man, Cybern. A, Syst., Humans. 41(2011),No. 3, 476-491.
• [3] Nichols, H. Demirkan, and M. Goul. Autonomic workflow executionin the grid. IEEE Trans. Syst., Man, Cybern. C, Appl. Rev. 36(2006),No 3, 353–364.
• [4] M. P. van der Aalst, T. Weijters, and L. Maruster. Workflow mining: Discovering process models from event logs. IEEE Trans. Knowl. Data Eng. 16(2004). No. 9, 1128–1142.
• [5] Hwang, C. Lin, etc. A Framework and Language Support for Automatic Dynamic Testing of Workflow Management Systems. 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering. (2009), 139-146.
• [6] Karam, W. Keirouz, R. Hage. An Abstract Model for Testing MVC and Workflow Based Web Applications. Proceedings of the Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services. (2006).
• [7] Quan, X. Lin, J. Wang. An Automatic and Scalable Testing Tool for Workflow Systems. The 3rd International Conference on Grid and Pervasive Computing – Workshops. (2008),75-80.
• [8] Bartz. Workflow for Automotive Test Data Analysis Based on Petri Nets and Stored by ASAM ODS.
• [9] Wang ,Q. Zeng. Modeling and Analysis for Workflow Constrained by Resources and Nondetermined Time-An Approach Based on Petri Nets. IEEE Trans. Syst., Man, Cybern. A, Syst., Humans. 38(2008), No. 4, 802-816.
• [10]Pang, C. Jiang. Workflow Performance Analysis Based on Invariant Decomposition Algorithm. Chinese Journal of Computers. 33(2010), 5, 908-918.
• [11]Y. Yu, Y. Tang, etc. Temporal Workflow Process Model and Its Soundness Verification. Journal of Software. 21(2010), No. 6, 1233−1253.
• [12]Munir. Merdan, Thomas Moser, etc. Simulation of Workflow Scheduling Strategies Using the MAST Test Management System. 10th Intl. Conf. on Control, Automation, Robotics and Vision. (2008), 1172-1177.
• [13]J. Wang, D Rosca, W Tepfenhart, etc. Dynamic Workflow Modeling and Analysis in Incident Command Systems. IEEE Trans. Syst., Man, Cybern. A, Syst., Humans. 38(2008), No. 5, 1041-1055.
• [14]Y. Du, C. Jiang, M. Zhou. Modeling and Analysis of Real-Time Cooperative Systems Using Petri Nets. IEEE Trans. Syst., Man, Cybern. A, Syst., Humans. 37 (2007) 5, 643-654.
• [15]C. A. Petri, Kommunikation mit automaten, Ph.D. dissertation, Inst. Instrumentelle Math., Bonn, Germany, 1962.
• [16]W. Reisig, Petri nets: An introduction, in Monographs in Theoretical Computer Science: An EATCS Series, 4(1985). Berlin, Germany: Springer-Verlag,.
• [17]T. Murata, Petri nets: Properties, analysis and applications, Proc. IEEE. 77(1989), No.4, 541–580.