Static verification of control and data in Web service compositions

Proceedings - ICWS 2006: 2006 IEEE International Conference on Web Services

Volumn , Issue , 2006, Pages 83-90

  Kazhamiakin, Raman ^a   Pistore, Marco ^a  

^a UNIVERSITY OF TRENTO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DATA FLOW ANALYSIS; DATA REDUCTION; DATA TRANSFER;

DATA MANIPULATIONS; STATIC VERIFICATION;

WEB SERVICES;

EID: 35248901401     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICWS.2006.124     Document Type: Conference Paper

References (16)

1. T. Andrews, F. Curbera, H. Dolakia, J. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, and S. Weeravarana. Business Process Execution Language for Web Services (version 1.1), 2003.
2. J. Burch and D. Dill. Automated verification of pipelined microprocessor control. In Proc. CAV'94, 1994.
3. S. Chaki, E. Clarke, A. Groce, J. Ouaknine, O. Strichman, and K. Yorav. Efficient verification of sequential and concurrent C programs. In Proc. FMSD'04, 2004.
4. E. Clarke, S. Chaki, N. Sharygina, and N. Sinha. Dynamic Component Substitutability Analysis. In Proc. FM'05, 2005.
5. M. Davis and H. Putnam. A computing procedure for quantification theory. Journal of the ACM, 1960.
6. H. Foster, S. Uchitel, J. Magee, and J. Kramer. Model-based verification of web service compositions. In Proc. ASE'03, 2003.
7. X. Fu, T. Bultan, and J. Su. Analysis of Interacting BPEL Web Services. In Proc. WWW'04, 2004.
8. P. Godefroid, M. Huth, and R. Jagadeesan. AbstractionBased Model Checking Using Modal Transition Systems. In Proc. CONCUR '01, 2001.
9. S. Graf and H. Saidi. Construction of abstract state graph with PVS. In Proc. CAV97,1997.
10. S. Graham, S. Simenov, T. Boubez, G. Daniels, D. Davis, Y. Nakamura, and R. Neyama. Building Web Services with Java: Making Sense of XML, SOAP, WSDL and UDDI. Sams, 2001.
11. R. Kazhamiakin, M. Pistore, and L. Santuari. A Parametric Communication Model for the Verification of Web Service Compositions. In Proc. WWW'06, 2006.
12. R. Khalaf, N. Mukhi, and S. Weeravarana. Service Oriented Composition in BPEL4WS. In Proc. WWW'04, 2004.
13. S. Nakajima. Model-checking verification for reliable web service. In Proc. OOPSLA'02 Workshop on OOWS, 2002.
14. S. Narayanan and S. McIIraith. Simulation, Verification and Automated Composition of Web Services. In Proc. WWW02, 2002.
15. C. Ouyang, H. Verbeek, W. van der Aalst, S. Breutel, M. Dumas, and A. ter Hofstede. WofBPEL: A tool for automated analysis of BPEL processes. In Proc. ICSOC05, 2005.
16. M. Pistore, M. Roveri, and P. Busetta. Requirements-Driven Verification of Web Services. In Proc. WS-FM'04, 2004.