Nestedweb service interface control flow automata

Proceedings - International Conference on Next Generation Web Services Practices, NWeSP 2008

Volumn , Issue , 2008, Pages 129-136

  Du, Xutao ^a   Xing, Chunxiao ^a   Zhou, Lizhu ^a   Li, Zhoujun ^b  

^a TSINGHUA UNIVERSITY   (China)

^b BEIHANG UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL FLOWS; FORMAL DEFINITION; GLOBAL BEHAVIORS; RECURSION; SERVICE INTERFACES; SERVICE INVOCATION; TEMPORAL PROPERTY; WEB SERVICE COMPOSITION; WEB SERVICE INTERFACE;

CHEMICAL ANALYSIS; ROBOTS; TRANSLATION (LANGUAGES); WEB SERVICES;

AUTOMATA THEORY;

EID: 67549098451     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/NWeSP.2008.26     Document Type: Conference Paper

References (15)

1. R. Alur, K. Etessami, and P. Madhusudan. A temporal logic of nested calls and returns. In Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, volume 2988 of Lecture Notes in Computer Science, pages 467-481. Springer, 2004.
2. R. Alur and P. Madhusudan. Adding nesting structure to words. In Developments in Language Theory, 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings, volume 4036 of Lecture Notes in Computer Science, pages 1-13. Springer, 2006. (Pubitemid 44089604)
3. 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.
4. 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.
5. 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. (Pubitemid 41273768)
6. X. Du, C. Xing, and L. Zhou. Abstract reachability graph for verifying web service interfaces. In High Confidence Software Reuse in Large Systems, Proceedings of the 10th International Conference on Software Reuse, ICSR 2008, 25-29 May, 2008, Beijing, China, volume 5030 of Lecture Notes in Computer Science, pages 262-265. Springer, 2008.
7. X. Du, C. Xing, and L. Zhou. Path-sensitive reachability analysis of web service interfaces. In H. zhu, editor, Proceedings of the Eighth International Conference on Quality Software, QSIC 2008, 12-13 August, 2008, Oxford, UK, pages 114-119. IEEE Computer Society, 2008.
8. 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, IRI 2008, 13-15 July, 2008, Las Vegas, USA, pages 40-45. IEEE Systems, Man, and Cybernetics Society, 2008.
9. 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.
10. 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.
11. 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.
12. X. Fu. Formal Specication and Verication of Asynchronously Communicating Web Services. PhD thesis, UNIVERSITY of CALIFORNIA, Santa Barbara, 2004.
13. X. Fu, T. Bultan, and J. Su. Analysis of interacting BPEL web services. In Proceedings of the 13th International World Wide Web Conference (WWW'04), USA. ACM Press, 2004.
14. 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.
15. J. E. Hopcroft, R. Motwani, and J. D. Ullman. Introduction to Automata Theory, Languages, and Computation. Pearson Education, Inc, 3rd edition, 2007.