Path-sensitive reachability analysis of web service interfaces

Proceedings - International Conference on Quality Software

Volumn , Issue , 2008, Pages 114-119

  Du, Xutao ^a   Xing, Chunxiao ^a   Zhou, Lizhu ^a  

^a TSINGHUA UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN FUNCTIONS; INFORMATION SERVICES; WEB SERVICES;

CONTROL POINTS; FORMAL DEFINITIONS; GLOBAL BEHAVIORS; INTERNATIONAL CONFERENCES; LOGICAL CONSEQUENCES; PATH- SENSITIVE ANALYSIS; QUALITY SOFTWARE; REACHABILITY ANALYSIS; REACHABILITY GRAPH; SAFETY PROPERTIES; SAT SOLVER; STACK INSPECTION; UNREACHABLE STATES; WEB-SERVICE INTERFACES;

WORLD WIDE WEB;

EID: 52449096076     PISSN: 15506002     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QSIC.2008.8     Document Type: Conference Paper

References (13)

1. C. Barrett and S. Berezin. CVC Lite: A new implementation of the cooperating validity checker. In Proceedings of the 16ih International Conference on Computer Aided Verification (CAV '04), volume 3114 of Lecture Notes in Computer Science. Springer-Verlag.
2. D. Beyer, A. Chakrabarti, and T. A. Henzinger. Web service interfaces. In Proceedings of the 14th International World Wide Web Conference (WWW 2005, Chiba, May 10-14), pages 148-159. ACM Press, New York (NY), 2005.
3. D. Beyer, A. Chakrabarti, T. A. Henzinger, and S. A. Seshia. An application of web-service interfaces. In Proceedings of the 2007 International Conference on Web Services (ICWS 2007, Salt Lake City, UT, July 9-13), pages 831-838. IEEE Computer Society Press, Los Alamitos (CA), 2007.
4. X. Du, C. Xing, and L. Zhou. Reachability analysis of web service interfaces. In Proceedings of the 2008 IEEE International Conference on Information Reuse and Integration, Las Vegas, USA, July 13-15, 2008, to appear.
5. X. Du, C. Xing, and L. Zhou. Abstract reachability graph for verifying web service interfaces. In H. Mei, editor, Proceedings of the 10th International Conference on Software Reuse(ICSR 2008), Beijing, China, May 25-29, 2008, volume 5030 of Lecture Notes in Computer Science, pages 262-265. Springer, 2008.
6. H. Foster. A Rigorous Approach to Engineering Web Service Compositions. PhD thesis, Department of Computing, Imperial College of Science, Technology and Medicine, University of London, January 2006.
7. H. Foster, S. Uchitel, J. Magee, and J. Kramer. LTSA-WS: A tool for model-based verification of web service compositions and choreography. In IEEE International Conference on Software Engineering (ICSE 2006), pages 217-224, Shanghai, China, May 2006. IEEE Computer Society.
8. X. Fu. Formal Specication and Verication of Asynchronously Communicating Web Services. PhD thesis, UNIVERSITY of CALIFORNIA, Santa Barbara, 2004.
9. X. Fu, T. Bultan, and J. Su. Analysis of interacting bpel web services. In Proceedings of the 13th international conference on World Wide Web, WWW 2004, New York, NY, USA, May 17-20, 2004, pages 621-630. ACM, 2004.
10. X. Fu, T. Bultan, and J. Su. WSAT: A tool for formal analysis of web services. In Proceedings of CAV 2004, LNCS 3114, pages 510-514. Springer, 2004.
11. 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 Proceedings of the 3rd International Conference on Service-Oriented Computing (ICSOC)-Demo Session, volume 3826 of Lecture Notes in Computer Science, pages 484-489, Amsterdam, The Netherlands, December 2005. Springer Verlag.
12. C. Ouyang, H. Verbeek, W. van der Aalst, S. Breutel, M. Dumas, and A. ter Hofstede. Formal semantics and analysis of control flow in ws-bpel. Science of Computer Programming, 67(2-3):125-332, July 2007. Elsevier Science Publications.
13. N. Sharygina and D. Kröning. Model checking with abstraction for web services. In Test and Analysis of Web Services, pages 121-145. 2007.