On the suitability of correctness criteria for business process models

Lecture Notes in Computer Science

Volumn 3649, Issue , 2005, Pages 386-391

  Dehnert, Juliane ^a   Zimmermann, Armin ^b  

^a Fraunhofer Institute for Software and Systems Engineering (ISST)   (Germany)

^b TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

Petri nets; Validation of business process models; Workflow

Indexed keywords

COMPUTER SIMULATION; INFORMATION SCIENCE; MATHEMATICAL MODELS; PETRI NETS;

CORRECTNESS CRITERIA; RELAXED SOUNDNESS; VALIDATION OF BUSINESS PROCESS MODELS; WORKFLOW;

INDUSTRIAL MANAGEMENT;

EID: 27144555782     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11538394_28     Document Type: Conference Paper

References (12)

1. [Aal98] W.M.P. van der Aalst. The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, 8(1):21-66, 1998.
2. [BEA03] BEA Systems, IBM Corporation, Microsoft Corporation, SAP AG, Siebel Systems. Business Process Execution Language for Web Services (Version 1.1, 2003.
3. +03] P. Chrzastowski-Wachtel, B. Benatallah, R. Hamadi, M. O'Dell, and A. Susanto. A top-down petri net-based approach for dynamic workflow modeling. In W. van der Aalst, A. ter Hofstede, and M. Weske, editors, Int. Conf. on Business Process Management, volume 2678 of LNCS, pages 336-353. Springer, 2003.
4. [DE95] J. Desel and J. Esparza. Free. Choice Petri Nets. Cambridge University Press, 1995.
5. [DR01] J. Dehnert and P. Rittgen. Relaxed Soundness of Business Processes. In K.L. Dittrich, A. Geppert, and M.C. Norrie, editors, Advanced Information System Engineering, CAISE 2001, volume 2068 of LNCS, pages 157-170. Springer, 2001.
6. [DvdA04] J. Dehnert and W.M.P. van der Aalst. Bridging the Gap Between Business Models and Workflow Specifications. Int. Journal of Cooperative Information Systems (IJCIS), 13(3):289-332, 2004.
7. [DZ04] J. Dehnert and A. Zimmermann. Making Workflow Models Sound Using Petri Net Controller Synthesis. In R. Meersman and Z. Tari et.al., editors, Int. Conf. Cooperative Information Systems (CoopIS) 2004, volume 3290 of LNCS, pages 139-154, Cyprus, 2004.
8. [ES90] J. Esparza and M. Silva. Circuits, Handles, Bridges and Nets. In G. Rozenberg, editor, Advances in Petri Nets 1990, volume 483 of LNCS, pages 210-242. Springer, 1990.
9. [HSV04] K. van Hee, N. Sidorova, and M. Voorhoeve. Generalised Soundness of Workflow Nets is Decidable. In W. Reisig J. Cortadella, editor, Int. Conf. on Application and Theory of Petri Nets, volume 3099 of LNCS, pages 197-216. Springer, 2004.
10. [RD98] M. Reichert and P. Dadam. ADEPTflex: Supporting Dynamic Changes of Workflow without Loosing Control. Journal of Intelligent Information Systems, 10(2):93-129, 1998.
11. [UML02] Unified Modeling Language: version 1.4.2, ISO, 2002.
12. [Ver04] Eric Verbeek. Verification of WF-nets. PhD thesis, TU Eindhoven, 2004.