Generating Interface Grammars from WSDL for Automated Verification of Web Services-Reference-Cited by-同舟云学术

Generating Interface Grammars from WSDL for Automated Verification of Web Services

Published:2009 Issue: Volume: Page:516-530
ISSN:0302-9743
Container-title:Service-Oriented Computing – ICSOC 2007
language:
Short-container-title:

Author:

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

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-10383-4_38

Reference21 articles.

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)

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Inferring Data Contract for Web-Based API;2014 IEEE International Conference on Web Services;2014-06

2. Cooperative runtime monitoring;Enterprise Information Systems;2013-11

3. Runtime Enforcement of Web Service Message Contracts with Data;IEEE Transactions on Services Computing;2012-04

4. A Logical Approach to Data-Aware Automated Sequence Generation;Transactions on Computational Science XV;2012

5. Model-Based Simulation of SOAP Web Services from Temporal Logic Specifications;2011 16th IEEE International Conference on Engineering of Complex Computer Systems;2011-04