A test bed for web services protocols

Second International Conference on Internet and Web Applications and Services, ICIW'07

Volumn , Issue , 2007, Pages

  Ramsokul, Pemadeep ^a,c   Sowmya, Arcot ^a,b   Ramesh, S ^d  

^a UNIVERSITY OF NEW SOUTH WALES   (Australia)

^b Division of Engineering Science and Technology   (Singapore)

^c CSIRO   (Australia)

^d India Science Lab   (India)

Author keywords

[No Author keywords available]

Indexed keywords

INTEROPERABILITY; NETWORK PROTOCOLS; PROBLEM SOLVING;

INTEROPERABILITY PROBLEMS; STANDARD PROTOCOLS; TRANSACTION PROTOCOLS;

WEB SERVICES;

EID: 34548754536     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICIW.2007.12     Document Type: Conference Paper

References (20)

1. M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step. LNCS, 3670:257-271, Nov 2005.
2. L. Baresi and S. Guinea. Towards Dynamic Monitoring of WS-BPEL Processes. In ICSOC, pages 269-282, 2005.
3. M. Barnett, L. Nachmanson, and W. Schulte. Conformance Checking of Components Against Their Non-deterministic Specifications. In Technical Report, volume MSR-TR-200156. Microsoft Research, 2001.
4. A. Bauer, M. Leucker, and C. Schallhart, "model-based runtime analysis of distributed reactive systems". In Software Engineering Conference, pages 10-, 2006.
5. M. Bruno, G. Canfora, M. D. Penta, G. Esposito, and V. Mazza. Using Test Cases as Contract to Ensure Service Compliance Across Releases. In ICSOC, pages 87-100, 2005.
6. D. Langworthy (editor). Web Services Business Activity Framework, ftp://www6.software.ibm.com/software/developer/library/WS-BusinessActivty.pdf, Aug 2005.
7. D. Langworthy (editor). Web Services Coordination Specification. ftp://www6.software.ibm.com/software/developer/library/WS-Coordination.pdf, Aug 2005.
8. D. Langworthy (editor). Web Services Reliable Messaging Protocol, ftp://www6.software.ibm.com/software/developer/library/ws- reliablemessaging200502.pdf, 2005.
9. Dan Box (editor). Web Services Addressing. http://www.w3.org/Submission/ ws-addressing/, 2004.
10. N. Halbwachs, F. Lagnier, and P.Raymond. Synchronous Observers and the Verification of Reactive Systems. In AMAST'93, 1993.
11. Z. Li, J. Han, and Y. Jin. Pattern-Based Specification and Validation of Web Services Interaction Properties. In ICSOC, pages 73-86, 2005.
12. P. Ramsokul and A. Sowmya. A Sniffer Based Approach to WS Protocol Conformance Checking. In ISPDC, pages 58-65. IEEE Computer Society, 2006.
13. P. Ramsokul and A. Sowmya. ASEHA: A Framework for Modelling and Verification of Web Services Protocols. In SEFM, pages 196-205. IEEE Computer Society, 2006.
14. P. Ramsokul and A. Sowmya. The ASEHA Project, http://www.cse.unsw.edu.au/ ~pkramsok/aseha/, Jan 2006.
15. V Rusu. Verification Using Test Generation Techniques. In International Symposium of Formal Methods Europe, volume 2391, page 252. LNCS, Springer Verlag, Jan 2002.
16. The Apache Software Foundation. Apache Axis2. http://ws.apache.org/axis2/ .
17. J. Tretmans. A Formal Approach to Conformance Testing. PhD thesis, Enschede, The Netherlands, 1992.
18. M. Venzke. Automatic Validation of Web Services. In W. Abramowicz, editor, Proceedings of the 8th CaberNet Radicals Workshop, Ajaccio, Corsica, Oct 2003.
19. W3C Recommendation. XML Schema Part 0: Primer Second Edition. http://www.w3.org/TR/xmlschema-0/, 2004.
20. H. Wasserman and M. Blum. Software reliability via runtime result-checking. Journal of the ACM, 44(6): 826-849, 1997.