|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
| ASCII Text | x | ||
| 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. | |||
| BibTex | x | ||
| @article{ 10.1109/MC.2010.76, author = {Sylvain Hallé and Tevfik Bultan and Graham Hughes and Muath Alkhalaf and Roger Villemaire}, title = {Runtime Verification of Web Service Interface Contracts}, journal ={Computer}, volume = {43}, number = {3}, issn = {0018-9162}, year = {2010}, pages = {59-66}, doi = {http://doi.ieeecomputersociety.org/10.1109/MC.2010.76}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - MGZN JO - Computer TI - Runtime Verification of Web Service Interface Contracts IS - 3 SN - 0018-9162 SP59 EP66 EPD - 59-66 A1 - Sylvain Hallé, A1 - Tevfik Bultan, A1 - Graham Hughes, A1 - Muath Alkhalaf, A1 - Roger Villemaire, PY - 2010 KW - Testing and debugging KW - Software engineering KW - Web-based services KW - Information storage and retrieval VL - 43 JA - Computer ER - | |||
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.