2002/ws/desc/wsdl20 wsdl20.tex,1.99,1.100 wsdl20-z-ie.html,1.65,1.66 wsdl20-z.html,1.89,1.90 wsdl20.html,1.257,1.258 wsdl20-adjuncts.html,1.117,1.118 wsdl20.xml,1.378,1.379 wsdl20-primer.html,1.125,1.126

Update of /sources/public/2002/ws/desc/wsdl20
In directory hutz:/tmp/cvs-serv17672/wsdl20

Modified Files:
	wsdl20.tex wsdl20-z-ie.html wsdl20-z.html wsdl20.html 
	wsdl20-adjuncts.html wsdl20.xml wsdl20-primer.html 
Log Message:
Rename ParentID to ParentId

Index: wsdl20-adjuncts.html
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20-adjuncts.html,v
retrieving revision 1.117
retrieving revision 1.118
diff -C2 -d -r1.117 -r1.118
*** wsdl20-adjuncts.html	22 Nov 2005 11:58:13 -0000	1.117
--- wsdl20-adjuncts.html	22 Nov 2005 18:08:52 -0000	1.118
***************
*** 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 12 April 2005), 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>
[...14980 lines suppressed...]
!             <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: wsdl20-z-ie.html
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20-z-ie.html,v
retrieving revision 1.65
retrieving revision 1.66
diff -C2 -d -r1.65 -r1.66
*** wsdl20-z-ie.html	21 Nov 2005 23:10:48 -0000	1.65
--- wsdl20-z-ie.html	22 Nov 2005 18:08:52 -0000	1.66
***************
*** 463,467 ****
  
  <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>],
  which conflicts with the use of square brackets to denote XML Information Set properties
--- 463,467 ----
  
  <p>
! There are two elements of Z Notation syntax that conflict with the notational conventions described in the preceding sections.
  In Z Notation, square brackets are used to introduce basic sets, e.g. [<span class="zi">ID</span>],
  which conflicts with the use of square brackets to denote XML Information Set properties
***************
*** 1330,1336 ****
        </div>
        
!       <a name="zed-ParentID"></a><div id="twisty-head-zed-ParentID" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-ParentID')">ParentID</a>...</div><div id="twisty-body-zed-ParentID" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-ParentID')">ParentID</a>&nbsp;&nbsp;[&nbsp;<a onClick="showAll()" href="#zed-ParentID">show all</a>&nbsp;]&nbsp;&nbsp;[&nbsp;<a onClick="hideAll()" href="#zed-ParentID">hide all</a>&nbsp;]<br>
        
!       <p>Let <span class="zi">ParentID</span> map a nested component to its parent component identifier:</p>
        
        <table class="zaxdef"><col class="zaxdef1"><col class="zaxdef2"><tbody><tr><td class="zaxdefabovewheretext" colspan="2"><span class="zi">ParentId</span> <span class="zinfix">:</span> <span class="zi">NestedComponent</span><span class="zinfix"><span class="mathc">t</span></span><span class="zi">ID</span></td></tr><tr><td class="bl"></td><td></td></tr><tr><td class="zaxdefbelowwheretext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">InterfaceFault</span> <span class="zinfix"><span class="symbol">&middot;</span></span></td></tr><tr><td class="zaxdeftext" colspan="2">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">ParentId</span>(<span class="zi">interfaceFault</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbl">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">InterfaceOperation</span> <span class="zinfix"><span class="symbol">&middot;</span></span></td></tr><tr><td class="zaxdeftext" colspan="2">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">ParentId</span>(<span class="zi">interfaceOp</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">InterfaceMessageReference</span> <span class="zinfix"><span class="symbol">&middot;</span></span></td></tr><tr><td class="zaxdeftext" colspan="2">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">ParentId</span>(<span class="zi">interfaceMessageRef</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="i">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">InterfaceFaultReference</span> <span class="zinfix"><span class="symbol">&middot;</span></span></td></tr><tr><td class="zaxdeftext" colspan="2">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">ParentId</span>(<span class="zi">interfaceFaultRef</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingFault</span> <span class="zinfix"><span class="symbol">&middot;</span></span></td></tr><tr><td class="zaxdeftext" colspan="2">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">ParentId</span>(<pan class="zi">bindingFault</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingOperation</span> <span class="zinfix"><span class="symbol">&middot;</span></span></td></tr><tr><td class="zaxdeftext" colspan="2">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">ParentId</span>(<span class="zi">bindingOp</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingMessageReference</span> <span class="zinfix"><span class="symbol">&middot;</spn></span></td></tr><tr><td class="zaxdeftext" colspan="2">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">ParentId</span>(<span class="zi">bindingMessageRef</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingFaultReference</span> <span class="zinfix"><span class="symbol">&middot;</span></span></td></tr><tr><td class="zaxdeftext" colspan="2">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">ParentId</span>(<span class="zi">bindingFaultRef</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="i">x</span> <span class="zinfix">:</span> <span class="zi">Endpoint</span> <span class="zinfix"><span class="symbol">&middot;</span></span></td></tr><tr><td class="zaxdeftext" colspan="2">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">ParentId</span>(<span class="zi">endpoint</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Feature</span> <span class="zinfix"><span class="symbol">&middot;</span></span></td></tr><tr><td class="zaxdeftext" colspan="2">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">ParentId</span>(<span class="zi">feature</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td clas="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Property</span> <span class="zinfix"><span class="symbol">&middot;</span></span></td></tr><tr><td class="zaxdeftext" colspan="2">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">ParentId</span>(<span class="zi">property</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr></tbody></table>
--- 1330,1336 ----
        </div>
        
!       <a name="zed-ParentId"></a><div id="twisty-head-zed-ParentId" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-ParentId')">ParentId</a>...</div><div id="twisty-body-zed-ParentId" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-ParentId')">ParentId</a>&nbsp;&nbsp;[&nbsp;<a onClick="showAll()" href="#zed-ParentId">show all</a>&nbsp;]&nbsp;&nbsp;[&nbsp;<a onClick="hideAll()" href="#zed-ParentId">hide all</a>&nbsp;]<br>
        
!       <p>Let <span class="zi">ParentId</span> map a nested component to its parent component identifier:</p>
        
        <table class="zaxdef"><col class="zaxdef1"><col class="zaxdef2"><tbody><tr><td class="zaxdefabovewheretext" colspan="2"><span class="zi">ParentId</span> <span class="zinfix">:</span> <span class="zi">NestedComponent</span><span class="zinfix"><span class="mathc">t</span></span><span class="zi">ID</span></td></tr><tr><td class="bl"></td><td></td></tr><tr><td class="zaxdefbelowwheretext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">InterfaceFault</span> <span class="zinfix"><span class="symbol">&middot;</span></span></td></tr><tr><td class="zaxdeftext" colspan="2">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">ParentId</span>(<span class="zi">interfaceFault</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbl">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">InterfaceOperation</span> <span class="zinfix"><span class="symbol">&middot;</span></span></td></tr><tr><td class="zaxdeftext" colspan="2">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">ParentId</span>(<span class="zi">interfaceOp</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">InterfaceMessageReference</span> <span class="zinfix"><span class="symbol">&middot;</span></span></td></tr><tr><td class="zaxdeftext" colspan="2">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">ParentId</span>(<span class="zi">interfaceMessageRef</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="i">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">InterfaceFaultReference</span> <span class="zinfix"><span class="symbol">&middot;</span></span></td></tr><tr><td class="zaxdeftext" colspan="2">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">ParentId</span>(<span class="zi">interfaceFaultRef</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingFault</span> <span class="zinfix"><span class="symbol">&middot;</span></span></td></tr><tr><td class="zaxdeftext" colspan="2">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">ParentId</span>(<pan class="zi">bindingFault</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingOperation</span> <span class="zinfix"><span class="symbol">&middot;</span></span></td></tr><tr><td class="zaxdeftext" colspan="2">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">ParentId</span>(<span class="zi">bindingOp</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingMessageReference</span> <span class="zinfix"><span class="symbol">&middot;</spn></span></td></tr><tr><td class="zaxdeftext" colspan="2">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">ParentId</span>(<span class="zi">bindingMessageRef</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingFaultReference</span> <span class="zinfix"><span class="symbol">&middot;</span></span></td></tr><tr><td class="zaxdeftext" colspan="2">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">ParentId</span>(<span class="zi">bindingFaultRef</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="i">x</span> <span class="zinfix">:</span> <span class="zi">Endpoint</span> <span class="zinfix"><span class="symbol">&middot;</span></span></td></tr><tr><td class="zaxdeftext" colspan="2">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">ParentId</span>(<span class="zi">endpoint</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Feature</span> <span class="zinfix"><span class="symbol">&middot;</span></span></td></tr><tr><td class="zaxdeftext" colspan="2">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">ParentId</span>(<span class="zi">feature</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td clas="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Property</span> <span class="zinfix"><span class="symbol">&middot;</span></span></td></tr><tr><td class="zaxdeftext" colspan="2">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">ParentId</span>(<span class="zi">property</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr></tbody></table>
***************
*** 3769,3772 ****
--- 3769,3773 ----
  		<em>#none</em>, or <em>#other</em>.</p>
        </div>
+ 
      </div>
  
***************
*** 4356,4360 ****
  		    	<a href="wsdl20.html#component-Interface">Interface</a>
  		    	component that it directly or indirectly extends, with
! 		    	{<a href="wsdl20.html#property-InterfaceFault.name">name</a>} equalt to the actual value of the
  		    	<code>ref</code> 
  		    	<em>attribute information item</em>.
--- 4357,4361 ----
  		    	<a href="wsdl20.html#component-Interface">Interface</a>
  		    	component that it directly or indirectly extends, with
! 		    	{<a href="wsdl20.html#property-InterfaceFault.name">name</a>} equal to the actual value of the
  		    	<code>ref</code> 
  		    	<em>attribute information item</em>.
***************
*** 4575,4578 ****
--- 4576,4580 ----
  
  	  </div>
+ 
  	  
  	  <a name="zed-FeaturesValid"></a><div id="twisty-head-zed-FeaturesValid" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-FeaturesValid')">FeaturesValid</a>...</div><div id="twisty-body-zed-FeaturesValid" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-FeaturesValid')">FeaturesValid</a>&nbsp;&nbsp;[&nbsp;<a onClick="showAll()" href="#zed-FeaturesValid">show all</a>&nbsp;]&nbsp;&nbsp;[&nbsp;<a onClick="hideAll()" href="#zed-FeaturesValid">hide all</a>&nbsp;]<br>
***************
*** 6084,6087 ****
--- 6086,6090 ----
  
      <div class="div3">
+ 
        
  <h4><a name="Binding_Fault_details"></a>2.10.1 The Binding Fault Component</h4> 
***************
*** 7362,7366 ****
  	  				The <a href="wsdl20.html#component-InterfaceMessageReference">Interface Message Reference</a> component in the {<a href="wsdl20.html#property-InterfaceOperation.interfacemessagereferences">interface message references</a>}
  	  				of the <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component being bound with {<a href="wsdl20.html#property-InterfaceMessageReference.messagelabel">message label</a>} equal
! 	  				to the effecttive message label.
  	  			</td>
  	  		</tr>
--- 7365,7369 ----
  	  				The <a href="wsdl20.html#component-InterfaceMessageReference">Interface Message Reference</a> component in the {<a href="wsdl20.html#property-InterfaceOperation.interfacemessagereferences">interface message references</a>}
  	  				of the <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component being bound with {<a href="wsdl20.html#property-InterfaceMessageReference.messagelabel">message label</a>} equal
! 	  				to the effective message label.
  	  			</td>
  	  		</tr>
***************
*** 10057,10061 ****
  has been engaged (because the service has received a message explicitly
  engaging that feature, for example), then the semantics of that feature
! supercede what the WSDL 2.0 document indicated. For example, the WSDL 2.0
  document may have specified an XML message schema to be used, but also
  indicated an optional security feature that encrypts the messages.  If
--- 10060,10064 ----
  has been engaged (because the service has received a message explicitly
  engaging that feature, for example), then the semantics of that feature
! supersede what the WSDL 2.0 document indicated. For example, the WSDL 2.0
  document may have specified an XML message schema to be used, but also
  indicated an optional security feature that encrypts the messages.  If
***************
*** 13491,13495 ****
      	<td rowspan="1" colspan="1">JJM</td>
      	<td rowspan="1" colspan="1"><a href="http://www.w3.org/2002/ws/desc/4/lc-issues/issues.html#LC70">LC70</a>: 
!     	reiterated beheviour is undefined when several schema languages used simultaneously.</td>
      </tr>
      
--- 13494,13498 ----
      	<td rowspan="1" colspan="1">JJM</td>
      	<td rowspan="1" colspan="1"><a href="http://www.w3.org/2002/ws/desc/4/lc-issues/issues.html#LC70">LC70</a>: 
!     	reiterated behavior is undefined when several schema languages used simultaneously.</td>
      </tr>
      
***************
*** 13718,13722 ****
      	<td rowspan="1" colspan="1"><a href="http://www.w3.org/2002/ws/desc/4/lc-issues/issues.html#LC125">LC125</a>:
      	Renamed components Fault Reference -&gt; <a href="wsdl20.html#component-InterfaceFaultReference">Interface Fault Reference</a>, Message Reference -&gt; <a href="wsdl20.html#component-InterfaceMessageReference">Interface Message Reference</a>, 
!     	and the corresponding properities.</td>
      </tr>
  
--- 13721,13725 ----
      	<td rowspan="1" colspan="1"><a href="http://www.w3.org/2002/ws/desc/4/lc-issues/issues.html#LC125">LC125</a>:
      	Renamed components Fault Reference -&gt; <a href="wsdl20.html#component-InterfaceFaultReference">Interface Fault Reference</a>, Message Reference -&gt; <a href="wsdl20.html#component-InterfaceMessageReference">Interface Message Reference</a>, 
!     	and the corresponding properties.</td>
      </tr>
  
***************
*** 13799,13803 ****
      				<p>
      					MessageReference.{element} -&gt; {element
!     					declarion}
      				</p>
      			</li>
--- 13802,13806 ----
      				<p>
      					MessageReference.{element} -&gt; {element
!     					declaration}
      				</p>
      			</li>
***************
*** 13867,13871 ****
      	<td rowspan="1" colspan="1">20050416</td>
      	<td rowspan="1" colspan="1">AGR</td>
!     	<td rowspan="1" colspan="1">Moved the <a href="#frag-ids">fragment identifer</a> definition into the media registration appendix.</td>
      </tr>
  
--- 13870,13874 ----
      	<td rowspan="1" colspan="1">20050416</td>
      	<td rowspan="1" colspan="1">AGR</td>
!     	<td rowspan="1" colspan="1">Moved the <a href="#frag-ids">fragment identifier</a> definition into the media registration appendix.</td>
      </tr>
  

Index: wsdl20.tex
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.tex,v
retrieving revision 1.99
retrieving revision 1.100
diff -C2 -d -r1.99 -r1.100
*** wsdl20.tex	21 Nov 2005 23:10:48 -0000	1.99
--- wsdl20.tex	22 Nov 2005 18:08:51 -0000	1.100
***************
*** 451,455 ****
  
  
! 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]$,
  which conflicts with the use of square brackets to denote XML Information Set properties
--- 451,455 ----
  
  
! There are two elements of Z Notation syntax that conflict with the notational conventions described in the preceding sections.
  In Z Notation, square brackets are used to introduce basic sets, e.g. $[ID]$,
  which conflicts with the use of square brackets to denote XML Information Set properties
***************
*** 1643,1650 ****
        
        
!       \hypertarget{zed-ParentID}{}
  
        
!       Let $ParentID$ map a nested component to its parent component identifier:
        
        \begin{axdef}
--- 1643,1650 ----
        
        
!       \hypertarget{zed-ParentId}{}
  
        
!       Let $ParentId$ map a nested component to its parent component identifier:
        
        \begin{axdef}
***************
*** 4398,4401 ****
--- 4398,4402 ----
  		\textit{\#none}, or \textit{\#other}.
        
+ 
      
  
***************
*** 5025,5029 ****
  		    	Interface
  		    	component that it directly or indirectly extends, with
! 		    	name equalt to the actual value of the
  		    	\texttt{ref}
  		    	\textit{attribute information item}.
--- 5026,5030 ----
  		    	Interface
  		    	component that it directly or indirectly extends, with
! 		    	name equal to the actual value of the
  		    	\texttt{ref}
  		    	\textit{attribute information item}.
***************
*** 5275,5278 ****
--- 5276,5280 ----
  
  	  
+ 
  	  
  	  \hypertarget{zed-FeaturesValid}{}
***************
*** 6898,6901 ****
--- 6900,6904 ----
  \subsection{The Binding Fault Component}\label{Binding_Fault_details}
  
+ 
         
  
***************
*** 8327,8331 ****
  	  				The Interface Message Reference component in the interface message references
  	  				of the Interface Operation component being bound with message label equal
! 	  				to the effecttive message label.
  	  			
  	  		\\ \hline 
--- 8330,8334 ----
  	  				The Interface Message Reference component in the interface message references
  	  				of the Interface Operation component being bound with message label equal
! 	  				to the effective message label.
  	  			
  	  		\\ \hline 
***************
*** 11197,11201 ****
  has been engaged (because the service has received a message explicitly
  engaging that feature, for example), then the semantics of that feature
! supercede what the WSDL 2.0 document indicated. For example, the WSDL 2.0
  document may have specified an XML message schema to be used, but also
  indicated an optional security feature that encrypts the messages.  If
--- 11200,11204 ----
  has been engaged (because the service has received a message explicitly
  engaging that feature, for example), then the semantics of that feature
! supersede what the WSDL 2.0 document indicated. For example, the WSDL 2.0
  document may have specified an XML message schema to be used, but also
  indicated an optional security feature that encrypts the messages.  If
***************
*** 15262,15266 ****
      	JJM&
      	\href{http://www.w3.org/2002/ws/desc/4/lc-issues/issues.html#LC70}{LC70}: 
!     	reiterated beheviour is undefined when several schema languages used simultaneously.
      \\ \hline 
      
--- 15265,15269 ----
      	JJM&
      	\href{http://www.w3.org/2002/ws/desc/4/lc-issues/issues.html#LC70}{LC70}: 
!     	reiterated behavior is undefined when several schema languages used simultaneously.
      \\ \hline 
      
***************
*** 15489,15493 ****
      	\href{http://www.w3.org/2002/ws/desc/4/lc-issues/issues.html#LC125}{LC125}:
      	Renamed components Fault Reference -> Interface Fault Reference, Message Reference -> Interface Message Reference, 
!     	and the corresponding properities.
      \\ \hline 
  
--- 15492,15496 ----
      	\href{http://www.w3.org/2002/ws/desc/4/lc-issues/issues.html#LC125}{LC125}:
      	Renamed components Fault Reference -> Interface Fault Reference, Message Reference -> Interface Message Reference, 
!     	and the corresponding properties.
      \\ \hline 
  
***************
*** 15570,15574 ****
      				
      					MessageReference.\{element\} -> \{element
!     					declarion\}
      				
      			
--- 15573,15577 ----
      				
      					MessageReference.\{element\} -> \{element
!     					declaration\}
      				
      			
***************
*** 15638,15642 ****
      	20050416&
      	AGR&
!     	Moved the \href{#frag-ids}{fragment identifer} definition into the media registration appendix.
      \\ \hline 
  
--- 15641,15645 ----
      	20050416&
      	AGR&
!     	Moved the \href{#frag-ids}{fragment identifier} definition into the media registration appendix.
      \\ \hline 
  

Index: wsdl20.xml
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.xml,v
retrieving revision 1.378
retrieving revision 1.379
diff -C2 -d -r1.378 -r1.379
*** wsdl20.xml	22 Nov 2005 11:17:45 -0000	1.378
--- wsdl20.xml	22 Nov 2005 18:08:52 -0000	1.379
***************
*** 1621,1663 ****
        </z:notation>
        
!       <z:notation name="ParentID">
        
!       <p>Let <z:i>ParentID</z:i> map a nested component to its parent component identifier:</p>
        
        <axdef xmlns="http://www.w3.org/2004/zml">
!       	ParentID : NestedComponent <fun/> ID
        <where/>
        	<forall/> x : InterfaceFault @ <nl/>
!       	<t1/> ParentID(interfaceFault(x)) = x.parent
        <also/>
        	<forall/> x : InterfaceOperation @ <nl/>
!       	<t1/> ParentID(interfaceOp(x)) = x.parent
        <also/>
        	<forall/> x : InterfaceMessageReference @ <nl/>
!       	<t1/> ParentID(interfaceMessageRef(x)) = x.parent
        <also/>
        	<forall/> x : InterfaceFaultReference @ <nl/>
!       	<t1/> ParentID(interfaceFaultRef(x)) = x.parent
        <also/>
        	<forall/> x : BindingFault @ <nl/>
!       	<t1/> ParentID(bindingFault(x)) = x.parent
        <also/>
        	<forall/> x : BindingOperation @ <nl/>
!       	<t1/> ParentID(bindingOp(x)) = x.parent
        <also/>
        	<forall/> x : BindingMessageReference @ <nl/>
!       	<t1/> ParentID(bindingMessageRef(x)) = x.parent
        <also/>
        	<forall/> x : BindingFaultReference @ <nl/>
!       	<t1/> ParentID(bindingFaultRef(x)) = x.parent
        <also/>
        	<forall/> x : Endpoint @ <nl/>
!       	<t1/> ParentID(endpoint(x)) = x.parent
        <also/>
        	<forall/> x : Feature @ <nl/>
!       	<t1/> ParentID(feature(x)) = x.parent
        <also/>
        	<forall/> x : Property @ <nl/>
!       	<t1/> ParentID(property(x)) = x.parent
        </axdef>
        
--- 1621,1663 ----
        </z:notation>
        
!       <z:notation name="ParentId">
        
!       <p>Let <z:i>ParentId</z:i> map a nested component to its parent component identifier:</p>
        
        <axdef xmlns="http://www.w3.org/2004/zml">
!       	ParentId : NestedComponent <fun/> ID
        <where/>
        	<forall/> x : InterfaceFault @ <nl/>
!       	<t1/> ParentId(interfaceFault(x)) = x.parent
        <also/>
        	<forall/> x : InterfaceOperation @ <nl/>
!       	<t1/> ParentId(interfaceOp(x)) = x.parent
        <also/>
        	<forall/> x : InterfaceMessageReference @ <nl/>
!       	<t1/> ParentId(interfaceMessageRef(x)) = x.parent
        <also/>
        	<forall/> x : InterfaceFaultReference @ <nl/>
!       	<t1/> ParentId(interfaceFaultRef(x)) = x.parent
        <also/>
        	<forall/> x : BindingFault @ <nl/>
!       	<t1/> ParentId(bindingFault(x)) = x.parent
        <also/>
        	<forall/> x : BindingOperation @ <nl/>
!       	<t1/> ParentId(bindingOp(x)) = x.parent
        <also/>
        	<forall/> x : BindingMessageReference @ <nl/>
!       	<t1/> ParentId(bindingMessageRef(x)) = x.parent
        <also/>
        	<forall/> x : BindingFaultReference @ <nl/>
!       	<t1/> ParentId(bindingFaultRef(x)) = x.parent
        <also/>
        	<forall/> x : Endpoint @ <nl/>
!       	<t1/> ParentId(endpoint(x)) = x.parent
        <also/>
        	<forall/> x : Feature @ <nl/>
!       	<t1/> ParentId(feature(x)) = x.parent
        <also/>
        	<forall/> x : Property @ <nl/>
!       	<t1/> ParentId(property(x)) = x.parent
        </axdef>
        
***************
*** 12027,12034 ****
  		<t1/>	componentNamespace(<theta/>ComponentContext) = <nl/>
  		<t2/>		componentNamespace(<mu/>id : ID | <nl/>
! 		<t2/>		id = ParentID(c) @ <theta/>ComponentContext)
        </zed>
  
!       <z:see names="ComponentContext NestedComponent componentNamespace ID ParentID"/>
  
        </z:notation>
--- 12027,12034 ----
  		<t1/>	componentNamespace(<theta/>ComponentContext) = <nl/>
  		<t2/>		componentNamespace(<mu/>id : ID | <nl/>
! 		<t2/>		id = ParentId(c) @ <theta/>ComponentContext)
        </zed>
  
!       <z:see names="ComponentContext NestedComponent componentNamespace ID ParentId"/>
  
        </z:notation>

Index: wsdl20-z.html
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20-z.html,v
retrieving revision 1.89
retrieving revision 1.90
diff -C2 -d -r1.89 -r1.90
*** wsdl20-z.html	21 Nov 2005 23:10:48 -0000	1.89
--- wsdl20-z.html	22 Nov 2005 18:08:52 -0000	1.90
***************
*** 463,467 ****
  
  <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>],
  which conflicts with the use of square brackets to denote XML Information Set properties
--- 463,467 ----
  
  <p>
! There are two elements of Z Notation syntax that conflict with the notational conventions described in the preceding sections.
  In Z Notation, square brackets are used to introduce basic sets, e.g. [<span class="zi">ID</span>],
  which conflicts with the use of square brackets to denote XML Information Set properties
***************
*** 1328,1334 ****
        </div>
        
!       <a name="zed-ParentID"></a><div id="twisty-head-zed-ParentID" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-ParentID')">ParentID</a>...</div><div id="twisty-body-zed-ParentID" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-ParentID')">ParentID</a>&nbsp;&nbsp;[&nbsp;<a onClick="showAll()" href="#zed-ParentID">show all</a>&nbsp;]&nbsp;&nbsp;[&nbsp;<a onClick="hideAll()" href="#zed-ParentID">hide all</a>&nbsp;]<br>
        
!       <p>Let <span class="zi">ParentID</span> map a nested component to its parent component identifier:</p>
        
        <table class="zaxdef"><col class="zaxdef1"><col class="zaxdef2"><tbody><tr><td class="zaxdefabovewheretext" colspan="2"><span class="zi">ParentId</span> <span class="zinfix">:</span> <span class="zi">NestedComponent</span><span class="zinfix">&rarr;</span><span class="zi">ID</span></td></tr><tr><td class="bl"></td><td></td></tr><tr><td class="zaxdefbelowwheretext" colspan="2"><span class="zprefix">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">InterfaceFault</span> <span class="zinfix">&bull;</span></td></tr><tr><td class="zaxdeftext" colspan="2">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">ParentId</span>(<span class="zi">interfaceFault</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">InerfaceOperation</span> <span class="zinfix">&bull;</span></td></tr><tr><td class="zaxdeftext" colspan="2">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">ParentId</span>(<span class="zi">interfaceOp</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">InterfaceMessageReference</span> <span class="zinfix">&bull;</span></td></tr><tr><td class="zaxdeftext" colspan="2">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">ParentId</span>(<span class="zi">interfaceMessageRef</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix">&forall;</span><span class="zi">x</span> <span clas="zinfix">:</span> <span class="zi">InterfaceFaultReference</span> <span class="zinfix">&bull;</span></td></tr><tr><td class="zaxdeftext" colspan="2">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">ParentId</span>(<span class="zi">interfaceFaultRef</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingFault</span> <span class="zinfix">&bull;</span></td></tr><tr><td class="zaxdeftext" colspan="2">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">ParentId</span>(<span class="zi">bindingFault</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix">&forall;</span><spa class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingOperation</span> <span class="zinfix">&bull;</span></td></tr><tr><td class="zaxdeftext" colspan="2">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">ParentId</span>(<span class="zi">bindingOp</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingMessageReference</span> <span class="zinfix">&bull;</span></td></tr><tr><td class="zaxdeftext" colspan="2">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">ParentId</span>(<span class="zi">bindingMessageRef</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span clas="zprefix">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingFaultReference</span> <span class="zinfix">&bull;</span></td></tr><tr><td class="zaxdeftext" colspan="2">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">ParentId</span>(<span class="zi">bindingFaultRef</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Endpoint</span> <span class="zinfix">&bull;</span></td></tr><tr><td class="zaxdeftext" colspan="2">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">ParentId</span>(<span class="zi">endpoint</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" cospan="2"><span class="zprefix">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Feature</span> <span class="zinfix">&bull;</span></td></tr><tr><td class="zaxdeftext" colspan="2">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">ParentId</span>(<span class="zi">feature</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Property</span> <span class="zinfix">&bull;</span></td></tr><tr><td class="zaxdeftext" colspan="2">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">ParentId</span>(<span class="zi">property</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr></tbody></table>
--- 1328,1334 ----
        </div>
        
!       <a name="zed-ParentId"></a><div id="twisty-head-zed-ParentId" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-ParentId')">ParentId</a>...</div><div id="twisty-body-zed-ParentId" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-ParentId')">ParentId</a>&nbsp;&nbsp;[&nbsp;<a onClick="showAll()" href="#zed-ParentId">show all</a>&nbsp;]&nbsp;&nbsp;[&nbsp;<a onClick="hideAll()" href="#zed-ParentId">hide all</a>&nbsp;]<br>
        
!       <p>Let <span class="zi">ParentId</span> map a nested component to its parent component identifier:</p>
        
        <table class="zaxdef"><col class="zaxdef1"><col class="zaxdef2"><tbody><tr><td class="zaxdefabovewheretext" colspan="2"><span class="zi">ParentId</span> <span class="zinfix">:</span> <span class="zi">NestedComponent</span><span class="zinfix">&rarr;</span><span class="zi">ID</span></td></tr><tr><td class="bl"></td><td></td></tr><tr><td class="zaxdefbelowwheretext" colspan="2"><span class="zprefix">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">InterfaceFault</span> <span class="zinfix">&bull;</span></td></tr><tr><td class="zaxdeftext" colspan="2">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">ParentId</span>(<span class="zi">interfaceFault</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">InerfaceOperation</span> <span class="zinfix">&bull;</span></td></tr><tr><td class="zaxdeftext" colspan="2">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">ParentId</span>(<span class="zi">interfaceOp</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">InterfaceMessageReference</span> <span class="zinfix">&bull;</span></td></tr><tr><td class="zaxdeftext" colspan="2">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">ParentId</span>(<span class="zi">interfaceMessageRef</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix">&forall;</span><span class="zi">x</span> <span clas="zinfix">:</span> <span class="zi">InterfaceFaultReference</span> <span class="zinfix">&bull;</span></td></tr><tr><td class="zaxdeftext" colspan="2">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">ParentId</span>(<span class="zi">interfaceFaultRef</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingFault</span> <span class="zinfix">&bull;</span></td></tr><tr><td class="zaxdeftext" colspan="2">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">ParentId</span>(<span class="zi">bindingFault</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix">&forall;</span><spa class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingOperation</span> <span class="zinfix">&bull;</span></td></tr><tr><td class="zaxdeftext" colspan="2">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">ParentId</span>(<span class="zi">bindingOp</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingMessageReference</span> <span class="zinfix">&bull;</span></td></tr><tr><td class="zaxdeftext" colspan="2">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">ParentId</span>(<span class="zi">bindingMessageRef</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span clas="zprefix">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingFaultReference</span> <span class="zinfix">&bull;</span></td></tr><tr><td class="zaxdeftext" colspan="2">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">ParentId</span>(<span class="zi">bindingFaultRef</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Endpoint</span> <span class="zinfix">&bull;</span></td></tr><tr><td class="zaxdeftext" colspan="2">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">ParentId</span>(<span class="zi">endpoint</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" cospan="2"><span class="zprefix">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Feature</span> <span class="zinfix">&bull;</span></td></tr><tr><td class="zaxdeftext" colspan="2">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">ParentId</span>(<span class="zi">feature</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Property</span> <span class="zinfix">&bull;</span></td></tr><tr><td class="zaxdeftext" colspan="2">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">ParentId</span>(<span class="zi">property</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr></tbody></table>
***************
*** 3759,3762 ****
--- 3759,3763 ----
  		<em>#none</em>, or <em>#other</em>.</p>
        </div>
+ 
      </div>
  
***************
*** 4344,4348 ****
  		    	<a href="wsdl20.html#component-Interface">Interface</a>
  		    	component that it directly or indirectly extends, with
! 		    	{<a href="wsdl20.html#property-InterfaceFault.name">name</a>} equalt to the actual value of the
  		    	<code>ref</code> 
  		    	<em>attribute information item</em>.
--- 4345,4349 ----
  		    	<a href="wsdl20.html#component-Interface">Interface</a>
  		    	component that it directly or indirectly extends, with
! 		    	{<a href="wsdl20.html#property-InterfaceFault.name">name</a>} equal to the actual value of the
  		    	<code>ref</code> 
  		    	<em>attribute information item</em>.
***************
*** 4561,4564 ****
--- 4562,4566 ----
  
  	  </div>
+ 
  	  
  	  <a name="zed-FeaturesValid"></a><div id="twisty-head-zed-FeaturesValid" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-FeaturesValid')">FeaturesValid</a>...</div><div id="twisty-body-zed-FeaturesValid" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-FeaturesValid')">FeaturesValid</a>&nbsp;&nbsp;[&nbsp;<a onClick="showAll()" href="#zed-FeaturesValid">show all</a>&nbsp;]&nbsp;&nbsp;[&nbsp;<a onClick="hideAll()" href="#zed-FeaturesValid">hide all</a>&nbsp;]<br>
***************
*** 6066,6069 ****
--- 6068,6072 ----
  
      <div class="div3">
+ 
        
  <h4><a name="Binding_Fault_details"></a>2.10.1 The Binding Fault Component</h4> 
***************
*** 7338,7342 ****
  	  				The <a href="wsdl20.html#component-InterfaceMessageReference">Interface Message Reference</a> component in the {<a href="wsdl20.html#property-InterfaceOperation.interfacemessagereferences">interface message references</a>}
  	  				of the <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component being bound with {<a href="wsdl20.html#property-InterfaceMessageReference.messagelabel">message label</a>} equal
! 	  				to the effecttive message label.
  	  			</td>
  	  		</tr>
--- 7341,7345 ----
  	  				The <a href="wsdl20.html#component-InterfaceMessageReference">Interface Message Reference</a> component in the {<a href="wsdl20.html#property-InterfaceOperation.interfacemessagereferences">interface message references</a>}
  	  				of the <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component being bound with {<a href="wsdl20.html#property-InterfaceMessageReference.messagelabel">message label</a>} equal
! 	  				to the effective message label.
  	  			</td>
  	  		</tr>
***************
*** 10027,10031 ****
  has been engaged (because the service has received a message explicitly
  engaging that feature, for example), then the semantics of that feature
! supercede what the WSDL 2.0 document indicated. For example, the WSDL 2.0
  document may have specified an XML message schema to be used, but also
  indicated an optional security feature that encrypts the messages.  If
--- 10030,10034 ----
  has been engaged (because the service has received a message explicitly
  engaging that feature, for example), then the semantics of that feature
! supersede what the WSDL 2.0 document indicated. For example, the WSDL 2.0
  document may have specified an XML message schema to be used, but also
  indicated an optional security feature that encrypts the messages.  If
***************
*** 13461,13465 ****
      	<td rowspan="1" colspan="1">JJM</td>
      	<td rowspan="1" colspan="1"><a href="http://www.w3.org/2002/ws/desc/4/lc-issues/issues.html#LC70">LC70</a>: 
!     	reiterated beheviour is undefined when several schema languages used simultaneously.</td>
      </tr>
      
--- 13464,13468 ----
      	<td rowspan="1" colspan="1">JJM</td>
      	<td rowspan="1" colspan="1"><a href="http://www.w3.org/2002/ws/desc/4/lc-issues/issues.html#LC70">LC70</a>: 
!     	reiterated behavior is undefined when several schema languages used simultaneously.</td>
      </tr>
      
***************
*** 13688,13692 ****
      	<td rowspan="1" colspan="1"><a href="http://www.w3.org/2002/ws/desc/4/lc-issues/issues.html#LC125">LC125</a>:
      	Renamed components Fault Reference -&gt; <a href="wsdl20.html#component-InterfaceFaultReference">Interface Fault Reference</a>, Message Reference -&gt; <a href="wsdl20.html#component-InterfaceMessageReference">Interface Message Reference</a>, 
!     	and the corresponding properities.</td>
      </tr>
  
--- 13691,13695 ----
      	<td rowspan="1" colspan="1"><a href="http://www.w3.org/2002/ws/desc/4/lc-issues/issues.html#LC125">LC125</a>:
      	Renamed components Fault Reference -&gt; <a href="wsdl20.html#component-InterfaceFaultReference">Interface Fault Reference</a>, Message Reference -&gt; <a href="wsdl20.html#component-InterfaceMessageReference">Interface Message Reference</a>, 
!     	and the corresponding properties.</td>
      </tr>
  
***************
*** 13769,13773 ****
      				<p>
      					MessageReference.{element} -&gt; {element
!     					declarion}
      				</p>
      			</li>
--- 13772,13776 ----
      				<p>
      					MessageReference.{element} -&gt; {element
!     					declaration}
      				</p>
      			</li>
***************
*** 13837,13841 ****
      	<td rowspan="1" colspan="1">20050416</td>
      	<td rowspan="1" colspan="1">AGR</td>
!     	<td rowspan="1" colspan="1">Moved the <a href="#frag-ids">fragment identifer</a> definition into the media registration appendix.</td>
      </tr>
  
--- 13840,13844 ----
      	<td rowspan="1" colspan="1">20050416</td>
      	<td rowspan="1" colspan="1">AGR</td>
!     	<td rowspan="1" colspan="1">Moved the <a href="#frag-ids">fragment identifier</a> definition into the media registration appendix.</td>
      </tr>
  

Index: wsdl20.html
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.html,v
retrieving revision 1.257
retrieving revision 1.258
diff -C2 -d -r1.257 -r1.258
*** wsdl20.html	21 Nov 2005 23:10:49 -0000	1.257
--- wsdl20.html	22 Nov 2005 18:08:52 -0000	1.258
***************
*** 104,108 ****
      			attribute information item
      		</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;3.3.3 <a href="#wsdlx-consistency">wsdlx:interface and wsdlx:binding Consistency</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;3.3.4 <a href="#wsdlx-xsanyuri">Use of wsdlx:interface and wsdlx:binding with xs:anyURI</a><br>4. <a href="#modularize">Modularizing WSDL 2.0 descriptions</a><br>&nbsp;&nbsp;&nbsp;&nbsp;4.1 <a href="#includes">Including Descriptions</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;4.1.1 <a href="#include_location_attribute">location attribute information item with include [owner element]</a><br>&nbsp;&nbsp;&nbsp;&nbsp;4.2 <a href="#imports">Importing Descriptions</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;4.2.1 <a href="#import_namespace_attribute">namespace attribute information item</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;4.2.2 <a href="#import_location_attribute">location attribute information item with import [owner element]</a><br>5. <a href="#eii-documentation">Documentatin</a><br>6. <a href="#language-extensibility">Language Extensibility</a><br>&nbsp;&nbsp;&nbsp;&nbsp;6.1 <a href="#eii-extensibility">Element based Extensibility</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;6.1.1 <a href="#mandatoryext">Mandatory extensions</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;6.1.2 <a href="#required-aii">required attribute information item</a><br>&nbsp;&nbsp;&nbsp;&nbsp;6.2 <a href="#aii-extensibility">Attribute-based Extensibility</a><br>&nbsp;&nbsp;&nbsp;&nbsp;6.3 <a href="#extensibility-semantics">Extensibility Semantics</a><br>7. <a href="#wsdllocation">Locating WSDL 2.0 Documents</a><br>&nbsp;&nbsp;&nbsp;&nbsp;7.1 <a href="#wsdlLocation-aii">wsdli:wsdlLocation attribute information item</a><br>8. <a href="#conformance">Conformance</a><br>&nbsp;&nbsp;&nbsp;&nbsp;8.1 <a href="#infoset">XML Information Set Conformance</a><br>9. <a href="#Syntax-Summary">XML Syntax Summary (Non-Normative)</a><br>10. <a href="#References">References</a><br>&nbsp;&nbsp;&nbsp;&nbs;10.1 <a href="#Normative-References">Normative References</a><br>&nbsp;&nbsp;&nbsp;&nbsp;10.2 <a href="#Informative-References">Informative References</a><br></p>
! <h3><a id="appendix" name="appendix">Appendices</a></h3><p class="toc">A. <a href="#ietf-draft">The application/wsdl+xml Media Type</a><br>&nbsp;&nbsp;&nbsp;&nbsp;A.1 <a href="#ietf-reg">Registration</a><br>&nbsp;&nbsp;&nbsp;&nbsp;A.2 <a href="#frag-ids">Fragment Identifiers</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;A.2.1 <a href="#wsdl.description">The Description Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;A.2.2 <a href="#wsdl.elementDeclaration">The Element Declaration Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;A.2.3 <a href="#wsdl.typeDefinition">The Type Definition Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;A.2.4 <a href="#wsdl.interface">The Interface Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;A.2.5 <a href="#wsdl.interfaceFault">The Interface Fault Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;A.2.6 <a href="#wsdl.interfaceOperation">The Interface Operation Component</a><br>&nbsp;&bsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;A.2.7 <a href="#wsdl.interfaceMessageReference">The Interface Message Reference Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;A.2.8 <a href="#wsdl.interfaceFaultReference">The Interface Fault Reference Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;A.2.9 <a href="#wsdl.binding">The Binding Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;A.2.10 <a href="#wsdl.bindingFault">The Binding Fault Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;A.2.11 <a href="#wsdl.bindingOperation">The Binding Operation Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;A.2.12 <a href="#wsdl.bindingMessageReference">The Binding Message Reference Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;A.2.13 <a href="#wsdl.bindingFaultReference">The Binding Fault Reference Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;A.2.14 <a href="#wsdl.service">The Service Component</a><br>&nbp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;A.2.15 <a href="#wsdl.endpoint">The Endpoint Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;A.2.16 <a href="#wsdl.feature">The Feature Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;A.2.17 <a href="#wsdl.property">The Property Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;A.2.18 <a href="#wsdl.extension">Extension Components</a><br>&nbsp;&nbsp;&nbsp;&nbsp;A.3 <a href="#ietf-sec">Security considerations</a><br>B. <a href="#acknowledgments">Acknowledgements</a> (Non-Normative)<br>C. <a href="#wsdl-iri-references">IRI-References for WSDL 2.0 Components</a> (Non-Normative)<br>&nbsp;&nbsp;&nbsp;&nbsp;C.1 <a href="#wsdl-iris">WSDL 2.0 IRIs</a><br>&nbsp;&nbsp;&nbsp;&nbsp;C.2 <a href="#Iri-ref-ex">Example</a><br>D. <a href="#N17208">Component Summary</a> (Non-Normative)<br>E. <a href="#changelog">Part 1 Change Log</a> (Non-Normative)<br>&nbsp;&nbsp;&nbsp;&nbsp;E.1 <a href="#wsdl-changelog">WSDL 2.0 Specification Changs</a><br>F. <a href="#assertionsummary">Assertion Summary</a> (Non-Normative)<br></p></div><hr><div class="body">
  
  <div class="div1">
--- 104,108 ----
      			attribute information item
      		</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;3.3.3 <a href="#wsdlx-consistency">wsdlx:interface and wsdlx:binding Consistency</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;3.3.4 <a href="#wsdlx-xsanyuri">Use of wsdlx:interface and wsdlx:binding with xs:anyURI</a><br>4. <a href="#modularize">Modularizing WSDL 2.0 descriptions</a><br>&nbsp;&nbsp;&nbsp;&nbsp;4.1 <a href="#includes">Including Descriptions</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;4.1.1 <a href="#include_location_attribute">location attribute information item with include [owner element]</a><br>&nbsp;&nbsp;&nbsp;&nbsp;4.2 <a href="#imports">Importing Descriptions</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;4.2.1 <a href="#import_namespace_attribute">namespace attribute information item</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;4.2.2 <a href="#import_location_attribute">location attribute information item with import [owner element]</a><br>5. <a href="#eii-documentation">Documentatin</a><br>6. <a href="#language-extensibility">Language Extensibility</a><br>&nbsp;&nbsp;&nbsp;&nbsp;6.1 <a href="#eii-extensibility">Element based Extensibility</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;6.1.1 <a href="#mandatoryext">Mandatory extensions</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;6.1.2 <a href="#required-aii">required attribute information item</a><br>&nbsp;&nbsp;&nbsp;&nbsp;6.2 <a href="#aii-extensibility">Attribute-based Extensibility</a><br>&nbsp;&nbsp;&nbsp;&nbsp;6.3 <a href="#extensibility-semantics">Extensibility Semantics</a><br>7. <a href="#wsdllocation">Locating WSDL 2.0 Documents</a><br>&nbsp;&nbsp;&nbsp;&nbsp;7.1 <a href="#wsdlLocation-aii">wsdli:wsdlLocation attribute information item</a><br>8. <a href="#conformance">Conformance</a><br>&nbsp;&nbsp;&nbsp;&nbsp;8.1 <a href="#infoset">XML Information Set Conformance</a><br>9. <a href="#Syntax-Summary">XML Syntax Summary (Non-Normative)</a><br>10. <a href="#References">References</a><br>&nbsp;&nbsp;&nbsp;&nbs;10.1 <a href="#Normative-References">Normative References</a><br>&nbsp;&nbsp;&nbsp;&nbsp;10.2 <a href="#Informative-References">Informative References</a><br></p>
! <h3><a id="appendix" name="appendix">Appendices</a></h3><p class="toc">A. <a href="#ietf-draft">The application/wsdl+xml Media Type</a><br>&nbsp;&nbsp;&nbsp;&nbsp;A.1 <a href="#ietf-reg">Registration</a><br>&nbsp;&nbsp;&nbsp;&nbsp;A.2 <a href="#frag-ids">Fragment Identifiers</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;A.2.1 <a href="#wsdl.description">The Description Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;A.2.2 <a href="#wsdl.elementDeclaration">The Element Declaration Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;A.2.3 <a href="#wsdl.typeDefinition">The Type Definition Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;A.2.4 <a href="#wsdl.interface">The Interface Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;A.2.5 <a href="#wsdl.interfaceFault">The Interface Fault Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;A.2.6 <a href="#wsdl.interfaceOperation">The Interface Operation Component</a><br>&nbsp;&bsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;A.2.7 <a href="#wsdl.interfaceMessageReference">The Interface Message Reference Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;A.2.8 <a href="#wsdl.interfaceFaultReference">The Interface Fault Reference Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;A.2.9 <a href="#wsdl.binding">The Binding Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;A.2.10 <a href="#wsdl.bindingFault">The Binding Fault Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;A.2.11 <a href="#wsdl.bindingOperation">The Binding Operation Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;A.2.12 <a href="#wsdl.bindingMessageReference">The Binding Message Reference Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;A.2.13 <a href="#wsdl.bindingFaultReference">The Binding Fault Reference Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;A.2.14 <a href="#wsdl.service">The Service Component</a><br>&nbp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;A.2.15 <a href="#wsdl.endpoint">The Endpoint Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;A.2.16 <a href="#wsdl.feature">The Feature Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;A.2.17 <a href="#wsdl.property">The Property Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;A.2.18 <a href="#wsdl.extension">Extension Components</a><br>&nbsp;&nbsp;&nbsp;&nbsp;A.3 <a href="#ietf-sec">Security considerations</a><br>B. <a href="#acknowledgments">Acknowledgements</a> (Non-Normative)<br>C. <a href="#wsdl-iri-references">IRI-References for WSDL 2.0 Components</a> (Non-Normative)<br>&nbsp;&nbsp;&nbsp;&nbsp;C.1 <a href="#wsdl-iris">WSDL 2.0 IRIs</a><br>&nbsp;&nbsp;&nbsp;&nbsp;C.2 <a href="#Iri-ref-ex">Example</a><br>D. <a href="#N17208">Component Summary</a> (Non-Normative)<br>E. <a href="#changelog">Part 1 Change Log</a> (Non-Normative)<br>&nbsp;&nbsp;&nbsp;&nbsp;E.1 <a href="#wsdl-changelog">WSDL 2.0 Specification Changs</a><br></p></div><hr><div class="body">
  
  <div class="div1">
***************
*** 463,467 ****
  
  <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>],
  which conflicts with the use of square brackets to denote XML Information Set properties
--- 463,467 ----
  
  <p>
! There are two elements of Z Notation syntax that conflict with the notational conventions described in the preceding sections.
  In Z Notation, square brackets are used to introduce basic sets, e.g. [<span class="zi">ID</span>],
  which conflicts with the use of square brackets to denote XML Information Set properties
***************
*** 738,742 ****
        <a name="zed-NestedComponent"></a>
        
!       <a name="zed-ParentID"></a>
     
        <p>The properties of the <a name="component-Description">Description</a> component are as follows:</p>
--- 738,742 ----
        <a name="zed-NestedComponent"></a>
        
!       <a name="zed-ParentId"></a>
     
        <p>The properties of the <a name="component-Description">Description</a> component are as follows:</p>
***************
*** 2600,2603 ****
--- 2600,2604 ----
  		<em>#none</em>, or <em>#other</em>.</p>
        </div>
+ 
      </div>
  
***************
*** 3090,3094 ****
  		    	<a href="wsdl20.html#component-Interface">Interface</a>
  		    	component that it directly or indirectly extends, with
! 		    	{<a href="wsdl20.html#property-InterfaceFault.name">name</a>} equalt to the actual value of the
  		    	<code>ref</code> 
  		    	<em>attribute information item</em>.
--- 3091,3095 ----
  		    	<a href="wsdl20.html#component-Interface">Interface</a>
  		    	component that it directly or indirectly extends, with
! 		    	{<a href="wsdl20.html#property-InterfaceFault.name">name</a>} equal to the actual value of the
  		    	<code>ref</code> 
  		    	<em>attribute information item</em>.
***************
*** 3241,3244 ****
--- 3242,3246 ----
  	  
  	  <a name="zed-Features"></a>
+ 
  	  
  	  <a name="zed-FeaturesValid"></a>
***************
*** 4491,4494 ****
--- 4493,4497 ----
  
      <div class="div3">
+ 
        
  <h4><a name="Binding_Fault_details"></a>2.10.1 The Binding Fault Component</h4> 
***************
*** 5369,5373 ****
  	  				The <a href="wsdl20.html#component-InterfaceMessageReference">Interface Message Reference</a> component in the {<a href="wsdl20.html#property-InterfaceOperation.interfacemessagereferences">interface message references</a>}
  	  				of the <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component being bound with {<a href="wsdl20.html#property-InterfaceMessageReference.messagelabel">message label</a>} equal
! 	  				to the effecttive message label.
  	  			</td>
  	  		</tr>
--- 5372,5376 ----
  	  				The <a href="wsdl20.html#component-InterfaceMessageReference">Interface Message Reference</a> component in the {<a href="wsdl20.html#property-InterfaceOperation.interfacemessagereferences">interface message references</a>}
  	  				of the <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component being bound with {<a href="wsdl20.html#property-InterfaceMessageReference.messagelabel">message label</a>} equal
! 	  				to the effective message label.
  	  			</td>
  	  		</tr>
***************
*** 7714,7718 ****
  has been engaged (because the service has received a message explicitly
  engaging that feature, for example), then the semantics of that feature
! supercede what the WSDL 2.0 document indicated. For example, the WSDL 2.0
  document may have specified an XML message schema to be used, but also
  indicated an optional security feature that encrypts the messages.  If
--- 7717,7721 ----
  has been engaged (because the service has received a message explicitly
  engaging that feature, for example), then the semantics of that feature
! supersede what the WSDL 2.0 document indicated. For example, the WSDL 2.0
  document may have specified an XML message schema to be used, but also
  indicated an optional security feature that encrypts the messages.  If
***************
*** 10338,10342 ****
      	<td rowspan="1" colspan="1">JJM</td>
      	<td rowspan="1" colspan="1"><a href="http://www.w3.org/2002/ws/desc/4/lc-issues/issues.html#LC70">LC70</a>: 
!     	reiterated beheviour is undefined when several schema languages used simultaneously.</td>
      </tr>
      
--- 10341,10345 ----
      	<td rowspan="1" colspan="1">JJM</td>
      	<td rowspan="1" colspan="1"><a href="http://www.w3.org/2002/ws/desc/4/lc-issues/issues.html#LC70">LC70</a>: 
!     	reiterated behavior is undefined when several schema languages used simultaneously.</td>
      </tr>
      
***************
*** 10565,10569 ****
      	<td rowspan="1" colspan="1"><a href="http://www.w3.org/2002/ws/desc/4/lc-issues/issues.html#LC125">LC125</a>:
      	Renamed components Fault Reference -&gt; <a href="wsdl20.html#component-InterfaceFaultReference">Interface Fault Reference</a>, Message Reference -&gt; <a href="wsdl20.html#component-InterfaceMessageReference">Interface Message Reference</a>, 
!     	and the corresponding properities.</td>
      </tr>
  
--- 10568,10572 ----
      	<td rowspan="1" colspan="1"><a href="http://www.w3.org/2002/ws/desc/4/lc-issues/issues.html#LC125">LC125</a>:
      	Renamed components Fault Reference -&gt; <a href="wsdl20.html#component-InterfaceFaultReference">Interface Fault Reference</a>, Message Reference -&gt; <a href="wsdl20.html#component-InterfaceMessageReference">Interface Message Reference</a>, 
!     	and the corresponding properties.</td>
      </tr>
  
***************
*** 10646,10650 ****
      				<p>
      					MessageReference.{element} -&gt; {element
!     					declarion}
      				</p>
      			</li>
--- 10649,10653 ----
      				<p>
      					MessageReference.{element} -&gt; {element
!     					declaration}
      				</p>
      			</li>
***************
*** 10714,10718 ****
      	<td rowspan="1" colspan="1">20050416</td>
      	<td rowspan="1" colspan="1">AGR</td>
!     	<td rowspan="1" colspan="1">Moved the <a href="#frag-ids">fragment identifer</a> definition into the media registration appendix.</td>
      </tr>
  
--- 10717,10721 ----
      	<td rowspan="1" colspan="1">20050416</td>
      	<td rowspan="1" colspan="1">AGR</td>
!     	<td rowspan="1" colspan="1">Moved the <a href="#frag-ids">fragment identifier</a> definition into the media registration appendix.</td>
      </tr>
  

Index: wsdl20-primer.html
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20-primer.html,v
retrieving revision 1.125
retrieving revision 1.126
diff -C2 -d -r1.125 -r1.126
*** wsdl20-primer.html	21 Nov 2005 23:10:50 -0000	1.125
--- wsdl20-primer.html	22 Nov 2005 18:08:52 -0000	1.126
***************
*** 151,155 ****
     (see [<cite><a href="#XMLInfoSet">XML Information Set</a></cite>]). </p>
     
!    <p>Following the convention for XML syntax sumary in [<cite><a href="#WSDL-PART1">WSDL 2.0 Core</a></cite>], this primer uses an informal syntax to describe the XML grammar of a WSDL 2.0 document: 
     <ul>
     <li><p>The syntax appears as an XML instance, but the values indicate the data types instead of values.</p></li> 
--- 151,155 ----
     (see [<cite><a href="#XMLInfoSet">XML Information Set</a></cite>]). </p>
     
!    <p>Following the convention for XML syntax summary in [<cite><a href="#WSDL-PART1">WSDL 2.0 Core</a></cite>], this primer uses an informal syntax to describe the XML grammar of a WSDL 2.0 document: 
     <ul>
     <li><p>The syntax appears as an XML instance, but the values indicate the data types instead of values.</p></li> 
***************
*** 753,757 ****
  </pre></div>
  					
! <p>There are two ways to make XML Schema message definitions visible, or in other words, available for reference by Qname (see WSDL 2.0 Part 1 [<cite><a href="#WSDL-PART1">WSDL 2.0 Core</a></cite>] "<a href="wsdl20.html#qnameres">QName Resolution</a>") in a WSDL 2.0 document: inlining or importing.  Inlining is to put the schema definitions directly within an <code>xs:schema</code> element under <code>types</code>.  Importing is to have the schema defined in a separate document and then bring it into the WSDL definition by using <code>xs:import</code> directly under <code>types</code>. </p> 
  
  <p>In the following sections, we will provide examples for the different mechanisms.</p>			 
--- 753,757 ----
  </pre></div>
  					
! <p>There are two ways to make XML Schema message definitions visible, or in other words, available for reference by QName (see WSDL 2.0 Part 1 [<cite><a href="#WSDL-PART1">WSDL 2.0 Core</a></cite>] "<a href="wsdl20.html#qnameres">QName Resolution</a>") in a WSDL 2.0 document: inlining or importing.  Inlining is to put the schema definitions directly within an <code>xs:schema</code> element under <code>types</code>.  Importing is to have the schema defined in a separate document and then bring it into the WSDL definition by using <code>xs:import</code> directly under <code>types</code>. </p> 
  
  <p>In the following sections, we will provide examples for the different mechanisms.</p>			 
***************
*** 821,825 ****
  
  
! <p>Of course, an inlined XML schema may also use XML Schema's native <code>xs:include</code> element to refer to schemas defined in separate files when the included schema has no namespace or has the same namespace as the including schema. In this case, according to XML Schema, the included schema components become a part of the including schema as though they had been copied and pasted into the including schema. Hence, the included schema components are also available to the containing WSDL 2.0 <code>description</code> for reference by Qname. </p>	
  
  <p>The following example has the same effect as <a href="#example-initial-types">Example 2-3</a>:</p>
--- 821,825 ----
  
  
! <p>Of course, an inlined XML schema may also use XML Schema's native <code>xs:include</code> element to refer to schemas defined in separate files when the included schema has no namespace or has the same namespace as the including schema. In this case, according to XML Schema, the included schema components become a part of the including schema as though they had been copied and pasted into the including schema. Hence, the included schema components are also available to the containing WSDL 2.0 <code>description</code> for reference by QName. </p>	
  
  <p>The following example has the same effect as <a href="#example-initial-types">Example 2-3</a>:</p>
***************
*** 1039,1043 ****
  					operations, component equivalence basically means
  					that the two operations have the same set of
! 					attributes and descendents.) In the second case, if
  					two operations have the same name in the same WSDL
  					2.0 target namespace but are not equivalent, then it
--- 1039,1043 ----
  					operations, component equivalence basically means
  					that the two operations have the same set of
! 					attributes and descendants.) In the second case, if
  					two operations have the same name in the same WSDL
  					2.0 target namespace but are not equivalent, then it
***************
*** 1159,1163 ****
  					<li><p>RPC Style. The RPC style is selected when the <code>style</code>  is assigned the value http://www.w3.org/@@@@/@@/wsdl/rpc. It places restrictions for Remote Procedure Call-types of interactions. </p></li>
  					<li><p>IRI Style. The IRI style is selected when the <code>style</code>  is assigned the value http://www.w3.org/@@@@/@@/wsdl/style/iri. It places restrictions on message definitions so they may be serialized into something like HTTP URL encoded.</p></li>
! 					<li><p>The Multipart style. The Multipart style is selected when the <code>style</code>  is assigned the value http://www.w3.org/@@@@/@@/wsdl/style/multipart. In the HTTP binding, for XForm clients, a message must be defined following the Multipart style and serialized as "Multipart/form-data". </p> </li>
  				</ul>	
  						
--- 1159,1163 ----
  					<li><p>RPC Style. The RPC style is selected when the <code>style</code>  is assigned the value http://www.w3.org/@@@@/@@/wsdl/rpc. It places restrictions for Remote Procedure Call-types of interactions. </p></li>
  					<li><p>IRI Style. The IRI style is selected when the <code>style</code>  is assigned the value http://www.w3.org/@@@@/@@/wsdl/style/iri. It places restrictions on message definitions so they may be serialized into something like HTTP URL encoded.</p></li>
! 					<li><p>The Multipart style. The Multipart style is selected when the <code>style</code>  is assigned the value http://www.w3.org/@@@@/@@/wsdl/style/multipart. In the HTTP binding, for XForms clients, a message must be defined following the Multipart style and serialized as "Multipart/form-data". </p> </li>
  				</ul>	
  						
***************
*** 1512,1515 ****
--- 1512,1516 ----
  
  This would instead serialize to a request URI such as: <code>http://greath.example.com/2004/checkAvailability/bycheckInDate/5-5-5</code>. The rest of the message content would go to the HTTP message body.</p></div></div>
+ 
  		<div class="div3">
  <h4><a name="adv-get-vs-post"></a>2.5.7 HTTP GET Versus POST: Which to Use?</h4>
***************
*** 3015,3019 ****
  	<p> The namespace or name of the makeReservation element can be changed, and
  	    then the interface and bindings changed. To indicate incompatibility,
! 	    requests using the old makeReservation Qname should probably return a
  	    fault. The new interface, with a changed makeReservation, is:</p>
  	<div class="exampleOuter">
--- 3016,3020 ----
  	<p> The namespace or name of the makeReservation element can be changed, and
  	    then the interface and bindings changed. To indicate incompatibility,
! 	    requests using the old makeReservation QName should probably return a
  	    fault. The new interface, with a changed makeReservation, is:</p>
  	<div class="exampleOuter">
***************
*** 3715,3718 ****
--- 3716,3720 ----
  			</div>
  			<p>
+ 
  				The WSDL 2.0 service that offers this type serialized as
  				a parameter would look like this:

Received on Tuesday, 22 November 2005 18:09:56 UTC