Advanced verification of distributed WS-BPEL business processes incorporating CSSA-based data flow analysis

Proceedings - 2007 IEEE International Conference on Services Computing, SCC 2007

Volumn , Issue , 2007, Pages 98-105

  Moser, Simon ^a   Martens, Axel ^b   Görlach, Katharina ^d   Amme, Wolfram ^c   Godlinski, Artur ^c  

^a IBM   (Germany)

^b IBM RESEARCH   (United States)

^c FRIEDRICH SCHILLER UNIVERSITY JENA   (Germany)

^d NONE

Author keywords

[No Author keywords available]

Indexed keywords

DATA FLOW ANALYSIS; DATA STRUCTURES; DISTRIBUTED COMPUTER SYSTEMS; ENCAPSULATION; ERROR ANALYSIS; WEB SERVICES;

ENCAPSULATED FUNCTIONALITIES; FALSE-POSITIVE ANALYSIS; WEB SERVICE BASED SYSTEMS;

COMPETITIVE INTELLIGENCE;

EID: 35248864491     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SCC.2007.22     Document Type: Conference Paper

References (22)

1. A. Aho, R. Sethi, and J. Ullman. Compilers: Principles, Techniques and Tools. Addison Wesley, 1986.
2. Amme, Dalton, Franz, and von Ronne. SafeTSA: A Type Safe and Referentially Secure Mobile-Code Representation Based on Static Single Assignment Form. In Proc of PLDI'2001, Snowbird, Utah, USA, June 2001. ACM Press.
3. M. Brandis and H. Mössenböck. Single-Pass Generation of Static Single-Assignment Form for Structured Languages. ACM Transactions on Programming Languages and Systems, 16(6):1684-1698, Nov 1994.
4. V. Breugel and Koshkina. Models and Verification of BPEL. In Monograph on Testing & Analysis of Web Services.
5. Cytron, Ferrante, Rosen, Wegman, and Zadeck. Efficiently Computing Static Single Assignment Form and the Control Dependence Graph. ACM Transactions on Programing Languages and Systems, 13(4):451-490, 1991.
6. C. Girault and R. Valk, editors. Petri Nets for System Engineering - A Guide to Modeling Verification and Applications. Springer, Jan. 2002.
7. A. Godlinski. Static Analysis to discover communication relevant data flows in BPEL-processes. Master's thesis, Friedrich-Schiller-University, Jena, 2006.
8. R. Hamadi and B. Benatallah. A Petri Net based Model for Web Service Composition. In Proc. of ADC 2003. Australian Computer Society, Inc., 2003.
9. Hecht and Ullman. A Simple Algorithm for Global Data Flow Analysis Problems. SICOMP: SIAM Journal on Computing, 4, 1975.
10. J. Lee, S. Midkiff, and D. Padua. Concurrent Static Single Assignment Form and Constant Propagation for Explicitly Parallel Programs. In Proc of LCPC '97, 1997.
11. J. Lee, S. Midkiff, and D. Padua. A Constant Propagation Algorithm for Explicitly Parallel Programs. International Journal of Parallel Programming, 26(5):563-589, 1998.
12. N. Lohmann, P. Massuthe, C. Stahl, and D. Weinberg. Analyzing Interacting BPEL Processes. In Proc of BPM'06, LNCS 4102. Springer, 2006.
13. A. Martens. Analyzing Web Service based Business Processes. In M. Cerioli, editor, Proc of FASE'05, LNCS 3442, Edinburgh, Scotland, Apr. 2005. Springer.
14. A. Martens and S. Moser. Diagnosing SCA Components using WOMBAT. In Proc of BPM'06, LNCS 4102, Sept. 2006.
15. A. Martens, S. Moser, A. Gerhardt, and K. Funk. Analyzing Compatibility of BPEL Processes. In Proc of ICIW'06. IEEE Computer Society Press, Feb. 2006.
16. P. Massuthe, W. Reisig, and K. Schmidt. An Operating Guideline Approach to the SOA. Annals of Mathematics, Computing & Teleinformatics, 1(3):35-43, 2005.
17. F. Nielson, H. R. Nielson, and C. Hankin. Principles of Program Analysis. Springer, 1999.
18. OASIS, Committee Specification. Web Services Business Process Execution Language Version 2.0, January 2007.
19. C. Ouyang, W. van der Aalst, S. Breutel, M. Dumas, A. ter Hofstede, and H. Verbeek. Formal Semantics and Analysis of Control Flow in WS-BPEL. Bpm center report bpm-05-13, BPMcenter.org, 2005.
20. W. Reisig. Petri Nets. Springer-Verlag, 1985.
21. Rosen, Wegman, and Zadeck. Global value numbers and redundant computations. In Proc of 15th Symposium on Principles of Programming Languages. ACM Press, 1988.
22. H. P. Zima and B. Chapman. Supercompilers for Parallel and Vector Computers. ACM Press Frontier Series. Addison-Wesley (ACM), 1991.