Model-Checking Behavioral Specification of BPEL Applications

Electronic Notes in Theoretical Computer Science

Volumn 151, Issue 2 SPEC. ISS., 2006, Pages 89-105

  Nakajima, Shin ^a  

^a NATIONAL INSTITUTE OF INFORMATICS   (Japan)

Author keywords

Abstraction; BPEL; DPE; Model Checking; SPIN

Indexed keywords

ABSTRACTING; BEHAVIORAL RESEARCH; COMPUTER APPLICATIONS; COMPUTER PROGRAMMING; INFORMATION RETRIEVAL SYSTEMS; MATHEMATICAL MODELS;

ABSTRACTION; BPEL; DPE; MODEL-CHECKING; SPIN;

WORLD WIDE WEB;

EID: 33646780536     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.07.038     Document Type: Article

References (17)

1. F. van Breugel and M. Koshkina. Does Dead-Path-Elimination have Side Effects? Technical Report CS-2003-04, York Univ., April 2003
2. F. Curbera et al. Business Process Execution Language for Web Services. Version 1.1, May 2003
3. H. Foster, S. Uchitel, J. Magee, and J. Kramer. Model-based Verification of Web Service Compositions. In Proc. ASE 2003, September 2003
4. S. Graf and H. Saidi. Construction of Abstract State Graphs with PVS. In Proc. CAV'97, pages 72 - 83, 1997
5. Holzmann G.J. The SPIN Model Checker (2004), Addison-Wesley
6. X. Fu, T. Bultan, and J. Su. Analysis of Interacting BPEL Web Services. In Proc. WWW 2004, pages 621-630, May 2004
7. M. Koshkina and F. van Breugel. Verification of Business Processes for Web Services. Technical Report CS-2003-11, York Univ., October 2003
8. Leymann F., and Roller D. Production Workflow: concepts and techniques (1999), Prentice Hall
9. S. Nakajima. On Verifying Web Service Flows. In Proc. SAINT 2002 Workshop, pages 223-224, January 2002
10. Nakajima S. Verification of Web Service Flows with Model-Checking Techniques. Proc. Cyber World 2002 (November 2002), IEEE 378-385
11. Nakajima S. Model-Checking of Web Service Flow (in Japanese). Trans. IPS Japan 44 3 (March 2003) 942-952 A concise version presented at OOPSLA 2002 Workshop on Object-Oriented Web Service, November 2002
12. S. Nakajima. Model-Checking of Safety and Security Aspects in Web Service Flows. In Proc. ICWE'04, July 2004
13. S. Narayanan and S.A. Mcllraith. Simulation, Verification and Automated Composition of Web Services. In Proc. WWW-11, 2002
14. G. Salaun, L. Bordeaux, and M. Schaerf. Describing and Reasoning on Web Services using Process Algebra. In Proc. ICWS'04, July 2004
15. Singh M.P., and Huhns M.N. Service-Oriented Computing (2005), Wiley
16. P. Wohed, W. van der Aalst, M. Dumas, and A. ter Hofstede. Pattern Based Analysis of BPEL4WS. Techinical Report FIT-TR-2002-04, EUT, 2002
17. P. Wolper. Expressing Interesting Properties of Programs in Propositional Temporal Logic. In Proc. POPL'86, Janurary 1986