Towards Contract-based Testing of Web Services

  title={Towards Contract-based Testing of Web Services},
  author={Reiko Heckel and Marc Lohmann},
  journal={Electr. Notes Theor. Comput. Sci.},
Web Services are composed by linking together service providers and requestors. To ensure interoperability, the requestor’s requirements for a service have to be matched against a service description offered by the provider. Besides data types and operation signatures, this requires service specifications to include behavioral information, like contracts specifying preand post-conditions of (required or provided) operations. In this paper, we propose to visualize contracts by graph… CONTINUE READING
Highly Cited
This paper has 119 citations. REVIEW CITATIONS


Publications citing this paper.

120 Citations

Citations per Year
Semantic Scholar estimates that this publication has 120 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 16 references

Using Design by ContactTM to Automate Java Software and Component Testing

  • Parasoft
  • (2003),
  • 2003
Highly Influential
5 Excerpts

Web Services Description Language (WSDL) Version 1.2 Part 1: Core Language

  • R. Chinnici, M. Gudgin, J.-J. Moreau, S. Weerawarana
  • (2002),
  • 2002
Highly Influential
3 Excerpts

Web Services Architecture, W3C Working Group Note

  • D. Booth, H. Haas, +4 authors D. Orchard
  • (2004),…
  • 2004
2 Excerpts

Automated Java Unit Testing Coding Standard Compliance, and Team-Wide Error Prevention

  • Parasoft
  • (2003),
  • 2003
1 Excerpt

Better Software Faster

  • A. Carmichael, D. Haywood
  • Prentice Hall PTR, 2002.
  • 2002
1 Excerpt

Similar Papers

Loading similar papers…