- From: Arthur Ryman <aryman@dev.w3.org>
- Date: Tue, 18 Jan 2005 21:05:45 +0000
- To: public-ws-desc-eds@w3.org
Update of /sources/public/2002/ws/desc/wsdl20
In directory hutz:/tmp/cvs-serv25115
Modified Files:
wsdl20.pdf wsdl20.html wsdl20-ie.html wsdl20.xml wsdl20.tex
wsdl20-i.html
Log Message:
Editorial improvements to Z Notation.
Index: wsdl20.tex
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.tex,v
retrieving revision 1.6
retrieving revision 1.7
diff -C2 -d -r1.6 -r1.7
*** wsdl20.tex 18 Jan 2005 19:09:10 -0000 1.6
--- wsdl20.tex 18 Jan 2005 21:05:42 -0000 1.7
***************
*** 467,478 ****
This section describes the conceptual model of WSDL as a set of
components with attached properties, which collectively describe a Web
! service. Each subsection herein describes a different type of
! component, its defined properties, and its representation as an XML
! Infoset \hyperlink{XMLInfoSet}{[\textit{XML Information Set}]}.
-
Components are typed collections of properties that correspond to
different aspects of Web services.
--- 467,479 ----
This section describes the conceptual model of WSDL as a set of
components with attached properties, which collectively describe a Web
! service. This model is called the \textit{Component Model} of WSDL.
!
Components are typed collections of properties that correspond to
different aspects of Web services.
+ Each subsection herein describes a different type of
+ component, its defined properties, and its representation as an XML
+ Infoset \hyperlink{XMLInfoSet}{[\textit{XML Information Set}]}.
***************
*** 481,485 ****
! Let $Component$ be the set of all components:
--- 482,487 ----
! Let $Component$ be the union of each of the component types
! that appear in the WSDL component model:
***************
*** 506,509 ****
--- 508,519 ----
\begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-Description}{Description}, \hyperlink{zed-ElementDeclaration}{ElementDeclaration}, \hyperlink{zed-TypeDefinition}{TypeDefinition}, \hyperlink{zed-Interface}{Interface}, \hyperlink{zed-InterfaceFault}{InterfaceFault}, \hyperlink{zed-InterfaceOperation}{InterfaceOperation}, \hyperlink{zed-MessageReference}{MessageReference}, \hyperlink{zed-FaultReference}{FaultReference}, \hyperlink{zed-Feature}{Feature}, \hyperlink{zed-Property}{Property}, \hyperlink{zed-Binding}{Binding}, \hyperlink{zed-BindingFault}{BindingFault}, \hyperlink{zed-BindingOperation}{BindingOperation}, \hyperlink{zed-BindingMessageReference}{BindingMessageReference}, \hyperlink{zed-Service}{Service}, \hyperlink{zed-Endpoint}{Endpoint}.\end{itshape}\end{small}\end{quote}
+
+ The $Component$ type is a Z Notation \textit{free type} whose structure is similar to
+ the variant record or discriminated union datatype that is found in some common
+ programming languages.
+ Each of the members of this union is formally defined in the
+ following sections.
+
+
***************
*** 511,522 ****
! When a component property is described as containing another component or a set of other components,
the intended meaning is that the component property contains a reference to another component
or a set of references to other components.
! Every component contains
! an implicit property that uniquely identifies itself and that can be used
to express references.
Let $ID$ be the set of all component identifier values:
--- 521,532 ----
! When a component property is said to contain another component or a set of other components,
the intended meaning is that the component property contains a reference to another component
or a set of references to other components.
! Every component contains an unique identifier that is used
to express references.
+
Let $ID$ be the set of all component identifier values:
***************
*** 527,530 ****
--- 537,548 ----
+ The $ID$ type is a Z Notation \textit{basic set} whose structure is immaterial.
+ The only relevant aspect of $ID$ is that it contains enough members
+ to uniquely identify each component, and that these identifiers can be compared
+ for equality. These identifiers are similar to object identifiers that are found
+ in common object-oriented programming languages.
+
+
+
\hypertarget{zed-Identifier}{}
***************
*** 532,540 ****
! A component is an identified, typed collection of properties.
! Let $Identifier$ denote the set of component identifiers:
--- 550,559 ----
! Every component has an identifier which uniquely identifies it within a component model
! instance.
! Let $Identifier$ be the set of component identifier properties:
***************
*** 550,553 ****
--- 569,579 ----
+ The $Identifier$ set is a Z Notation \textit{schema} whose structure is similar
+ to a record or struct datatype that is found in many common programming languages.
+ The fields of an instance of a Z schema are selected using the usual dot notation, e.g.
+ $x.id$ selects the $id$ field of the instance $x$.
+
+
+
\hypertarget{zed-Id}{}
***************
*** 8398,8401 ****
--- 8424,8433 ----
+ 20050119&
+ AGR&
+ Editorial improvements to Z Notation.
+ \\ \hline
+
+
20050118&
AGR&
Index: wsdl20.xml
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.xml,v
retrieving revision 1.153
retrieving revision 1.154
diff -C2 -d -r1.153 -r1.154
*** wsdl20.xml 18 Jan 2005 19:09:10 -0000 1.153
--- wsdl20.xml 18 Jan 2005 21:05:42 -0000 1.154
***************
*** 405,416 ****
This section describes the conceptual model of WSDL as a set of
components with attached properties, which collectively describe a Web
! service. Each subsection herein describes a different type of
! component, its defined properties, and its representation as an XML
! Infoset <bibref ref="XMLInfoSet"/>.
</p>
!
<p>
Components are typed collections of properties that correspond to
different aspects of Web services.
</p>
--- 405,417 ----
This section describes the conceptual model of WSDL as a set of
components with attached properties, which collectively describe a Web
! service. This model is called the <emph>Component Model</emph> of WSDL.
</p>
!
<p>
Components are typed collections of properties that correspond to
different aspects of Web services.
+ Each subsection herein describes a different type of
+ component, its defined properties, and its representation as an XML
+ Infoset <bibref ref="XMLInfoSet"/>.
</p>
***************
*** 418,422 ****
<p>
! Let <z:i>Component</z:i> be the set of all components:
</p>
--- 419,424 ----
<p>
! Let <z:i>Component</z:i> be the union of each of the component types
! that appear in the WSDL component model:
</p>
***************
*** 445,459 ****
BindingMessageReference Service Endpoint"/>
</z:notation>
<z:notation name="ID">
<p>
! When a component property is described as containing another component or a set of other components,
the intended meaning is that the component property contains a reference to another component
or a set of references to other components.
! Every component contains
! an implicit property that uniquely identifies itself and that can be used
to express references.
</p>
<p>
Let <z:i>ID</z:i> be the set of all component identifier values:
--- 447,469 ----
BindingMessageReference Service Endpoint"/>
+ <p>
+ The <z:i>Component</z:i> type is a Z Notation <emph>free type</emph> whose structure is similar to
+ the variant record or discriminated union datatype that is found in some common
+ programming languages.
+ Each of the members of this union is formally defined in the
+ following sections.
+ </p>
+
</z:notation>
<z:notation name="ID">
<p>
! When a component property is said to contain another component or a set of other components,
the intended meaning is that the component property contains a reference to another component
or a set of references to other components.
! Every component contains an unique identifier that is used
to express references.
</p>
+
<p>
Let <z:i>ID</z:i> be the set of all component identifier values:
***************
*** 464,467 ****
--- 474,485 ----
</z:zed>
+ <p>
+ The <z:i>ID</z:i> type is a Z Notation <emph>basic set</emph> whose structure is immaterial.
+ The only relevant aspect of <z:i>ID</z:i> is that it contains enough members
+ to uniquely identify each component, and that these identifiers can be compared
+ for equality. These identifiers are similar to object identifiers that are found
+ in common object-oriented programming languages.
+ </p>
+
</z:notation>
***************
*** 469,477 ****
<p>
! A component is an identified, typed collection of properties.
</p>
<p>
! Let <z:i>Identifier</z:i> denote the set of component identifiers:
</p>
--- 487,496 ----
<p>
! Every component has an identifier which uniquely identifies it within a component model
! instance.
</p>
<p>
! Let <z:i>Identifier</z:i> be the set of component identifier properties:
</p>
***************
*** 486,489 ****
--- 505,515 ----
<z:see names="ID"/>
+ <p>
+ The <z:i>Identifier</z:i> set is a Z Notation <emph>schema</emph> whose structure is similar
+ to a record or struct datatype that is found in many common programming languages.
+ The fields of an instance of a Z schema are selected using the usual dot notation, e.g.
+ <z:math>x.id</z:math> selects the <z:i>id</z:i> field of the instance <z:i>x</z:i>.
+ </p>
+
</z:notation>
***************
*** 8129,8132 ****
--- 8155,8164 ----
<tr>
+ <td>20050119</td>
+ <td>AGR</td>
+ <td>Editorial improvements to Z Notation.</td>
+ </tr>
+
+ <tr>
<td>20050118</td>
<td>AGR</td>
Index: wsdl20-ie.html
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20-ie.html,v
retrieving revision 1.4
retrieving revision 1.5
diff -C2 -d -r1.4 -r1.5
*** wsdl20-ie.html 18 Jan 2005 19:09:10 -0000 1.4
--- wsdl20-ie.html 18 Jan 2005 21:05:42 -0000 1.5
***************
*** 472,483 ****
This section describes the conceptual model of WSDL as a set of
components with attached properties, which collectively describe a Web
! service. Each subsection herein describes a different type of
! component, its defined properties, and its representation as an XML
! Infoset [<cite><a href="#XMLInfoSet">XML Information Set</a></cite>].
</p>
!
<p>
Components are typed collections of properties that correspond to
different aspects of Web services.
</p>
--- 472,484 ----
This section describes the conceptual model of WSDL as a set of
components with attached properties, which collectively describe a Web
! service. This model is called the <em>Component Model</em> of WSDL.
</p>
!
<p>
Components are typed collections of properties that correspond to
different aspects of Web services.
+ Each subsection herein describes a different type of
+ component, its defined properties, and its representation as an XML
+ Infoset [<cite><a href="#XMLInfoSet">XML Information Set</a></cite>].
</p>
***************
*** 485,489 ****
<p>
! Let <span class="zi">Component</span> be the set of all components:
</p>
--- 486,491 ----
<p>
! Let <span class="zi">Component</span> be the union of each of the component types
! that appear in the WSDL component model:
</p>
***************
*** 492,506 ****
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-Description">Description</a>, <a href="#zed-ElementDeclaration">ElementDeclaration</a>, <a href="#zed-TypeDefinition">TypeDefinition</a>, <a href="#zed-Interface">Interface</a>, <a href="#zed-InterfaceFault">InterfaceFault</a>, <a href="#zed-InterfaceOperation">InterfaceOperation</a>, <a href="#zed-MessageReference">MessageReference</a>, <a href="#zed-FaultReference">FaultReference</a>, <a href="#zed-Feature">Feature</a>, <a href="#zed-Property">Property</a>, <a href="#zed-Binding">Binding</a>, <a href="#zed-BindingFault">BindingFault</a>, <a href="#zed-BindingOperation">BindingOperation</a>, <a href="#zed-BindingMessageReference">BindingMessageReference</a>, <a href="#zed-Service">Service</a>, <a href="#zed-Endpoint">Endpoint</a>.</span></span></div>
</div>
<a name="zed-ID"></a><div id="twisty-head-zed-ID" class="twisty-head"><img src="images/left-twisty-13.png" class="twisty-icon"><a href="javascript:show('zed-ID')">ID</a>...</div><div id="twisty-body-zed-ID" class="twisty-body"><img src="images/down-twisty-13.png" class="twisty-icon"><a href="javascript:hide('zed-ID')">ID</a> [ <a onClick="showAll()" href="#zed-ID">show all</a> ] [ <a onClick="hideAll()" href="#zed-ID">hide all</a> ]<br>
<p>
! When a component property is described as containing another component or a set of other components,
the intended meaning is that the component property contains a reference to another component
or a set of references to other components.
! Every component contains
! an implicit property that uniquely identifies itself and that can be used
to express references.
</p>
<p>
Let <span class="zi">ID</span> be the set of all component identifier values:
--- 494,516 ----
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-Description">Description</a>, <a href="#zed-ElementDeclaration">ElementDeclaration</a>, <a href="#zed-TypeDefinition">TypeDefinition</a>, <a href="#zed-Interface">Interface</a>, <a href="#zed-InterfaceFault">InterfaceFault</a>, <a href="#zed-InterfaceOperation">InterfaceOperation</a>, <a href="#zed-MessageReference">MessageReference</a>, <a href="#zed-FaultReference">FaultReference</a>, <a href="#zed-Feature">Feature</a>, <a href="#zed-Property">Property</a>, <a href="#zed-Binding">Binding</a>, <a href="#zed-BindingFault">BindingFault</a>, <a href="#zed-BindingOperation">BindingOperation</a>, <a href="#zed-BindingMessageReference">BindingMessageReference</a>, <a href="#zed-Service">Service</a>, <a href="#zed-Endpoint">Endpoint</a>.</span></span></div>
+ <p>
+ The <span class="zi">Component</span> type is a Z Notation <em>free type</em> whose structure is similar to
+ the variant record or discriminated union datatype that is found in some common
+ programming languages.
+ Each of the members of this union is formally defined in the
+ following sections.
+ </p>
+
</div>
<a name="zed-ID"></a><div id="twisty-head-zed-ID" class="twisty-head"><img src="images/left-twisty-13.png" class="twisty-icon"><a href="javascript:show('zed-ID')">ID</a>...</div><div id="twisty-body-zed-ID" class="twisty-body"><img src="images/down-twisty-13.png" class="twisty-icon"><a href="javascript:hide('zed-ID')">ID</a> [ <a onClick="showAll()" href="#zed-ID">show all</a> ] [ <a onClick="hideAll()" href="#zed-ID">hide all</a> ]<br>
<p>
! When a component property is said to contain another component or a set of other components,
the intended meaning is that the component property contains a reference to another component
or a set of references to other components.
! Every component contains an unique identifier that is used
to express references.
</p>
+
<p>
Let <span class="zi">ID</span> be the set of all component identifier values:
***************
*** 509,512 ****
--- 519,530 ----
<table class="zzed"><col class="zzed1"><tbody><tr><td>[<span class="zi">ID</span>]</td></tr></tbody></table>
+ <p>
+ The <span class="zi">ID</span> type is a Z Notation <em>basic set</em> whose structure is immaterial.
+ The only relevant aspect of <span class="zi">ID</span> is that it contains enough members
+ to uniquely identify each component, and that these identifiers can be compared
+ for equality. These identifiers are similar to object identifiers that are found
+ in common object-oriented programming languages.
+ </p>
+
</div>
***************
*** 514,522 ****
<p>
! A component is an identified, typed collection of properties.
</p>
<p>
! Let <span class="zi">Identifier</span> denote the set of component identifiers:
</p>
--- 532,541 ----
<p>
! Every component has an identifier which uniquely identifies it within a component model
! instance.
</p>
<p>
! Let <span class="zi">Identifier</span> be the set of component identifier properties:
</p>
***************
*** 529,532 ****
--- 548,558 ----
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ID">ID</a>.</span></span></div>
+ <p>
+ The <span class="zi">Identifier</span> set is a Z Notation <em>schema</em> whose structure is similar
+ to a record or struct datatype that is found in many common programming languages.
+ The fields of an instance of a Z schema are selected using the usual dot notation, e.g.
+ <span class="zi">x</span>.<span class="zi">id</span> selects the <span class="zi">id</span> field of the instance <span class="zi">x</span>.
+ </p>
+
</div>
***************
*** 7868,7871 ****
--- 7894,7903 ----
<tr>
+ <td rowspan="1" colspan="1">20050119</td>
+ <td rowspan="1" colspan="1">AGR</td>
+ <td rowspan="1" colspan="1">Editorial improvements to Z Notation.</td>
+ </tr>
+
+ <tr>
<td rowspan="1" colspan="1">20050118</td>
<td rowspan="1" colspan="1">AGR</td>
Index: wsdl20-i.html
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20-i.html,v
retrieving revision 1.6
retrieving revision 1.7
diff -C2 -d -r1.6 -r1.7
*** wsdl20-i.html 18 Jan 2005 19:09:10 -0000 1.6
--- wsdl20-i.html 18 Jan 2005 21:05:42 -0000 1.7
***************
*** 472,483 ****
This section describes the conceptual model of WSDL as a set of
components with attached properties, which collectively describe a Web
! service. Each subsection herein describes a different type of
! component, its defined properties, and its representation as an XML
! Infoset [<cite><a href="#XMLInfoSet">XML Information Set</a></cite>].
</p>
!
<p>
Components are typed collections of properties that correspond to
different aspects of Web services.
</p>
--- 472,484 ----
This section describes the conceptual model of WSDL as a set of
components with attached properties, which collectively describe a Web
! service. This model is called the <em>Component Model</em> of WSDL.
</p>
!
<p>
Components are typed collections of properties that correspond to
different aspects of Web services.
+ Each subsection herein describes a different type of
+ component, its defined properties, and its representation as an XML
+ Infoset [<cite><a href="#XMLInfoSet">XML Information Set</a></cite>].
</p>
***************
*** 485,489 ****
<p>
! Let <span class="zi">Component</span> be the set of all components:
</p>
--- 486,491 ----
<p>
! Let <span class="zi">Component</span> be the union of each of the component types
! that appear in the WSDL component model:
</p>
***************
*** 492,506 ****
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-Description">Description</a>, <a href="#zed-ElementDeclaration">ElementDeclaration</a>, <a href="#zed-TypeDefinition">TypeDefinition</a>, <a href="#zed-Interface">Interface</a>, <a href="#zed-InterfaceFault">InterfaceFault</a>, <a href="#zed-InterfaceOperation">InterfaceOperation</a>, <a href="#zed-MessageReference">MessageReference</a>, <a href="#zed-FaultReference">FaultReference</a>, <a href="#zed-Feature">Feature</a>, <a href="#zed-Property">Property</a>, <a href="#zed-Binding">Binding</a>, <a href="#zed-BindingFault">BindingFault</a>, <a href="#zed-BindingOperation">BindingOperation</a>, <a href="#zed-BindingMessageReference">BindingMessageReference</a>, <a href="#zed-Service">Service</a>, <a href="#zed-Endpoint">Endpoint</a>.</span></span></div>
</div>
<a name="zed-ID"></a><div id="twisty-head-zed-ID" class="twisty-head"><img src="images/left-twisty-13.png" class="twisty-icon"><a href="javascript:show('zed-ID')">ID</a>...</div><div id="twisty-body-zed-ID" class="twisty-body"><img src="images/down-twisty-13.png" class="twisty-icon"><a href="javascript:hide('zed-ID')">ID</a> [ <a onClick="showAll()" href="#zed-ID">show all</a> ] [ <a onClick="hideAll()" href="#zed-ID">hide all</a> ]<br>
<p>
! When a component property is described as containing another component or a set of other components,
the intended meaning is that the component property contains a reference to another component
or a set of references to other components.
! Every component contains
! an implicit property that uniquely identifies itself and that can be used
to express references.
</p>
<p>
Let <span class="zi">ID</span> be the set of all component identifier values:
--- 494,516 ----
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-Description">Description</a>, <a href="#zed-ElementDeclaration">ElementDeclaration</a>, <a href="#zed-TypeDefinition">TypeDefinition</a>, <a href="#zed-Interface">Interface</a>, <a href="#zed-InterfaceFault">InterfaceFault</a>, <a href="#zed-InterfaceOperation">InterfaceOperation</a>, <a href="#zed-MessageReference">MessageReference</a>, <a href="#zed-FaultReference">FaultReference</a>, <a href="#zed-Feature">Feature</a>, <a href="#zed-Property">Property</a>, <a href="#zed-Binding">Binding</a>, <a href="#zed-BindingFault">BindingFault</a>, <a href="#zed-BindingOperation">BindingOperation</a>, <a href="#zed-BindingMessageReference">BindingMessageReference</a>, <a href="#zed-Service">Service</a>, <a href="#zed-Endpoint">Endpoint</a>.</span></span></div>
+ <p>
+ The <span class="zi">Component</span> type is a Z Notation <em>free type</em> whose structure is similar to
+ the variant record or discriminated union datatype that is found in some common
+ programming languages.
+ Each of the members of this union is formally defined in the
+ following sections.
+ </p>
+
</div>
<a name="zed-ID"></a><div id="twisty-head-zed-ID" class="twisty-head"><img src="images/left-twisty-13.png" class="twisty-icon"><a href="javascript:show('zed-ID')">ID</a>...</div><div id="twisty-body-zed-ID" class="twisty-body"><img src="images/down-twisty-13.png" class="twisty-icon"><a href="javascript:hide('zed-ID')">ID</a> [ <a onClick="showAll()" href="#zed-ID">show all</a> ] [ <a onClick="hideAll()" href="#zed-ID">hide all</a> ]<br>
<p>
! When a component property is said to contain another component or a set of other components,
the intended meaning is that the component property contains a reference to another component
or a set of references to other components.
! Every component contains an unique identifier that is used
to express references.
</p>
+
<p>
Let <span class="zi">ID</span> be the set of all component identifier values:
***************
*** 509,512 ****
--- 519,530 ----
<table class="zzed"><col class="zzed1"><tbody><tr><td>[<span class="zi">ID</span>]</td></tr></tbody></table>
+ <p>
+ The <span class="zi">ID</span> type is a Z Notation <em>basic set</em> whose structure is immaterial.
+ The only relevant aspect of <span class="zi">ID</span> is that it contains enough members
+ to uniquely identify each component, and that these identifiers can be compared
+ for equality. These identifiers are similar to object identifiers that are found
+ in common object-oriented programming languages.
+ </p>
+
</div>
***************
*** 514,522 ****
<p>
! A component is an identified, typed collection of properties.
</p>
<p>
! Let <span class="zi">Identifier</span> denote the set of component identifiers:
</p>
--- 532,541 ----
<p>
! Every component has an identifier which uniquely identifies it within a component model
! instance.
</p>
<p>
! Let <span class="zi">Identifier</span> be the set of component identifier properties:
</p>
***************
*** 529,532 ****
--- 548,558 ----
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ID">ID</a>.</span></span></div>
+ <p>
+ The <span class="zi">Identifier</span> set is a Z Notation <em>schema</em> whose structure is similar
+ to a record or struct datatype that is found in many common programming languages.
+ The fields of an instance of a Z schema are selected using the usual dot notation, e.g.
+ <span class="zi">x</span>.<span class="zi">id</span> selects the <span class="zi">id</span> field of the instance <span class="zi">x</span>.
+ </p>
+
</div>
***************
*** 7866,7869 ****
--- 7892,7901 ----
<tr>
+ <td rowspan="1" colspan="1">20050119</td>
+ <td rowspan="1" colspan="1">AGR</td>
+ <td rowspan="1" colspan="1">Editorial improvements to Z Notation.</td>
+ </tr>
+
+ <tr>
<td rowspan="1" colspan="1">20050118</td>
<td rowspan="1" colspan="1">AGR</td>
Index: wsdl20.pdf
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.pdf,v
retrieving revision 1.1
retrieving revision 1.2
diff -C2 -d -r1.1 -r1.2
*** wsdl20.pdf 18 Jan 2005 19:11:55 -0000 1.1
--- wsdl20.pdf 18 Jan 2005 21:05:41 -0000 1.2
***************
*** 2773,2788 ****
>> endobj
885 0 obj <<
! /Length 1701
/Filter /FlateDecode
>>
stream
! xڥXKoH W(QI,h tŖc- ۰H,qK2#ūɛ>(=RpN&ZΏWJ7̾E2*X.R?hDSTLFc /
c=m@\F\jİݚ6gŒ(! X,
! U|T
S[! <&+z#9tMN
~UH J)2U 6Z4E8nb@%mWoaߚע$JDv\6@ӺFTIvt+$[...6729 lines suppressed...]
! 0000746620 00000 n
trailer
<<
***************
*** 17277,17283 ****
/Root 2460 0 R
/Info 2461 0 R
! /ID [<1E731E2A97C1A4F788832F99F17BADBB> <1E731E2A97C1A4F788832F99F17BADBB>]
>>
startxref
! 745851
%%EOF
--- 17302,17308 ----
/Root 2460 0 R
/Info 2461 0 R
! /ID [<436A6BFD2BE3D4E678D1BD3B8C7AC387> <436A6BFD2BE3D4E678D1BD3B8C7AC387>]
>>
startxref
! 746868
%%EOF
Index: wsdl20.html
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.html,v
retrieving revision 1.134
retrieving revision 1.135
diff -C2 -d -r1.134 -r1.135
*** wsdl20.html 18 Jan 2005 19:09:10 -0000 1.134
--- wsdl20.html 18 Jan 2005 21:05:42 -0000 1.135
***************
*** 472,483 ****
This section describes the conceptual model of WSDL as a set of
components with attached properties, which collectively describe a Web
! service. Each subsection herein describes a different type of
! component, its defined properties, and its representation as an XML
! Infoset [<cite><a href="#XMLInfoSet">XML Information Set</a></cite>].
</p>
!
<p>
Components are typed collections of properties that correspond to
different aspects of Web services.
</p>
--- 472,484 ----
This section describes the conceptual model of WSDL as a set of
components with attached properties, which collectively describe a Web
! service. This model is called the <em>Component Model</em> of WSDL.
</p>
!
<p>
Components are typed collections of properties that correspond to
different aspects of Web services.
+ Each subsection herein describes a different type of
+ component, its defined properties, and its representation as an XML
+ Infoset [<cite><a href="#XMLInfoSet">XML Information Set</a></cite>].
</p>
***************
*** 485,489 ****
<p>
! Let <span class="zi">Component</span> be the set of all components:
</p>
--- 486,491 ----
<p>
! Let <span class="zi">Component</span> be the union of each of the component types
! that appear in the WSDL component model:
</p>
***************
*** 492,506 ****
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-Description">Description</a>, <a href="#zed-ElementDeclaration">ElementDeclaration</a>, <a href="#zed-TypeDefinition">TypeDefinition</a>, <a href="#zed-Interface">Interface</a>, <a href="#zed-InterfaceFault">InterfaceFault</a>, <a href="#zed-InterfaceOperation">InterfaceOperation</a>, <a href="#zed-MessageReference">MessageReference</a>, <a href="#zed-FaultReference">FaultReference</a>, <a href="#zed-Feature">Feature</a>, <a href="#zed-Property">Property</a>, <a href="#zed-Binding">Binding</a>, <a href="#zed-BindingFault">BindingFault</a>, <a href="#zed-BindingOperation">BindingOperation</a>, <a href="#zed-BindingMessageReference">BindingMessageReference</a>, <a href="#zed-Service">Service</a>, <a href="#zed-Endpoint">Endpoint</a>.</span></span></div>
<a name="zed-ID"></a>
<p>
! When a component property is described as containing another component or a set of other components,
the intended meaning is that the component property contains a reference to another component
or a set of references to other components.
! Every component contains
! an implicit property that uniquely identifies itself and that can be used
to express references.
</p>
<p>
Let <span class="zi">ID</span> be the set of all component identifier values:
--- 494,516 ----
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-Description">Description</a>, <a href="#zed-ElementDeclaration">ElementDeclaration</a>, <a href="#zed-TypeDefinition">TypeDefinition</a>, <a href="#zed-Interface">Interface</a>, <a href="#zed-InterfaceFault">InterfaceFault</a>, <a href="#zed-InterfaceOperation">InterfaceOperation</a>, <a href="#zed-MessageReference">MessageReference</a>, <a href="#zed-FaultReference">FaultReference</a>, <a href="#zed-Feature">Feature</a>, <a href="#zed-Property">Property</a>, <a href="#zed-Binding">Binding</a>, <a href="#zed-BindingFault">BindingFault</a>, <a href="#zed-BindingOperation">BindingOperation</a>, <a href="#zed-BindingMessageReference">BindingMessageReference</a>, <a href="#zed-Service">Service</a>, <a href="#zed-Endpoint">Endpoint</a>.</span></span></div>
+ <p>
+ The <span class="zi">Component</span> type is a Z Notation <em>free type</em> whose structure is similar to
+ the variant record or discriminated union datatype that is found in some common
+ programming languages.
+ Each of the members of this union is formally defined in the
+ following sections.
+ </p>
+
<a name="zed-ID"></a>
<p>
! When a component property is said to contain another component or a set of other components,
the intended meaning is that the component property contains a reference to another component
or a set of references to other components.
! Every component contains an unique identifier that is used
to express references.
</p>
+
<p>
Let <span class="zi">ID</span> be the set of all component identifier values:
***************
*** 509,512 ****
--- 519,530 ----
<table class="zzed"><col class="zzed1"><tbody><tr><td>[<span class="zi">ID</span>]</td></tr></tbody></table>
+ <p>
+ The <span class="zi">ID</span> type is a Z Notation <em>basic set</em> whose structure is immaterial.
+ The only relevant aspect of <span class="zi">ID</span> is that it contains enough members
+ to uniquely identify each component, and that these identifiers can be compared
+ for equality. These identifiers are similar to object identifiers that are found
+ in common object-oriented programming languages.
+ </p>
+
***************
*** 514,522 ****
<p>
! A component is an identified, typed collection of properties.
</p>
<p>
! Let <span class="zi">Identifier</span> denote the set of component identifiers:
</p>
--- 532,541 ----
<p>
! Every component has an identifier which uniquely identifies it within a component model
! instance.
</p>
<p>
! Let <span class="zi">Identifier</span> be the set of component identifier properties:
</p>
***************
*** 529,532 ****
--- 548,558 ----
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ID">ID</a>.</span></span></div>
+ <p>
+ The <span class="zi">Identifier</span> set is a Z Notation <em>schema</em> whose structure is similar
+ to a record or struct datatype that is found in many common programming languages.
+ The fields of an instance of a Z schema are selected using the usual dot notation, e.g.
+ <span class="zi">x</span>.<span class="zi">id</span> selects the <span class="zi">id</span> field of the instance <span class="zi">x</span>.
+ </p>
+
***************
*** 7866,7869 ****
--- 7892,7901 ----
<tr>
+ <td rowspan="1" colspan="1">20050119</td>
+ <td rowspan="1" colspan="1">AGR</td>
+ <td rowspan="1" colspan="1">Editorial improvements to Z Notation.</td>
+ </tr>
+
+ <tr>
<td rowspan="1" colspan="1">20050118</td>
<td rowspan="1" colspan="1">AGR</td>
Received on Tuesday, 18 January 2005 21:05:46 UTC