Formal Specification of WSDL 2.0 Component Model

Here is the pdf and latex for the Z Notation I presented at the W3C Web 
Services Description WG F2F, London, 2004-08-04 [1].

 I included the snapshot of the 2004-06-18 WSDL 2.0 spec that I 
formalized. The pdf file has some hyperlinks to the html file using 
hyperef. The URLs are like 
http://localhost/wsdl20/wsdl20.html#Definitions_details so you need to put 
the wsdl20.html file in the /wsdl20 virtual root of a Web server running 
on localhost for the links to work.



[1] http://lists.w3.org/Archives/Public/www-ws-desc/2004Aug/0056.html

Arthur Ryman,
Rational Desktop Tools Development

phone: +1-905-413-3077, TL 969-3077
assistant: +1-905-413-2411, TL 969-2411
fax: +1-905-413-4920, TL 969-4920
mobile: +1-416-939-5063
intranet: http://labweb.torolab.ibm.com/DRY6/