Web Services

R. Akkiraju, J. Farrell, J.Miller, M. Nagarajan, M. Schmidt, A. Sheth, K. Verma, "Web Service Semantics - WSDL-S,"
A joint UGA-IBM Technical Note, version 1.0, April 18, 2005. http://lsdis.cs.uga.edu/projects/METEOR-S/WSDL-S

Web Service Semantics - WSDL-S
Technical Note
Version 1.0
April, 2005
Authors (alphabetically):
Rama Akkiraju, IBM Research
Joel Farrell, IBM Software Group
John Miller, LSDIS Lab, University of Georgia
Meenakshi Nagarajan, LSDIS Lab, University of Georgia
Marc-Thomas Schmidt, IBM Software Group
Amit Sheth, LSDIS Lab, University of Georgia
Kunal Verma, LSDIS Lab, University of Georgia

Copyright Notice
Copyright© 2005 International Business Machines Corporation and University of Georgia. All rights reserved.
IBM and the University of Georgia (collectively, the "Authors") hereby grant you permission to copy and display the Web Service Semantics – WSDL-S Technical Note, in any medium without fee or royalty, provided that you include the following on ALL copies of the Web
Services Semantic Annotations – WSDL-S Technical Note, or portions thereof, that you make: 1.

A link or URL to the Specification at this location

2.
The copyright notice as shown in the Web Service Semantics – WSDL-S Technical
Note.
EXCEPT FOR THE COPYRIGHT LICENSE GRANTED ABOVE, THE AUTHORS DO NOT GRANT,
EITHER EXPRESSLY OR IMPLIEDLY, A LICENSE TO ANY OTHER INTELLECTUAL PROPERTY
THEY OWN OR CONTROL.
WEB SERVICE SEMANTICS – WSDL-S TECHNICAL NOTE IS PROVIDED "AS IS," AND THE
AUTHORS MAKE NO REPRESENTATIONS OR WARRANTIES, EXPRESS OR IMPLIED,
INCLUDING, BUT NOT LIMITED TO, WARRANTIES OF MERCHANTABILITY, FITNESS FOR A
PARTICULAR PURPOSE, NON-INFRINGEMENT, OR TITLE; THAT THE CONTENTS OF WEB
SERVICE SEMANTICS – WSDL-S TECHNICAL NOTE ARE SUITABLE FOR ANY PURPOSE; NOR
THAT THE IMPLEMENTATION OF SUCH CONTENTS WILL NOT INFRINGE ANY THIRD PARTY
PATENTS, COPYRIGHTS, TRADEMARKS OR OTHER RIGHTS.
THE AUTHORS WILL NOT BE LIABLE FOR ANY DIRECT,

References: A joint UGA-IBM Technical Note, version 1.0, April 18, 2005. http://lsdis.cs.uga.edu/projects/METEOR-S/WSDL-S Preconditions and effects are specified as child elements of the operation element A joint UGA-IBM Technical Note, version 1.0, April 18, 2005. http://lsdis.cs.uga.edu/projects/METEOR-S/WSDL-S Developing markup languages for representing preconditions and effects is an area of active