Structuring acyclic process models

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

Volumn 6336 LNCS, Issue , 2010, Pages 276-293

  Polyvyanyy, Artem ^a   García Bañuelos, Luciano ^b   Dumas, Marlon ^b  

^a UNIVERSITY OF POTSDAM   (Germany)

^b UNIVERSITY OF TARTU   (Estonia)

Author keywords

[No Author keywords available]

Indexed keywords

ADMINISTRATIVE DATA PROCESSING; ENTERPRISE RESOURCE MANAGEMENT;

ARBITRARY TOPOLOGY; AUTOMATED METHODS; BISIMULATIONS; PROCESS MODEL; PROCESS MODELING; STRUCTURED MODEL; STRUCTURED PROCESS MODELS;

TOPOLOGY;

EID: 78049287225     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-15618-2_20     Document Type: Conference Paper

References (21)

1. 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)
2. Laue, R., Mendling, J.: The Impact of Structuredness on Error Probability of Process Models. In: UNISCON. LNBIP, vol. 5, pp. 585-590. Springer, Heidelberg (2008)
3. Laguna, M., Marklund, J.: Business Process Modeling, Simulation, and Design. Prentice Hall, Englewood Cliffs (2005)
4. Combi, C., Posenato, R.: Controllability in Temporal Conceptual Workflow Schemata. In: Dayal, U., Eder, J., Koehler, J., Reijers, H. A. (eds.) BPM 2009. LNCS, vol. 5701, pp. 64-79. Springer, Heidelberg (2009)
5. Oulsnam, G.: Unravelling unstructured programs. Comput. J. 25(3), 379-387 (1982)
6. Liu, R., Kumar, A.: An Analysis and Taxonomy of Unstructured Workflows. In: van der Aalst, W. M. P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 268-284. Springer, Heidelberg (2005) (Pubitemid 41490768)
7. 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 38(3), 347-359 (2008) (Pubitemid 351663120)
8. 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)
9. Hauser, R., Koehler, J.: Compiling Process Graphs into Executable Code. In: Karsai, G., Visser, E. (eds.) GPCE 2004. LNCS, vol. 3286, pp. 317-336. Springer, Heidelberg (2004) (Pubitemid 39745362)
10. Koehler, J., Hauser, R.: Untangling Unstructured Cyclic Flows - A Solution Based on Continuations. In: Meersman, R., Tari, Z. (eds.) OTM 2004. LNCS, vol. 3290, pp. 121-138. Springer, Heidelberg (2004) (Pubitemid 39750431)
11. Ouyang, C., Dumas, M., van der Aalst, W. M. P., ter Hofstede, A. H. M., Mendling, J.: From business process models to process-oriented software systems. ACM Trans. Softw. Eng. Methodol. 19(1) (2009)
12. 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) (Pubitemid 36467936)
13. Vanhatalo, J., Völzer, H., Koehler, J.: The Refined Process Structure Tree. Data & Knowledge Engineering 68(9), 793-818 (2009)
14. Polyvyanyy, A., Vanhatalo, J., Völzer, H.: Simplified computation and generalization of the refined process structure tree. Technical Report RZ 3745, IBM (2009)
15. van der Aalst, W. M. P.: Verification of Workflow Nets. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 407-426. Springer, Heidelberg (1997)
16. 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.) BPM 2000. LNCS, vol. 1806, pp. 161-183. Springer, Heidelberg (2000)
17. van Glabbeek, R. J.: The Linear Time-Branching Time Spectrum (Extended Abstract). In: Baeten, J. C. M., Klop, J. W. (eds.) CONCUR 1990. LNCS, vol. 458, pp. 278-297. Springer, Heidelberg (1990)
18. Best, E., Devillers, R. R., Kiehn, A., Pomello, L.: Concurrent bisimulations in petri nets. Acta Inf. 28(3), 231-264 (1991)
19. McConnell, R. M., De Montgolfier, F.: Linear-time modular decomposition of directed graphs. Discrete Applied Mathematics 145(2), 198-209 (2005)
20. Esparza, J., Römer, S., Vogler, W.: An Improvement of McMillan's Unfolding Algorithm. FMSD 20(3), 285-310 (2002) (Pubitemid 34448852)
21. Kondratyev, A., Kishinevsky, M., Taubin, A., Ten, S.: Analysis of Petri Nets by Ordering Relations in Reduced Unfoldings. FMSD 12(1), 5-38 (1998) (Pubitemid 128513360)