2002/ws/desc/wsdl20 component-assertion-table.xml,1.5,1.6 wsdl20.tex,1.100,1.101 wsdl20-z-ie.html,1.66,1.67 wsdl20-z.html,1.90,1.91 wsdl20.html,1.258,1.259 wsdl20-adjuncts.html,1.118,1.119 wsdl20.xml,1.381,1.382 wsdl20-primer.html,1.126,1.127 document-assertion-table.xml,1.7,1.8

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

Modified Files:
	component-assertion-table.xml wsdl20.tex wsdl20-z-ie.html 
	wsdl20-z.html wsdl20.html wsdl20-adjuncts.html wsdl20.xml 
	wsdl20-primer.html document-assertion-table.xml 
Log Message:
Added assertions posted to mailing list: 
http://lists.w3.org/Archives/Public/www-ws-desc/2006Jan/0006.html,
"Binding, Service, Modularization, Extensibility, and Location assertions", Lawrence Mandel, 2006-01-06.



Index: wsdl20-z-ie.html
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20-z-ie.html,v
retrieving revision 1.66
retrieving revision 1.67
diff -C2 -d -r1.66 -r1.67
*** wsdl20-z-ie.html	22 Nov 2005 18:08:52 -0000	1.66
--- wsdl20-z-ie.html	10 Jan 2006 00:50:05 -0000	1.67
***************
*** 79,83 ****
  
  <hr><div class="toc">
! <h2><a name="shortcontents">Short Table of Contents</a></h2><p class="toc">1. <a href="#intro">Introduction</a><br>2. <a href="#component_model">Component Model</a><br>3. <a href="#eii-types">Types</a><br>4. <a href="#modularize">Modularizing WSDL 2.0 descriptions</a><br>5. <a href="#eii-documentation">Documentation</a><br>6. <a href="#language-extensibility">Language Extensibility</a><br>7. <a href="#wsdllocation">Locating WSDL 2.0 Documents</a><br>8. <a href="#conformance">Conformance</a><br>9. <a href="#Syntax-Summary">XML Syntax Summary (Non-Normative)</a><br>10. <a href="#References">References</a><br>A. <a href="#ietf-draft">The application/wsdl+xml Media Type</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>D. <a href="#N17208">Component Summary</a> (Non-Normative)<br>E. <a href="#changelog">Part 1 Change Log</a> (Non-Normative)<br>F. <a href="#assertionsummary">Assertion Summry</a> (Non-Normative)<br></p></div><hr><div class="toc">
  <h2><a name="contents">Table of Contents</a></h2><p class="toc">1. <a href="#intro">Introduction</a><br>&nbsp;&nbsp;&nbsp;&nbsp;1.1 <a href="#intro_ws">Web Service</a><br>&nbsp;&nbsp;&nbsp;&nbsp;1.2 <a href="#markup">Document Conformance</a><br>&nbsp;&nbsp;&nbsp;&nbsp;1.3 <a href="#meaning">The Meaning of a Service Description</a><br>&nbsp;&nbsp;&nbsp;&nbsp;1.4 <a href="#notation">Notational Conventions</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.1 <a href="#rfc2119keywords">RFC 2119 Keywords</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.2 <a href="#rfc3986namespaces">RFC 3986 Namespaces</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.3 <a href="#xmlSchemaAnyURI">XML Schema anyURI</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.4 <a href="#nsprefixes">Prefixes and Namespaces Used in This Specification</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.5 <a href="#terminology">Terms Used in This Specification</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbp;&nbsp;&nbsp;1.4.6 <a href="#xmlinfosetproperties">XML Information Set Properties</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.7 <a href="#wsdlcomponentmodelproperties">WSDL 2.0 Component Model Properties</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.8 <a href="#znotation">Z Notation</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.9 <a href="#bnfpseudoschemas">BNF Pseudo-Schemas</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.10 <a href="#assertions">Assertions</a><br>2. <a href="#component_model">Component Model</a><br>&nbsp;&nbsp;&nbsp;&nbsp;2.1 <a href="#Description">Description</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.1.1 <a href="#Description_details">The Description Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.1.2 <a href="#Description_XMLRep">XML Representation of Description Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.1.2.1 <a href="#Description_targetnamespace_attriute">targetNamespace attribute information item</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.1.3 <a href="#Description_Mapping">Mapping Description's XML Representation to Component
        Properties</a><br>&nbsp;&nbsp;&nbsp;&nbsp;2.2 <a href="#Interface">Interface</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.2.1 <a href="#Interface_details">The Interface Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.2.2 <a href="#Interface_XMLRep">XML Representation of Interface Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.2.2.1 <a href="#Interface_name_attribute">name attribute information item with interface [owner element]</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.2.2.2 <a href="#Interface_extends_attribute">extends attribute information item</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.2.2.3 <a href="#Interface_styleDefault_attribute">styleDefault attribute information item</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.2.3 <a href="#Interface_Mapping">Mapping Interface's XML Representation to Component Properties</a><br>&nbsp;&nbsp;&nsp;&nbsp;2.3 <a href="#InterfaceFault">Interface Fault</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.3.1 <a href="#InterfaceFault_details">The Interface Fault Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.3.2 <a href="#InterfaceFault_XMLRep">XML Representation of Interface Fault Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.3.2.1 <a href="#Interfacefault_name_attribute">name attribute information item with fault [owner element]</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.3.2.2 <a href="#Interface_element_attribute">element attribute information item with fault [owner element]</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.3.3 <a href="#InterfaceFault_Mapping">Mapping Interface Fault's XML Representation to
--- 79,83 ----
  
  <hr><div class="toc">
! <h2><a name="shortcontents">Short Table of Contents</a></h2><p class="toc">1. <a href="#intro">Introduction</a><br>2. <a href="#component_model">Component Model</a><br>3. <a href="#eii-types">Types</a><br>4. <a href="#modularize">Modularizing WSDL 2.0 descriptions</a><br>5. <a href="#eii-documentation">Documentation</a><br>6. <a href="#language-extensibility">Language Extensibility</a><br>7. <a href="#wsdllocation">Locating WSDL 2.0 Documents</a><br>8. <a href="#conformance">Conformance</a><br>9. <a href="#Syntax-Summary">XML Syntax Summary (Non-Normative)</a><br>10. <a href="#References">References</a><br>A. <a href="#ietf-draft">The application/wsdl+xml Media Type</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>D. <a href="#N17273">Component Summary</a> (Non-Normative)<br>E. <a href="#changelog">Part 1 Change Log</a> (Non-Normative)<br>F. <a href="#assertionsummary">Assertion Summry</a> (Non-Normative)<br></p></div><hr><div class="toc">
  <h2><a name="contents">Table of Contents</a></h2><p class="toc">1. <a href="#intro">Introduction</a><br>&nbsp;&nbsp;&nbsp;&nbsp;1.1 <a href="#intro_ws">Web Service</a><br>&nbsp;&nbsp;&nbsp;&nbsp;1.2 <a href="#markup">Document Conformance</a><br>&nbsp;&nbsp;&nbsp;&nbsp;1.3 <a href="#meaning">The Meaning of a Service Description</a><br>&nbsp;&nbsp;&nbsp;&nbsp;1.4 <a href="#notation">Notational Conventions</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.1 <a href="#rfc2119keywords">RFC 2119 Keywords</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.2 <a href="#rfc3986namespaces">RFC 3986 Namespaces</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.3 <a href="#xmlSchemaAnyURI">XML Schema anyURI</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.4 <a href="#nsprefixes">Prefixes and Namespaces Used in This Specification</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.5 <a href="#terminology">Terms Used in This Specification</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbp;&nbsp;&nbsp;1.4.6 <a href="#xmlinfosetproperties">XML Information Set Properties</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.7 <a href="#wsdlcomponentmodelproperties">WSDL 2.0 Component Model Properties</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.8 <a href="#znotation">Z Notation</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.9 <a href="#bnfpseudoschemas">BNF Pseudo-Schemas</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.10 <a href="#assertions">Assertions</a><br>2. <a href="#component_model">Component Model</a><br>&nbsp;&nbsp;&nbsp;&nbsp;2.1 <a href="#Description">Description</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.1.1 <a href="#Description_details">The Description Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.1.2 <a href="#Description_XMLRep">XML Representation of Description Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.1.2.1 <a href="#Description_targetnamespace_attriute">targetNamespace attribute information item</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.1.3 <a href="#Description_Mapping">Mapping Description's XML Representation to Component
[...1514 lines suppressed...]
***************
*** 15879,15882 ****
--- 16122,16138 ----
  <tr>
  <td rowspan="1" colspan="1">
+ <a href="#Service-0063" name="Service-0063-summary">Service-0063</a>
+ </td>
+ <td rowspan="1" colspan="1">
+ 	  	For each
+ 	  	<a href="wsdl20.html#component-Service">Service</a>
+ 	  	component in the
+ 	  	{<a href="wsdl20.html#property-Description.services">services</a>}
+ 	  	property of a Description component, the
+ 	  	{<a href="wsdl20.html#property-Service.name">name</a>}
+ 	  	property MUST be unique.</td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
  <a href="#Types-0026" name="Types-0026-summary">Types-0026</a>
  </td>

Index: wsdl20.tex
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.tex,v
retrieving revision 1.100
retrieving revision 1.101
diff -C2 -d -r1.100 -r1.101
*** wsdl20.tex	22 Nov 2005 18:08:51 -0000	1.100
--- wsdl20.tex	10 Jan 2006 00:50:05 -0000	1.101
***************
*** 507,512 ****
  			marked in the
  			\href{wsdl20-z.html}{non-normative version}
! 			of this specification by a dagger symbol (†) at the end
! 			of a sentence. Each assertion has beed assigned a unique
  			identifier that consists of a descriptive textual prefix and
  			a unique numeric suffix. The numeric suffixes are assigned
--- 507,512 ----
  			marked in the
  			\href{wsdl20-z.html}{non-normative version}
! 			of this specification by a dagger symbol (†) at the end
! 			of a sentence. Each assertion has been assigned a unique
  			identifier that consists of a descriptive textual prefix and
  			a unique numeric suffix. The numeric suffixes are assigned
***************
*** 4398,4402 ****
  		\textit{\#none}, or \textit{\#other}.
        
- 
      
  
--- 4398,4401 ----
***************
*** 6900,6904 ****
  \subsection{The Binding Fault Component}\label{Binding_Fault_details}
  
- 
         
  
--- 6899,6902 ----
***************
*** 10133,10136 ****
--- 10131,10135 ----
  
  \hyperlink{tab_SchemaVisibility}{Table \ref*{tab_SchemaVisibility} } summarizes the referenceability of
+ 
  schema components.
  
***************
*** 14868,14871 ****
--- 14867,14881 ----
      
      
+     	20060109&
+     	AGR&
+     	
+     		Added assertions posted to mailing list:
+     		\href{http://lists.w3.org/Archives/Public/www-ws-desc/2006Jan/0006.html}{
+     			"Binding, Service, Modularization, Extensibility, and Location assertions", Lawrence Mandel, 2006-01-06.
+     		}
+     	
+     \\ \hline 
+ 
+     
      	20051121&
      	AGR&
***************
*** 14980,14983 ****
--- 14990,14994 ----
      	AGR&
      	Corrected order of arguments in fragment identifier for 
+ 
      	\href{#wsdl.bindingFaultReference}{Binding Fault Reference} to match that in Interface Fault Reference.
      	
***************
*** 17121,17124 ****
--- 17132,17171 ----
  
  &
+ As with XML schema, each WSDL 2.0 document making references
+ to components in a given (foreign) namespace MUST
+ have a \texttt{wsdl:import} \textit{element information item} for that namespace (but not necessarily
+ providing a \texttt{location} \textit{attribute information item} identifying the WSDL 2.0 document
+ in which the referenced component is declared).
+ \\ \hline 
+ 
+ 
+ 
+ &
+ This value MUST NOT match the actual
+  value of \texttt{targetNamespace} \textit{attribute information item} in the enclosing WSDL 2.0 document.
+ \\ \hline 
+ 
+ 
+ 
+ &
+ If the location attribute in the \texttt{import} \textit{element information item} 
+  references a WSDL 2.0 document, then the actual value of the 
+  \texttt{namespace} \textit{attribute information item} MUST be identical to the 
+  actual value of the \texttt{targetNamespace} \textit{attribute information item} 
+  in the referenced WSDL 2.0 document.
+ \\ \hline 
+ 
+ 
+ 
+ &
+ The actual value of the \texttt{targetNamespace} \textit{attribute information item} of the
+   included WSDL 2.0 document MUST match the actual value of the
+   \texttt{targetNamespace} \textit{attribute information item} of the \texttt{description} \textit{element information item}
+   which is the [parent] of the \texttt{include} \textit{element information item}.
+ \\ \hline 
+ 
+ 
+ 
+ &
  Its value, if present, MUST contain
  		absolute IRIs (see \hyperlink{RFC3987}{[\textit{IETF RFC 3987}]}).
***************
*** 17128,17131 ****
--- 17175,17186 ----
  
  &
+ It MUST NOT appear on a
+   \texttt{wsdl:description} element or any of its
+   children/descendants.
+ \\ \hline 
+ 
+ 
+ 
+ &
  
  	  		The
***************
*** 17396,17399 ****
--- 17451,17561 ----
  
  &
+ If a Binding component specifies any operation-specific
+       binding details (by including Binding Operation components) or
+       any fault binding details (by including 
+       Binding Fault components) then it MUST specify an interface the Binding
+       component applies to, so as to indicate which interface the operations
+       come from.
+ \\ \hline 
+ 
+ 
+ 
+ &
+ A Binding component that defines bindings for an 
+       Interface
+       component MUST define bindings for all the operations of that
+       Interface component.
+ \\ \hline 
+ 
+ 
+ 
+ &
+ This \textit{xs:anyURI} MUST be an absolute IRI
+ 	    as defined by \hyperlink{RFC3987}{[\textit{IETF RFC 3987}]}.
+ \\ \hline 
+ 
+ 
+ 
+ &
+ For each Binding component in the 
+       bindings property of a
+       Description component, the name property MUST be unique.
+ \\ \hline 
+ 
+ 
+ 
+ &
+ 
+ 	  	For each
+ 	  	Binding Fault Reference
+ 	  	component in the
+ 	  	binding fault references
+ 	  	property of a
+ 	  	Binding Operation
+ 	  	component, the
+ 	  	
+ 	  		interface fault reference
+ 	  	
+ 	  	property MUST be unique.
+ \\ \hline 
+ 
+ 
+ 
+ &
+ 
+ 	  	There MUST be an Interface Fault Reference component in the 
+ 	  	interface fault references of the 
+ 	  	Interface Operation being bound with 
+ 	  	message label equal to the effective message label
+ 	  	and with interface fault equal to an 
+ 	  	Interface Fault component with 
+ 	  	name equal to the actual value of the \texttt{ref} \textit{attribute information item}.
+ \\ \hline 
+ 
+ 
+ 
+ &
+ 
+ 	  	For each
+ 	  	Binding Message Reference
+ 	  	component in the
+ 	  	
+ 	  		binding message references
+ 	  	
+ 	  	property of a
+ 	  	Binding Operation
+ 	  	component, the
+ 	  	
+ 	  		interface message reference
+ 	  	
+ 	  	property MUST be unique.
+ \\ \hline 
+ 
+ 
+ 
+ &
+ 
+ 	  	For each
+ 	  	Binding Operation
+ 	  	component in the
+ 	  	binding operations
+ 	  	property of a
+ 	  	Binding
+ 	  	component, the
+ 	  	interface operation
+ 	  	property MUST be unique.
+ \\ \hline 
+ 
+ 
+ 
+ &
+ When such absolute URIs and IRIs are being compared to determine
+   equivalence (see \hyperlink{compequiv}{\textbf{\ref*{compequiv} Equivalence of Components}}) they MUST be
+   compared character-by-character as indicated in \hyperlink{RFC3987}{[\textit{IETF RFC 3987}]}.
+ \\ \hline 
+ 
+ 
+ 
+ &
  
           		Each WSDL 2.0 or type system component MUST be uniquely
***************
*** 17405,17408 ****
--- 17567,17646 ----
  
  &
+ This \textit{xs:anyURI} MUST
+                                 be an absolute IRI as defined by
+ 	  			\hyperlink{RFC3987}{[\textit{IETF RFC 3987}]}.
+ \\ \hline 
+ 
+ 
+ 
+ &
+ For each Endpoint component in the endpoints property of a
+ 	  Service component, the name property MUST be unique.
+ \\ \hline 
+ 
+ 
+ 
+ &
+ 
+        	For each
+        	Endpoint
+        	component in the
+        	endpoints
+        	property of a
+        	Service
+        	component, the
+        	binding
+        	property MUST either be a
+        	Binding
+        	component with an unspecified
+        	interface
+        	property or a
+        	Binding
+        	component with an
+        	interface
+        	property equal to the
+        	interface
+        	property of the
+        	Service
+        	component.
+ \\ \hline 
+ 
+ 
+ 
+ &
+ Extension properties which are not string values, sets of 
+ strings or references MUST describe their values' equivalence rules.
+ \\ \hline 
+ 
+ 
+ 
+ &
+ An extension that is NOT marked as mandatory MUST NOT invalidate the 
+           meaning of any part of the WSDL 2.0 document.
+ \\ \hline 
+ 
+ 
+ 
+ &
+ If a WSDL 2.0 document declares an extension, Feature or Property as optional 
+         (i.e., NON-mandatory), then the Web service MUST NOT assume that the 
+         client supports that extension, Feature or Property, \textit{unless} the 
+         Web service knows (through some other means) that the client 
+         has in fact elected to engage and support that extension, Feature or 
+         Property.
+ \\ \hline 
+ 
+ 
+ 
+ &
+ Therefore, the 
+         Web service MUST support every extension, Feature or Property that is 
+         declared as optional in the WSDL 2.0 document, in addition to supporting every 
+         extension, Feature or Property that is declared as mandatory.
+ \\ \hline 
+ 
+ 
+ 
+ &
  This \textit{xs:anyURI} MUST be an absolute IRI
  	    as defined by \hyperlink{RFC3987}{[\textit{IETF RFC 3987}]}. 
***************
*** 17581,17584 ****
--- 17819,17834 ----
  
  &
+ Its actual value MUST be a list of
+       pairs of IRIs; where the first IRI of a pair, which MUST be an
+       absolute IRI as defined in \hyperlink{RFC3987}{[\textit{IETF RFC 3987}]}, indicates a
+       WSDL 2.0 (or 1.1) namespace name, and, the second a hint as to the location
+       of a WSDL 2.0 document defining WSDL 2.0 components (or WSDL 1.1
+       elements \hyperlink{WSDL11}{[\textit{WSDL 1.1}]})
+       for that namespace name.
+ \\ \hline 
+ 
+ 
+ 
+ &
  A message exchange pattern is uniquely
   	  		identified by an absolute IRI which is used as the value
***************
*** 17623,17627 ****
  
  
- 
  &
  All specified values MUST be equal and belong to each specified value set.
--- 17873,17876 ----
***************
*** 17648,17651 ****
--- 17897,17913 ----
  
  &
+ 
+ 	  	For each
+ 	  	Service
+ 	  	component in the
+ 	  	services
+ 	  	property of a Description component, the
+ 	  	name
+ 	  	property MUST be unique.
+ \\ \hline 
+ 
+ 
+ 
+ &
  It is an error if there are multiple type definitions for each QName.
  \\ \hline 

Index: component-assertion-table.xml
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/component-assertion-table.xml,v
retrieving revision 1.5
retrieving revision 1.6
diff -C2 -d -r1.5 -r1.6
*** component-assertion-table.xml	21 Nov 2005 23:10:48 -0000	1.5
--- component-assertion-table.xml	10 Jan 2006 00:50:05 -0000	1.6
***************
*** 7,10 ****
--- 7,117 ----
  <tr>
  <td>
+ <assert-summary ref="Binding-0054"/>
+ </td>
+ <td>If a <comp>Binding</comp> component specifies any operation-specific
+       binding details (by including <comp>Binding Operation</comp> components) or
+       any fault binding details (by including 
+       <comp>Binding Fault</comp> components) then it MUST specify an interface the <comp>Binding</comp>
+       component applies to, so as to indicate which interface the operations
+       come from.</td>
+ </tr>
+ <tr>
+ <td>
+ <assert-summary ref="Binding-0055"/>
+ </td>
+ <td>A <comp>Binding</comp> component that defines bindings for an 
+       <comp>Interface</comp>
+       component MUST define bindings for all the operations of that
+       <comp>Interface</comp> component.</td>
+ </tr>
+ <tr>
+ <td>
+ <assert-summary ref="Binding-0056"/>
+ </td>
+ <td>This <emph>xs:anyURI</emph> MUST be an absolute IRI
+ 	    as defined by <bibref ref="RFC3987"/>.</td>
+ </tr>
+ <tr>
+ <td>
+ <assert-summary ref="Binding-0057"/>
+ </td>
+ <td>For each <comp>Binding</comp> component in the 
+       <prop comp="Description">bindings</prop> property of a
+       <comp>Description</comp> component, the <prop comp="Binding">name</prop> property MUST be unique.</td>
+ </tr>
+ <tr>
+ <td>
+ <assert-summary ref="BindingFaultReference-0061"/>
+ </td>
+ <td>
+ 	  	For each
+ 	  	<comp>Binding Fault Reference</comp>
+ 	  	component in the
+ 	  	<prop comp="Binding Operation">binding fault references</prop>
+ 	  	property of a
+ 	  	<comp>Binding Operation</comp>
+ 	  	component, the
+ 	  	<prop comp="Binding Fault Reference">
+ 	  		interface fault reference
+ 	  	</prop>
+ 	  	property MUST be unique.</td>
+ </tr>
+ <tr>
+ <td>
+ <assert-summary ref="BindingFaultReference-0062"/>
+ </td>
+ <td>
+ 	  	There MUST be an <comp>Interface Fault Reference</comp> component in the 
+ 	  	<prop comp="Interface Operation">interface fault references</prop> of the 
+ 	  	<comp>Interface Operation</comp> being bound with 
+ 	  	<prop comp="Interface Fault Reference">message label</prop> equal to the effective message label
+ 	  	and with <prop comp="Interface Fault Reference">interface fault</prop> equal to an 
+ 	  	<comp>Interface Fault</comp> component with 
+ 	  	<prop comp="Interface Fault">name</prop> equal to the actual value of the <att>ref</att> <emph>attribute information item</emph>.</td>
+ </tr>
+ <tr>
+ <td>
+ <assert-summary ref="BindingMessageReference-0060"/>
+ </td>
+ <td>
+ 	  	For each
+ 	  	<comp>Binding Message Reference</comp>
+ 	  	component in the
+ 	  	<prop comp="Binding Operation">
+ 	  		binding message references
+ 	  	</prop>
+ 	  	property of a
+ 	  	<comp>Binding Operation</comp>
+ 	  	component, the
+ 	  	<prop comp="Binding Message Reference">
+ 	  		interface message reference
+ 	  	</prop>
+ 	  	property MUST be unique.</td>
+ </tr>
+ <tr>
+ <td>
+ <assert-summary ref="BindingOperation-0059"/>
+ </td>
+ <td>
+ 	  	For each
+ 	  	<comp>Binding Operation</comp>
+ 	  	component in the
+ 	  	<prop comp="Binding">binding operations</prop>
+ 	  	property of a
+ 	  	<comp>Binding</comp>
+ 	  	component, the
+ 	  	<prop comp="Binding Operation">interface operation</prop>
+ 	  	property MUST be unique.</td>
+ </tr>
+ <tr>
+ <td>
+ <assert-summary ref="Compare-URI-IRI-0068"/>
+ </td>
+ <td>When such absolute URIs and IRIs are being compared to determine
+   equivalence (see <specref ref="compequiv"/>) they MUST be
+   compared character-by-character as indicated in <bibref ref="RFC3987"/>.</td>
+ </tr>
+ <tr>
+ <td>
  <assert-summary ref="Description-0024"/>
  </td>
***************
*** 16,19 ****
--- 123,202 ----
  <tr>
  <td>
+ <assert-summary ref="Endpoint-0064"/>
+ </td>
+ <td>This <emph>xs:anyURI</emph> MUST
+                                 be an absolute IRI as defined by
+ 	  			<bibref ref="RFC3987"/>.</td>
+ </tr>
+ <tr>
+ <td>
+ <assert-summary ref="Endpoint-0065"/>
+ </td>
+ <td>For each <comp>Endpoint</comp> component in the <prop comp="Service">endpoints</prop> property of a
+ 	  <comp>Service</comp> component, the <prop comp="Endpoint">name</prop> property MUST be unique.</td>
+ </tr>
+ <tr>
+ <td>
+ <assert-summary ref="Endpoint-0066"/>
+ </td>
+ <td>
+        	For each
+        	<comp>Endpoint</comp>
+        	component in the
+        	<prop comp="Service">endpoints</prop>
+        	property of a
+        	<comp>Service</comp>
+        	component, the
+        	<prop comp="Endpoint">binding</prop>
+        	property MUST either be a
+        	<comp>Binding</comp>
+        	component with an unspecified
+        	<prop comp="Binding">interface</prop>
+        	property or a
+        	<comp>Binding</comp>
+        	component with an
+        	<prop comp="Binding">interface</prop>
+        	property equal to the
+        	<prop comp="Service">interface</prop>
+        	property of the
+        	<comp>Service</comp>
+        	component.</td>
+ </tr>
+ <tr>
+ <td>
+ <assert-summary ref="Equivalence-0067"/>
+ </td>
+ <td>Extension properties which are not string values, sets of 
+ strings or references MUST describe their values' equivalence rules.</td>
+ </tr>
+ <tr>
+ <td>
+ <assert-summary ref="Extensibility-0073"/>
+ </td>
+ <td>An extension that is NOT marked as mandatory MUST NOT invalidate the 
+           meaning of any part of the WSDL 2.0 document.</td>
+ </tr>
+ <tr>
+ <td>
+ <assert-summary ref="Extensibility-0074"/>
+ </td>
+ <td>If a WSDL 2.0 document declares an extension, Feature or Property as optional 
+         (i.e., NON-mandatory), then the Web service MUST NOT assume that the 
+         client supports that extension, Feature or Property, <emph>unless</emph> the 
+         Web service knows (through some other means) that the client 
+         has in fact elected to engage and support that extension, Feature or 
+         Property.</td>
+ </tr>
+ <tr>
+ <td>
+ <assert-summary ref="Extensibility-0075"/>
+ </td>
+ <td>Therefore, the 
+         Web service MUST support every extension, Feature or Property that is 
+         declared as optional in the WSDL 2.0 document, in addition to supporting every 
+         extension, Feature or Property that is declared as mandatory.</td>
+ </tr>
+ <tr>
+ <td>
  <assert-summary ref="FeatureRef-0046"/>
  </td>
***************
*** 192,195 ****
--- 375,390 ----
  <tr>
  <td>
+ <assert-summary ref="Location-0077"/>
+ </td>
+ <td>Its actual value MUST be a list of
+       pairs of IRIs; where the first IRI of a pair, which MUST be an
+       absolute IRI as defined in <bibref ref="RFC3987"/>, indicates a
+       WSDL 2.0 (or 1.1) namespace name, and, the second a hint as to the location
+       of a WSDL 2.0 document defining WSDL 2.0 components (or WSDL 1.1
+       elements <bibref ref="WSDL11"/>)
+       for that namespace name.</td>
+ </tr>
+ <tr>
+ <td>
  <assert-summary ref="MEP-0037"/>
  </td>
***************
*** 258,261 ****
--- 453,469 ----
  <tr>
  <td>
+ <assert-summary ref="Service-0063"/>
+ </td>
+ <td>
+ 	  	For each
+ 	  	<comp>Service</comp>
+ 	  	component in the
+ 	  	<prop comp="Description">services</prop>
+ 	  	property of a Description component, the
+ 	  	<prop comp="Service">name</prop>
+ 	  	property MUST be unique.</td>
+ </tr>
+ <tr>
+ <td>
  <assert-summary ref="Types-0026"/>
  </td>

Index: wsdl20.xml
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.xml,v
retrieving revision 1.381
retrieving revision 1.382
diff -C2 -d -r1.381 -r1.382
*** wsdl20.xml	8 Dec 2005 10:40:41 -0000	1.381
--- wsdl20.xml	10 Jan 2006 00:50:09 -0000	1.382
***************
*** 6341,6350 ****
        addition to across all operations of an interface. </p>
  
!       <p> If a <comp>Binding</comp> component specifies any operation-specific
        binding details (by including <comp>Binding Operation</comp> components) or
        any fault binding details (by including 
        <comp>Binding Fault</comp> components) then it MUST specify an interface the <comp>Binding</comp>
        component applies to, so as to indicate which interface the operations
!       come from. </p>
  
        <p> Conversely, a <comp>Binding</comp> component which omits any
--- 6341,6350 ----
        addition to across all operations of an interface. </p>
  
!       <p> <assert class="component" id="Binding-0054">If a <comp>Binding</comp> component specifies any operation-specific
        binding details (by including <comp>Binding Operation</comp> components) or
        any fault binding details (by including 
        <comp>Binding Fault</comp> components) then it MUST specify an interface the <comp>Binding</comp>
        component applies to, so as to indicate which interface the operations
!       come from.</assert> </p>
  
        <p> Conversely, a <comp>Binding</comp> component which omits any
***************
*** 6367,6374 ****
        </p>
  
!       <p>A <comp>Binding</comp> component that defines bindings for an 
        <comp>Interface</comp>
        component MUST define bindings for all the operations of that
!       <comp>Interface</comp> component. The bindings may occur via defaulting rules
        which allow one to specify default bindings for all operations
        (see, for example <bibref ref="WSDL-PART2"/>) or by directly
--- 6367,6374 ----
        </p>
  
!       <p><assert class="component" id="Binding-0055">A <comp>Binding</comp> component that defines bindings for an 
        <comp>Interface</comp>
        component MUST define bindings for all the operations of that
!       <comp>Interface</comp> component.</assert> The bindings may occur via defaulting rules
        which allow one to specify default bindings for all operations
        (see, for example <bibref ref="WSDL-PART2"/>) or by directly
***************
*** 6392,6398 ****
  
              <item><p><propdef comp="Binding">type</propdef> REQUIRED. An <emph>xs:anyURI</emph>. 
!             This <emph>xs:anyURI</emph> MUST be an absolute IRI
  	    as defined by <bibref
! 	    ref="RFC3987"/>. The value of this IRI indicates what kind
  	    of concrete binding details are contained within this
  	    <comp>Binding</comp> component. Specifications (such as <bibref
--- 6392,6398 ----
  
              <item><p><propdef comp="Binding">type</propdef> REQUIRED. An <emph>xs:anyURI</emph>. 
!             <assert class="component" id="Binding-0056">This <emph>xs:anyURI</emph> MUST be an absolute IRI
  	    as defined by <bibref
! 	    ref="RFC3987"/>.</assert> The value of this IRI indicates what kind
  	    of concrete binding details are contained within this
  	    <comp>Binding</comp> component. Specifications (such as <bibref
***************
*** 6468,6474 ****
  	  </z:notation>
  
!       <p> For each <comp>Binding</comp> component in the 
        <prop comp="Description">bindings</prop> property of a
!       <comp>Description</comp> component, the <prop comp="Binding">name</prop> property MUST be unique.  </p>
  
         <z:notation name="BindingKey">
--- 6468,6474 ----
  	  </z:notation>
  
!       <p> <assert class="component" id="Binding-0057">For each <comp>Binding</comp> component in the 
        <prop comp="Description">bindings</prop> property of a
!       <comp>Description</comp> component, the <prop comp="Binding">name</prop> property MUST be unique.</assert>  </p>
  
         <z:notation name="BindingKey">
***************
*** 6911,6915 ****
  
  	  <p>
! 	  	For each
  	  	<comp>Binding Fault</comp>
  	  	component in the
--- 6911,6915 ----
  
  	  <p>
! 	  	<assert class="compoent" id="BindingFault-0058">For each
  	  	<comp>Binding Fault</comp>
  	  	component in the
***************
*** 6919,6923 ****
  	  	component, the
  	  	<prop comp="Binding Fault">interface fault</prop>
! 	  	property MUST be unique. That is, one cannot define multiple
  	  	bindings for the same fault within a given
  	  	<comp>Binding</comp>
--- 6919,6923 ----
  	  	component, the
  	  	<prop comp="Binding Fault">interface fault</prop>
! 	  	property MUST be unique.</assert> That is, one cannot define multiple
  	  	bindings for the same fault within a given
  	  	<comp>Binding</comp>
***************
*** 7338,7342 ****
  	  </z:notation>
  
! 	  <p>
  	  	For each
  	  	<comp>Binding Operation</comp>
--- 7338,7342 ----
  	  </z:notation>
  
! 	  <p><assert class="component" id="BindingOperation-0059">
  	  	For each
  	  	<comp>Binding Operation</comp>
***************
*** 7347,7351 ****
  	  	component, the
  	  	<prop comp="Binding Operation">interface operation</prop>
! 	  	property MUST be unique. That is, one cannot define multiple
  	  	bindings for the same operation within a given
  	  	<comp>Binding</comp>
--- 7347,7351 ----
  	  	component, the
  	  	<prop comp="Binding Operation">interface operation</prop>
! 	  	property MUST be unique.</assert> That is, one cannot define multiple
  	  	bindings for the same operation within a given
  	  	<comp>Binding</comp>
***************
*** 7866,7870 ****
  	  </z:notation>
  
! 	  <p>
  	  	For each
  	  	<comp>Binding Message Reference</comp>
--- 7866,7870 ----
  	  </z:notation>
  
! 	  <p><assert class="component" id="BindingMessageReference-0060">
  	  	For each
  	  	<comp>Binding Message Reference</comp>
***************
*** 7879,7883 ****
  	  		interface message reference
  	  	</prop>
! 	  	property MUST be unique. That is, the same message cannot be
  	  	bound twice within the same operation.
  	  </p>
--- 7879,7883 ----
  	  		interface message reference
  	  	</prop>
! 	  	property MUST be unique.</assert> That is, the same message cannot be
  	  	bound twice within the same operation.
  	  </p>
***************
*** 8343,8347 ****
  	  </z:notation>
  
! 	  <p>
  	  	For each
  	  	<comp>Binding Fault Reference</comp>
--- 8343,8347 ----
  	  </z:notation>
  
! 	  <p><assert class="component" id="BindingFaultReference-0061">
  	  	For each
  	  	<comp>Binding Fault Reference</comp>
***************
*** 8354,8358 ****
  	  		interface fault reference
  	  	</prop>
! 	  	property MUST be unique. That is, the same fault cannot be
  	  	bound twice within the same operation.
  	  </p>
--- 8354,8358 ----
  	  		interface fault reference
  	  	</prop>
! 	  	property MUST be unique.</assert> That is, the same fault cannot be
  	  	bound twice within the same operation.
  	  </p>
***************
*** 8663,8667 ****
  	  </p>
  	  
! 	  <p>
  	  	There MUST be an <comp>Interface Fault Reference</comp> component in the 
  	  	<prop comp="Interface Operation">interface fault references</prop> of the 
--- 8663,8667 ----
  	  </p>
  	  
! 	  <p><assert class="component" id="BindingFaultReference-0062">
  	  	There MUST be an <comp>Interface Fault Reference</comp> component in the 
  	  	<prop comp="Interface Operation">interface fault references</prop> of the 
***************
*** 8670,8674 ****
  	  	and with <prop comp="Interface Fault Reference">interface fault</prop> equal to an 
  	  	<comp>Interface Fault</comp> component with 
! 	  	<prop comp="Interface Fault">name</prop> equal to the actual value of the <att>ref</att> &AII;.
  	  </p>
  	  
--- 8670,8674 ----
  	  	and with <prop comp="Interface Fault Reference">interface fault</prop> equal to an 
  	  	<comp>Interface Fault</comp> component with 
! 	  	<prop comp="Interface Fault">name</prop> equal to the actual value of the <att>ref</att> &AII;.</assert>
  	  </p>
  	  
***************
*** 8867,8871 ****
  	  </z:notation>
  
! 	  <p>
  	  	For each
  	  	<comp>Service</comp>
--- 8867,8871 ----
  	  </z:notation>
  
! 	  <p><assert class="component" id="Service-0063">
  	  	For each
  	  	<comp>Service</comp>
***************
*** 8874,8878 ****
  	  	property of a Description component, the
  	  	<prop comp="Service">name</prop>
! 	  	property MUST be unique.
  	  </p>
  
--- 8874,8878 ----
  	  	property of a Description component, the
  	  	<prop comp="Service">name</prop>
! 	  	property MUST be unique.</assert>
  	  </p>
  
***************
*** 9186,9192 ****
  	  			<propdef comp="Endpoint">address</propdef>
  	  			OPTIONAL. An
! 	  			<emph>xs:anyURI</emph>. This <emph>xs:anyURI</emph> MUST
                                  be an absolute IRI as defined by
! 	  			<bibref ref="RFC3987" />. If present, the value of this
                                  attribute represents the network address at which the
                                  service indicated by the parent <comp>Service</comp>
--- 9186,9192 ----
  	  			<propdef comp="Endpoint">address</propdef>
  	  			OPTIONAL. An
! 	  			<emph>xs:anyURI</emph>. <assert class="component" id="Endpoint-0064">This <emph>xs:anyURI</emph> MUST
                                  be an absolute IRI as defined by
! 	  			<bibref ref="RFC3987" />.</assert> If present, the value of this
                                  attribute represents the network address at which the
                                  service indicated by the parent <comp>Service</comp>
***************
*** 9274,9279 ****
  
  	  <p>
! 	  For each <comp>Endpoint</comp> component in the <prop comp="Service">endpoints</prop> property of a
! 	  <comp>Service</comp> component, the <prop comp="Endpoint">name</prop> property MUST be unique.
  	  </p>
  
--- 9274,9279 ----
  
  	  <p>
! 	  <assert class="component" id="Endpoint-0065">For each <comp>Endpoint</comp> component in the <prop comp="Service">endpoints</prop> property of a
! 	  <comp>Service</comp> component, the <prop comp="Endpoint">name</prop> property MUST be unique.</assert>
  	  </p>
  
***************
*** 9305,9309 ****
         </z:notation>
  
!        <p>
         	For each
         	<comp>Endpoint</comp>
--- 9305,9309 ----
         </z:notation>
  
!        <p><assert class="component" id="Endpoint-0066">
         	For each
         	<comp>Endpoint</comp>
***************
*** 9326,9330 ****
         	property of the
         	<comp>Service</comp>
!        	component.
         </p>
  
--- 9326,9330 ----
         	property of the
         	<comp>Service</comp>
!        	component.</assert>
         </p>
  
***************
*** 9730,9735 ****
  </ulist>
  
! <p>Extension properties which are not string values, sets of 
! strings or references MUST describe their values' equivalence rules.</p>
  
  <p>Because different top-level components (e.g., <comp>Interface</comp>, 
--- 9730,9735 ----
  </ulist>
  
! <p><assert class="component" id="Equivalence-0067">Extension properties which are not string values, sets of 
! strings or references MUST describe their values' equivalence rules.</assert></p>
  
  <p>Because different top-level components (e.g., <comp>Interface</comp>, 
***************
*** 9812,9819 ****
    components (for example, features and properties) and components
    characteristics (for example, operation message exchange patterns
!   and styles). When such absolute URIs and IRIs are being compared to determine
    equivalence (see <specref ref="compequiv"/>) they MUST be
    compared character-by-character as indicated in <bibref
!   ref="RFC3987"/>.</p>
  
    </div2>
--- 9812,9819 ----
    components (for example, features and properties) and components
    characteristics (for example, operation message exchange patterns
!   and styles). <assert class="component" id="Compare-URI-IRI-0068">When such absolute URIs and IRIs are being compared to determine
    equivalence (see <specref ref="compequiv"/>) they MUST be
    compared character-by-character as indicated in <bibref
!   ref="RFC3987"/>.</assert></p>
  
    </div2>
***************
*** 10513,10520 ****
    does not resolve to a WSDL 2.0 document.</p>
  
!   <p>The actual value of the <att>targetNamespace</att> &AII; of the
    included WSDL 2.0 document MUST match the actual value of the
    <att>targetNamespace</att> &AII; of the <el>description</el> &EII;
!   which is the [parent] of the <el>include</el> &EII;.</p>
  </div3>
  </div2>
--- 10513,10520 ----
    does not resolve to a WSDL 2.0 document.</p>
  
!   <p><assert class="document" id="Include-0069">The actual value of the <att>targetNamespace</att> &AII; of the
    included WSDL 2.0 document MUST match the actual value of the
    <att>targetNamespace</att> &AII; of the <el>description</el> &EII;
!   which is the [parent] of the <el>include</el> &EII;.</assert></p>
  </div3>
  </div2>
***************
*** 10556,10564 ****
  
  <p>
! As with XML schema, each WSDL 2.0 document making references
  to components in a given (foreign) namespace MUST
  have a <el>wsdl:import</el> &EII; for that namespace (but not necessarily
  providing a <att>location</att> &AII; identifying the WSDL 2.0 document
! in which the referenced component is declared).  In
  other respects, the visibility of components is 
  pervasive; if two WSDL 2.0 documents import the same 
--- 10556,10564 ----
  
  <p>
! <assert class="document" id="Import-0070">As with XML schema, each WSDL 2.0 document making references
  to components in a given (foreign) namespace MUST
  have a <el>wsdl:import</el> &EII; for that namespace (but not necessarily
  providing a <att>location</att> &AII; identifying the WSDL 2.0 document
! in which the referenced component is declared).</assert>  In
  other respects, the visibility of components is 
  pervasive; if two WSDL 2.0 documents import the same 
***************
*** 10653,10663 ****
   WSDL 2.0 document MAY contain qualified references to WSDL 2.0 definitions in
   that namespace (via one or more prefixes declared with namespace
!  declarations in the normal way). This value MUST NOT match the actual
!  value of <att>targetNamespace</att> &AII; in the enclosing WSDL 2.0 document. 
!  If the location attribute in the <el>import</el> &EII; 
   references a WSDL 2.0 document, then the actual value of the 
   <att>namespace</att> &AII; MUST be identical to the 
   actual value of the <att>targetNamespace</att> &AII; 
!  in the referenced WSDL 2.0 document.
   </p>
  </div3>
--- 10653,10663 ----
   WSDL 2.0 document MAY contain qualified references to WSDL 2.0 definitions in
   that namespace (via one or more prefixes declared with namespace
!  declarations in the normal way). <assert class="document" id="Import-0071">This value MUST NOT match the actual
!  value of <att>targetNamespace</att> &AII; in the enclosing WSDL 2.0 document.</assert> 
!  <assert class="document" id="Import-0072">If the location attribute in the <el>import</el> &EII; 
   references a WSDL 2.0 document, then the actual value of the 
   <att>namespace</att> &AII; MUST be identical to the 
   actual value of the <att>targetNamespace</att> &AII; 
!  in the referenced WSDL 2.0 document.</assert>
   </p>
  </div3>
***************
*** 10834,10839 ****
  
  	  <p>
!           An extension that is NOT marked as mandatory MUST NOT invalidate the 
!           meaning of any part of the WSDL 2.0 document. Thus, a NON-mandatory extension 
            merely provides additional description of capabilities of the 
            service. This specification does not provide a mechanism to mark 
--- 10834,10839 ----
  
  	  <p>
!           <assert class="component" id="Extensibility-0073">An extension that is NOT marked as mandatory MUST NOT invalidate the 
!           meaning of any part of the WSDL 2.0 document.</assert> Thus, a NON-mandatory extension 
            merely provides additional description of capabilities of the 
            service. This specification does not provide a mechanism to mark 
***************
*** 10854,10863 ****
  
  	<p>
!         If a WSDL 2.0 document declares an extension, Feature or Property as optional 
          (i.e., NON-mandatory), then the Web service MUST NOT assume that the 
          client supports that extension, Feature or Property, <emph>unless</emph> the 
          Web service knows (through some other means) that the client 
          has in fact elected to engage and support that extension, Feature or 
!         Property.
  	</p>
  	
--- 10854,10863 ----
  
  	<p>
!         <assert class="component" id="Extensibility-0074">If a WSDL 2.0 document declares an extension, Feature or Property as optional 
          (i.e., NON-mandatory), then the Web service MUST NOT assume that the 
          client supports that extension, Feature or Property, <emph>unless</emph> the 
          Web service knows (through some other means) that the client 
          has in fact elected to engage and support that extension, Feature or 
!         Property.</assert>
  	</p>
  	
***************
*** 10883,10890 ****
  	<p>
          On the other hand, a client MAY engage an extension, Feature or 
!         Property that is declared as optional in the WSDL 2.0 document. Therefore, the 
          Web service MUST support every extension, Feature or Property that is 
          declared as optional in the WSDL 2.0 document, in addition to supporting every 
!         extension, Feature or Property that is declared as mandatory.
  	</p>
  
--- 10883,10890 ----
  	<p>
          On the other hand, a client MAY engage an extension, Feature or 
!         Property that is declared as optional in the WSDL 2.0 document. <assert class="component" id="Extensibility-0075">Therefore, the 
          Web service MUST support every extension, Feature or Property that is 
          declared as optional in the WSDL 2.0 document, in addition to supporting every 
!         extension, Feature or Property that is declared as mandatory.</assert>
  	</p>
  
***************
*** 10999,11005 ****
    as <attval>wsdli:wsdlLocation</attval>, for brevity). This attribute MAY
    appear on any XML element which allows attributes from other
!   namespaces to occur. It MUST NOT appear on a
    <el>wsdl:description</el> element or any of its
!   children/descendants.</p>
  
    <p>A normative XML Schema <bibref ref="XMLSchemaP1"/>, <bibref
--- 10999,11005 ----
    as <attval>wsdli:wsdlLocation</attval>, for brevity). This attribute MAY
    appear on any XML element which allows attributes from other
!   namespaces to occur. <assert class="document" id="Location-0076">It MUST NOT appear on a
    <el>wsdl:description</el> element or any of its
!   children/descendants.</assert></p>
  
    <p>A normative XML Schema <bibref ref="XMLSchemaP1"/>, <bibref
***************
*** 11028,11032 ****
  
        <p> The type of the <att>wsdlLocation</att> &AII; is a list
!       <emph>xs:anyURI</emph> (of even length).  Its actual value MUST be a list of
        pairs of IRIs; where the first IRI of a pair, which MUST be an
        absolute IRI as defined in <bibref ref="RFC3987"/>, indicates a
--- 11028,11032 ----
  
        <p> The type of the <att>wsdlLocation</att> &AII; is a list
!       <emph>xs:anyURI</emph> (of even length).  <assert class="component" id="Location-0077">Its actual value MUST be a list of
        pairs of IRIs; where the first IRI of a pair, which MUST be an
        absolute IRI as defined in <bibref ref="RFC3987"/>, indicates a
***************
*** 11034,11038 ****
        of a WSDL 2.0 document defining WSDL 2.0 components (or WSDL 1.1
        elements <bibref ref="WSDL11"/>)
!       for that namespace name. The second IRI of a pair MAY be absolute or relative.
        </p>
      </div2>
--- 11034,11038 ----
        of a WSDL 2.0 document defining WSDL 2.0 components (or WSDL 1.1
        elements <bibref ref="WSDL11"/>)
!       for that namespace name.</assert> The second IRI of a pair MAY be absolute or relative.
        </p>
      </div2>
***************
*** 14150,14153 ****
--- 14150,14165 ----
      
      <tr>
+     	<td>20060109</td>
+     	<td>AGR</td>
+     	<td>
+     		Added assertions posted to mailing list:
+     		<loc
+     			href="http://lists.w3.org/Archives/Public/www-ws-desc/2006Jan/0006.html">
+     			"Binding, Service, Modularization, Extensibility, and Location assertions", Lawrence Mandel, 2006-01-06.
+     		</loc>
+     	</td>
+     </tr>
+ 
+     <tr>
      	<td>20051121</td>
      	<td>AGR</td>

Index: document-assertion-table.xml
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/document-assertion-table.xml,v
retrieving revision 1.7
retrieving revision 1.8
diff -C2 -d -r1.7 -r1.8
*** document-assertion-table.xml	21 Nov 2005 23:10:50 -0000	1.7
--- document-assertion-table.xml	10 Jan 2006 00:50:10 -0000	1.8
***************
*** 38,41 ****
--- 38,77 ----
  <tr>
  <td>
+ <assert-summary ref="Import-0070"/>
+ </td>
+ <td>As with XML schema, each WSDL 2.0 document making references
+ to components in a given (foreign) namespace MUST
+ have a <el>wsdl:import</el> <emph>element information item</emph> for that namespace (but not necessarily
+ providing a <att>location</att> <emph>attribute information item</emph> identifying the WSDL 2.0 document
+ in which the referenced component is declared).</td>
+ </tr>
+ <tr>
+ <td>
+ <assert-summary ref="Import-0071"/>
+ </td>
+ <td>This value MUST NOT match the actual
+  value of <att>targetNamespace</att> <emph>attribute information item</emph> in the enclosing WSDL 2.0 document.</td>
+ </tr>
+ <tr>
+ <td>
+ <assert-summary ref="Import-0072"/>
+ </td>
+ <td>If the location attribute in the <el>import</el> <emph>element information item</emph> 
+  references a WSDL 2.0 document, then the actual value of the 
+  <att>namespace</att> <emph>attribute information item</emph> MUST be identical to the 
+  actual value of the <att>targetNamespace</att> <emph>attribute information item</emph> 
+  in the referenced WSDL 2.0 document.</td>
+ </tr>
+ <tr>
+ <td>
+ <assert-summary ref="Include-0069"/>
+ </td>
+ <td>The actual value of the <att>targetNamespace</att> <emph>attribute information item</emph> of the
+   included WSDL 2.0 document MUST match the actual value of the
+   <att>targetNamespace</att> <emph>attribute information item</emph> of the <el>description</el> <emph>element information item</emph>
+   which is the [parent] of the <el>include</el> <emph>element information item</emph>.</td>
+ </tr>
+ <tr>
+ <td>
  <assert-summary ref="Interface-0031"/>
  </td>
***************
*** 45,48 ****
--- 81,92 ----
  <tr>
  <td>
+ <assert-summary ref="Location-0076"/>
+ </td>
+ <td>It MUST NOT appear on a
+   <el>wsdl:description</el> element or any of its
+   children/descendants.</td>
+ </tr>
+ <tr>
+ <td>
  <assert-summary ref="MessageLabel-0004"/>
  </td>

Index: wsdl20-z.html
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20-z.html,v
retrieving revision 1.90
retrieving revision 1.91
diff -C2 -d -r1.90 -r1.91
*** wsdl20-z.html	22 Nov 2005 18:08:52 -0000	1.90
--- wsdl20-z.html	10 Jan 2006 00:50:05 -0000	1.91
***************
*** 79,83 ****
  
  <hr><div class="toc">
! <h2><a name="shortcontents">Short Table of Contents</a></h2><p class="toc">1. <a href="#intro">Introduction</a><br>2. <a href="#component_model">Component Model</a><br>3. <a href="#eii-types">Types</a><br>4. <a href="#modularize">Modularizing WSDL 2.0 descriptions</a><br>5. <a href="#eii-documentation">Documentation</a><br>6. <a href="#language-extensibility">Language Extensibility</a><br>7. <a href="#wsdllocation">Locating WSDL 2.0 Documents</a><br>8. <a href="#conformance">Conformance</a><br>9. <a href="#Syntax-Summary">XML Syntax Summary (Non-Normative)</a><br>10. <a href="#References">References</a><br>A. <a href="#ietf-draft">The application/wsdl+xml Media Type</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>D. <a href="#N17208">Component Summary</a> (Non-Normative)<br>E. <a href="#changelog">Part 1 Change Log</a> (Non-Normative)<br>F. <a href="#assertionsummary">Assertion Summry</a> (Non-Normative)<br></p></div><hr><div class="toc">
  <h2><a name="contents">Table of Contents</a></h2><p class="toc">1. <a href="#intro">Introduction</a><br>&nbsp;&nbsp;&nbsp;&nbsp;1.1 <a href="#intro_ws">Web Service</a><br>&nbsp;&nbsp;&nbsp;&nbsp;1.2 <a href="#markup">Document Conformance</a><br>&nbsp;&nbsp;&nbsp;&nbsp;1.3 <a href="#meaning">The Meaning of a Service Description</a><br>&nbsp;&nbsp;&nbsp;&nbsp;1.4 <a href="#notation">Notational Conventions</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.1 <a href="#rfc2119keywords">RFC 2119 Keywords</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.2 <a href="#rfc3986namespaces">RFC 3986 Namespaces</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.3 <a href="#xmlSchemaAnyURI">XML Schema anyURI</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.4 <a href="#nsprefixes">Prefixes and Namespaces Used in This Specification</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.5 <a href="#terminology">Terms Used in This Specification</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbp;&nbsp;&nbsp;1.4.6 <a href="#xmlinfosetproperties">XML Information Set Properties</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.7 <a href="#wsdlcomponentmodelproperties">WSDL 2.0 Component Model Properties</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.8 <a href="#znotation">Z Notation</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.9 <a href="#bnfpseudoschemas">BNF Pseudo-Schemas</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.10 <a href="#assertions">Assertions</a><br>2. <a href="#component_model">Component Model</a><br>&nbsp;&nbsp;&nbsp;&nbsp;2.1 <a href="#Description">Description</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.1.1 <a href="#Description_details">The Description Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.1.2 <a href="#Description_XMLRep">XML Representation of Description Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.1.2.1 <a href="#Description_targetnamespace_attriute">targetNamespace attribute information item</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.1.3 <a href="#Description_Mapping">Mapping Description's XML Representation to Component
        Properties</a><br>&nbsp;&nbsp;&nbsp;&nbsp;2.2 <a href="#Interface">Interface</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.2.1 <a href="#Interface_details">The Interface Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.2.2 <a href="#Interface_XMLRep">XML Representation of Interface Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.2.2.1 <a href="#Interface_name_attribute">name attribute information item with interface [owner element]</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.2.2.2 <a href="#Interface_extends_attribute">extends attribute information item</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.2.2.3 <a href="#Interface_styleDefault_attribute">styleDefault attribute information item</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.2.3 <a href="#Interface_Mapping">Mapping Interface's XML Representation to Component Properties</a><br>&nbsp;&nbsp;&nsp;&nbsp;2.3 <a href="#InterfaceFault">Interface Fault</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.3.1 <a href="#InterfaceFault_details">The Interface Fault Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.3.2 <a href="#InterfaceFault_XMLRep">XML Representation of Interface Fault Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.3.2.1 <a href="#Interfacefault_name_attribute">name attribute information item with fault [owner element]</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.3.2.2 <a href="#Interface_element_attribute">element attribute information item with fault [owner element]</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.3.3 <a href="#InterfaceFault_Mapping">Mapping Interface Fault's XML Representation to
--- 79,83 ----
  
  <hr><div class="toc">
! <h2><a name="shortcontents">Short Table of Contents</a></h2><p class="toc">1. <a href="#intro">Introduction</a><br>2. <a href="#component_model">Component Model</a><br>3. <a href="#eii-types">Types</a><br>4. <a href="#modularize">Modularizing WSDL 2.0 descriptions</a><br>5. <a href="#eii-documentation">Documentation</a><br>6. <a href="#language-extensibility">Language Extensibility</a><br>7. <a href="#wsdllocation">Locating WSDL 2.0 Documents</a><br>8. <a href="#conformance">Conformance</a><br>9. <a href="#Syntax-Summary">XML Syntax Summary (Non-Normative)</a><br>10. <a href="#References">References</a><br>A. <a href="#ietf-draft">The application/wsdl+xml Media Type</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>D. <a href="#N17273">Component Summary</a> (Non-Normative)<br>E. <a href="#changelog">Part 1 Change Log</a> (Non-Normative)<br>F. <a href="#assertionsummary">Assertion Summry</a> (Non-Normative)<br></p></div><hr><div class="toc">
  <h2><a name="contents">Table of Contents</a></h2><p class="toc">1. <a href="#intro">Introduction</a><br>&nbsp;&nbsp;&nbsp;&nbsp;1.1 <a href="#intro_ws">Web Service</a><br>&nbsp;&nbsp;&nbsp;&nbsp;1.2 <a href="#markup">Document Conformance</a><br>&nbsp;&nbsp;&nbsp;&nbsp;1.3 <a href="#meaning">The Meaning of a Service Description</a><br>&nbsp;&nbsp;&nbsp;&nbsp;1.4 <a href="#notation">Notational Conventions</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.1 <a href="#rfc2119keywords">RFC 2119 Keywords</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.2 <a href="#rfc3986namespaces">RFC 3986 Namespaces</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.3 <a href="#xmlSchemaAnyURI">XML Schema anyURI</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.4 <a href="#nsprefixes">Prefixes and Namespaces Used in This Specification</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.5 <a href="#terminology">Terms Used in This Specification</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbp;&nbsp;&nbsp;1.4.6 <a href="#xmlinfosetproperties">XML Information Set Properties</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.7 <a href="#wsdlcomponentmodelproperties">WSDL 2.0 Component Model Properties</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.8 <a href="#znotation">Z Notation</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.9 <a href="#bnfpseudoschemas">BNF Pseudo-Schemas</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.10 <a href="#assertions">Assertions</a><br>2. <a href="#component_model">Component Model</a><br>&nbsp;&nbsp;&nbsp;&nbsp;2.1 <a href="#Description">Description</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.1.1 <a href="#Description_details">The Description Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.1.2 <a href="#Description_XMLRep">XML Representation of Description Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.1.2.1 <a href="#Description_targetnamespace_attriute">targetNamespace attribute information item</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.1.3 <a href="#Description_Mapping">Mapping Description's XML Representation to Component
[...1514 lines suppressed...]
***************
*** 15849,15852 ****
--- 16092,16108 ----
  <tr>
  <td rowspan="1" colspan="1">
+ <a href="#Service-0063" name="Service-0063-summary">Service-0063</a>
+ </td>
+ <td rowspan="1" colspan="1">
+ 	  	For each
+ 	  	<a href="wsdl20.html#component-Service">Service</a>
+ 	  	component in the
+ 	  	{<a href="wsdl20.html#property-Description.services">services</a>}
+ 	  	property of a Description component, the
+ 	  	{<a href="wsdl20.html#property-Service.name">name</a>}
+ 	  	property MUST be unique.</td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
  <a href="#Types-0026" name="Types-0026-summary">Types-0026</a>
  </td>

Index: wsdl20.html
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.html,v
retrieving revision 1.258
retrieving revision 1.259
diff -C2 -d -r1.258 -r1.259
*** wsdl20.html	22 Nov 2005 18:08:52 -0000	1.258
--- wsdl20.html	10 Jan 2006 00:50:07 -0000	1.259
***************
*** 79,83 ****
  
  <hr><div class="toc">
! <h2><a name="shortcontents">Short Table of Contents</a></h2><p class="toc">1. <a href="#intro">Introduction</a><br>2. <a href="#component_model">Component Model</a><br>3. <a href="#eii-types">Types</a><br>4. <a href="#modularize">Modularizing WSDL 2.0 descriptions</a><br>5. <a href="#eii-documentation">Documentation</a><br>6. <a href="#language-extensibility">Language Extensibility</a><br>7. <a href="#wsdllocation">Locating WSDL 2.0 Documents</a><br>8. <a href="#conformance">Conformance</a><br>9. <a href="#Syntax-Summary">XML Syntax Summary (Non-Normative)</a><br>10. <a href="#References">References</a><br>A. <a href="#ietf-draft">The application/wsdl+xml Media Type</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>D. <a href="#N17208">Component Summary</a> (Non-Normative)<br>E. <a href="#changelog">Part 1 Change Log</a> (Non-Normative)<br></p></div><hr><div class="toc">
  <h2><a name="contents">Table of Contents</a></h2><p class="toc">1. <a href="#intro">Introduction</a><br>&nbsp;&nbsp;&nbsp;&nbsp;1.1 <a href="#intro_ws">Web Service</a><br>&nbsp;&nbsp;&nbsp;&nbsp;1.2 <a href="#markup">Document Conformance</a><br>&nbsp;&nbsp;&nbsp;&nbsp;1.3 <a href="#meaning">The Meaning of a Service Description</a><br>&nbsp;&nbsp;&nbsp;&nbsp;1.4 <a href="#notation">Notational Conventions</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.1 <a href="#rfc2119keywords">RFC 2119 Keywords</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.2 <a href="#rfc3986namespaces">RFC 3986 Namespaces</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.3 <a href="#xmlSchemaAnyURI">XML Schema anyURI</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.4 <a href="#nsprefixes">Prefixes and Namespaces Used in This Specification</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.5 <a href="#terminology">Terms Used in This Specification</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbp;&nbsp;&nbsp;1.4.6 <a href="#xmlinfosetproperties">XML Information Set Properties</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.7 <a href="#wsdlcomponentmodelproperties">WSDL 2.0 Component Model Properties</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.8 <a href="#znotation">Z Notation</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.9 <a href="#bnfpseudoschemas">BNF Pseudo-Schemas</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.10 <a href="#assertions">Assertions</a><br>2. <a href="#component_model">Component Model</a><br>&nbsp;&nbsp;&nbsp;&nbsp;2.1 <a href="#Description">Description</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.1.1 <a href="#Description_details">The Description Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.1.2 <a href="#Description_XMLRep">XML Representation of Description Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.1.2.1 <a href="#Description_targetnamespace_attriute">targetNamespace attribute information item</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.1.3 <a href="#Description_Mapping">Mapping Description's XML Representation to Component
        Properties</a><br>&nbsp;&nbsp;&nbsp;&nbsp;2.2 <a href="#Interface">Interface</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.2.1 <a href="#Interface_details">The Interface Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.2.2 <a href="#Interface_XMLRep">XML Representation of Interface Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.2.2.1 <a href="#Interface_name_attribute">name attribute information item with interface [owner element]</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.2.2.2 <a href="#Interface_extends_attribute">extends attribute information item</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.2.2.3 <a href="#Interface_styleDefault_attribute">styleDefault attribute information item</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.2.3 <a href="#Interface_Mapping">Mapping Interface's XML Representation to Component Properties</a><br>&nbsp;&nbsp;&nsp;&nbsp;2.3 <a href="#InterfaceFault">Interface Fault</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.3.1 <a href="#InterfaceFault_details">The Interface Fault Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.3.2 <a href="#InterfaceFault_XMLRep">XML Representation of Interface Fault Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.3.2.1 <a href="#Interfacefault_name_attribute">name attribute information item with fault [owner element]</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.3.2.2 <a href="#Interface_element_attribute">element attribute information item with fault [owner element]</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.3.3 <a href="#InterfaceFault_Mapping">Mapping Interface Fault's XML Representation to
--- 79,83 ----
  
  <hr><div class="toc">
! <h2><a name="shortcontents">Short Table of Contents</a></h2><p class="toc">1. <a href="#intro">Introduction</a><br>2. <a href="#component_model">Component Model</a><br>3. <a href="#eii-types">Types</a><br>4. <a href="#modularize">Modularizing WSDL 2.0 descriptions</a><br>5. <a href="#eii-documentation">Documentation</a><br>6. <a href="#language-extensibility">Language Extensibility</a><br>7. <a href="#wsdllocation">Locating WSDL 2.0 Documents</a><br>8. <a href="#conformance">Conformance</a><br>9. <a href="#Syntax-Summary">XML Syntax Summary (Non-Normative)</a><br>10. <a href="#References">References</a><br>A. <a href="#ietf-draft">The application/wsdl+xml Media Type</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>D. <a href="#N17273">Component Summary</a> (Non-Normative)<br>E. <a href="#changelog">Part 1 Change Log</a> (Non-Normative)<br></p></div><hr><div class="toc">
  <h2><a name="contents">Table of Contents</a></h2><p class="toc">1. <a href="#intro">Introduction</a><br>&nbsp;&nbsp;&nbsp;&nbsp;1.1 <a href="#intro_ws">Web Service</a><br>&nbsp;&nbsp;&nbsp;&nbsp;1.2 <a href="#markup">Document Conformance</a><br>&nbsp;&nbsp;&nbsp;&nbsp;1.3 <a href="#meaning">The Meaning of a Service Description</a><br>&nbsp;&nbsp;&nbsp;&nbsp;1.4 <a href="#notation">Notational Conventions</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.1 <a href="#rfc2119keywords">RFC 2119 Keywords</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.2 <a href="#rfc3986namespaces">RFC 3986 Namespaces</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.3 <a href="#xmlSchemaAnyURI">XML Schema anyURI</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.4 <a href="#nsprefixes">Prefixes and Namespaces Used in This Specification</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.5 <a href="#terminology">Terms Used in This Specification</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbp;&nbsp;&nbsp;1.4.6 <a href="#xmlinfosetproperties">XML Information Set Properties</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.7 <a href="#wsdlcomponentmodelproperties">WSDL 2.0 Component Model Properties</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.8 <a href="#znotation">Z Notation</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.9 <a href="#bnfpseudoschemas">BNF Pseudo-Schemas</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.10 <a href="#assertions">Assertions</a><br>2. <a href="#component_model">Component Model</a><br>&nbsp;&nbsp;&nbsp;&nbsp;2.1 <a href="#Description">Description</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.1.1 <a href="#Description_details">The Description Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.1.2 <a href="#Description_XMLRep">XML Representation of Description Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.1.2.1 <a href="#Description_targetnamespace_attriute">targetNamespace attribute information item</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.1.3 <a href="#Description_Mapping">Mapping Description's XML Representation to Component
        Properties</a><br>&nbsp;&nbsp;&nbsp;&nbsp;2.2 <a href="#Interface">Interface</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.2.1 <a href="#Interface_details">The Interface Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.2.2 <a href="#Interface_XMLRep">XML Representation of Interface Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.2.2.1 <a href="#Interface_name_attribute">name attribute information item with interface [owner element]</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.2.2.2 <a href="#Interface_extends_attribute">extends attribute information item</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.2.2.3 <a href="#Interface_styleDefault_attribute">styleDefault attribute information item</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.2.3 <a href="#Interface_Mapping">Mapping Interface's XML Representation to Component Properties</a><br>&nbsp;&nbsp;&nsp;&nbsp;2.3 <a href="#InterfaceFault">Interface Fault</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.3.1 <a href="#InterfaceFault_details">The Interface Fault Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.3.2 <a href="#InterfaceFault_XMLRep">XML Representation of Interface Fault Component</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.3.2.1 <a href="#Interfacefault_name_attribute">name attribute information item with fault [owner element]</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.3.2.2 <a href="#Interface_element_attribute">element attribute information item with fault [owner element]</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;2.3.3 <a href="#InterfaceFault_Mapping">Mapping Interface Fault's XML Representation to
***************
*** 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">
--- 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="#N17273">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">
***************
*** 517,522 ****
  			marked in the
  			<a href="wsdl20-z.html">non-normative version</a>
! 			of this specification by a dagger symbol (&#134;) at the end
! 			of a sentence. Each assertion has beed assigned a unique
  			identifier that consists of a descriptive textual prefix and
  			a unique numeric suffix. The numeric suffixes are assigned
--- 517,522 ----
  			marked in the
  			<a href="wsdl20-z.html">non-normative version</a>
! 			of this specification by a dagger symbol (&dagger;) at the end
! 			of a sentence. Each assertion has been assigned a unique
  			identifier that consists of a descriptive textual prefix and
  			a unique numeric suffix. The numeric suffixes are assigned
***************
*** 2600,2604 ****
  		<em>#none</em>, or <em>#other</em>.</p>
        </div>
- 
      </div>
  
--- 2600,2603 ----
***************
*** 4493,4497 ****
  
      <div class="div3">
- 
        
  <h4><a name="Binding_Fault_details"></a>2.10.1 The Binding Fault Component</h4> 
--- 4492,4495 ----
***************
*** 6673,6676 ****
--- 6671,6675 ----
  
  <p><a href="#tab_SchemaVisibility">Table 3-1</a> summarizes the referenceability of
+ 
  schema components.
  </p>
***************
*** 9585,9589 ****
      <div class="div1">
      	
! <h2><a name="N17208"></a>D. Component Summary (Non-Normative)</h2>
      	<p>
      		<a href="#component-summary">Table D-1</a>
--- 9584,9588 ----
      <div class="div1">
      	
! <h2><a name="N17273"></a>D. Component Summary (Non-Normative)</h2>
      	<p>
      		<a href="#component-summary">Table D-1</a>
***************
*** 9944,9947 ****
--- 9943,9957 ----
      
      <tr>
+     	<td rowspan="1" colspan="1">20060109</td>
+     	<td rowspan="1" colspan="1">AGR</td>
+     	<td rowspan="1" colspan="1">
+     		Added assertions posted to mailing list:
+     		<a href="http://lists.w3.org/Archives/Public/www-ws-desc/2006Jan/0006.html">
+     			"Binding, Service, Modularization, Extensibility, and Location assertions", Lawrence Mandel, 2006-01-06.
+     		</a>
+     	</td>
+     </tr>
+ 
+     <tr>
      	<td rowspan="1" colspan="1">20051121</td>
      	<td rowspan="1" colspan="1">AGR</td>
***************
*** 10056,10059 ****
--- 10066,10070 ----
      	<td rowspan="1" colspan="1">AGR</td>
      	<td rowspan="1" colspan="1">Corrected order of arguments in fragment identifier for 
+ 
      	<a href="#wsdl.bindingFaultReference">Binding Fault Reference</a> to match that in Interface Fault Reference.
      	</td>

Received on Tuesday, 10 January 2006 00:50:30 UTC