- From: Arthur Ryman via cvs-syncmail <cvsmail@w3.org>
- Date: Wed, 16 Mar 2005 23:13:36 +0000
- To: public-ws-desc-eds@w3.org
Update of /sources/public/2002/ws/desc/wsdl20
In directory hutz:/tmp/cvs-serv11595
Modified Files:
build.xml wsdl20.pdf wsdl20.html wsdl20-ie.html wsdl20.xml
wsdl20.tex wsdl20-i.html wsdl20-adjuncts.html zml2html.xsl
Log Message:
Hide Z Notation in the Normative version of the spec.
Index: wsdl20-adjuncts.html
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20-adjuncts.html,v
retrieving revision 1.2
retrieving revision 1.3
diff -C2 -d -r1.2 -r1.3
*** wsdl20-adjuncts.html 16 Mar 2005 15:17:03 -0000 1.2
--- wsdl20-adjuncts.html 16 Mar 2005 23:13:34 -0000 1.3
***************
*** 1,15 ****
! <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
! "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
! <html lang="en" xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
! <head>
! <meta name="generator" content=
! "HTML Tidy for Linux/x86 (vers 1st August 2004), see www.w3.org" />
! <meta http-equiv="Content-Type" content=
! "text/html; charset=utf-8" />
! <title>Web Services Description Language (WSDL) Version 2.0 Part 2:
! Adjuncts</title>
[...8972 lines suppressed...]
! <td rowspan="1" colspan="1">JJM</td>
! <td rowspan="1" colspan="1">Simplified the introduction; referred to Part1 for a longer introduction</td>
! </tr>
! <tr>
! <td rowspan="1" colspan="1">20020221</td>
! <td rowspan="1" colspan="1">JJM</td>
! <td rowspan="1" colspan="1">Renamed to "Part 2: Bindings"</td>
! </tr>
! <tr>
! <td rowspan="1" colspan="1">20020221</td>
! <td rowspan="1" colspan="1">JJM</td>
! <td rowspan="1" colspan="1">Created from http://www.w3.org/TR/2001/NOTE-wsdl-20010315</td>
! </tr>
! </tbody>
! </table><br>
! </div>
! </div>
! </div>
! </body></html>
\ No newline at end of file
Index: build.xml
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/build.xml,v
retrieving revision 1.15
retrieving revision 1.16
diff -C2 -d -r1.15 -r1.16
*** build.xml 14 Mar 2005 22:40:15 -0000 1.15
--- build.xml 16 Mar 2005 23:13:33 -0000 1.16
***************
*** 27,30 ****
--- 27,33 ----
ChangeLog:
+ 2005-03-16: Arthur Ryman <ryman@ca.ibm.com>
+ - replace bindings and extensions by adjuncts
+
2005-03-14: Arthur Ryman <ryman@ca.ibm.com>
- exclude xml fragments from validate step
***************
*** 82,87 ****
<delete file="wsdl20-i.html" />
<delete file="wsdl20-ie.html" />
! <delete file="wsdl20-extensions.html" />
! <delete file="wsdl20-bindings.html" />
<delete file="wsdl20-elements.txt" />
<delete file="wsdl20-primer.txt" />
--- 85,89 ----
<delete file="wsdl20-i.html" />
<delete file="wsdl20-ie.html" />
! <delete file="wsdl20-adjuncts.html" />
<delete file="wsdl20-elements.txt" />
<delete file="wsdl20-primer.txt" />
***************
*** 118,123 ****
<target name="html" description="Transforms xml into html.">
<xslt in="wsdl20.xml" out="wsdl20.html" style="xmlspec-wsdl.xsl" />
! <xslt in="wsdl20-extensions.xml" out="wsdl20-extensions.html" style="xmlspec-wsdl.xsl" />
! <xslt in="wsdl20-bindings.xml" out="wsdl20-bindings.html" style="xmlspec-wsdl.xsl" />
<xslt in="wsdl20-primer.xml" out="wsdl20-primer.html" style="xmlspec-wsdl.xsl" />
</target>
--- 120,124 ----
<target name="html" description="Transforms xml into html.">
<xslt in="wsdl20.xml" out="wsdl20.html" style="xmlspec-wsdl.xsl" />
! <xslt in="wsdl20-adjuncts.xml" out="wsdl20-adjuncts.html" style="xmlspec-wsdl.xsl" />
<xslt in="wsdl20-primer.xml" out="wsdl20-primer.html" style="xmlspec-wsdl.xsl" />
</target>
Index: wsdl20.tex
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.tex,v
retrieving revision 1.26
retrieving revision 1.27
diff -C2 -d -r1.26 -r1.27
*** wsdl20.tex 14 Mar 2005 22:40:16 -0000 1.26
--- wsdl20.tex 16 Mar 2005 23:13:34 -0000 1.27
***************
*** 334,345 ****
! This specification uses Z Notation \hyperlink{ZNotationReferenceManual}{[\textit{Z Notation Reference Manual}]}
to formalize the WSDL Component Model.
Z Notation is a formal specification language that is based on standard mathematical notation.
! The Z Notation in this specification has been verified using the
Fuzz 2000 type-checker \hyperlink{Fuzz2000}{[\textit{Fuzz 2000}]}.
There are two elements of Z Notation syntax that conflict with the notational conventions described in the preceeding sections.
In Z Notation, square brackets are used to introduce basic sets, e.g. $[ID]$,
--- 334,364 ----
! Z Notation \hyperlink{ZNotationReferenceManual}{[\textit{Z Notation Reference Manual}]} was used in the development of this specification
to formalize the WSDL Component Model.
Z Notation is a formal specification language that is based on standard mathematical notation.
! The Z Notation for this specification has been verified using the
Fuzz 2000 type-checker \hyperlink{Fuzz2000}{[\textit{Fuzz 2000}]}.
+ Since Z Notation is not widely known, it is not part of the normative version of this specification.
+ However, it is included in two non-normative versions.
+ The non-normative \href{wsdl20-i.html}{DHTML} version of this specification allows the reader to interactively
+ hide and show the Z Notation.
+ The DHTML version of this specification is compliant with the W3C Character Model \hyperlink{W3CCharacterModel}{[\textit{Character Model}]}
+ which uses Unicode characters to encode the mathematical symbols that appear in Z Notation.
+ Mozilla Firefox correctly displays Unicode characters, provided that the required fonts are installed.
+ Mathematical fonts for Mozilla Firefox can be downloaded from the \href{http://www.mozilla.org/projects/mathml/fonts/}{Mozilla Web site}.
+ To display the mathematical symbols correctly in Internet Explorer, use the alternate, non-normative
+ \href{wsdl20-ie.html}{IE} version of this specification.
+
+
+
+ The Z Notation was used to help eliminate problems in the normative text, and to define the test suite coverage.
+ However, the Z Notation is non-normative, so any conflict between it and the normative text is resolved in favor of the normative text.
+ Readers may nevertheless find the Z Notation useful in cases where the normative text appears to be unclear or ambiguous.
+
+
+
There are two elements of Z Notation syntax that conflict with the notational conventions described in the preceeding sections.
In Z Notation, square brackets are used to introduce basic sets, e.g. $[ID]$,
***************
*** 354,373 ****
- The non-normative \href{wsdl20-i.html}{DHTML} version of this specification allows the reader to interactively
- hide and show the Z Notation.
- Readers who are not familiar with Z Notation may find the DHTML version
- preferable.
-
-
-
- The normative version of this specification is compliant with the W3C Character Model \hyperlink{W3CCharacterModel}{[\textit{Character Model}]}
- which uses Unicode characters to encode the mathematical symbols that appear in Z Notation.
- Mozilla Firefox correctly displays Unicode characters, provided that the required fonts are installed.
- Mathematical fonts for Mozilla Firefox can be downloaded from the \href{http://www.mozilla.org/projects/mathml/fonts/}{Mozilla Web site}.
- To display the mathematical symbols correctly in Internet Explorer, use the alternate, non-normative
- \href{wsdl20-ie.html}{IE} version of this specification.
-
-
-
\hypertarget{bnfpseudoschemas}{}
--- 373,376 ----
***************
*** 8170,8191 ****
\hypertarget{WSDL-PART3}{}\item[{[WSDL 2.0 Bindings]}] \
! \href{wsdl20-bindings.html}{Web Services Description Language (WSDL) Version 2.0 Part 3: Bindings}, H. Haas, P. Le
H\'{e}garet, J-J. Moreau, D. Orchard, J.
Schlimmer, Editors. World Wide Web Consortium, @@
@@@@ @@@@. This version of the
! "Web Services Description Language (WSDL) Version 2.0 Part 3: Bindings" Specification
! is available at wsdl20-bindings.html. The \href{http://www.w3.org/2002/ws/desc/wsdl20-bindings}{latest version of
! "Web Services Description Language (WSDL) Version 2.0 Part 3: Bindings"} is available at http://www.w3.org/2002/ws/desc/wsdl20-bindings.
\hypertarget{WSDL-PART2}{}\item[{[WSDL 2.0 Predefined Extensions]}] \
! \href{wsdl20-extensions.html}{Web Services Description Language (WSDL) Version 2.0 Part 2: Predefined Extensions},
M. Gudgin, A. Lewis, and J. Schlimmer, Editors. World
Wide Web Consortium, @@ @@@@
! @@@@. This version of the "Web Services Description Language (WSDL) Version 2.0 Part 2: Predefined Extensions"
! Specification is available at wsdl20-extensions.html. The
! \href{http://www.w3.org/2002/ws/desc/wsdl20-extensions}{latest version of
! "Web Services Description Language (WSDL) Version 2.0 Part 2: Predefined Extensions"} is available at http://www.w3.org/2002/ws/desc/wsdl20-extensions.
--- 8173,8194 ----
\hypertarget{WSDL-PART3}{}\item[{[WSDL 2.0 Bindings]}] \
! \href{.html}{}, H. Haas, P. Le
H\'{e}garet, J-J. Moreau, D. Orchard, J.
Schlimmer, Editors. World Wide Web Consortium, @@
@@@@ @@@@. This version of the
! "" Specification
! is available at .html. The \href{http://www.w3.org/2002/ws/desc/}{latest version of
! ""} is available at http://www.w3.org/2002/ws/desc/.
\hypertarget{WSDL-PART2}{}\item[{[WSDL 2.0 Predefined Extensions]}] \
! \href{wsdl20-adjuncts.html}{Web Services Description Language (WSDL) Version 2.0 Part 2: Adjuncts},
M. Gudgin, A. Lewis, and J. Schlimmer, Editors. World
Wide Web Consortium, @@ @@@@
! @@@@. This version of the "Web Services Description Language (WSDL) Version 2.0 Part 2: Adjuncts"
! Specification is available at wsdl20-adjuncts.html. The
! \href{http://www.w3.org/2002/ws/desc/wsdl20-adjuncts}{latest version of
! "Web Services Description Language (WSDL) Version 2.0 Part 2: Adjuncts"} is available at http://www.w3.org/2002/ws/desc/wsdl20-adjuncts.
***************
*** 8237,8250 ****
- \hypertarget{ZNotationReferenceManual}{}\item[{[Z Notation Reference Manual]}] \
-
- \href{http://spivey.oriel.ox.ac.uk/~mike/zrm/index.html}{The Z Notation: A Reference Manual, Second Edition}, J. M. Spivey, Prentice Hall, 1992.
-
-
- \hypertarget{Fuzz2000}{}\item[{[Fuzz 2000]}] \
-
- \href{http://spivey.oriel.ox.ac.uk/~mike/fuzz/}{Release Notes For Fuzz 2000}, J. M. Spivey.
-
-
\end{description}
--- 8240,8243 ----
***************
*** 8351,8362 ****
\hypertarget{WSDL-PART4}{}\item[{[WSDL 2.0 RDF Mapping]}] \
! \href{wsdl20-extensions.html}{Web Services Description (WSDL) Version 2.0:
RDF Mapping}, XYZ,
Editors. World Wide Web Consortium, @@
@@@@ @@@@. This version of the "Web Services
Description Version 2.0: RDF Mapping" Specification is available
! at wsdl20-extensions.html. The \href{http://www.w3.org/2002/ws/desc/wsdl20-extensions}{latest version of "Web Services
Description Version 2.0: RDF Mapping"} is available at
! http://www.w3.org/2002/ws/desc/wsdl20-extensions.
--- 8344,8355 ----
\hypertarget{WSDL-PART4}{}\item[{[WSDL 2.0 RDF Mapping]}] \
! \href{wsdl20-adjuncts.html}{Web Services Description (WSDL) Version 2.0:
RDF Mapping}, XYZ,
Editors. World Wide Web Consortium, @@
@@@@ @@@@. This version of the "Web Services
Description Version 2.0: RDF Mapping" Specification is available
! at wsdl20-adjuncts.html. The \href{http://www.w3.org/2002/ws/desc/wsdl20-adjuncts}{latest version of "Web Services
Description Version 2.0: RDF Mapping"} is available at
! http://www.w3.org/2002/ws/desc/wsdl20-adjuncts.
***************
*** 8386,8389 ****
--- 8379,8392 ----
+ \hypertarget{ZNotationReferenceManual}{}\item[{[Z Notation Reference Manual]}] \
+
+ \href{http://spivey.oriel.ox.ac.uk/~mike/zrm/index.html}{The Z Notation: A Reference Manual, Second Edition}, J. M. Spivey, Prentice Hall, 1992.
+
+
+ \hypertarget{Fuzz2000}{}\item[{[Fuzz 2000]}] \
+
+ \href{http://spivey.oriel.ox.ac.uk/~mike/fuzz/}{Release Notes For Fuzz 2000}, J. M. Spivey.
+
+
\end{description}
***************
*** 9172,9178 ****
20050314&
AGR&
! Removed section on RPC Style so it can be included in Adjuncts
\\ \hline
--- 9175,9187 ----
+ 20050315&
+ AGR&
+ Hide Z Notation in the Normative version of the spec.
+ \\ \hline
+
+
20050314&
AGR&
! Removed section on RPC Style so it can be included in Adjuncts.
\\ \hline
Index: zml2html.xsl
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/zml2html.xsl,v
retrieving revision 1.10
retrieving revision 1.11
diff -C2 -d -r1.10 -r1.11
*** zml2html.xsl 31 Dec 2004 22:03:03 -0000 1.10
--- zml2html.xsl 16 Mar 2005 23:13:34 -0000 1.11
***************
*** 27,30 ****
--- 27,33 ----
Change Log:
+ 2005-03-16: Arthur Ryman <ryman@ca.ibm.com>
+ - change default value of showZed to false
+
2004-12-26: Arthur Ryman <ryman@ca.ibm.com>
- added interactive version with twisties
***************
*** 97,101 ****
Interface is given the anchor zed-Interface.
-->
! <xsl:param name="showZed" select="'true'" />
<xsl:param name="linkTo" />
--- 100,104 ----
Interface is given the anchor zed-Interface.
-->
! <xsl:param name="showZed" select="'false'" />
<xsl:param name="linkTo" />
Index: wsdl20.xml
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.xml,v
retrieving revision 1.190
retrieving revision 1.191
diff -C2 -d -r1.190 -r1.191
*** wsdl20.xml 14 Mar 2005 22:40:16 -0000 1.190
--- wsdl20.xml 16 Mar 2005 23:13:34 -0000 1.191
***************
*** 339,350 ****
<p>
! This specification uses Z Notation <bibref ref="ZNotationReferenceManual"/>
to formalize the WSDL Component Model.
Z Notation is a formal specification language that is based on standard mathematical notation.
! The Z Notation in this specification has been verified using the
Fuzz 2000 type-checker <bibref ref="Fuzz2000"/>.
</p>
<p>
There are two elements of Z Notation syntax that conflict with the notational conventions described in the preceeding sections.
In Z Notation, square brackets are used to introduce basic sets, e.g. <z:math>[ID]</z:math>,
--- 339,369 ----
<p>
! Z Notation <bibref ref="ZNotationReferenceManual"/> was used in the development of this specification
to formalize the WSDL Component Model.
Z Notation is a formal specification language that is based on standard mathematical notation.
! The Z Notation for this specification has been verified using the
Fuzz 2000 type-checker <bibref ref="Fuzz2000"/>.
</p>
<p>
+ Since Z Notation is not widely known, it is not part of the normative version of this specification.
+ However, it is included in two non-normative versions.
+ The non-normative <loc href="wsdl20-i.html">DHTML</loc> version of this specification allows the reader to interactively
+ hide and show the Z Notation.
+ The DHTML version of this specification is compliant with the W3C Character Model <bibref ref="W3CCharacterModel"/>
+ which uses Unicode characters to encode the mathematical symbols that appear in Z Notation.
+ Mozilla Firefox correctly displays Unicode characters, provided that the required fonts are installed.
+ Mathematical fonts for Mozilla Firefox can be downloaded from the <loc href="http://www.mozilla.org/projects/mathml/fonts/">Mozilla Web site</loc>.
+ To display the mathematical symbols correctly in Internet Explorer, use the alternate, non-normative
+ <loc href="wsdl20-ie.html">IE</loc> version of this specification.
+ </p>
+
+ <p>
+ The Z Notation was used to help eliminate problems in the normative text, and to define the test suite coverage.
+ However, the Z Notation is non-normative, so any conflict between it and the normative text is resolved in favor of the normative text.
+ Readers may nevertheless find the Z Notation useful in cases where the normative text appears to be unclear or ambiguous.
+ </p>
+
+ <p>
There are two elements of Z Notation syntax that conflict with the notational conventions described in the preceeding sections.
In Z Notation, square brackets are used to introduce basic sets, e.g. <z:math>[ID]</z:math>,
***************
*** 358,377 ****
</p>
- <p>
- The non-normative <loc href="wsdl20-i.html">DHTML</loc> version of this specification allows the reader to interactively
- hide and show the Z Notation.
- Readers who are not familiar with Z Notation may find the DHTML version
- preferable.
- </p>
-
- <p>
- The normative version of this specification is compliant with the W3C Character Model <bibref ref="W3CCharacterModel"/>
- which uses Unicode characters to encode the mathematical symbols that appear in Z Notation.
- Mozilla Firefox correctly displays Unicode characters, provided that the required fonts are installed.
- Mathematical fonts for Mozilla Firefox can be downloaded from the <loc href="http://www.mozilla.org/projects/mathml/fonts/">Mozilla Web site</loc>.
- To display the mathematical symbols correctly in Internet Explorer, use the alternate, non-normative
- <loc href="wsdl20-ie.html">IE</loc> version of this specification.
- </p>
-
</div3>
--- 377,380 ----
***************
*** 8061,8074 ****
</bibl>
- <bibl id="ZNotationReferenceManual" key="Z Notation Reference Manual"
- href="http://spivey.oriel.ox.ac.uk/~mike/zrm/index.html">
- <titleref>The Z Notation: A Reference Manual, Second Edition</titleref>, J. M. Spivey, Prentice Hall, 1992.
- </bibl>
-
- <bibl id="Fuzz2000" key="Fuzz 2000"
- href="http://spivey.oriel.ox.ac.uk/~mike/fuzz/">
- <titleref>Release Notes For Fuzz 2000</titleref>, J. M. Spivey.
- </bibl>
-
</blist>
--- 8064,8067 ----
***************
*** 8270,8273 ****
--- 8263,8276 ----
</bibl>
+ <bibl id="ZNotationReferenceManual" key="Z Notation Reference Manual"
+ href="http://spivey.oriel.ox.ac.uk/~mike/zrm/index.html">
+ <titleref>The Z Notation: A Reference Manual, Second Edition</titleref>, J. M. Spivey, Prentice Hall, 1992.
+ </bibl>
+
+ <bibl id="Fuzz2000" key="Fuzz 2000"
+ href="http://spivey.oriel.ox.ac.uk/~mike/fuzz/">
+ <titleref>Release Notes For Fuzz 2000</titleref>, J. M. Spivey.
+ </bibl>
+
</blist>
***************
*** 8936,8942 ****
<tr>
<td>20050314</td>
<td>AGR</td>
! <td>Removed section on RPC Style so it can be included in Adjuncts</td>
</tr>
--- 8939,8951 ----
<tr>
+ <td>20050315</td>
+ <td>AGR</td>
+ <td>Hide Z Notation in the Normative version of the spec.</td>
+ </tr>
+
+ <tr>
<td>20050314</td>
<td>AGR</td>
! <td>Removed section on RPC Style so it can be included in Adjuncts.</td>
</tr>
Index: wsdl20-ie.html
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20-ie.html,v
retrieving revision 1.23
retrieving revision 1.24
diff -C2 -d -r1.23 -r1.24
*** wsdl20-ie.html 14 Mar 2005 22:40:16 -0000 1.23
--- wsdl20-ie.html 16 Mar 2005 23:13:33 -0000 1.24
***************
*** 340,351 ****
<p>
! This specification uses Z Notation [<cite><a href="#ZNotationReferenceManual">Z Notation Reference Manual</a></cite>]
to formalize the WSDL Component Model.
Z Notation is a formal specification language that is based on standard mathematical notation.
! The Z Notation in this specification has been verified using the
Fuzz 2000 type-checker [<cite><a href="#Fuzz2000">Fuzz 2000</a></cite>].
</p>
<p>
There are two elements of Z Notation syntax that conflict with the notational conventions described in the preceeding sections.
In Z Notation, square brackets are used to introduce basic sets, e.g. [<span class="zi">ID</span>],
--- 340,370 ----
<p>
! Z Notation [<cite><a href="#ZNotationReferenceManual">Z Notation Reference Manual</a></cite>] was used in the development of this specification
to formalize the WSDL Component Model.
Z Notation is a formal specification language that is based on standard mathematical notation.
! The Z Notation for this specification has been verified using the
Fuzz 2000 type-checker [<cite><a href="#Fuzz2000">Fuzz 2000</a></cite>].
</p>
<p>
+ Since Z Notation is not widely known, it is not part of the normative version of this specification.
+ However, it is included in two non-normative versions.
+ The non-normative <a href="wsdl20-i.html">DHTML</a> version of this specification allows the reader to interactively
+ hide and show the Z Notation.
+ The DHTML version of this specification is compliant with the W3C Character Model [<cite><a href="#W3CCharacterModel">Character Model</a></cite>]
+ which uses Unicode characters to encode the mathematical symbols that appear in Z Notation.
+ Mozilla Firefox correctly displays Unicode characters, provided that the required fonts are installed.
+ Mathematical fonts for Mozilla Firefox can be downloaded from the <a href="http://www.mozilla.org/projects/mathml/fonts/">Mozilla Web site</a>.
+ To display the mathematical symbols correctly in Internet Explorer, use the alternate, non-normative
+ <a href="wsdl20-ie.html">IE</a> version of this specification.
+ </p>
+
+ <p>
+ The Z Notation was used to help eliminate problems in the normative text, and to define the test suite coverage.
+ However, the Z Notation is non-normative, so any conflict between it and the normative text is resolved in favor of the normative text.
+ Readers may nevertheless find the Z Notation useful in cases where the normative text appears to be unclear or ambiguous.
+ </p>
+
+ <p>
There are two elements of Z Notation syntax that conflict with the notational conventions described in the preceeding sections.
In Z Notation, square brackets are used to introduce basic sets, e.g. [<span class="zi">ID</span>],
***************
*** 359,378 ****
</p>
- <p>
- The non-normative <a href="wsdl20-i.html">DHTML</a> version of this specification allows the reader to interactively
- hide and show the Z Notation.
- Readers who are not familiar with Z Notation may find the DHTML version
- preferable.
- </p>
-
- <p>
- The normative version of this specification is compliant with the W3C Character Model [<cite><a href="#W3CCharacterModel">Character Model</a></cite>]
- which uses Unicode characters to encode the mathematical symbols that appear in Z Notation.
- Mozilla Firefox correctly displays Unicode characters, provided that the required fonts are installed.
- Mathematical fonts for Mozilla Firefox can be downloaded from the <a href="http://www.mozilla.org/projects/mathml/fonts/">Mozilla Web site</a>.
- To display the mathematical symbols correctly in Internet Explorer, use the alternate, non-normative
- <a href="wsdl20-ie.html">IE</a> version of this specification.
- </p>
-
</div>
--- 378,381 ----
***************
*** 7538,7558 ****
<dt class="label"><a name="WSDL-PART3"></a>[WSDL 2.0 Bindings] </dt><dd>
! <cite><a href="wsdl20-bindings.html">Web Services Description Language (WSDL) Version 2.0 Part 3: Bindings</a></cite>, H. Haas, P. Le
Hégaret, J-J. Moreau, D. Orchard, J.
Schlimmer, Editors. World Wide Web Consortium, @@
@@@@ @@@@. This version of the
! "Web Services Description Language (WSDL) Version 2.0 Part 3: Bindings" Specification
! is available at wsdl20-bindings.html. The <a href="http://www.w3.org/2002/ws/desc/wsdl20-bindings">latest version of
! "Web Services Description Language (WSDL) Version 2.0 Part 3: Bindings"</a> is available at http://www.w3.org/2002/ws/desc/wsdl20-bindings.
</dd>
<dt class="label"><a name="WSDL-PART2"></a>[WSDL 2.0 Predefined Extensions] </dt><dd>
! <cite><a href="wsdl20-extensions.html">Web Services Description Language (WSDL) Version 2.0 Part 2: Predefined Extensions</a></cite>,
M. Gudgin, A. Lewis, and J. Schlimmer, Editors. World
Wide Web Consortium, @@ @@@@
! @@@@. This version of the "Web Services Description Language (WSDL) Version 2.0 Part 2: Predefined Extensions"
! Specification is available at wsdl20-extensions.html. The
! <a href="http://www.w3.org/2002/ws/desc/wsdl20-extensions">latest version of
! "Web Services Description Language (WSDL) Version 2.0 Part 2: Predefined Extensions"</a> is available at http://www.w3.org/2002/ws/desc/wsdl20-extensions.
</dd>
--- 7541,7561 ----
<dt class="label"><a name="WSDL-PART3"></a>[WSDL 2.0 Bindings] </dt><dd>
! <cite><a href=".html"></a></cite>, H. Haas, P. Le
Hégaret, J-J. Moreau, D. Orchard, J.
Schlimmer, Editors. World Wide Web Consortium, @@
@@@@ @@@@. This version of the
! "" Specification
! is available at .html. The <a href="http://www.w3.org/2002/ws/desc/">latest version of
! ""</a> is available at http://www.w3.org/2002/ws/desc/.
</dd>
<dt class="label"><a name="WSDL-PART2"></a>[WSDL 2.0 Predefined Extensions] </dt><dd>
! <cite><a href="wsdl20-adjuncts.html">Web Services Description Language (WSDL) Version 2.0 Part 2: Adjuncts</a></cite>,
M. Gudgin, A. Lewis, and J. Schlimmer, Editors. World
Wide Web Consortium, @@ @@@@
! @@@@. This version of the "Web Services Description Language (WSDL) Version 2.0 Part 2: Adjuncts"
! Specification is available at wsdl20-adjuncts.html. The
! <a href="http://www.w3.org/2002/ws/desc/wsdl20-adjuncts">latest version of
! "Web Services Description Language (WSDL) Version 2.0 Part 2: Adjuncts"</a> is available at http://www.w3.org/2002/ws/desc/wsdl20-adjuncts.
</dd>
***************
*** 7598,7609 ****
</dd>
- <dt class="label"><a name="ZNotationReferenceManual"></a>[Z Notation Reference Manual] </dt><dd>
- <cite><a href="http://spivey.oriel.ox.ac.uk/~mike/zrm/index.html">The Z Notation: A Reference Manual, Second Edition</a></cite>, J. M. Spivey, Prentice Hall, 1992.
- </dd>
-
- <dt class="label"><a name="Fuzz2000"></a>[Fuzz 2000] </dt><dd>
- <cite><a href="http://spivey.oriel.ox.ac.uk/~mike/fuzz/">Release Notes For Fuzz 2000</a></cite>, J. M. Spivey.
- </dd>
-
</dl>
--- 7601,7604 ----
***************
*** 7699,7710 ****
<dt class="label"><a name="WSDL-PART4"></a>[WSDL 2.0 RDF Mapping] </dt><dd>
! <cite><a href="wsdl20-extensions.html">Web Services Description (WSDL) Version 2.0:
RDF Mapping</a></cite>, XYZ,
Editors. World Wide Web Consortium, @@
@@@@ @@@@. This version of the "Web Services
Description Version 2.0: RDF Mapping" Specification is available
! at wsdl20-extensions.html. The <a href="http://www.w3.org/2002/ws/desc/wsdl20-extensions">latest version of "Web Services
Description Version 2.0: RDF Mapping"</a> is available at
! http://www.w3.org/2002/ws/desc/wsdl20-extensions.
</dd>
--- 7694,7705 ----
<dt class="label"><a name="WSDL-PART4"></a>[WSDL 2.0 RDF Mapping] </dt><dd>
! <cite><a href="wsdl20-adjuncts.html">Web Services Description (WSDL) Version 2.0:
RDF Mapping</a></cite>, XYZ,
Editors. World Wide Web Consortium, @@
@@@@ @@@@. This version of the "Web Services
Description Version 2.0: RDF Mapping" Specification is available
! at wsdl20-adjuncts.html. The <a href="http://www.w3.org/2002/ws/desc/wsdl20-adjuncts">latest version of "Web Services
Description Version 2.0: RDF Mapping"</a> is available at
! http://www.w3.org/2002/ws/desc/wsdl20-adjuncts.
</dd>
***************
*** 7732,7735 ****
--- 7727,7738 ----
</dd>
+ <dt class="label"><a name="ZNotationReferenceManual"></a>[Z Notation Reference Manual] </dt><dd>
+ <cite><a href="http://spivey.oriel.ox.ac.uk/~mike/zrm/index.html">The Z Notation: A Reference Manual, Second Edition</a></cite>, J. M. Spivey, Prentice Hall, 1992.
+ </dd>
+
+ <dt class="label"><a name="Fuzz2000"></a>[Fuzz 2000] </dt><dd>
+ <cite><a href="http://spivey.oriel.ox.ac.uk/~mike/fuzz/">Release Notes For Fuzz 2000</a></cite>, J. M. Spivey.
+ </dd>
+
</dl>
***************
*** 8502,8508 ****
<tr>
<td rowspan="1" colspan="1">20050314</td>
<td rowspan="1" colspan="1">AGR</td>
! <td rowspan="1" colspan="1">Removed section on RPC Style so it can be included in Adjuncts</td>
</tr>
--- 8505,8517 ----
<tr>
+ <td rowspan="1" colspan="1">20050315</td>
+ <td rowspan="1" colspan="1">AGR</td>
+ <td rowspan="1" colspan="1">Hide Z Notation in the Normative version of the spec.</td>
+ </tr>
+
+ <tr>
<td rowspan="1" colspan="1">20050314</td>
<td rowspan="1" colspan="1">AGR</td>
! <td rowspan="1" colspan="1">Removed section on RPC Style so it can be included in Adjuncts.</td>
</tr>
Index: wsdl20-i.html
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20-i.html,v
retrieving revision 1.25
retrieving revision 1.26
diff -C2 -d -r1.25 -r1.26
*** wsdl20-i.html 14 Mar 2005 22:40:16 -0000 1.25
--- wsdl20-i.html 16 Mar 2005 23:13:34 -0000 1.26
***************
*** 340,351 ****
<p>
! This specification uses Z Notation [<cite><a href="#ZNotationReferenceManual">Z Notation Reference Manual</a></cite>]
to formalize the WSDL Component Model.
Z Notation is a formal specification language that is based on standard mathematical notation.
! The Z Notation in this specification has been verified using the
Fuzz 2000 type-checker [<cite><a href="#Fuzz2000">Fuzz 2000</a></cite>].
</p>
<p>
There are two elements of Z Notation syntax that conflict with the notational conventions described in the preceeding sections.
In Z Notation, square brackets are used to introduce basic sets, e.g. [<span class="zi">ID</span>],
--- 340,370 ----
<p>
! Z Notation [<cite><a href="#ZNotationReferenceManual">Z Notation Reference Manual</a></cite>] was used in the development of this specification
to formalize the WSDL Component Model.
Z Notation is a formal specification language that is based on standard mathematical notation.
! The Z Notation for this specification has been verified using the
Fuzz 2000 type-checker [<cite><a href="#Fuzz2000">Fuzz 2000</a></cite>].
</p>
<p>
+ Since Z Notation is not widely known, it is not part of the normative version of this specification.
+ However, it is included in two non-normative versions.
+ The non-normative <a href="wsdl20-i.html">DHTML</a> version of this specification allows the reader to interactively
+ hide and show the Z Notation.
+ The DHTML version of this specification is compliant with the W3C Character Model [<cite><a href="#W3CCharacterModel">Character Model</a></cite>]
+ which uses Unicode characters to encode the mathematical symbols that appear in Z Notation.
+ Mozilla Firefox correctly displays Unicode characters, provided that the required fonts are installed.
+ Mathematical fonts for Mozilla Firefox can be downloaded from the <a href="http://www.mozilla.org/projects/mathml/fonts/">Mozilla Web site</a>.
+ To display the mathematical symbols correctly in Internet Explorer, use the alternate, non-normative
+ <a href="wsdl20-ie.html">IE</a> version of this specification.
+ </p>
+
+ <p>
+ The Z Notation was used to help eliminate problems in the normative text, and to define the test suite coverage.
+ However, the Z Notation is non-normative, so any conflict between it and the normative text is resolved in favor of the normative text.
+ Readers may nevertheless find the Z Notation useful in cases where the normative text appears to be unclear or ambiguous.
+ </p>
+
+ <p>
There are two elements of Z Notation syntax that conflict with the notational conventions described in the preceeding sections.
In Z Notation, square brackets are used to introduce basic sets, e.g. [<span class="zi">ID</span>],
***************
*** 359,378 ****
</p>
- <p>
- The non-normative <a href="wsdl20-i.html">DHTML</a> version of this specification allows the reader to interactively
- hide and show the Z Notation.
- Readers who are not familiar with Z Notation may find the DHTML version
- preferable.
- </p>
-
- <p>
- The normative version of this specification is compliant with the W3C Character Model [<cite><a href="#W3CCharacterModel">Character Model</a></cite>]
- which uses Unicode characters to encode the mathematical symbols that appear in Z Notation.
- Mozilla Firefox correctly displays Unicode characters, provided that the required fonts are installed.
- Mathematical fonts for Mozilla Firefox can be downloaded from the <a href="http://www.mozilla.org/projects/mathml/fonts/">Mozilla Web site</a>.
- To display the mathematical symbols correctly in Internet Explorer, use the alternate, non-normative
- <a href="wsdl20-ie.html">IE</a> version of this specification.
- </p>
-
</div>
--- 378,381 ----
***************
*** 7536,7556 ****
<dt class="label"><a name="WSDL-PART3"></a>[WSDL 2.0 Bindings] </dt><dd>
! <cite><a href="wsdl20-bindings.html">Web Services Description Language (WSDL) Version 2.0 Part 3: Bindings</a></cite>, H. Haas, P. Le
Hégaret, J-J. Moreau, D. Orchard, J.
Schlimmer, Editors. World Wide Web Consortium, @@
@@@@ @@@@. This version of the
! "Web Services Description Language (WSDL) Version 2.0 Part 3: Bindings" Specification
! is available at wsdl20-bindings.html. The <a href="http://www.w3.org/2002/ws/desc/wsdl20-bindings">latest version of
! "Web Services Description Language (WSDL) Version 2.0 Part 3: Bindings"</a> is available at http://www.w3.org/2002/ws/desc/wsdl20-bindings.
</dd>
<dt class="label"><a name="WSDL-PART2"></a>[WSDL 2.0 Predefined Extensions] </dt><dd>
! <cite><a href="wsdl20-extensions.html">Web Services Description Language (WSDL) Version 2.0 Part 2: Predefined Extensions</a></cite>,
M. Gudgin, A. Lewis, and J. Schlimmer, Editors. World
Wide Web Consortium, @@ @@@@
! @@@@. This version of the "Web Services Description Language (WSDL) Version 2.0 Part 2: Predefined Extensions"
! Specification is available at wsdl20-extensions.html. The
! <a href="http://www.w3.org/2002/ws/desc/wsdl20-extensions">latest version of
! "Web Services Description Language (WSDL) Version 2.0 Part 2: Predefined Extensions"</a> is available at http://www.w3.org/2002/ws/desc/wsdl20-extensions.
</dd>
--- 7539,7559 ----
<dt class="label"><a name="WSDL-PART3"></a>[WSDL 2.0 Bindings] </dt><dd>
! <cite><a href=".html"></a></cite>, H. Haas, P. Le
Hégaret, J-J. Moreau, D. Orchard, J.
Schlimmer, Editors. World Wide Web Consortium, @@
@@@@ @@@@. This version of the
! "" Specification
! is available at .html. The <a href="http://www.w3.org/2002/ws/desc/">latest version of
! ""</a> is available at http://www.w3.org/2002/ws/desc/.
</dd>
<dt class="label"><a name="WSDL-PART2"></a>[WSDL 2.0 Predefined Extensions] </dt><dd>
! <cite><a href="wsdl20-adjuncts.html">Web Services Description Language (WSDL) Version 2.0 Part 2: Adjuncts</a></cite>,
M. Gudgin, A. Lewis, and J. Schlimmer, Editors. World
Wide Web Consortium, @@ @@@@
! @@@@. This version of the "Web Services Description Language (WSDL) Version 2.0 Part 2: Adjuncts"
! Specification is available at wsdl20-adjuncts.html. The
! <a href="http://www.w3.org/2002/ws/desc/wsdl20-adjuncts">latest version of
! "Web Services Description Language (WSDL) Version 2.0 Part 2: Adjuncts"</a> is available at http://www.w3.org/2002/ws/desc/wsdl20-adjuncts.
</dd>
***************
*** 7596,7607 ****
</dd>
- <dt class="label"><a name="ZNotationReferenceManual"></a>[Z Notation Reference Manual] </dt><dd>
- <cite><a href="http://spivey.oriel.ox.ac.uk/~mike/zrm/index.html">The Z Notation: A Reference Manual, Second Edition</a></cite>, J. M. Spivey, Prentice Hall, 1992.
- </dd>
-
- <dt class="label"><a name="Fuzz2000"></a>[Fuzz 2000] </dt><dd>
- <cite><a href="http://spivey.oriel.ox.ac.uk/~mike/fuzz/">Release Notes For Fuzz 2000</a></cite>, J. M. Spivey.
- </dd>
-
</dl>
--- 7599,7602 ----
***************
*** 7697,7708 ****
<dt class="label"><a name="WSDL-PART4"></a>[WSDL 2.0 RDF Mapping] </dt><dd>
! <cite><a href="wsdl20-extensions.html">Web Services Description (WSDL) Version 2.0:
RDF Mapping</a></cite>, XYZ,
Editors. World Wide Web Consortium, @@
@@@@ @@@@. This version of the "Web Services
Description Version 2.0: RDF Mapping" Specification is available
! at wsdl20-extensions.html. The <a href="http://www.w3.org/2002/ws/desc/wsdl20-extensions">latest version of "Web Services
Description Version 2.0: RDF Mapping"</a> is available at
! http://www.w3.org/2002/ws/desc/wsdl20-extensions.
</dd>
--- 7692,7703 ----
<dt class="label"><a name="WSDL-PART4"></a>[WSDL 2.0 RDF Mapping] </dt><dd>
! <cite><a href="wsdl20-adjuncts.html">Web Services Description (WSDL) Version 2.0:
RDF Mapping</a></cite>, XYZ,
Editors. World Wide Web Consortium, @@
@@@@ @@@@. This version of the "Web Services
Description Version 2.0: RDF Mapping" Specification is available
! at wsdl20-adjuncts.html. The <a href="http://www.w3.org/2002/ws/desc/wsdl20-adjuncts">latest version of "Web Services
Description Version 2.0: RDF Mapping"</a> is available at
! http://www.w3.org/2002/ws/desc/wsdl20-adjuncts.
</dd>
***************
*** 7730,7733 ****
--- 7725,7736 ----
</dd>
+ <dt class="label"><a name="ZNotationReferenceManual"></a>[Z Notation Reference Manual] </dt><dd>
+ <cite><a href="http://spivey.oriel.ox.ac.uk/~mike/zrm/index.html">The Z Notation: A Reference Manual, Second Edition</a></cite>, J. M. Spivey, Prentice Hall, 1992.
+ </dd>
+
+ <dt class="label"><a name="Fuzz2000"></a>[Fuzz 2000] </dt><dd>
+ <cite><a href="http://spivey.oriel.ox.ac.uk/~mike/fuzz/">Release Notes For Fuzz 2000</a></cite>, J. M. Spivey.
+ </dd>
+
</dl>
***************
*** 8500,8506 ****
<tr>
<td rowspan="1" colspan="1">20050314</td>
<td rowspan="1" colspan="1">AGR</td>
! <td rowspan="1" colspan="1">Removed section on RPC Style so it can be included in Adjuncts</td>
</tr>
--- 8503,8515 ----
<tr>
+ <td rowspan="1" colspan="1">20050315</td>
+ <td rowspan="1" colspan="1">AGR</td>
+ <td rowspan="1" colspan="1">Hide Z Notation in the Normative version of the spec.</td>
+ </tr>
+
+ <tr>
<td rowspan="1" colspan="1">20050314</td>
<td rowspan="1" colspan="1">AGR</td>
! <td rowspan="1" colspan="1">Removed section on RPC Style so it can be included in Adjuncts.</td>
</tr>
Index: wsdl20.pdf
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.pdf,v
retrieving revision 1.19
retrieving revision 1.20
diff -C2 -d -r1.19 -r1.20
*** wsdl20.pdf 14 Mar 2005 22:40:15 -0000 1.19
--- wsdl20.pdf 16 Mar 2005 23:13:33 -0000 1.20
***************
*** 166,170 ****
endobj
116 0 obj
! (RPC Style)
endobj
117 0 obj
--- 166,170 ----
endobj
116 0 obj
! (XML Representation of Interface Operation Component)
endobj
[...32920 lines suppressed...]
! 0000762474 00000 n
! 0000762600 00000 n
! 0000762726 00000 n
! 0000762806 00000 n
! 0000762907 00000 n
! 0000775850 00000 n
! 0000793124 00000 n
! 0000793165 00000 n
! 0000793205 00000 n
! 0000793397 00000 n
trailer
<<
! /Size 2613
! /Root 2611 0 R
! /Info 2612 0 R
! /ID [<915122B4BC4F6DC3B7E024C5> <915122B4BC4F6DC3B7E024C5>]
>>
startxref
! 793645
%%EOF
Index: wsdl20.html
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.html,v
retrieving revision 1.161
retrieving revision 1.162
diff -C2 -d -r1.161 -r1.162
*** wsdl20.html 14 Mar 2005 22:40:15 -0000 1.161
--- wsdl20.html 16 Mar 2005 23:13:33 -0000 1.162
***************
*** 340,351 ****
<p>
! This specification uses Z Notation [<cite><a href="#ZNotationReferenceManual">Z Notation Reference Manual</a></cite>]
to formalize the WSDL Component Model.
Z Notation is a formal specification language that is based on standard mathematical notation.
! The Z Notation in this specification has been verified using the
Fuzz 2000 type-checker [<cite><a href="#Fuzz2000">Fuzz 2000</a></cite>].
</p>
<p>
[...1451 lines suppressed...]
<tr>
<td rowspan="1" colspan="1">20050314</td>
<td rowspan="1" colspan="1">AGR</td>
! <td rowspan="1" colspan="1">Removed section on RPC Style so it can be included in Adjuncts</td>
</tr>
--- 7507,7519 ----
<tr>
+ <td rowspan="1" colspan="1">20050315</td>
+ <td rowspan="1" colspan="1">AGR</td>
+ <td rowspan="1" colspan="1">Hide Z Notation in the Normative version of the spec.</td>
+ </tr>
+
+ <tr>
<td rowspan="1" colspan="1">20050314</td>
<td rowspan="1" colspan="1">AGR</td>
! <td rowspan="1" colspan="1">Removed section on RPC Style so it can be included in Adjuncts.</td>
</tr>
Received on Wednesday, 16 March 2005 23:13:39 UTC