Business process verification - Finally a reality!

Business Process Management Journal

Volumn 15, Issue 1, 2009, Pages 74-92

  Wynn, M T ^a   Verbeek, H M W ^b   Van Der Aalst, W M P ^a,b   Ter Hofstede, A H M ^a   Edmond, D ^a  

^a QUEENSLAND UNIVERSITY OF TECHNOLOGY   (Australia)

^b EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Business process re engineering; Modelling; Programming languages

Indexed keywords

EID: 59349105887     PISSN: 14637154     EISSN: None     Source Type: Journal    
DOI: 10.1108/14637150910931479     Document Type: Article

References (29)

1. Berthelot, G. Brauer, W., Reisig, W., Rozenberg, G. Transformations and decompositions of nets Petri Nets: Central Models and Their Properties, Advances in Petri Nets, Proceedings of an Advanced Course, Part 1 Springer-Verlag Bad Honnef 1986 359-76 Vol. 254 of Lecture Notes in Computer Science
2. Bi, H., Zhao, J. Applying propositional logic to workflow verification Information Technology and Management 5 3-4 2004 293-318
3. Choi, Y., Zhao, J. Peled, D., Tsay, Y.-K. Decomposition-based verification of cyclic workflows Proceedings of Automated Technology for Verification and Analysis (ATVA 2005) Springer-Verlag Taipei 2005 84-98 Vol. 3707 of Lecture Notes in Computer Science
4. Dehnert, J., Rittgen, P. Dittrich, K., Geppert, A., Norrie, M. Relaxed soundness of business processes Proceedings of the 13th International Conference on Advanced Information Systems Engineering (CAiSE'01) Springer-Verlag London 2001 157-70 Vol. 2068 of Lecture Notes in Computer Science
5. Desel, J., Esparza, J. Free Choice Petri Nets Cambridge University Press Cambridge 1995 Vol. 40 of Cambridge Tracts in Theoretical Computer Science
6. Dufourd, C., Finkel, A., Schnoebelen, P. Larsen, K., Skyum, S., Winskel, G. Reset nets between decidability and undecidability Proceedings of the 25th International Colloquium on Automata, Languages and Programming 1443 Springer-Verlag Aalborg 1998 103-15 Vol. 1443 of Lecture Notes in Computer Science
7. Dufourd, C., Jaňcar, P., Schnoebelen, P. Wiedermann, J., Boas, P., Nielsen, M. Boundedness of reset P/T nets Lectures on Concurrency and Petri Nets Springer-Verlag Prague, Czech Republic 1999 301-10 Vol. 1644 of Lecture Notes in Computer Science
8. Finkel, A., Schnoebelen, P. Well-structured transition systems everywhere! Theoretical Computer Science 256 1-2 2001 63-92
9. Hee, K., Sidorova, N., Voorhoeve, M. Cortadella, J., Reisig, W. Generalised soundness of workflow nets is decidable Application and Theory of Petri Nets 2004 Springer-Verlag New York, NY 2004 Vol. 3099 of Lecture Notes in Computer Science
10. Kindler, E., Martens, A., Reisig, W. van der Aalst, W., Desel, J., Oberweis, A. Inter-operability of workflow applications: local criteria for global soundness Business Process Management: Models, Techniques, and Empirical Studies Springer-Verlag Berlin 2000 235-53 Vol. 1806 of Lecture Notes in Computer Science
11. Mendling, J., Moser, M., Neumann, G., Verbeek, H., Dongen, B., van der Aalst, W. Dustdar, S., Faideiro, J., Sheth, A. Faulty EPCs in the SAP reference model Springer-Verlag 2006 451-7 International Conference on Business Process Management (BPM 2006), Vol. 4102 of Lecture Notes in Computer Science
12. Murata, T. Petri nets: properties, analysis and applications Proceedings of the IEEE 77 4 1989 541-80
13. Sadiq, W., Orlowska, M. On correctness issues in conceptual modeling of workflows Proceedings of the 5th European Conference on Information Systems (ECIS' 97), Cork, Ireland 1997 19-21
14. Sadiq, W., Orlowska, M. Jarke, M., Oberweis, A. Applying graph reduction techniques for identifying structural conflicts in process models Proceedings of the 11th Conference on Advanced Information Systems Engineering (CAiSE 1999) Springer-Verlag Heidelberg 1999 195-209 Vol. 1626 of Lecture Notes in Computer Science
15. Sloan, R., Buy, U. Reduction rules for time Petri nets Acta Informatica 33 7 1996 687-706
16. van der Aalst, W. Azçema, P., Balbo, G. Verification of workflow nets Proceedings of Application and Theory of Petri Nets Springer-Verlag Toulouse 1997 407-26 Vol. 1248 of Lecture Notes in Computer Science
17. van der Aalst, W. The application of Petri nets to workflow management The Journal of Circuits, Systems and Computers 8 1 1998 21-66
18. van der Aalst, W. van der Aalst, W., Desel, J., Oberweis, A. Workflow verification: finding control-flow errors using Petri net-based techniques Proceedings of Business Process Management: Models, Techniques and Empirical Studies Springer-Verlag Berlin 2000 161-83 Vol. 1806 of Lecture Notes in Computer Science
19. van der Aalst, W., ter Hofstede, A. YAWL: yet another workflow language Information Systems 30 4 2005 245-75
20. van der Aalst, W., ter Hofstede, A., Kiepuszewski, B., Barros, A. Workflow patterns Distributed and Parallel Databases 14 2003 5-51
21. van der Aalst, W., van Hee, K. Workflow Management: Models, Methods and Systems MIT Press Cambridge, MA 2004
22. van Dongen, B., van der Aalst, W., Verbeek, H. Pastor, O., e Cunha, J.F. Verification of EPCs: using reduction rules and Petri nets Proceedings of the 17th Conference on Advanced Information Systems Engineering (CAiSE 2005) Springer-Verlag Porto 2005 372-86 Vol. 3520 of Lecture Notes in Computer Science
23. Verbeek, H. Verification of WF-nets Eindhoven University of Technology Eindhoven 2004
24. Verbeek, H., Basten, T., van der Aalst, W. Diagnosing workflow processes using Woflan The Computer Journal 44 4 2001 246-79
25. Verbeek, H., van der Aalst, W., ter Hofstede, A. Verifying workflows with cancellation regions and OR-joins: an approach based on relaxed soundness and invariants The Computer Journal 50 3 2006 294-314
26. Wynn, M. Semantics, verification, and implementation of workflows with cancellation regions and OR-joins Faculty of Information Technology, Queensland University of Technology, Brisbane 2006
27. Wynn, M., Edmond, D., van der Aalst, W., ter Hofstede, A. Ciardo, G., Darondeau, P. Achieving a general, formal and decidable approach to the OR-join in workflow using reset nets Proceedings of ATPN Springer-Verlag Miami 2005 423-43 Vol. 3536 of Lecture Notes in Computer Science
28. Wynn, M., Verbeek, H., van der Aalst, W., ter Hofstede, A., Edmond, D. Reduction rules for reset workflow nets 2006a Technical report BPM-06-25, BPM Center
29. Wynn, M., Verbeek, H., van der Aalst, W., ter Hofstede, A., Edmond, D. Reduction rules for workflows with cancellation regions and OR-joins 2006b Technical report BPM-06-24, BPM Center