Checking Properties of Adaptive Workflow Nets

• Autorzy: van Hee K. , Oanea O. , Serebrenik A. , Sidorova N. , Voorhoeve M. , Lomazova I.A.
• Języki publikacji: EN

Abstrakty

EN

In this paper we consider adaptive workflow nets, a class of nested nets that allows more comfort and expressive power for modeling adaptability and exception handling in workflow nets. We define two important behavioural properties of adaptive workflow nets: soundness and circumspectness. Soundness means that a proper final marking (state) can be reached from any marking which is reachable from the initial marking, and no garbage will be left. Circumspectness means that the upper layer is always ready to handle any exception that can happen in a lower layer. We define a finite state abstraction for adaptive workflow nets and show that soundness and circumspectness can be verified on this abstraction.

Słowa kluczowe

EN

verification; adaptive workflow; soundness; circumspectness

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2007
• Tom: Vol. 79, nr 3-4
• Strony: 347--362
• Opis fizyczny: bibliogr. 22 poz., wykr.

Twórcy

autor

van Hee K.

autor

Oanea O.

autor

Serebrenik A.

autor

Sidorova N.

autor

Voorhoeve M.

autor

Lomazova I.A.

• Department of Mathematics and Computer Science, Eindhoven University of Technology, P.O.Box 513, 5600 MB Eindhoven, The Netherlands,

Bibliografia

• [1] The CPN Tools Homepage, http://www.daimi.au.dk/CPNtools.
• [2] van der Aalst,W. M. P.: Verification of Workflow Nets, Proc. of ICATPN'1997 (P. Azéma, G. Balbo, Eds.), 1248, Springer, 1997.
• [3] van der Aalst,W. M. P., Basten, T., Verbeek, H. M. W., Verkoulen, P. A. C., Voorhoeve, M.: Adaptive Workflow-On the Interplay between Flexibility and Support, ICEIS'99, 1999.
• [4] van der Aalst,W. M. P., van Hee, K.: Workflow Management: Models, Methods, and Systems, MIT Press, 2002.
• [5] van der Aalst,W. M. P., ter Hofstede, A. H. M., Kiepuszewski, B., Barros, A. P.: Workflow Patterns., Distributed and Parallel Databases, 14(1), 2003, 5-51.
• [6] van der Aalst,W. M. P., Moldt, D., Valk, R., Wienberg, F.: Enacting Interorganizational Workflows Using Nets in Nets, Proc. of Workflow Management'99, 1999.
• [7] Adams,M., ter Hofstede, A. H.M., Edmond,D., van der Aalst,W.M. P.: Facilitating Flexibility and Dynamic Exception Handling in Workflows through Worklets., CAiSE Short Paper Proceedings (O. Belo, J. Eder, J. Falcão e Cunha, O. Pastor, Eds.), 161, CEUR-WS.org, 2005.
• [8] Best, E., Koutny, M.: Process Algebra: A Petri-Net-Oriented Tutorial., Lectures on Concurrency and Petri Nets, 3098, Springer, 2004.
• [9] Biberstein, O., Buchs, D., Guelfi, N.: Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism., ConcurrentObject-Oriented Programming and Petri Nets (G. Agha, F. de Cindio, G. Rozenberg, Eds.), 2001, Springer, 2001.
• [10] Dickson, L. E.: Finiteness of the Odd Perfect and Promitive Abundant Numbers with n distictive Prime factors, American Journal of Mathematics, 35(4), 1913, 413-422.
• [11] Fent, A., Reiter, H., Freitag, B.: Design for Change: Evolving Workflow Specifications in ULTRAflow, CAiSE 2002 (A. B. Pidduck, J. Mylopoulos, C. C. Woo, M. T. özsu, Eds.), 2348, Springer, 2002.
• [12] van Hee, K., Lomazova, I. A., Oanea, O., Serebrenik, A., Sidorova, N., Voorhoeve, M.: Nested Nets for Adaptive Systems, ICATPN'06, 4024, 2006.
• [13] van Hee, K., Sidorova, N., Voorhoeve, M.: Generalized Soundness of Workflow Nets is Decidable, Proc. Of ICATPN'2004, 3099, 2004.
• [14] Köhler, M., Rölke, H.: Reference and Value Semantics Are Equivalent for Ordinary Object Petri Nets., ICATPN 2005, 3536, Springer, 2005.
• [15] Lakos, C.: From Coloured Petri Nets to Object Petri Nets, ATPN'95, 935, Springer, 1995.
• [16] Lomazova, I. A.: Nested Petri Nets - a Formalism for Specification and Verification of Multi-Agent Distributed Systems., Fundamenta Informaticae, 43(1-4), 2000, 195-214.
• [17] Lomazova, I. A.: Nested Petri Nets: Multi-level and Recursive Systems., Fundamenta Informaticae, 47(3-4), 2001, 283-293.
• [18] Lomazova, I. A., Schnoebelen, P.: Some Decidability Results for Nested Petri Nets., Ershov Memorial Conference, 1755, Springer, 1999.
• [19] Moldt, D., Wienberg, F.: Multi-Agent-Systems Based on Coloured Petri Nets., ICATPN'97 (P. Azéma, G. Balbo, Eds.), 1248, Springer, 1997.
• [20] Rinderle, S., Reichert, M., Dadam, P.: Correctness criteria for dynamic changes in workflow systems - a survey., Data Knowl. Eng., 50(1), 2004, 9-34.
• [21] Valk, R.: Object Petri Nets: Using the Nets-within-Nets Paradigm., Lectures on Concurrency and Petri Nets (J. Desel, W. Reisig, G. Rozenberg, Eds.), 3098, Springer, 2003.
• [22] Verbeek, H. M. W., Basten, T., van der Aalst, W. M. P.: Diagnosing Workflow Processes using Woflan, The Computer Journal, 44(4), 2001, 246-279.