The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.03 - March (2010 vol.43)
pp: 59-66
Sylvain Hallé , University of California, Santa Barbara
Tevfik Bultan , University of California, Santa Barbara
Graham Hughes , University of California, Santa Barbara
Muath Alkhalaf , University of California, Santa Barbara
Roger Villemaire , Université du Québec à Montréal
ABSTRACT
Experiments with the Amazon E-Commerce Service demonstrate the advantages of using a model-based approach for the runtime testing and monitoring of Web applications.
INDEX TERMS
Testing and debugging, Software engineering, Web-based services, Information storage and retrieval
CITATION
Sylvain Hallé, Tevfik Bultan, Graham Hughes, Muath Alkhalaf, Roger Villemaire, "Runtime Verification of Web Service Interface Contracts", Computer, vol.43, no. 3, pp. 59-66, March 2010, doi:10.1109/MC.2010.76
REFERENCES
1. G. Meredith and S. Bjorg, "Contracts and Types," Comm. ACM, vol. 46, no. 10, 2003, pp. 41-47.
2. E.M. Clarke, O. Grumberg, and D.A. Peled, Model Checking, MIT Press, 2000.
3. S. Hallé et al., "Generating Interface Grammars from WSDL for Automated Verification of Web Services," Proc. 2009 Int'l Conf. Service-Oriented Computing (ICSOC 09), LNCS 5900, Springer, pp. 516-530.
4. W.N. Robinson, "Monitoring Web Service Requirements," Proc. 11th IEEE Int'l Conf. Requirements Eng. (RE 03), IEEE CS Press, 2003, pp. 65-74.
5. K. Mahbub and G. Spanoudakis, "Runtime Monitoring of Requirements for Systems Composed of Web-Services: Initial Implementation and Evaluation Experience," Proc. IEEE Int'l Conf. Web Services (ICWS 05), IEEE CS Press, 2005, pp. 257-265.
6. F. Barbon et al., "Runtime Monitoring of Instances and Classes of Web Service Compositions," Proc. IEEE Int'l Conf. Web Services (ICWS 06), IEEE CS Press, 2006, pp. 63-71.
7. J. Trevor, N. Swamy, and M. Hicks, "Defeating Script Injection Attacks with Browser-Enforced Embedded Policies," Proc. 16th Int'l World Wide Web Conf. (WWW 07), ACM Press, 2007, pp. 601-610.
8. S. Hallé and R. Villemaire, "Runtime Monitoring of Message-Based Workflows with Data," Proc. IEEE 12th Ann. EDOC Conf. (EDOC 08), IEEE CS Press, 2008, pp. 63-72.
9. I.H. Krüger, M. Meisinger, and M. Menarini, "Runtime Verification of Interactions: From MSCS to Aspects," Proc. 7th Int'l Workshop Runtime Verification (RV 07), LNCS 4839, Springer, 2007, pp. 63-74.
10. G. Rosu, F. Chen, and T. Ball, "Synthesizing Monitors for Safety Properties: This Time with Calls and Returns," Proc. 8th Int'l Workshop Runtime Verification (RV 08), LNCS 5289, Springer, 2008, pp. 51-68.
11. W.M.P. van der Aalst and M. Pesic, "DecSerFlow: Towards a Truly Declarative Service Flow Language," Proc. 3rd Int'l Workshop Web Services and Formal Methods (WS-FM 06), LNCS 4184, Springer, 2006, pp. 1-23.
12. W.G.J. Halfond and A. Orso, "Improving Test Case Generation for Web Applications Using Automated Interface Discovery," Proc. 6th Joint Meeting European Software Eng. Conf. and the ACM SIGSOFT Int'l Symp. Foundations of Software Eng. (ESEC/SIGSOFT FSE 07), ACM Press, 2007, pp. 145-154.
13. A. Groce et al., "Let's Look at the Logs: Low-Impact Runtime Verification," The Computer J., to appear.
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool