Runtime verification of Web service interface contracts

Computer

Volumn 43, Issue 3, 2010, Pages 59-66

  Hallè, Sylvain ^a   Bultan, Tevfik ^a   Hughes, Graham ^a   Alkhalaf, Muath ^a   Villemaire, Roger ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b UNIVERSITÉ DU QUÉBEC À MONTRÉAL   (Canada)

Author keywords

Information storage and retrieval; Software engineering; Testing and debugging; Web based services

Indexed keywords

EID: 77949696718     PISSN: 00189162     EISSN: None     Source Type: Trade Journal    
DOI: 10.1109/MC.2010.76     Document Type: Article

References (13)

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.