Reachability analysis of web service interfaces

2008 IEEE International Conference on Information Reuse and Integration, IEEE IRI-2008

Volumn , Issue , 2008, Pages 40-45

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

^a TSINGHUA UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN FUNCTIONS; IMAGE CODING; INFORMATION SERVICES; INFORMATION USE; POLYNOMIAL APPROXIMATION; WEB SERVICES;

CONTROL POINTS; GLOBAL BEHAVIORS; INFORMATION RE-USE; INTERNATIONAL CONFERENCES; LOGICAL CONSEQUENCES; POLYNOMIAL-TIME ALGORITHMS; REACHABILITY ANALYSIS; REACHABILITY GRAPH; SAT SOLVER; STACK INSPECTION; WEB-SERVICE INTERFACES;

WORLD WIDE WEB;

EID: 51949089619     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IRI.2008.4583002     Document Type: Conference Paper

References (12)

1. th International Conference on Computer Aided Verification (CAV '04), volume 3114 of Lecture Notes in Computer Science, pages 515-518. Springer-Verlag, 2004.
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. D. Beyer, T. A. Henzinger, R. Jhala, and R. Majumdar. The software model checker BLAST: Applications to software engineering. Int. Journal on Software Tools for Technology Transfer (STTT), 9(5-6), 2007.
5. E. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 2000.
6. E. Clarke, D. Kroening, N. Sharygina, and K. Yorav. SATABS: SAT-based predicate abstraction for ANSI-C. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2005), volume 3440 of Lecture Notes in Computer Science, pages 570-574. Springer Verlag, 2005.
7. 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.
8. H. Foster, S. Uchitel, J. Magee, and J. Kramer. Model-based verification of web service compositions. In 18th IEEE International Conference on Automated Software Engineering (ASE'03), page 152. IEEE Computer Society Press, Los Alamitos (CA), 2003.
9. X. Fu. Formal Specication and Verication of Asynchronously Communicating Web Services. PhD thesis, UNIVERSITY of CALIFORNIA, Santa Barbara, 2004.
10. OASIS Standard. Web Services Business Process Execution Language Version 2.0, April 2007.
11. N. Sharygina and D. Kröning. Model checking with abstraction for web services. In Test and Analysis of Web Services, pages 121-145. 2007.
12. M. Trainotti, M. Pistore, G. Calabrese, G. Zacco, G. Lucchese, F. Barbon, P. Bertoli, and P. Traverso. Astro: Supporting composition and execution of web services. Demo at the International Conference on Automated and Planning Sheduling (ICAPS), 2005.