Generating interface grammars from WSDL for automated verification of web services

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5900 LNCS, Issue , 2009, Pages 516-530

  Hallé, Sylvain ^a   Hughes, Graham ^a   Bultan, Tevfik ^a   Alkhalaf, Muath ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED TRANSLATION; AUTOMATED VERIFICATION; CONTROL FLOWS; GRAMMAR RULES; INTERFACE SPECIFICATION; MESSAGE SEQUENCES; MESSAGE STRUCTURES; TWO-COMPONENT; XML SCHEMA DEFINITIONS;

GENE EXPRESSION; SPECIFICATIONS;

WEB SERVICES;

EID: 75649134251     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-10383-4_38     Document Type: Conference Paper

References (21)

1. PayPal web service API documentation (2008), http://www.paypal.com
2. soapUI: the web services testing tool (2009), http://www.soapui.org/
3. Amazon web services, http://solutions.amazonwebservices.com/
4. Bai, X., Dong, W., Tsai, W.-T., Chen, Y.: WSDL-based automatic test case generation for web services testing. In: IEEE International Workshop on Service-Oriented System Engineering, SOSE 2005, pp. 207-212 (2005)
5. Barbon, F., Traverso, P., Pistore, M., Trainotti, M.: Run-time monitoring of instances and classes of web service compositions. In: Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), pp. 63-71 (2006)
6. Baresi, L., Guinea, S., Kazhamiakin, R., Pistore, M.: An integrated approach for the run-time monitoring of BPEL orchestrations. In: Proceedings of the First European Conference Towards a Service-Based Internet (ServiceWave 2008), pp. 1-12 (2008)
7. Bartolini, C., Bertolino, A., Marchetti, E., Polini, A.: Towards automated WSDL-based testing of web services. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol. 5364, pp. 524-529. Springer, Heidelberg (2008)
8. Bauer, J.A., Finger, A.B.: Test plan generation using formal grammars. In: Proceedings of the 4th International Conference on Software Engineering, Munich, Germany, September 1979, pp. 425-432 (1979)
9. Brat, G., Havelund, K., Park, S., Visser, W.: Java pathfinder: Second generation of a Java model checker. In: Proceedings Workshop on Advances in Verification (2000)
10. Brown, A., Fuchs, M., Robie, J., Wadler, P.: MSL: a model for W3C XML Schema. In: Proceedings of the 10th International World Wide Web Conference, pp. 191-200 (2001)
11. Cacciagrano, D., Corradini, F., Culmone, R., Vito, L.: Dynamic constraint-based invocation of web services. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 138-147. Springer, Heidelberg (2006)
12. Duncan, A.G., Hutchison, J.S.: Using attributed grammars to test designs and implementations. In: Proceedings of the 5th International Conference on Software Engineering, New York, NY, USA, March 1981, pp. 170-178 (1981)
13. Hallé, S., Villemaire, R.: Runtime monitoring of message-based workflows with data. In: Proceedings of the 12th International Enterprise Distributed Object Computing Conference (EDOC 2008), pp. 63-72 (2008)
14. Hallé, S., Villemaire, R.: Browser-based enforcement of interface contracts in web applications with BeepBeep. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 648-653. Springer, Heidelberg (2009)
15. Hughes, G., Bultan, T.: Extended interface grammars for automated stub generation. In: Proceedings of the Automated Formal Methods Workshop, AFM 2007 (2007)
16. Hughes, G., Bultan, T.: Interface grammars for modular software model checking. IEEE Trans. Software Eng. 34(5), 614-632 (2008)
17. Hughes, G., Bultan, T., Alkhalaf, M.: Client and server verification for web services using interface grammars. In: Bultan, T., Xie, T. (eds.) TAV-WEB, pp. 40-46. ACM, New York (2008)
18. Mahbub, K., Spanoudakis, G.: Run-time monitoring of requirements for systems composed of web-services: Initial implementation and evaluation experience. In: Proceedings of the 2005 IEEE International Conference on Web Services (ICWS 2005), pp. 257-265 (2005)
19. Maurer, P.M.: Generating test data with enhanced context-free grammars. IEEE Software 7(4), 50-55 (1990)
20. Meredith, G., Bjorg, S.: Contracts and types. Commun. ACM 46(10), 41-47 (2003)
21. Sirer, E., Bershad, B.N.: Using production grammars in software testing. In: Proceedings of DSL 1999: the 2nd Conference on Domain-Specific Languages, Austin, TX, US, pp. 1-13 (1999)