Towards Contract-based Testing of Web Services

Electronic Notes in Theoretical Computer Science

Volumn 116, Issue SPEC.ISS., 2005, Pages 145-156

  Heckel, Reiko ^a   Lohmann, Marc ^a  

^a UNIVERSITY OF PADERBORN   (Germany)

Author keywords

Design by Contract; Graph transformation; Web Services

Indexed keywords

COMPUTER GRAPHICS; COMPUTER SIMULATION; CONTRACTS; DATA STRUCTURES; DISTRIBUTED COMPUTER SYSTEMS; INTEROPERABILITY; MECHANICAL TESTING; SYSTEMS ANALYSIS;

DATA TYPES; DESIGN BY CONTRACT; GRAPH TRANSFORMATION; WEB SERVICES;

WORLD WIDE WEB;

EID: 15744379239     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.02.073     Document Type: Conference Paper

References (17)

1. L. Baresi, and R. Heckel Tutorial introduction to graph transformation: A software engineering perspective A. Corradini H. Ehrig H.-J. Kreowski G. Rozenberg Proceedings of the First International Conference on Graph Transformation (ICGT 2002) Lecture Notes in Computer Science 2505 2002 402 429 http://www.upb.de/cs/ag-engels/ag_engl/People/Heckel/talks/Agtive2003Tutorial/
2. R.V. Binder Testing Object-Oriented Systems: Models, Patterns, and Tools Object Technology Series 1999 Addison Wesley
3. D. Booth, H. Haas, F. McCabe, E. Newcomer, I.M. Champion, C. Ferris, and D. Orchard Web Services Architecture, W3C Working Group Note http://www.w3.org/TR/2004/NOTE-ws-arch-20040211/ 2004
4. A. Carmichael, and D. Haywood Better Software Faster 2002 Prentice Hall PTR
5. Y. Cheon, and G.T. Leavens A runtime assertion checker for the Java Modeling Language (JML) H.R. Arabnia Y. Mun Proceedings of the International Conference on Software Engineering Research and Practice (SERP '02), Las Vegas, Nevada, USA, June 24-27, 2002 2002 322 328 ftp://ftp.cs.iastate.edu/pub/ techreports/TR02-05/TR.pdf
6. R. Chinnici, M. Gudgin, J.-J. Moreau, and S. Weerawarana Web Services Description Language (WSDL) Version 1.2 Part 1: Core Language http://www.w3.org/TR/wsdl12/ 2002
7. Fensel, D. and C. Bussler, The web service modeling framework wsmf, Technical report, Vrije Universiteit Amsterdam (VU) (2002), http://www.csd.uch. gr/~hy565/Papers/wsmf.pdf
8. Hausmann, J.H., R. Heckel and M. Lohmann, Towards automatic selection of web services using graph transformation rules, in: R. Tolksdorf and R. Eckstein, editors, Berliner XML Tage (2003), pp. 286-291, http://www.upb.de/cs/ag-engels/ Papers/2003/BXMT-AutomaticSelectionOfWS.pdf
9. R. Heckel, and S. Sauer Strengthening uml collaboration diagrams by state transformations H. Hussmann Fundamental Approaches to Software Engineering, 4th International Conference, Proceedings FASE 2001, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 LNCS 2029 2001 109 123
10. Kramer, R., iContract - the Java design by contract tool, TOOLS 26: Technology of Object-Oriented Languages and Systems, Los Alamitos, California (1998), pp. 295-307
11. B. Meyer Eiffel: The Language Object-Oriented Series 1992 Prentice Hall New York, NY
12. B. Meyer Object-Oriented Software Construction 2nd Ed 1997 Prentice-Hall Englewood Cliffs, NJ 07632, USA second edition, xxvii + 1254 pp. URL http://www.prenhall.com/allbooks/ptr_0136291554.html
13. Object Management Group UML specification version 1.4 http://www.celigent.com/omg/umlrtf/ 2001
14. Parasoft Automated Java Unit Testing Coding Standard Compliance, and Team-Wide Error Prevention http://www.parasoft.com/ 2003
15. Parasoft Using Design by ContactTM to Automate Java Software and Component Testing http://www.parasoft.com/ 2003
16. G. Rozenberg Handbook of Graph Grammars and Computing by Graph Transformation Foundations Volume 1 1997 World Scientific
17. Sun microsystems Jini Architectural Overview - Technical White Paper http://wwws.sun.com/software/jini/whitepapers/architecture.pdf 1999