W3C home > Mailing lists > Public > www-archive@w3.org > September 2004

Formal Specification of WSDL 2.0 Component Model (Trying Again)

From: Arthur Ryman <ryman@ca.ibm.com>
Date: Wed, 15 Sep 2004 15:40:40 -0400
To: www-archive@w3.org
Cc: hugo@w3.org
Message-ID: <OF35210920.2C06F880-ON85256F10.006B6380-85256F10.006C164B@ca.ibm.com>
The pdf and tex files got stripped from my last message. I am posting 
again so Hugo can investigate:


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/
Received on Wednesday, 15 September 2004 19:41:16 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 7 November 2012 14:17:46 GMT