Simplified computation and generalization of the refined process structure tree

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

Volumn 6551 LNCS, Issue , 2011, Pages 25-41

  Polyvyanyy, Artem ^a   Vanhatalo, Jussi ^b   Völzer, Hagen ^c  

^a UNIVERSITY OF POTSDAM   (Germany)

^b Union Bank of Switzerland   (Switzerland)

^c IBM RESEARCH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

ARBITRARY DIRECTED GRAPHS; BUSINESS PROCESS; DIRECTED FLOW; DISCONNECTED GRAPH; MULTIPLE SOURCE; PROCESS STRUCTURES; SINGLE SOURCE; WORKFLOW GRAPH; WORKFLOW GRAPH PARSING;

ENTERPRISE RESOURCE MANAGEMENT; FORMAL METHODS; GRAPH THEORY; GRAPHIC METHODS; REFINING; WEB SERVICES;

TREES (MATHEMATICS);

ALGORITHMS; COMPUTATION; INTERNET;

EID: 79953067772     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-19589-1_2     Document Type: Conference Paper

References (19)

1. Vanhatalo, J., Volzer, H., Koehler, J.: The refined process structure tree. Data & Knowledge Engineering 68(9), 793-818 (2009)
2. García-Bañuelos, L.: Pattern identification and classification in the translation from BPMN to BPEL. In: Chung, S. (ed.) OTM 2008, Part I. LNCS, vol. 5331, pp. 436-444. Springer, Heidelberg (2008)
3. Polyvyanyy, A., García-Bañuelos, L., Weske, M.: Unveiling hidden unstructured regions in process models. In: Meersman, R., Dillon, T., Herrero, P. (eds.) OTM 2009. LNCS, vol. 5870, pp. 340-356. Springer, Heidelberg (2009)
4. Fahland, D., Favre, C., Jobstmann, B., Koehler, J., Lohmann, N., Volzer, H., Wolf, K.: Instantaneous soundness checking of industrial business process models. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. LNCS, vol. 5701, pp. 278-293. Springer, Heidelberg (2009)
5. Johnson, R., Pearson, D., Pingali, K.: The program structure tree: Computing control regions in linear time. In: PLDI, pp. 171-185 (1994)
6. Johnson, R.: Efficient Program Analysis using Dependence Flow Graphs. PhD thesis, Cornell University, Ithaca, NY, USA (1995)
7. Vanhatalo, J., Volzer, H., Leymann, F.: Faster and more focused control-flow analysis for business process models though SESE decomposition. In: Kramer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 43-55. Springer, Heidelberg (2007)
8. Kuster, J.M., Gerth, C., Forster, A., Engels, G.: Detecting and resolving process model differences in the absence of a change log. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 244-260. Springer, Heidelberg (2008)
9. Polyvyanyy, A., Smirnov, S., Weske, M.: The triconnected abstraction of process models. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. LNCS, vol. 5701, pp. 229-244. Springer, Heidelberg (2009)
10. Vanhatalo, J., Volzer, H., Leymann, F., Moser, S.: Automatic workflow graph refactoring and completion. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol. 5364, pp. 100-115. Springer, Heidelberg (2008)
11. Battista, G.D., Tamassia, R.: On-line maintenance of triconnected components with SPQR-trees. Algorithmica 15(4), 302-318 (1996) (Pubitemid 126417566)
12. 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)
13. Tarjan, R.E., Valdes, J.: Prime subprogram parsing of a program. In: POPL 1980, pp. 95-105. ACM, New York (1980)
14. Gutwenger, C., Mutzel, P.: A linear time implementation of SPQR-trees. In: Marks, J. (ed.) GD 2000. LNCS, vol. 1984, pp. 77-90. Springer, Heidelberg (2001) (Pubitemid 33243320)
15. Hopcroft, J., Tarjan, R.E.: Dividing a graph into triconnected components. SIAM J. Comput. 2(3), 135-158 (1973)
16. Polyvyanyy, A., Vanhatalo, J., Volzer, H.: Simplified computation and generalization of the refined process structure tree. Technical Report RZ 3745, IBM (2009)
17. Curran, T., Keller, G., Ladd, A.: SAP R/3 Business Blueprint: Understanding the Business Process Reference Model. Prentice-Hall, Inc., Upper Saddle River (1997)
18. Vanhatalo, J.: Process structure trees: Decomposing a business process model into a hierarchy of single-entry-single-exit fragments. PhD thesis, University of Stuttgart, Germany, vol. 1573, dissertation.de - Verlag im Internet (July 2009) ISBN: 978-3-86624-473-3
19. Valdes, J.: Parsing Flowcharts and Series-Parallel Graphs. PhD thesis, Stanford University, CA, USA (1978)