A restructuring method for ws-bpel business processes based on extended workflow graphs

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

Volumn 5701 LNCS, Issue , 2009, Pages 211-228

  Heinze, Thomas S ^a   Amme, Wolfram ^a   Moser, Simon ^b  

^a FRIEDRICH SCHILLER UNIVERSITY JENA   (Germany)

^b IBM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ADMINISTRATIVE DATA PROCESSING; ENTERPRISE RESOURCE MANAGEMENT; WEB SERVICES;

ANALYSIS METHOD; BUSINESS PROCESS; COMPATIBILITY ANALYSIS; HYBRID FORMATS; LOOP CONDITIONS; RESEARCH EFFORTS; STATIC SINGLE ASSIGNMENT FORM; WEB SERVICES BUSINESS PROCESS EXECUTION LANGUAGES;

RISK ASSESSMENT;

EID: 70349306671     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-03848-8_15     Document Type: Conference Paper

References (14)

1. Alves, A., Arkin, A., Askary, S., Barreto, C., Bloch, B., Curbera, F., Ford, M., Goland, Y., Guízar, A., Kartha, N., Liu, C.K., Khalaf, R., König, D., Marin, M., Mehta, V., Thatte, S., van der Rijn, D., Yendluri, P., Yiu, A.:Web Services Business Process Execution Language Version 2.0. Standard, OASIS (April 2007)
2. van Breugel, F., Koshkina, M.: Models and Verification of BPEL (September 2006)
3. Martens, A., Moser, S., Gerhardt, A., Funk, K.: Analyzing Compatibility of BPEL Processes. In: Advanced Int. Conf. on Telecommunications and Int. Conf. on Internet and Web Applications and Services, p. 147. IEEE, Los Alamitos (2006)
4. van der Aalst, W.M.P.: Structural Characterizations of Sound Workflow Nets. Computing Science Report 96/23, Eindhoven University of Technology (1996)
5. Lohmann, N.: A Feature-Complete Petri Net Semantics for WS-BPEL 2.0 and its Compiler BPEL2oWFN. Techn. report 212, Humboldt University of Berlin (2007)
6. Moser, S., Martens, A., Görlach, K., Amme, W., Godlinski, A.: Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis. In: 2007 IEEE Int. Conf. on Services Computing. IEEE, Los Alamitos (2007)
7. van der Aalst, W.M.P., Hirnschall, A., Verbeek, H.M.W(E.): 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)
8. Sadiq, W., Orlowska, M.E.: Analyzing Process Models Using Graph Reduction Techniques. Information Systems 25(2), 117-134 (2000)
9. Lee, J., Midkiff, S.P., Padua, D.A.: Concurrent Static Single Assignment Form and Constant Propagation for Explicitly Parallel Programs. In: Carter, L., Ferrante, J., Sehr, D., Chatterjee, S., Prins, J.F., Li, Z., Yew, P.-C. (eds.) LCPC 1998. LNCS, vol. 1656, pp. 114-130. Springer, Heidelberg (1999)
10. Heinze, T.S., Amme, W., Moser, S.: Resolving Conditional Branches in WS-BPEL Business Processes. Report, Friedrich Schiller University of Jena (to appear)
11. Heinze, T.S., Amme, W., Moser, S.: Generic CSSA-based Pattern over Boolean Data for an Improved WS-BPEL to Petri Net Mapping. In: Third Int. Conf. on Internet and Web Applications and Services, pp. 590-595. IEEE, Los Alamitos (2008)
12. Monakova, G., Kopp, O., Leymann, F.: Improving Control Flow Verification in a Business Process using an Extended Petri Net. In: 1st Central-European Workshop on Services and their Composition, vol. 438, 95-101. CEUR-WS.org (2009)
13. Kopp, O., Khalaf, R., Leymann, F.: Reaching Definition Analysis Respecting Dead Path Elimination Semantics in BPEL Processes. Report 2007/04, IAAS (2007)
14. Thakur, A., Govindarajan, R.: Comprehensive Path-sensitive Data-flow Analysis. In: 6th Int. Symp. on Code Generation and Optimization, pp. 55-63. ACM Press, New York (2008)