Token analysis of graph-oriented process models

Proceedings - IEEE International Enterprise Distributed Object Computing Workshop, EDOC

Volumn , Issue , 2009, Pages 15-24

  Götz, Mathias ^a   Roser, Stephan ^a   Lautenbacher, Florian ^a   Bauer, Bernhard ^a  

^a UNIVERSITY OF AUGSBURG   (Germany)

Author keywords

bpel; bpmn; Graph transformation; Modeling; Process

Indexed keywords

BUSINESS PROCESS MANAGEMENT; COORDINATION PROTOCOLS; GRAPH DECOMPOSITIONS; GRAPH TRANSFORMATIONS; GRAPH-BASED MODELS; GRAPH-MODEL; ORIENTED PROCESS; PROCESS ENGINES; PROCESS GRAPHS; RUNTIMES; SERVICE ORCHESTRATION; STRUCTURED LANGUAGE; WORK-FLOWS;

COMPUTER SCIENCE; ENTERPRISE RESOURCE MANAGEMENT;

TECHNICAL PRESENTATIONS;

EID: 72849120740     PISSN: 15417719     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EDOCW.2009.5332020     Document Type: Conference Paper

References (22)

1. OMG, "Business Process Modeling Notation Specification, Version 1.2," formal/09-01-03, January 2009, http://www.omg.org/spec/BPMN/1.2.
2. OASIS, Business Process Execution Language for Web Services 1.1, 2003.
3. J. Recker and J. Mendling, "On the Translation between BPMN and BPEL: Conceptual Mismatch between Process Modeling Languages," CAiSE, Luxembourg, vol. 4001, June, 5-9 2006.
4. J. Mendling et al, "Transformation Strategies between Block-Oriented and Graph-Oriented Process Modelling Languages," in MKWI, vol. 2, 2006, pp. 297-312.
5. C. Ouyang et al, "From BPMN Process Models to BPEL Web Services," IEEE ICWS, pp. 285-292, 2006.
6. J. Mendling et al, "On the Transformation of Control Flow between Block-oriented and Graph-oriented Process Modeling Languages," Int. J. Business Process Integration and Management, vol. 3, no. 2, September 2008.
7. W. van der Aalst and K. B. Lassen, "Translating Unstructured Workflow Processes to Readable BPEL," Information and Software Technology, vol. 50, no. 3, pp. 131-159, 2008.
8. C. Ouyang, M. Dumas, S. Breutel, and A. H. ter Hofstede, "Translating Standard Process Models to BPEL," in Proceedings of CAiSE 2006, ser. LNCS, vol. 4001. Springer, 2006, pp. 417-432.
9. C. Ouyang, M. Dumas, A. H. ter Hofstede, and W. M. van der Aalst, "Pattern-based Translation of BPMN Process Models to BPEL Web Services," Internat. Journal of Web Services Research (JSWR), 2007.
10. J. Koehler et al, "Declarative techniques for model-driven business process integration," IBM Systems Journal, vol. 44, no. 1, 2005.
11. R. Johnson, D. Pearson, and K. Pingali, "The program structure tree: computing control regions in linear time," in PLDI '94: Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation. New York, NY, USA: ACM Press, 1994, pp. 171-185.
12. R. Gupta and M. L. Soffa, "Region scheduling," 2nd Int. Conf. on Supercomp., pp. 141-148, 1978.
13. F. Zhang and E. H. D'Hollander, "Using Hammock Graphs to Structure Programs," IEEE Trans. Softw. Eng., vol. 30, no. 4, pp. 231-245, 2004.
14. P. Havlak, "Nesting of reducible and irreducible loops," ACM Trans. Program. Lang. Syst., vol. 19, no. 4, pp. 557-567, 1997.
15. R. E. Tarjan, "Testing flow graph reducibility," J. Comput. Syst. Sci., vol. 9, pp. 355-365, 1974.
16. L. Garcia-Banuelos, "Pattern identification and classification in the translation from BPMN to BPEL," in OTM 2008, Part I, ser. LNCS, R. Meersman and Z. Tari, Eds., no. 5531. Springer-Verlag Berlin Heidelberg, 2008, pp. 436-444.
17. J. Vanhatalo, H. V̈olzer, and J. Koehler, "The refined process structure tree," in Proceedings of BPM 2008, ser. LNCS, M. Dumas, M. Reichert, and M.-C. Shan, Eds., no. 5240. Springer-Verlag, 2008, pp. 100-115.
18. S. A. White, "Using BPMN to Model a BPEL Process," BPTrends, March 2005.
19. M. G̈otz, S. Roser, F. Lautenbacher, and B. Bauer, "Using Token Analysis to Transform Graph-Oriented Process Models to BPEL," University of Augsburg, Tech. Rep., 2008, TR 2008-08.
20. T. H. Cormen, C. E. Leiserson, R. L. Reivest, and C. Stein, Introduction to Algorithms, ser. The MIT electrical engineering and Comp. Sci. Series. Cambridge: MIT Press, 2001.
21. S. Roser, F. Lautenbacher, and B. Bauer, "Generation of Workflow Code from DSMs," in Proceedings of the 7th OOPSLA Workshop on Domain-Specific Modeling, Montreal, Canada, 2007.
22. J. Vanhatalo, H. V̈olzer, and F. Leymann, "Faster and more focused control-flow analysis for business process models through SESE decomposition," in ICSOC, 2007.