Instantaneous soundness checking of industrial business process models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5701 LNCS, Issue , 2009, Pages 278-293

  Fahland, Dirk ^a   Favre, Cédric ^b   Jobstmann, Barbara ^d   Koehler, Jana ^b   Lohmann, Niels ^c   Völzer, Hagen ^b   Wolf, Karsten ^c  

^a HUMBOLDT UNIVERSITY   (Germany)

^b IBM RESEARCH ZURICH   (Switzerland)

^c UNIVERSITY OF ROSTOCK   (Germany)

^d EPFL   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

BUSINESS PROCESS; BUSINESS PROCESS MODEL; CONTROL-FLOW ANALYSIS; DIAGNOSTIC INFORMATION; FINANCIAL SERVICE; PETRI NET MODELS; TECHNIQUES USED;

ENTERPRISE RESOURCE MANAGEMENT; GRAPH THEORY; PETRI NETS; PROCESS MONITORING; PULSATILE FLOW;

MODEL CHECKING;

EID: 70349303600     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-03848-8_19     Document Type: Conference Paper

References (18)

1. Mendling, J.: Empirical Studies in Process Model Verification. Trans. Petri Nets and Other Models of Concurrency (ToPNoC) 2, 208-224 (2009)
2. van der Aalst, W.M.P., Hirnschall, A., Verbeek, H.M.W(E.): An alternative way to analyze workflow graphs. In: Pidduck, A.B., Mylopoulos, J., Woo, C.C., Ozsu, M.T. (eds.) CAiSE 2002. LNCS, vol. 2348, pp. 535-552. Springer, Heidelberg (2002)
3. Verbeek, H.M.W.E., Basten, T., van der Aalst, W.M.P.: Diagnosing Workflow Processes using Woflan. Comput. J. 44(4), 246-279 (2001)
4. Wolf, K.: Generating petri net state spaces. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol. 4546, pp. 29-42. Springer, Heidelberg (2007)
5. Vanhatalo, J., Völzer, H., Leymann, F.: Faster and more focused control-flow analysis for business process models through SESE decomposition. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 43-55. Springer, Heidelberg (2007)
6. van Dongen, B.F., Jansen-Vullers, M., Verbeek, H.M.W.E., van der Aalst, W.M.P.: Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants. Comput. Ind. 58(6), 578-601 (2007)
7. Mendling, J., Neumann, G., van der Aalst,W.M.P.: Understanding the occurrence of errors in process models based on metrics. In: Meersman, R., Tari, Z. (eds.) OTM 2007, Part I. LNCS, vol. 4803, pp. 113-130. Springer, Heidelberg (2007)
8. Mendling, J.: Detection and Prediction of Errors in EPC Business Process Models. PhD thesis, Vienna University of Economics and Business Administration (May 2007)
9. Mendling, J., Verbeek, H.M.W.E., van Dongen, B.F., van der Aalst, W.M.P., Neumann, G.: Detection and prediction of errors in EPCs of the SAP reference model. Data Knowl. Eng. 64(1), 312-329 (2008)
10. Wynn, M., Verbeek, H.M.W.E., van der Aalst, W.M.P., ter Hofstede, A.H.M.: Business process verification: Finally a reality! Business Process Management Journal 15(1), 74-92 (2009)
11. Fahland, D.: Translating UML2 activity diagrams to Petri nets. Informatik-Berichte 226, Humboldt-Universität zu Berlin, Berlin, Germany (2008)
12. Desel, J., Esparza, J.: Free Choice Petri Nets. Cambridge University Press, New York (1995)
13. Kiepuszewski, B., ter Hofstede, A.H.M., van der Aalst, W.M.P.: Fundamentals of control flow in workflows. Acta Inf. 39(3), 143-209 (2003)
14. LoLA v1.11, http://service-technology.org/lola
15. Valmari, A.: Stubborn sets for reduced state space generation. In: Rozenberg, G. (ed.) APN 1990. LNCS, vol. 483, pp. 491-515. Springer, Heidelberg (1991)
16. UML2oWFN compiler, http://service-technology.org/uml2owfn
17. Murata, T.: Petri nets: Properties, analysis and applications. Proc. of the IEEE 77(4), 541-580 (1989)
18. Vanhatalo, J., Völzer, H., Koehler, J.: The refined process structure tree. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 100-115. Springer, Heidelberg (2008)