Automatic workflow graph refactoring and completion

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

Volumn 5364 LNCS, Issue , 2008, Pages 100-115

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

^a IBM RESEARCH ZURICH   (Switzerland)

^b UNIVERSITY OF STUTTGART   (Germany)

^c IBM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

BUSINESS PROCESS; CONTROL FLOWS; PROCESS STRUCTURE TREES; RUNTIME OPTIMIZATION; TERMINATION DETECTION; UML ACTIVITY DIAGRAMS; WORKFLOW GRAPH; WORKFLOW GRAPH PARSING;

FLOW GRAPHS;

EID: 58049114816     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-89652-4_11     Document Type: Conference Paper

References (13)

1. Ananian, C.S.: The static single information form. Master's thesis, Massachusetts Institute of Technology (September 1999)
2. Eder. J., Gruber, W., Pichler, H.: Transforming workflow graphs. In: INTEROP-ESA 2005, pp. 203-214 (2005)
3. Alves, A., et al.: Web Services Business Process Execution Language Version 2.0. OASIS Org. (2007)
4. Gschwind, T., Koehler, J., Wong, J.: Applying patterns during business process modeling. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 4-19. Springer, Heidelberg (2008)
5. Johnson, R., Pearson, D., Pingali, K.: The program structure tree: Computing control regions in linear time. In: PLDI 1994, pp. 171-185. ACM, New York (1994)
6. Kiepuszewski, B., ter Hofstede, A.H.M., Bussler, C.: On structured workflow modelling. In: Wangler, B., Bergman, L.D. (eds.) CAiSE 2000. LNCS, vol. 1789, pp. 431-445. Springer, Heidelberg (2000)
7. Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77(4), 541-580 (1989)
8. Sadiq, W., Orlowska, M.E.: Analyzing process models using graph reduction techniques. Inf. Syst. 25(2), 117-134 (2000)
9. van der Aalst, W.M.P., Hirnschall, A., Verbeek, H.M.W.: An alternative way to analyze work-flow 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)
10. 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)
11. 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)
12. Vanhatalo, J., Völzer, H., Leymann, F., Moser, S.: Automatic workflow graph refactoring and completion. IBM Research Report RZ 3715 (2008)
13. Zhang, F., D'Hollander, E.H.: Using hammock graphs to structure programs. IEEE Trans. Softw. Eng. 30(4), 231-245 (2004)