Faster and more focused control-flow analysis for business process models through SESE decomposition

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

Volumn 4749 LNCS, Issue , 2007, Pages 43-55

  Vanhatalo, Jussi ^a,b   Völzer, Hagen ^a   Leymann, Frank ^b  

^a IBM RESEARCH ZURICH   (Switzerland)

^b UNIVERSITY OF STUTTGART   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DATA REDUCTION; DATA STRUCTURES; ERROR ANALYSIS; INFORMATION MANAGEMENT; TIME DELAY; WORLD WIDE WEB;

BUSINESS PROCESS MODELS; CONTROL-FLOW ANALYSIS;

ADMINISTRATIVE DATA PROCESSING;

EID: 38349014920     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-74974-5_4     Document Type: Conference Paper

References (18)

1. Scott Ananian, C.: The static single information form. Master's thesis, Massachusetts Institute of Technology (September 1999)
2. Desel, J., Esparza, J.: Free Choice Petri Nets. Cambridge University Press, Cambridge (1995)
3. Esparza, J.: Reduction and synthesis of live and bounded free choice Petri nets. Inf. Comput. 114(1), 50-87 (1994)
4. Hauser, R., Friess, M., Küster, J.M., Vanhatalo, J.: An incremental approach to the analysis and transformation of workflows using region trees. IEEE Transactions on Systems, Man, and Cybernetics - Part C (June 2007) (to appear, also available as IBM Research Report RZ 3693)
5. Johnson, R., Pearson, D., Pingali, K.: The program structure tree: Computing control regions in linear time. In: PLDI. Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation, pp. 171-185. ACM Press, New York (1994)
6. Kemper, P.: Linear time algorithm to find a minimal deadlock in a strongly connected free-choice net. In: Ajmone Marsan, M. (ed.) Application and Theory of Petri Nets 1993. LNCS, vol. 691, pp. 319-338. Springer, Heidelberg (1993)
7. Lin, H., Zhao, Z., Li, H., Chen, Z.: A novel graph reduction algorithm to identify structural conflicts. In: HICSS-35 2002. Proceedings of the 35th Hawaii International Conference on System Sciences, p. 289 (2002)
8. Mendling, J.: Detection and Prediction of Errors in EPC Business Process Models. PhD thesis, Vienna University of Economics and Business Administration (WU Wien), Austria (May 2007)
9. Mendling, J., Moser, M., Neumann, G., Verbeek, H.M.W., van Dongen, B.F., van der Aalst, W.M.P.: Faulty EPCs in the SAP reference model. In: Dustdar, S., Fiadeiro, J.L., Sheth, A. (eds.) BPM 2006. LNCS, vol. 4102, pp. 451-457. Springer, Heidelberg (2006)
10. Perumal, S., Mahanti, A.: A graph-search based algorithm for verifying workflow graphs. In: DEXA 2005. Proceedings of the 16th International Workshop on Database and Expert Systems Applications, pp. 992-996. IEEE Computer Society, Los Alamitos (2005)
11. Sadiq, W., Orlowska, M.E.: Analyzing process models using graph reduction techniques. Inf. Syst. 25(2), 117-134 (2000)
12. Valette, R.: Analysis of Petri nets by stepwise refinements. Journal of Computer and System Sciences 18(1), 35-46 (1979)
13. van der Aalst, W.M.P.: Workflow verification: Finding control-flow errors using Petri-net-based techniques. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 161-183. Springer, Heidelberg (2000)
14. van der Aalst, W.M.P., Hirnschall, A. (Eric) Verbeek, H.M.W.: 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)
15. van Dongen, B.F., van der Aalst, W.M.P., Verbeek, H.M.W.: Verification of EPCs: Using reduction rules and Petri nets. In: Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 372-386. Springer, Heidelberg (2005)
16. Vanhatalo, J., Völzer, H., Leymann, F.: Faster and more focused control-flow analysis for business process models though SESE decomposition. IBM Research Report RZ 3694 (July 2007)
17. (Eric) Verbeek, H.M.W., Basten, T., van der Aalst, W.M.P.: Diagnosing workflow processes using Woflan. Comput. J. 44(4), 246-279 (2001)
18. Zerguini, L.: A novel hierarchical method for decomposition and design of workflow models. Journal of Integrated Design and Process Science 8(2), 65-74 (2004)