W3C home > Mailing lists > Public > public-ws-desc-eds@w3.org > November 2005

2002/ws/desc/wsdl20 wsdl20.tex,1.75,1.76 wsdl20-z-ie.html,1.40,1.41 wsdl20-z.html,1.62,1.63 wsdl20.html,1.229,1.230 wsdl20-adjuncts.html,1.81,1.82 wsdl20.xml,1.341,1.342 xmlspec.dtd,1.19,1.20 wsdl20-primer.html,1.104,1.105

From: Arthur Ryman via cvs-syncmail <cvsmail@w3.org>
Date: Tue, 01 Nov 2005 14:05:01 +0000
To: public-ws-desc-eds@w3.org
Message-Id: <E1EWwl3-0001rI-G6@lionel-hutz.w3.org>

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

Modified Files:
	wsdl20.tex wsdl20-z-ie.html wsdl20-z.html wsdl20.html 
	wsdl20-adjuncts.html wsdl20.xml xmlspec.dtd wsdl20-primer.html 
Log Message:
Added Z Notation for MEPs in Part 1.


Index: wsdl20-z-ie.html
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20-z-ie.html,v
retrieving revision 1.40
retrieving revision 1.41
diff -C2 -d -r1.40 -r1.41
*** wsdl20-z-ie.html	27 Oct 2005 18:07:58 -0000	1.40
--- wsdl20-z-ie.html	1 Nov 2005 14:04:56 -0000	1.41
***************
*** 77,81 ****
  
  <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="#N16481">Component Summary</a> (Non-Normative)<br>E. <a href="#assertionsummary">Assertion Summary</a> (Non-Normative)<br>F. <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="#nsprefixes">Prefixes and Namespaces Used in This Specification</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.4 <a href="#terminology">Terms Used in This Specification</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.5 <a href="#xmlinfosetproperties">XML Information Set Properties</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.6 <a href="#wsdlcomponentmodelproperties">WSDL 2.0 Component Model Properties</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.7 <a href="#znotation">Z Notation</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.8 <a href="#bnfpseudoschemas">BNF Pseudo-Schemas</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.9 <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_attribute">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;&nbsp;&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
--- 77,81 ----
  
  <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="#N16515">Component Summary</a> (Non-Normative)<br>E. <a href="#assertionsummary">Assertion Summary</a> (Non-Normative)<br>F. <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="#nsprefixes">Prefixes and Namespaces Used in This Specification</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.4 <a href="#terminology">Terms Used in This Specification</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.5 <a href="#xmlinfosetproperties">XML Information Set Properties</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.6 <a href="#wsdlcomponentmodelproperties">WSDL 2.0 Component Model Properties</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.7 <a href="#znotation">Z Notation</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.8 <a href="#bnfpseudoschemas">BNF Pseudo-Schemas</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.9 <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_attribute">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;&nbsp;&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
***************
*** 102,106 ****
      			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">Documentation</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;&nbsp;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;&nbsp;&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>&nbsp;&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="#N16481">Component Summary</a> (Non-Normative)<br>E. <a href="#assertionsummary">Assertion Summary</a> (Non-Normative)<br>F. <a href="#changelog">Part 1 Change Log</a> (Non-Normative)<br>&nbsp;&nbsp;&nbsp;&nbsp;F.1 <a href="#wsdl-changelog">WSDL 2.0 Specification Changes</a><br></p></div><hr><div class="body">
  
  <div class="div1">
--- 102,106 ----
      			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">Documentation</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;&nbsp;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;&nbsp;&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>&nbsp;&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="#N16515">Component Summary</a> (Non-Normative)<br>E. <a href="#assertionsummary">Assertion Summary</a> (Non-Normative)<br>F. <a href="#changelog">Part 1 Change Log</a> (Non-Normative)<br>&nbsp;&nbsp;&nbsp;&nbsp;F.1 <a href="#wsdl-changelog">WSDL 2.0 Specification Changes</a><br></p></div><hr><div class="body">
  
  <div class="div1">
***************
*** 2881,2887 ****
   	  		component that corresponds to it. A placeholder message
   	  		is also associated with some node that exchanges the
!  	  		message with the service. Furthermore, a place message
   	  		message may be designated as optional in the exchange.
   	  	</p>
  
   	  	<p>
--- 2881,2906 ----
   	  		component that corresponds to it. A placeholder message
   	  		is also associated with some node that exchanges the
!  	  		message with the service. Furthermore, a placeholder
   	  		message may be designated as optional in the exchange.
   	  	</p>
+  	  	
+  	  	<a name="zed-Node"></a><div id="twisty-head-zed-Node" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-Node')">Node</a>...</div><div id="twisty-body-zed-Node" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-Node')">Node</a>&nbsp;&nbsp;[&nbsp;<a onClick="showAll()" href="#zed-Node">show all</a>&nbsp;]&nbsp;&nbsp;[&nbsp;<a onClick="hideAll()" href="#zed-Node">hide all</a>&nbsp;]<br>
+  	  	<p>Let <span class="zi">Node</span> be the set of all nodes that participate in message exchanges:</p>
+  	  	<table class="zzed"><col class="zzed1"><tbody><tr><td>[<span class="zi">Node</span>]</td></tr></tbody></table>
+  	  	</div>
+  	  	
+  	  	<a name="zed-PlaceholderMessage"></a><div id="twisty-head-zed-PlaceholderMessage" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-PlaceholderMessage')">PlaceholderMessage</a>...</div><div id="twisty-body-zed-PlaceholderMessage" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-PlaceholderMessage')">PlaceholderMessage</a>&nbsp;&nbsp;[&nbsp;<a onClick="showAll()" href="#zed-PlaceholderMessage">show all</a>&nbsp;]&nbsp;&nbsp;[&nbsp;<a onClick="hideAll()" href="#zed-PlaceholderMessage">hide all</a>&nbsp;]<br>
+ 
+  	  		<p>
+  	  			Let
+  	  			<span class="zi">PlaceholderMessage</span>
+  	  			be the set of all placeholder messages:
+  	  		</p>
+ 
+  	  		<table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">PlaceholderMessage</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">messageLabel</span> <span class="zinfix">:</span> <span class="zi">NCName</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">direction</span> <span class="zinfix">:</span> <span class="zi">Direction</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">node</span> <span class="zinfix">:</span> <span class="zi">Node</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">optional</span> <span class="zinfix">:</span> <span class="zi">Boolean</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
+  	  		
+  	  		<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-NCName">NCName</a>, <a href="#zed-Direction">Direction</a>, <a href="#zed-Node">Node</a>, <a href="#zed-Boolean">Boolean</a>.</span></span></div>
+ 
+  	  	</div>
  
   	  	<p>
***************
*** 2910,2913 ****
--- 2929,2943 ----
   	  		rulesets.
   	  	</p>
+  	  	
+  	  	<a name="zed-FaultPropagationRuleset"></a><div id="twisty-head-zed-FaultPropagationRuleset" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-FaultPropagationRuleset')">FaultPropagationRuleset</a>...</div><div id="twisty-body-zed-FaultPropagationRuleset" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-FaultPropagationRuleset')">FaultPropagationRuleset</a>&nbsp;&nbsp;[&nbsp;<a onClick="showAll()" href="#zed-FaultPropagationRuleset">show all</a>&nbsp;]&nbsp;&nbsp;[&nbsp;<a onClick="hideAll()" href="#zed-FaultPropagationRuleset">hide all</a>&nbsp;]<br>
+  	  	<p>Let <span class="zi">FaultPropagationRuleset</span> be the set of all fault propagation rulesets:</p>
+  	  	<table class="zzed"><col class="zzed1"><tbody><tr><td>[<span class="zi">FaultPropagationRuleset</span>]</td></tr></tbody></table>
+  	  	
+  	  	<p>Let the predefined fault propation rulesets be as follows:</p>
+  	  	
+  	  	<table class="zaxdef"><col class="zaxdef1"><col class="zaxdef2"><tbody><tr><td class="zaxdeftext" colspan="2"><span class="zi">messageTriggersFault</span> <span class="zinfix">:</span> <span class="zi">FaultPropagationRuleset</span></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zi">faultReplacesMessage</span> <span class="zinfix">:</span> <span class="zi">FaultPropagationRuleset</span></td></tr><tr><td class="zaxdefabovewheretext" colspan="2"><span class="zi">noFaults</span> <span class="zinfix">:</span> <span class="zi">FaultPropagationRuleset</span></td></tr><tr><td class="bl"></td><td></td></tr><tr><td class="zaxdefbelowwheretext" colspan="2"><span class="zi">messageTriggersFault</span><span class="zinfix"><span class="mathb">g</span></span><span class="zi">faultReplacesMessage</span></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zi">faultReplacesMessage</span><span class="zinfix"><span class="mathb">g</span></span><span class="zi">noFaults</span></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zi">noFaults</span><span class="zinfix"><span class="mathb">g</span></span><span class="zi">messageTriggersFault</span></td></tr></tbody></table>
+  	  	<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-FaultPropagationRuleset">FaultPropagationRuleset</a>.</span></span></div>
+  	  	
+  	  	</div>
  
   	  	<p>
***************
*** 2930,2936 ****
   	  		of the
   	  		{<a href="wsdl20.html#property-InterfaceOperation.messageexchangepattern">message exchange pattern</a>} property the <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a>
!  	  		component, and it refers to the fault propagation ruleset
   	  		that its faults obey.
   	  	</p>
  
   	  </div>
--- 2960,2980 ----
   	  		of the
   	  		{<a href="wsdl20.html#property-InterfaceOperation.messageexchangepattern">message exchange pattern</a>} property the <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a>
!  	  		component, and it specifies the fault propagation ruleset
   	  		that its faults obey.
   	  	</p>
+  	  	
+  	  	<a name="zed-MessageExchangePattern"></a><div id="twisty-head-zed-MessageExchangePattern" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-MessageExchangePattern')">MessageExchangePattern</a>...</div><div id="twisty-body-zed-MessageExchangePattern" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-MessageExchangePattern')">MessageExchangePattern</a>&nbsp;&nbsp;[&nbsp;<a onClick="showAll()" href="#zed-MessageExchangePattern">show all</a>&nbsp;]&nbsp;&nbsp;[&nbsp;<a onClick="hideAll()" href="#zed-MessageExchangePattern">hide all</a>&nbsp;]<br>
+  	  	<p>Let <span class="zi">MessageExchangePattern</span> be the set of all message exchange patterns:</p>
+  	  	<table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">MessageExchangePattern</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">messageExchangePattern</span> <span class="zinfix">:</span> <span class="zi">AbsoluteURI</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">placeholderMessages</span> <span class="zinfix">:</span><span class="zprefix"><span class="zs">seq</span></span><span class="zi">PlaceholderMessage</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">faultPropagationRuleset</span> <span class="zinfix">:</span> <span class="zi">FaultPropagationRuleset</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">placeholderMessages</span><span class="zinfix"><span class="mathb">g</span></span><span class="symbol">&AElig;</span></span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">i1</span><span class="zprefix">,</span> <span class="zi">i2</span> <span class="zinfix">:</span><span class="doublestruck">Z</span>; <span class="zi">p1</span><span class="zprefix">,</span> <span class="zi">p2</span> <span class="zinfix">:</span> <span class="zi">PlaceholderMessage</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">i1</span><span class="zinfix"><span class="mathc">x</span></span><span class="zi">p1</span><span class="zinfix"><span class="symbol">&Icirc;</span></span><span class="zi">placeholderMessages</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">i2</span><span class="zinfix"><span class="mathc">x</span></span><span class="zi">p2</span><span class="zinfix"><span class="symbol">&Icirc;</span></span><span class="zi">placeholderMessages</span> <span class="zinfix"><span class="symbol">&middot;</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">p1</span>.<span class="zi">messageLabel</span> <span class="zinfix">=</span> <span class="zi">p2</span>.<span class="zi">messageLabel</span><span class="zinfix"><span class="mathc">u</span></span><span class="zi">i1</span> <span class="zinfix">=</span> <span class="zi">i2</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
+  	  	
+  	  	<ul>
+  	  		<li><p>Each message exchange pattern has at least one placeholder message.</p></li>
+  	  		<li>
+  	  			<p>Each placeholder message in a message exchange pattern is uniquely identified
+  	  			by its message label.</p>
+  	  		</li>
+  	  	</ul>
+ 
+  	  	</div>
  
   	  </div>
***************
*** 3677,3687 ****
  
          <p>The companion specification [<cite><a href="#WSDL-PART2">WSDL 2.0 Adjuncts</a></cite>]
!         defines two <em>fault patterns</em> that a given message
!         exchange pattern may use. For the pattern
          <em>fault-replaces-message</em>, the message that the fault
          relates to identifies the message <em>in place of which</em>
          the declared fault message will occur. Thus, the fault message
          will travel in the <em>same</em> direction as the message
!         it replaces in the pattern. For the pattern
          <em>message-triggers-fault</em>, the message that the fault
          relates to identifies the message after which the indicated
--- 3721,3731 ----
  
          <p>The companion specification [<cite><a href="#WSDL-PART2">WSDL 2.0 Adjuncts</a></cite>]
!         defines several <em>fault propagation rulesets</em> that a given message
!         exchange pattern may use. For the ruleset
          <em>fault-replaces-message</em>, the message that the fault
          relates to identifies the message <em>in place of which</em>
          the declared fault message will occur. Thus, the fault message
          will travel in the <em>same</em> direction as the message
!         it replaces in the pattern. For the ruleset
          <em>message-triggers-fault</em>, the message that the fault
          relates to identifies the message after which the indicated
***************
*** 3689,3693 ****
          message. That is, the fault message will travel in the
          <em>opposite</em> direction of the message it comes after
!         in the pattern.</p>
  
          <p>The properties of the <a name="component-InterfaceFaultReference">Interface Fault Reference</a> component are as
--- 3733,3737 ----
          message. That is, the fault message will travel in the
          <em>opposite</em> direction of the message it comes after
!         in the message exchange pattern.</p>
  
          <p>The properties of the <a name="component-InterfaceFaultReference">Interface Fault Reference</a> component are as
***************
*** 3719,3729 ****
              to the service or going from the service,
              respectively. The direction MUST be consistent with the
!             direction implied by the fault rule used in the message
              exchange pattern of the operation. For example, if the
!             fault rule <em>fault-replaces-message</em> is used, then a fault
!             which refers to an outgoing message would have a
              {<a href="wsdl20.html#property-InterfaceFaultReference.direction">direction</a>} property value of <em>out</em>. On the other hand, if the
!             fault rule <em>message-triggers-fault</em> is used, then a fault
!             which refers to an outgoing message would have a
              {<a href="wsdl20.html#property-InterfaceFaultReference.direction">direction</a>} property value of <em>in</em> as the fault
              travels in the opposite direction of the message.
--- 3763,3773 ----
              to the service or going from the service,
              respectively. The direction MUST be consistent with the
!             direction implied by the fault propagation ruleset used in the message
              exchange pattern of the operation. For example, if the
!             ruleset <em>fault-replaces-message</em> is used, then a fault
!             that refers to an outgoing message would have a
              {<a href="wsdl20.html#property-InterfaceFaultReference.direction">direction</a>} property value of <em>out</em>. On the other hand, if the
!             ruleset <em>message-triggers-fault</em> is used, then a fault
!             that refers to an outgoing message would have a
              {<a href="wsdl20.html#property-InterfaceFaultReference.direction">direction</a>} property value of <em>in</em> as the fault
              travels in the opposite direction of the message.
***************
*** 3917,3926 ****
  		  component with the same value for 
  		  {<a href="wsdl20.html#property-InterfaceFaultReference.direction">direction</a>} (if the
! 		  <em>fault pattern</em> of the 
  		  {<a href="wsdl20.html#property-InterfaceOperation.messageexchangepattern">message exchange pattern</a>}
  		  is <em>fault-replaces-message</em>) or of any 
  		  <a href="wsdl20.html#component-InterfaceFaultReference">Interface Fault Reference</a> component with the opposite value for 
  		  {<a href="wsdl20.html#property-InterfaceFaultReference.direction">direction</a>}
! 		  (if the <em>fault pattern</em> is
  		  <em>message-triggers-fault</em>).
  		  </p>
--- 3961,3970 ----
  		  component with the same value for 
  		  {<a href="wsdl20.html#property-InterfaceFaultReference.direction">direction</a>} (if the
! 		  <em>fault propagation ruleset</em> of the 
  		  {<a href="wsdl20.html#property-InterfaceOperation.messageexchangepattern">message exchange pattern</a>}
  		  is <em>fault-replaces-message</em>) or of any 
  		  <a href="wsdl20.html#component-InterfaceFaultReference">Interface Fault Reference</a> component with the opposite value for 
  		  {<a href="wsdl20.html#property-InterfaceFaultReference.direction">direction</a>}
! 		  (if the <em>fault propagation ruleset</em> is
  		  <em>message-triggers-fault</em>).
  		  </p>
***************
*** 4053,4058 ****
  			{<a href="wsdl20.html#property-InterfaceOperation.messageexchangepattern">message exchange pattern</a>} of the 
  			<a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component, provided there is exactly
! 			one such message and the <em>fault
! 			pattern</em> of the 
  			{<a href="wsdl20.html#property-InterfaceOperation.messageexchangepattern">message exchange pattern</a>} is
  			<em>fault-replaces-message</em>; 
--- 4097,4101 ----
  			{<a href="wsdl20.html#property-InterfaceOperation.messageexchangepattern">message exchange pattern</a>} of the 
  			<a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component, provided there is exactly
! 			one such message and the <em>fault propagation ruleset</em> of the 
  			{<a href="wsdl20.html#property-InterfaceOperation.messageexchangepattern">message exchange pattern</a>} is
  			<em>fault-replaces-message</em>; 
***************
*** 4062,4066 ****
  			{<a href="wsdl20.html#property-InterfaceMessageReference.direction">direction</a>},
  			provided there is exactly one such message and
! 			the <em>fault pattern</em> is
  			<em>message-triggers-fault</em>; otherwise
  			it is an error.
--- 4105,4109 ----
  			{<a href="wsdl20.html#property-InterfaceMessageReference.direction">direction</a>},
  			provided there is exactly one such message and
! 			the <em>fault propagation ruleset</em> is
  			<em>message-triggers-fault</em>; otherwise
  			it is an error.
***************
*** 5727,5731 ****
  		  <tr>
  		    <th rowspan="1" colspan="1">Property</th>
- 
  		    <th rowspan="1" colspan="1">Value</th>
  		  </tr>
--- 5770,5773 ----
***************
*** 11367,11371 ****
      <div class="div1">
      	
! <h2><a name="N16481"></a>D. Component Summary (Non-Normative)</h2>
      	<p>
      		<a href="#component-summary">Table D-1</a>
--- 11409,11413 ----
      <div class="div1">
      	
! <h2><a name="N16515"></a>D. Component Summary (Non-Normative)</h2>
      	<p>
      		<a href="#component-summary">Table D-1</a>
***************
*** 11797,11800 ****
--- 11839,11857 ----
      </tr>
      
+         <tr>
+     	<td rowspan="1" colspan="1">20051101</td>
+     	<td rowspan="1" colspan="1">AGR</td>
+     	<td rowspan="1" colspan="1">
+     		Added Z Notation for message exchange pattern, placeholder
+     		message, and fault propagation ruleset in
+     		<a href="#MessageExchangePattern"><b>2.4.1.1 Message Exchange Pattern</b></a>
+     		. Replaced the term
+     		<em>fault pattern</em>
+     		with
+     		<em>fault propagation ruleset</em> throughout
+     		for consistency and agreement with Part 2.
+     	</td>
+         </tr>
+     
      <tr>
      	<td rowspan="1" colspan="1">20051027</td>
***************
*** 13735,13738 ****
--- 13792,13796 ----
      </tr>
      <tr>
+ 
         <td rowspan="1" colspan="1">20020627</td>
         <td rowspan="1" colspan="1">SW</td>

Index: wsdl20.tex
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.tex,v
retrieving revision 1.75
retrieving revision 1.76
diff -C2 -d -r1.75 -r1.76
*** wsdl20.tex	27 Oct 2005 18:07:57 -0000	1.75
--- wsdl20.tex	1 Nov 2005 14:04:56 -0000	1.76
***************
*** 3353,3359 ****
   	  		component that corresponds to it. A placeholder message
   	  		is also associated with some node that exchanges the
!  	  		message with the service. Furthermore, a place message
   	  		message may be designated as optional in the exchange.
   	  	
  
   	  	
--- 3353,3387 ----
   	  		component that corresponds to it. A placeholder message
   	  		is also associated with some node that exchanges the
!  	  		message with the service. Furthermore, a placeholder
   	  		message may be designated as optional in the exchange.
   	  	
+  	  	
+  	  	\hypertarget{zed-Node}{}
+ 
+  	  	Let $Node$ be the set of all nodes that participate in message exchanges:
+  	  	\begin{zed}
+  	  		[Node]
+  	  	\end{zed}
+  	  	
+  	  	
+  	  	\hypertarget{zed-PlaceholderMessage}{}
+ 
+ 
+  	  		
+  	  			Let
+  	  			$PlaceholderMessage$
+  	  			be the set of all placeholder messages:
+  	  		
+ 
+  	  		\begin{schema}{PlaceholderMessage}
+  	  			messageLabel : NCName \\
+  	  			direction : Direction \\
+  	  			node : Node \\
+  	  			optional : Boolean
+  	  		\end{schema}
+  	  		
+  	  		\begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-NCName}{NCName}, \hyperlink{zed-Direction}{Direction}, \hyperlink{zed-Node}{Node}, \hyperlink{zed-Boolean}{Boolean}.\end{itshape}\end{small}\end{quote}
+ 
+  	  	
  
   	  	
***************
*** 3382,3385 ****
--- 3410,3435 ----
   	  		rulesets.
   	  	
+  	  	
+  	  	\hypertarget{zed-FaultPropagationRuleset}{}
+ 
+  	  	Let $FaultPropagationRuleset$ be the set of all fault propagation rulesets:
+  	  	\begin{zed}
+  	  		[FaultPropagationRuleset]
+  	  	\end{zed}
+  	  	
+  	  	Let the predefined fault propation rulesets be as follows:
+  	  	
+  	  	\begin{axdef}
+  	  		messageTriggersFault : FaultPropagationRuleset \\
+  	  		faultReplacesMessage : FaultPropagationRuleset \\
+  	  		noFaults : FaultPropagationRuleset
+  	  		\where 
+  	  		messageTriggersFault \neq  faultReplacesMessage \\
+  	  		faultReplacesMessage \neq  noFaults \\
+  	  		noFaults \neq  messageTriggersFault
+  	  	\end{axdef}
+  	  	\begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-FaultPropagationRuleset}{FaultPropagationRuleset}.\end{itshape}\end{small}\end{quote}
+  	  	
+  	  	
  
   	  	
***************
*** 3406,3412 ****
   	  			message exchange pattern
   	  		 property the Interface Operation
!  	  		component, and it refers to the fault propagation ruleset
   	  		that its faults obey.
   	  	
  
   	  
--- 3456,3488 ----
   	  			message exchange pattern
   	  		 property the Interface Operation
!  	  		component, and it specifies the fault propagation ruleset
   	  		that its faults obey.
   	  	
+  	  	
+  	  	\hypertarget{zed-MessageExchangePattern}{}
+ 
+  	  	Let $MessageExchangePattern$ be the set of all message exchange patterns:
+  	  	\begin{schema}{MessageExchangePattern}
+  	  		messageExchangePattern : AbsoluteURI \\
+  	  		placeholderMessages : \seq  PlaceholderMessage \\
+  	  		faultPropagationRuleset : FaultPropagationRuleset
+  	  	\where 
+  	  		placeholderMessages \neq  \emptyset 
+  	  	\also 
+  	  		\forall  i1, i2 : \num ; p1, p2 : PlaceholderMessage | \\
+  	  			\t1  i1 \mapsto  p1 \in  placeholderMessages \land  \\
+  	  			\t1  i2 \mapsto  p2 \in  placeholderMessages @ \\
+  	  			\t1  p1.messageLabel = p2.messageLabel \implies  i1 = i2
+  	  	\end{schema}
+  	  	
+  	  	\begin{itemize}
+  	  		\item Each message exchange pattern has at least one placeholder message.
+  	  		\item 
+  	  			Each placeholder message in a message exchange pattern is uniquely identified
+  	  			by its message label.
+  	  		
+  	  	\end{itemize}
+ 
+  	  	
  
   	  
***************
*** 4196,4206 ****
  
          The companion specification \hyperlink{WSDL-PART2}{[\textit{WSDL 2.0 Adjuncts}]}
!         defines two \textit{fault patterns} that a given message
!         exchange pattern may use. For the pattern
          \textit{fault-replaces-message}, the message that the fault
          relates to identifies the message \textit{in place of which}
          the declared fault message will occur. Thus, the fault message
          will travel in the \textit{same} direction as the message
!         it replaces in the pattern. For the pattern
          \textit{message-triggers-fault}, the message that the fault
          relates to identifies the message after which the indicated
--- 4272,4282 ----
  
          The companion specification \hyperlink{WSDL-PART2}{[\textit{WSDL 2.0 Adjuncts}]}
!         defines several \textit{fault propagation rulesets} that a given message
!         exchange pattern may use. For the ruleset
          \textit{fault-replaces-message}, the message that the fault
          relates to identifies the message \textit{in place of which}
          the declared fault message will occur. Thus, the fault message
          will travel in the \textit{same} direction as the message
!         it replaces in the pattern. For the ruleset
          \textit{message-triggers-fault}, the message that the fault
          relates to identifies the message after which the indicated
***************
*** 4208,4212 ****
          message. That is, the fault message will travel in the
          \textit{opposite} direction of the message it comes after
!         in the pattern.
  
          The properties of the Interface Fault Reference component are as
--- 4284,4288 ----
          message. That is, the fault message will travel in the
          \textit{opposite} direction of the message it comes after
!         in the message exchange pattern.
  
          The properties of the Interface Fault Reference component are as
***************
*** 4238,4248 ****
              to the service or going from the service,
              respectively. The direction MUST be consistent with the
!             direction implied by the fault rule used in the message
              exchange pattern of the operation. For example, if the
!             fault rule \textit{fault-replaces-message} is used, then a fault
!             which refers to an outgoing message would have a
              direction property value of \textit{out}. On the other hand, if the
!             fault rule \textit{message-triggers-fault} is used, then a fault
!             which refers to an outgoing message would have a
              direction property value of \textit{in} as the fault
              travels in the opposite direction of the message.
--- 4314,4324 ----
              to the service or going from the service,
              respectively. The direction MUST be consistent with the
!             direction implied by the fault propagation ruleset used in the message
              exchange pattern of the operation. For example, if the
!             ruleset \textit{fault-replaces-message} is used, then a fault
!             that refers to an outgoing message would have a
              direction property value of \textit{out}. On the other hand, if the
!             ruleset \textit{message-triggers-fault} is used, then a fault
!             that refers to an outgoing message would have a
              direction property value of \textit{in} as the fault
              travels in the opposite direction of the message.
***************
*** 4472,4481 ****
  		  component with the same value for 
  		  direction (if the
! 		  \textit{fault pattern} of the 
  		  message exchange pattern
  		  is \textit{fault-replaces-message}) or of any 
  		  Interface Fault Reference component with the opposite value for 
  		  direction
! 		  (if the \textit{fault pattern} is
  		  \textit{message-triggers-fault}).
  		  
--- 4548,4557 ----
  		  component with the same value for 
  		  direction (if the
! 		  \textit{fault propagation ruleset} of the 
  		  message exchange pattern
  		  is \textit{fault-replaces-message}) or of any 
  		  Interface Fault Reference component with the opposite value for 
  		  direction
! 		  (if the \textit{fault propagation ruleset} is
  		  \textit{message-triggers-fault}).
  		  
***************
*** 4610,4615 ****
  			message exchange pattern of the 
  			Interface	Operation component, provided there is exactly
! 			one such message and the \textit{fault
! 			pattern} of the 
  			message exchange pattern is
  			\textit{fault-replaces-message}; 
--- 4686,4690 ----
  			message exchange pattern of the 
  			Interface	Operation component, provided there is exactly
! 			one such message and the \textit{fault propagation ruleset} of the 
  			message exchange pattern is
  			\textit{fault-replaces-message}; 
***************
*** 4619,4623 ****
  			direction,
  			provided there is exactly one such message and
! 			the \textit{fault pattern} is
  			\textit{message-triggers-fault}; otherwise
  			it is an error.
--- 4694,4698 ----
  			direction,
  			provided there is exactly one such message and
! 			the \textit{fault propagation ruleset} is
  			\textit{message-triggers-fault}; otherwise
  			it is an error.
***************
*** 6426,6430 ****
  		  
  		    \multicolumn{1}{|c}{\bf Property}&
- 
  		    \multicolumn{1}{|c|}{\bf Value}
  		  \\ \hline 
--- 6501,6504 ----
***************
*** 12944,12947 ****
--- 13018,13036 ----
      \\ \hline 
      
+         
+     	20051101&
+     	AGR&
+     	
+     		Added Z Notation for message exchange pattern, placeholder
+     		message, and fault propagation ruleset in
+     		\hyperlink{MessageExchangePattern}{\textbf{\ref*{MessageExchangePattern} Message Exchange Pattern}}
+     		. Replaced the term
+     		\textit{fault pattern}
+     		with
+     		\textit{fault propagation ruleset} throughout
+     		for consistency and agreement with Part 2.
+     	
+         \\ \hline 
+     
      
      	20051027&
***************
*** 14882,14885 ****
--- 14971,14975 ----
      \\ \hline 
      
+ 
         20020627&
         SW&

Index: wsdl20.xml
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.xml,v
retrieving revision 1.341
retrieving revision 1.342
diff -C2 -d -r1.341 -r1.342
*** wsdl20.xml	31 Oct 2005 02:29:05 -0000	1.341
--- wsdl20.xml	1 Nov 2005 14:04:58 -0000	1.342
***************
*** 3309,3312 ****
--- 3309,3339 ----
   	  		message may be designated as optional in the exchange.
   	  	</p>
+  	  	
+  	  	<z:notation name="Node">
+  	  	<p>Let <z:i>Node</z:i> be the set of all nodes that participate in message exchanges:</p>
+  	  	<zed xmlns="http://www.w3.org/2004/zml">
+  	  		[Node]
+  	  	</zed>
+  	  	</z:notation>
+  	  	
+  	  	<z:notation name="PlaceholderMessage">
+ 
+  	  		<p>
+  	  			Let
+  	  			<z:i>PlaceholderMessage</z:i>
+  	  			be the set of all placeholder messages:
+  	  		</p>
+ 
+  	  		<schema name="PlaceholderMessage"
+  	  			xmlns="http://www.w3.org/2004/zml">
+  	  			messageLabel : NCName <nl/>
+  	  			direction : Direction <nl/>
+  	  			node : Node <nl/>
+  	  			optional : Boolean
+  	  		</schema>
+  	  		
+  	  		<z:see names="NCName Direction Node Boolean"/>
+ 
+  	  	</z:notation>
  
   	  	<p>
***************
*** 3335,3338 ****
--- 3362,3386 ----
   	  		rulesets.
   	  	</p>
+  	  	
+  	  	<z:notation name="FaultPropagationRuleset">
+  	  	<p>Let <z:i>FaultPropagationRuleset</z:i> be the set of all fault propagation rulesets:</p>
+  	  	<zed xmlns="http://www.w3.org/2004/zml">
+  	  		[FaultPropagationRuleset]
+  	  	</zed>
+  	  	
+  	  	<p>Let the predefined fault propation rulesets be as follows:</p>
+  	  	
+  	  	<axdef xmlns="http://www.w3.org/2004/zml">
+  	  		messageTriggersFault : FaultPropagationRuleset <nl/>
+  	  		faultReplacesMessage : FaultPropagationRuleset <nl/>
+  	  		noFaults : FaultPropagationRuleset
+  	  		<where/>
+  	  		messageTriggersFault <neq/> faultReplacesMessage <nl/>
+  	  		faultReplacesMessage <neq/> noFaults <nl/>
+  	  		noFaults <neq/> messageTriggersFault
+  	  	</axdef>
+  	  	<z:see names="FaultPropagationRuleset"/>
+  	  	
+  	  	</z:notation>
  
   	  	<p>
***************
*** 3359,3365 ****
   	  			message exchange pattern
   	  		</prop> property the <comp>Interface Operation</comp>
!  	  		component, and it refers to the fault propagation ruleset
   	  		that its faults obey.
   	  	</p>
  
   	  </div4>
--- 3407,3438 ----
   	  			message exchange pattern
   	  		</prop> property the <comp>Interface Operation</comp>
!  	  		component, and it specifies the fault propagation ruleset
   	  		that its faults obey.
   	  	</p>
+  	  	
+  	  	<z:notation name="MessageExchangePattern">
+  	  	<p>Let <z:i>MessageExchangePattern</z:i> be the set of all message exchange patterns:</p>
+  	  	<schema name="MessageExchangePattern" xmlns="http://www.w3.org/2004/zml">
+  	  		messageExchangePattern : AbsoluteURI <nl/>
+  	  		placeholderMessages : <seq/> PlaceholderMessage <nl/>
+  	  		faultPropagationRuleset : FaultPropagationRuleset
+  	  	<where/>
+  	  		placeholderMessages <neq/> <emptyset/>
+  	  	<also/>
+  	  		<forall/> i1, i2 : <num/>; p1, p2 : PlaceholderMessage | <nl/>
+  	  			<t1/> i1 <mapsto/> p1 <in/> placeholderMessages <land/> <nl/>
+  	  			<t1/> i2 <mapsto/> p2 <in/> placeholderMessages @ <nl/>
+  	  			<t1/> p1.messageLabel = p2.messageLabel <implies/> i1 = i2
+  	  	</schema>
+  	  	
+  	  	<ulist>
+  	  		<item><p>Each message exchange pattern has at least one placeholder message.</p></item>
+  	  		<item>
+  	  			<p>Each placeholder message in a message exchange pattern is uniquely identified
+  	  			by its message label.</p>
+  	  		</item>
+  	  	</ulist>
+ 
+  	  	</z:notation>
  
   	  </div4>
***************
*** 4136,4146 ****
  
          <p>The companion specification <bibref ref="WSDL-PART2"/>
!         defines two <emph>fault patterns</emph> that a given message
!         exchange pattern may use. For the pattern
          <emph>fault-replaces-message</emph>, the message that the fault
          relates to identifies the message <emph>in place of which</emph>
          the declared fault message will occur. Thus, the fault message
          will travel in the <emph>same</emph> direction as the message
!         it replaces in the pattern. For the pattern
          <emph>message-triggers-fault</emph>, the message that the fault
          relates to identifies the message after which the indicated
--- 4209,4219 ----
  
          <p>The companion specification <bibref ref="WSDL-PART2"/>
!         defines several <emph>fault propagation rulesets</emph> that a given message
!         exchange pattern may use. For the ruleset
          <emph>fault-replaces-message</emph>, the message that the fault
          relates to identifies the message <emph>in place of which</emph>
          the declared fault message will occur. Thus, the fault message
          will travel in the <emph>same</emph> direction as the message
!         it replaces in the pattern. For the ruleset
          <emph>message-triggers-fault</emph>, the message that the fault
          relates to identifies the message after which the indicated
***************
*** 4148,4152 ****
          message. That is, the fault message will travel in the
          <emph>opposite</emph> direction of the message it comes after
!         in the pattern.</p>
  
          <p>The properties of the <compdef>Interface Fault Reference</compdef> component are as
--- 4221,4225 ----
          message. That is, the fault message will travel in the
          <emph>opposite</emph> direction of the message it comes after
!         in the message exchange pattern.</p>
  
          <p>The properties of the <compdef>Interface Fault Reference</compdef> component are as
***************
*** 4178,4188 ****
              to the service or going from the service,
              respectively. The direction MUST be consistent with the
!             direction implied by the fault rule used in the message
              exchange pattern of the operation. For example, if the
!             fault rule <emph>fault-replaces-message</emph> is used, then a fault
!             which refers to an outgoing message would have a
              <prop comp="Interface Fault Reference">direction</prop> property value of <emph>out</emph>. On the other hand, if the
!             fault rule <emph>message-triggers-fault</emph> is used, then a fault
!             which refers to an outgoing message would have a
              <prop comp="Interface Fault Reference">direction</prop> property value of <emph>in</emph> as the fault
              travels in the opposite direction of the message.
--- 4251,4261 ----
              to the service or going from the service,
              respectively. The direction MUST be consistent with the
!             direction implied by the fault propagation ruleset used in the message
              exchange pattern of the operation. For example, if the
!             ruleset <emph>fault-replaces-message</emph> is used, then a fault
!             that refers to an outgoing message would have a
              <prop comp="Interface Fault Reference">direction</prop> property value of <emph>out</emph>. On the other hand, if the
!             ruleset <emph>message-triggers-fault</emph> is used, then a fault
!             that refers to an outgoing message would have a
              <prop comp="Interface Fault Reference">direction</prop> property value of <emph>in</emph> as the fault
              travels in the opposite direction of the message.
***************
*** 4405,4414 ****
  		  component with the same value for 
  		  <prop comp="Interface Fault Reference">direction</prop> (if the
! 		  <emph>fault pattern</emph> of the 
  		  <prop comp="Interface Operation">message exchange pattern</prop>
  		  is <emph>fault-replaces-message</emph>) or of any 
  		  <comp>Interface Fault Reference</comp> component with the opposite value for 
  		  <prop comp="Interface Fault Reference">direction</prop>
! 		  (if the <emph>fault pattern</emph> is
  		  <emph>message-triggers-fault</emph>).
  		  </p>
--- 4478,4487 ----
  		  component with the same value for 
  		  <prop comp="Interface Fault Reference">direction</prop> (if the
! 		  <emph>fault propagation ruleset</emph> of the 
  		  <prop comp="Interface Operation">message exchange pattern</prop>
  		  is <emph>fault-replaces-message</emph>) or of any 
  		  <comp>Interface Fault Reference</comp> component with the opposite value for 
  		  <prop comp="Interface Fault Reference">direction</prop>
! 		  (if the <emph>fault propagation ruleset</emph> is
  		  <emph>message-triggers-fault</emph>).
  		  </p>
***************
*** 4539,4544 ****
  			<prop comp="Interface Operation">message exchange pattern</prop> of the 
  			<comp>Interface	Operation</comp> component, provided there is exactly
! 			one such message and the <emph>fault
! 			pattern</emph> of the 
  			<prop comp="Interface Operation">message exchange pattern</prop> is
  			<emph>fault-replaces-message</emph>; 
--- 4612,4616 ----
  			<prop comp="Interface Operation">message exchange pattern</prop> of the 
  			<comp>Interface	Operation</comp> component, provided there is exactly
! 			one such message and the <emph>fault propagation ruleset</emph> of the 
  			<prop comp="Interface Operation">message exchange pattern</prop> is
  			<emph>fault-replaces-message</emph>; 
***************
*** 4548,4552 ****
  			<prop comp="Interface Message Reference">direction</prop>,
  			provided there is exactly one such message and
! 			the <emph>fault pattern</emph> is
  			<emph>message-triggers-fault</emph>; otherwise
  			it is an error.
--- 4620,4624 ----
  			<prop comp="Interface Message Reference">direction</prop>,
  			provided there is exactly one such message and
! 			the <emph>fault propagation ruleset</emph> is
  			<emph>message-triggers-fault</emph>; otherwise
  			it is an error.
***************
*** 12221,12224 ****
--- 12293,12311 ----
      </tr>
      
+         <tr>
+     	<td>20051101</td>
+     	<td>AGR</td>
+     	<td>
+     		Added Z Notation for message exchange pattern, placeholder
+     		message, and fault propagation ruleset in
+     		<specref ref="MessageExchangePattern" />
+     		. Replaced the term
+     		<emph>fault pattern</emph>
+     		with
+     		<emph>fault propagation ruleset</emph> throughout
+     		for consistency and agreement with Part 2.
+     	</td>
+         </tr>
+     
      <tr>
      	<td>20051027</td>

Index: wsdl20-z.html
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20-z.html,v
retrieving revision 1.62
retrieving revision 1.63
diff -C2 -d -r1.62 -r1.63
*** wsdl20-z.html	27 Oct 2005 18:07:58 -0000	1.62
--- wsdl20-z.html	1 Nov 2005 14:04:56 -0000	1.63
***************
*** 77,81 ****
  
  <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="#N16481">Component Summary</a> (Non-Normative)<br>E. <a href="#assertionsummary">Assertion Summary</a> (Non-Normative)<br>F. <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="#nsprefixes">Prefixes and Namespaces Used in This Specification</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.4 <a href="#terminology">Terms Used in This Specification</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.5 <a href="#xmlinfosetproperties">XML Information Set Properties</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.6 <a href="#wsdlcomponentmodelproperties">WSDL 2.0 Component Model Properties</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.7 <a href="#znotation">Z Notation</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.8 <a href="#bnfpseudoschemas">BNF Pseudo-Schemas</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.9 <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_attribute">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;&nbsp;&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
--- 77,81 ----
  
  <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="#N16515">Component Summary</a> (Non-Normative)<br>E. <a href="#assertionsummary">Assertion Summary</a> (Non-Normative)<br>F. <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="#nsprefixes">Prefixes and Namespaces Used in This Specification</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.4 <a href="#terminology">Terms Used in This Specification</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.5 <a href="#xmlinfosetproperties">XML Information Set Properties</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.6 <a href="#wsdlcomponentmodelproperties">WSDL 2.0 Component Model Properties</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.7 <a href="#znotation">Z Notation</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.8 <a href="#bnfpseudoschemas">BNF Pseudo-Schemas</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.9 <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_attribute">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;&nbsp;&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
***************
*** 102,106 ****
      			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">Documentation</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;&nbsp;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;&nbsp;&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>&nbsp;&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="#N16481">Component Summary</a> (Non-Normative)<br>E. <a href="#assertionsummary">Assertion Summary</a> (Non-Normative)<br>F. <a href="#changelog">Part 1 Change Log</a> (Non-Normative)<br>&nbsp;&nbsp;&nbsp;&nbsp;F.1 <a href="#wsdl-changelog">WSDL 2.0 Specification Changes</a><br></p></div><hr><div class="body">
  
  <div class="div1">
--- 102,106 ----
      			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">Documentation</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;&nbsp;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;&nbsp;&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>&nbsp;&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="#N16515">Component Summary</a> (Non-Normative)<br>E. <a href="#assertionsummary">Assertion Summary</a> (Non-Normative)<br>F. <a href="#changelog">Part 1 Change Log</a> (Non-Normative)<br>&nbsp;&nbsp;&nbsp;&nbsp;F.1 <a href="#wsdl-changelog">WSDL 2.0 Specification Changes</a><br></p></div><hr><div class="body">
  
  <div class="div1">
***************
*** 2873,2879 ****
   	  		component that corresponds to it. A placeholder message
   	  		is also associated with some node that exchanges the
!  	  		message with the service. Furthermore, a place message
   	  		message may be designated as optional in the exchange.
   	  	</p>
  
   	  	<p>
--- 2873,2898 ----
   	  		component that corresponds to it. A placeholder message
   	  		is also associated with some node that exchanges the
!  	  		message with the service. Furthermore, a placeholder
   	  		message may be designated as optional in the exchange.
   	  	</p>
+  	  	
+  	  	<a name="zed-Node"></a><div id="twisty-head-zed-Node" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-Node')">Node</a>...</div><div id="twisty-body-zed-Node" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-Node')">Node</a>&nbsp;&nbsp;[&nbsp;<a onClick="showAll()" href="#zed-Node">show all</a>&nbsp;]&nbsp;&nbsp;[&nbsp;<a onClick="hideAll()" href="#zed-Node">hide all</a>&nbsp;]<br>
+  	  	<p>Let <span class="zi">Node</span> be the set of all nodes that participate in message exchanges:</p>
+  	  	<table class="zzed"><col class="zzed1"><tbody><tr><td>[<span class="zi">Node</span>]</td></tr></tbody></table>
+  	  	</div>
+  	  	
+  	  	<a name="zed-PlaceholderMessage"></a><div id="twisty-head-zed-PlaceholderMessage" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-PlaceholderMessage')">PlaceholderMessage</a>...</div><div id="twisty-body-zed-PlaceholderMessage" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-PlaceholderMessage')">PlaceholderMessage</a>&nbsp;&nbsp;[&nbsp;<a onClick="showAll()" href="#zed-PlaceholderMessage">show all</a>&nbsp;]&nbsp;&nbsp;[&nbsp;<a onClick="hideAll()" href="#zed-PlaceholderMessage">hide all</a>&nbsp;]<br>
+ 
+  	  		<p>
+  	  			Let
+  	  			<span class="zi">PlaceholderMessage</span>
+  	  			be the set of all placeholder messages:
+  	  		</p>
+ 
+  	  		<table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">PlaceholderMessage</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">messageLabel</span> <span class="zinfix">:</span> <span class="zi">NCName</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">direction</span> <span class="zinfix">:</span> <span class="zi">Direction</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">node</span> <span class="zinfix">:</span> <span class="zi">Node</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">optional</span> <span class="zinfix">:</span> <span class="zi">Boolean</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
+  	  		
+  	  		<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-NCName">NCName</a>, <a href="#zed-Direction">Direction</a>, <a href="#zed-Node">Node</a>, <a href="#zed-Boolean">Boolean</a>.</span></span></div>
+ 
+  	  	</div>
  
   	  	<p>
***************
*** 2902,2905 ****
--- 2921,2935 ----
   	  		rulesets.
   	  	</p>
+  	  	
+  	  	<a name="zed-FaultPropagationRuleset"></a><div id="twisty-head-zed-FaultPropagationRuleset" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-FaultPropagationRuleset')">FaultPropagationRuleset</a>...</div><div id="twisty-body-zed-FaultPropagationRuleset" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-FaultPropagationRuleset')">FaultPropagationRuleset</a>&nbsp;&nbsp;[&nbsp;<a onClick="showAll()" href="#zed-FaultPropagationRuleset">show all</a>&nbsp;]&nbsp;&nbsp;[&nbsp;<a onClick="hideAll()" href="#zed-FaultPropagationRuleset">hide all</a>&nbsp;]<br>
+  	  	<p>Let <span class="zi">FaultPropagationRuleset</span> be the set of all fault propagation rulesets:</p>
+  	  	<table class="zzed"><col class="zzed1"><tbody><tr><td>[<span class="zi">FaultPropagationRuleset</span>]</td></tr></tbody></table>
+  	  	
+  	  	<p>Let the predefined fault propation rulesets be as follows:</p>
+  	  	
+  	  	<table class="zaxdef"><col class="zaxdef1"><col class="zaxdef2"><tbody><tr><td class="zaxdeftext" colspan="2"><span class="zi">messageTriggersFault</span> <span class="zinfix">:</span> <span class="zi">FaultPropagationRuleset</span></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zi">faultReplacesMessage</span> <span class="zinfix">:</span> <span class="zi">FaultPropagationRuleset</span></td></tr><tr><td class="zaxdefabovewheretext" colspan="2"><span class="zi">noFaults</span> <span class="zinfix">:</span> <span class="zi">FaultPropagationRuleset</span></td></tr><tr><td class="bl"></td><td></td></tr><tr><td class="zaxdefbelowwheretext" colspan="2"><span class="zi">messageTriggersFault</span><span class="zinfix">&ne;</span><span class="zi">faultReplacesMessage</span></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zi">faultReplacesMessage</span><span class="zinfix">&ne;</span><span class="zi">noFaults</span></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zi">noFaults</span><span class="zinfix">&ne;</span><span class="zi">messageTriggersFault</span></td></tr></tbody></table>
+  	  	<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-FaultPropagationRuleset">FaultPropagationRuleset</a>.</span></span></div>
+  	  	
+  	  	</div>
  
   	  	<p>
***************
*** 2922,2928 ****
   	  		of the
   	  		{<a href="wsdl20.html#property-InterfaceOperation.messageexchangepattern">message exchange pattern</a>} property the <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a>
!  	  		component, and it refers to the fault propagation ruleset
   	  		that its faults obey.
   	  	</p>
  
   	  </div>
--- 2952,2972 ----
   	  		of the
   	  		{<a href="wsdl20.html#property-InterfaceOperation.messageexchangepattern">message exchange pattern</a>} property the <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a>
!  	  		component, and it specifies the fault propagation ruleset
   	  		that its faults obey.
   	  	</p>
+  	  	
+  	  	<a name="zed-MessageExchangePattern"></a><div id="twisty-head-zed-MessageExchangePattern" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-MessageExchangePattern')">MessageExchangePattern</a>...</div><div id="twisty-body-zed-MessageExchangePattern" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-MessageExchangePattern')">MessageExchangePattern</a>&nbsp;&nbsp;[&nbsp;<a onClick="showAll()" href="#zed-MessageExchangePattern">show all</a>&nbsp;]&nbsp;&nbsp;[&nbsp;<a onClick="hideAll()" href="#zed-MessageExchangePattern">hide all</a>&nbsp;]<br>
+  	  	<p>Let <span class="zi">MessageExchangePattern</span> be the set of all message exchange patterns:</p>
+  	  	<table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">MessageExchangePattern</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">messageExchangePattern</span> <span class="zinfix">:</span> <span class="zi">AbsoluteURI</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">placeholderMessages</span> <span class="zinfix">:</span><span class="zprefix"><span class="zs">seq</span></span><span class="zi">PlaceholderMessage</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">faultPropagationRuleset</span> <span class="zinfix">:</span> <span class="zi">FaultPropagationRuleset</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">placeholderMessages</span><span class="zinfix">&ne;</span>&empty;</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix">&forall;</span><span class="zi">i1</span><span class="zprefix">,</span> <span class="zi">i2</span> <span class="zinfix">:</span>ℤ; <span class="zi">p1</span><span class="zprefix">,</span> <span class="zi">p2</span> <span class="zinfix">:</span> <span class="zi">PlaceholderMessage</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">i1</span><span class="zinfix">↦</span><span class="zi">p1</span><span class="zinfix">&isin;</span><span class="zi">placeholderMessages</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">i2</span><span class="zinfix">↦</span><span class="zi">p2</span><span class="zinfix">&isin;</span><span class="zi">placeholderMessages</span> <span class="zinfix">&bull;</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">p1</span>.<span class="zi">messageLabel</span> <span class="zinfix">=</span> <span class="zi">p2</span>.<span class="zi">messageLabel</span><span class="zinfix">&rArr;</span><span class="zi">i1</span> <span class="zinfix">=</span> <span class="zi">i2</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
+  	  	
+  	  	<ul>
+  	  		<li><p>Each message exchange pattern has at least one placeholder message.</p></li>
+  	  		<li>
+  	  			<p>Each placeholder message in a message exchange pattern is uniquely identified
+  	  			by its message label.</p>
+  	  		</li>
+  	  	</ul>
+ 
+  	  	</div>
  
   	  </div>
***************
*** 3667,3677 ****
  
          <p>The companion specification [<cite><a href="#WSDL-PART2">WSDL 2.0 Adjuncts</a></cite>]
!         defines two <em>fault patterns</em> that a given message
!         exchange pattern may use. For the pattern
          <em>fault-replaces-message</em>, the message that the fault
          relates to identifies the message <em>in place of which</em>
          the declared fault message will occur. Thus, the fault message
          will travel in the <em>same</em> direction as the message
!         it replaces in the pattern. For the pattern
          <em>message-triggers-fault</em>, the message that the fault
          relates to identifies the message after which the indicated
--- 3711,3721 ----
  
          <p>The companion specification [<cite><a href="#WSDL-PART2">WSDL 2.0 Adjuncts</a></cite>]
!         defines several <em>fault propagation rulesets</em> that a given message
!         exchange pattern may use. For the ruleset
          <em>fault-replaces-message</em>, the message that the fault
          relates to identifies the message <em>in place of which</em>
          the declared fault message will occur. Thus, the fault message
          will travel in the <em>same</em> direction as the message
!         it replaces in the pattern. For the ruleset
          <em>message-triggers-fault</em>, the message that the fault
          relates to identifies the message after which the indicated
***************
*** 3679,3683 ****
          message. That is, the fault message will travel in the
          <em>opposite</em> direction of the message it comes after
!         in the pattern.</p>
  
          <p>The properties of the <a name="component-InterfaceFaultReference">Interface Fault Reference</a> component are as
--- 3723,3727 ----
          message. That is, the fault message will travel in the
          <em>opposite</em> direction of the message it comes after
!         in the message exchange pattern.</p>
  
          <p>The properties of the <a name="component-InterfaceFaultReference">Interface Fault Reference</a> component are as
***************
*** 3709,3719 ****
              to the service or going from the service,
              respectively. The direction MUST be consistent with the
!             direction implied by the fault rule used in the message
              exchange pattern of the operation. For example, if the
!             fault rule <em>fault-replaces-message</em> is used, then a fault
!             which refers to an outgoing message would have a
              {<a href="wsdl20.html#property-InterfaceFaultReference.direction">direction</a>} property value of <em>out</em>. On the other hand, if the
!             fault rule <em>message-triggers-fault</em> is used, then a fault
!             which refers to an outgoing message would have a
              {<a href="wsdl20.html#property-InterfaceFaultReference.direction">direction</a>} property value of <em>in</em> as the fault
              travels in the opposite direction of the message.
--- 3753,3763 ----
              to the service or going from the service,
              respectively. The direction MUST be consistent with the
!             direction implied by the fault propagation ruleset used in the message
              exchange pattern of the operation. For example, if the
!             ruleset <em>fault-replaces-message</em> is used, then a fault
!             that refers to an outgoing message would have a
              {<a href="wsdl20.html#property-InterfaceFaultReference.direction">direction</a>} property value of <em>out</em>. On the other hand, if the
!             ruleset <em>message-triggers-fault</em> is used, then a fault
!             that refers to an outgoing message would have a
              {<a href="wsdl20.html#property-InterfaceFaultReference.direction">direction</a>} property value of <em>in</em> as the fault
              travels in the opposite direction of the message.
***************
*** 3905,3914 ****
  		  component with the same value for 
  		  {<a href="wsdl20.html#property-InterfaceFaultReference.direction">direction</a>} (if the
! 		  <em>fault pattern</em> of the 
  		  {<a href="wsdl20.html#property-InterfaceOperation.messageexchangepattern">message exchange pattern</a>}
  		  is <em>fault-replaces-message</em>) or of any 
  		  <a href="wsdl20.html#component-InterfaceFaultReference">Interface Fault Reference</a> component with the opposite value for 
  		  {<a href="wsdl20.html#property-InterfaceFaultReference.direction">direction</a>}
! 		  (if the <em>fault pattern</em> is
  		  <em>message-triggers-fault</em>).
  		  </p>
--- 3949,3958 ----
  		  component with the same value for 
  		  {<a href="wsdl20.html#property-InterfaceFaultReference.direction">direction</a>} (if the
! 		  <em>fault propagation ruleset</em> of the 
  		  {<a href="wsdl20.html#property-InterfaceOperation.messageexchangepattern">message exchange pattern</a>}
  		  is <em>fault-replaces-message</em>) or of any 
  		  <a href="wsdl20.html#component-InterfaceFaultReference">Interface Fault Reference</a> component with the opposite value for 
  		  {<a href="wsdl20.html#property-InterfaceFaultReference.direction">direction</a>}
! 		  (if the <em>fault propagation ruleset</em> is
  		  <em>message-triggers-fault</em>).
  		  </p>
***************
*** 4041,4046 ****
  			{<a href="wsdl20.html#property-InterfaceOperation.messageexchangepattern">message exchange pattern</a>} of the 
  			<a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component, provided there is exactly
! 			one such message and the <em>fault
! 			pattern</em> of the 
  			{<a href="wsdl20.html#property-InterfaceOperation.messageexchangepattern">message exchange pattern</a>} is
  			<em>fault-replaces-message</em>; 
--- 4085,4089 ----
  			{<a href="wsdl20.html#property-InterfaceOperation.messageexchangepattern">message exchange pattern</a>} of the 
  			<a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component, provided there is exactly
! 			one such message and the <em>fault propagation ruleset</em> of the 
  			{<a href="wsdl20.html#property-InterfaceOperation.messageexchangepattern">message exchange pattern</a>} is
  			<em>fault-replaces-message</em>; 
***************
*** 4050,4054 ****
  			{<a href="wsdl20.html#property-InterfaceMessageReference.direction">direction</a>},
  			provided there is exactly one such message and
! 			the <em>fault pattern</em> is
  			<em>message-triggers-fault</em>; otherwise
  			it is an error.
--- 4093,4097 ----
  			{<a href="wsdl20.html#property-InterfaceMessageReference.direction">direction</a>},
  			provided there is exactly one such message and
! 			the <em>fault propagation ruleset</em> is
  			<em>message-triggers-fault</em>; otherwise
  			it is an error.
***************
*** 5709,5713 ****
  		  <tr>
  		    <th rowspan="1" colspan="1">Property</th>
- 
  		    <th rowspan="1" colspan="1">Value</th>
  		  </tr>
--- 5752,5755 ----
***************
*** 11337,11341 ****
      <div class="div1">
      	
! <h2><a name="N16481"></a>D. Component Summary (Non-Normative)</h2>
      	<p>
      		<a href="#component-summary">Table D-1</a>
--- 11379,11383 ----
      <div class="div1">
      	
! <h2><a name="N16515"></a>D. Component Summary (Non-Normative)</h2>
      	<p>
      		<a href="#component-summary">Table D-1</a>
***************
*** 11767,11770 ****
--- 11809,11827 ----
      </tr>
      
+         <tr>
+     	<td rowspan="1" colspan="1">20051101</td>
+     	<td rowspan="1" colspan="1">AGR</td>
+     	<td rowspan="1" colspan="1">
+     		Added Z Notation for message exchange pattern, placeholder
+     		message, and fault propagation ruleset in
+     		<a href="#MessageExchangePattern"><b>2.4.1.1 Message Exchange Pattern</b></a>
+     		. Replaced the term
+     		<em>fault pattern</em>
+     		with
+     		<em>fault propagation ruleset</em> throughout
+     		for consistency and agreement with Part 2.
+     	</td>
+         </tr>
+     
      <tr>
      	<td rowspan="1" colspan="1">20051027</td>
***************
*** 13705,13708 ****
--- 13762,13766 ----
      </tr>
      <tr>
+ 
         <td rowspan="1" colspan="1">20020627</td>
         <td rowspan="1" colspan="1">SW</td>

Index: xmlspec.dtd
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/xmlspec.dtd,v
retrieving revision 1.19
retrieving revision 1.20
diff -C2 -d -r1.19 -r1.20
*** xmlspec.dtd	27 Oct 2005 18:07:59 -0000	1.19
--- xmlspec.dtd	1 Nov 2005 14:04:58 -0000	1.20
***************
*** 2678,2681 ****
--- 2678,2684 ----
  	Change Log:
  	
+ 	2005-11-01 ryman
+ 	- added more Z elements
+ 	
  	2005-10-27 ryman
  	- added markup for assertion references: assert-summary
***************
*** 2751,2781 ****
  <!ATTLIST axdef xmlns CDATA #IMPLIED>
  
- <!ELEMENT forall EMPTY>
- <!ELEMENT t1 EMPTY>
- <!ELEMENT t2 EMPTY>
- <!ELEMENT t3 EMPTY>
- <!ELEMENT ldata EMPTY>
- <!ELEMENT rdata EMPTY>
- <!ELEMENT fun EMPTY>
- <!ELEMENT nl EMPTY>
- <!ELEMENT where EMPTY>
- <!ELEMENT power EMPTY>
- <!ELEMENT power_1 EMPTY>
- <!ELEMENT implies EMPTY>
- <!ELEMENT in EMPTY>
  <!ELEMENT also EMPTY>
  <!ELEMENT defs EMPTY>
- <!ELEMENT land EMPTY>
  <!ELEMENT emptyset EMPTY>
  <!ELEMENT z:emptyset EMPTY>
! <!ELEMENT cup EMPTY>
! <!ELEMENT subset EMPTY>
! <!ELEMENT subseteq EMPTY>
! <!ELEMENT notin EMPTY>
  <!ELEMENT iff EMPTY>
! <!ELEMENT neq EMPTY>
! <!ELEMENT theta EMPTY>
! <!ELEMENT rel EMPTY>
  <!ELEMENT mapsto EMPTY>
  <!ELEMENT plus EMPTY>
  <!ELEMENT star EMPTY>
--- 2754,2790 ----
  <!ATTLIST axdef xmlns CDATA #IMPLIED>
  
  <!ELEMENT also EMPTY>
+ <!ELEMENT cup EMPTY>
  <!ELEMENT defs EMPTY>
  <!ELEMENT emptyset EMPTY>
  <!ELEMENT z:emptyset EMPTY>
! <!ELEMENT forall EMPTY>
! <!ELEMENT fun EMPTY>
! <!ELEMENT implies EMPTY>
  <!ELEMENT iff EMPTY>
! <!ELEMENT in EMPTY>
! <!ELEMENT iseq EMPTY>
! <!ELEMENT ldata EMPTY>
! <!ELEMENT land EMPTY>
  <!ELEMENT mapsto EMPTY>
+ <!ELEMENT nl EMPTY>
+ <!ELEMENT nat EMPTY>
+ <!ELEMENT nat_1 EMPTY>
+ <!ELEMENT num EMPTY>
+ <!ELEMENT neq EMPTY>
+ <!ELEMENT notin EMPTY>
  <!ELEMENT plus EMPTY>
+ <!ELEMENT power EMPTY>
+ <!ELEMENT power_1 EMPTY>
+ <!ELEMENT rel EMPTY>
+ <!ELEMENT rdata EMPTY>
+ <!ELEMENT seq EMPTY>
+ <!ELEMENT seq_1 EMPTY>
  <!ELEMENT star EMPTY>
+ <!ELEMENT subset EMPTY>
+ <!ELEMENT subseteq EMPTY>
+ <!ELEMENT t1 EMPTY>
+ <!ELEMENT t2 EMPTY>
+ <!ELEMENT t3 EMPTY>
+ <!ELEMENT theta EMPTY>
+ <!ELEMENT where EMPTY>

Index: wsdl20.html
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.html,v
retrieving revision 1.229
retrieving revision 1.230
diff -C2 -d -r1.229 -r1.230
*** wsdl20.html	27 Oct 2005 18:07:59 -0000	1.229
--- wsdl20.html	1 Nov 2005 14:04:58 -0000	1.230
***************
*** 77,81 ****
  
  <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="#N16481">Component Summary</a> (Non-Normative)<br>E. <a href="#assertionsummary">Assertion Summary</a> (Non-Normative)<br>F. <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="#nsprefixes">Prefixes and Namespaces Used in This Specification</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.4 <a href="#terminology">Terms Used in This Specification</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.5 <a href="#xmlinfosetproperties">XML Information Set Properties</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.6 <a href="#wsdlcomponentmodelproperties">WSDL 2.0 Component Model Properties</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.7 <a href="#znotation">Z Notation</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.8 <a href="#bnfpseudoschemas">BNF Pseudo-Schemas</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.9 <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_attribute">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;&nbsp;&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
--- 77,81 ----
  
  <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="#N16515">Component Summary</a> (Non-Normative)<br>E. <a href="#assertionsummary">Assertion Summary</a> (Non-Normative)<br>F. <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="#nsprefixes">Prefixes and Namespaces Used in This Specification</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.4 <a href="#terminology">Terms Used in This Specification</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.5 <a href="#xmlinfosetproperties">XML Information Set Properties</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.6 <a href="#wsdlcomponentmodelproperties">WSDL 2.0 Component Model Properties</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.7 <a href="#znotation">Z Notation</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.8 <a href="#bnfpseudoschemas">BNF Pseudo-Schemas</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;1.4.9 <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_attribute">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;&nbsp;&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
***************
*** 102,106 ****
      			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">Documentation</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;&nbsp;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;&nbsp;&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>&nbsp;&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="#N16481">Component Summary</a> (Non-Normative)<br>E. <a href="#assertionsummary">Assertion Summary</a> (Non-Normative)<br>F. <a href="#changelog">Part 1 Change Log</a> (Non-Normative)<br>&nbsp;&nbsp;&nbsp;&nbsp;F.1 <a href="#wsdl-changelog">WSDL 2.0 Specification Changes</a><br></p></div><hr><div class="body">
  
  <div class="div1">
--- 102,106 ----
      			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">Documentation</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;&nbsp;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;&nbsp;&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>&nbsp;&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="#N16515">Component Summary</a> (Non-Normative)<br>E. <a href="#assertionsummary">Assertion Summary</a> (Non-Normative)<br>F. <a href="#changelog">Part 1 Change Log</a> (Non-Normative)<br>&nbsp;&nbsp;&nbsp;&nbsp;F.1 <a href="#wsdl-changelog">WSDL 2.0 Specification Changes</a><br></p></div><hr><div class="body">
  
  <div class="div1">
***************
*** 1868,1874 ****
   	  		component that corresponds to it. A placeholder message
   	  		is also associated with some node that exchanges the
!  	  		message with the service. Furthermore, a place message
   	  		message may be designated as optional in the exchange.
   	  	</p>
  
   	  	<p>
--- 1868,1878 ----
   	  		component that corresponds to it. A placeholder message
   	  		is also associated with some node that exchanges the
!  	  		message with the service. Furthermore, a placeholder
   	  		message may be designated as optional in the exchange.
   	  	</p>
+  	  	
+  	  	<a name="zed-Node"></a>
+  	  	
+  	  	<a name="zed-PlaceholderMessage"></a>
  
   	  	<p>
***************
*** 1897,1900 ****
--- 1901,1906 ----
   	  		rulesets.
   	  	</p>
+  	  	
+  	  	<a name="zed-FaultPropagationRuleset"></a>
  
   	  	<p>
***************
*** 1917,1923 ****
   	  		of the
   	  		{<a href="wsdl20.html#property-InterfaceOperation.messageexchangepattern">message exchange pattern</a>} property the <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a>
!  	  		component, and it refers to the fault propagation ruleset
   	  		that its faults obey.
   	  	</p>
  
   	  </div>
--- 1923,1931 ----
   	  		of the
   	  		{<a href="wsdl20.html#property-InterfaceOperation.messageexchangepattern">message exchange pattern</a>} property the <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a>
!  	  		component, and it specifies the fault propagation ruleset
   	  		that its faults obey.
   	  	</p>
+  	  	
+  	  	<a name="zed-MessageExchangePattern"></a>
  
   	  </div>
***************
*** 2585,2595 ****
  
          <p>The companion specification [<cite><a href="#WSDL-PART2">WSDL 2.0 Adjuncts</a></cite>]
!         defines two <em>fault patterns</em> that a given message
!         exchange pattern may use. For the pattern
          <em>fault-replaces-message</em>, the message that the fault
          relates to identifies the message <em>in place of which</em>
          the declared fault message will occur. Thus, the fault message
          will travel in the <em>same</em> direction as the message
!         it replaces in the pattern. For the pattern
          <em>message-triggers-fault</em>, the message that the fault
          relates to identifies the message after which the indicated
--- 2593,2603 ----
  
          <p>The companion specification [<cite><a href="#WSDL-PART2">WSDL 2.0 Adjuncts</a></cite>]
!         defines several <em>fault propagation rulesets</em> that a given message
!         exchange pattern may use. For the ruleset
          <em>fault-replaces-message</em>, the message that the fault
          relates to identifies the message <em>in place of which</em>
          the declared fault message will occur. Thus, the fault message
          will travel in the <em>same</em> direction as the message
!         it replaces in the pattern. For the ruleset
          <em>message-triggers-fault</em>, the message that the fault
          relates to identifies the message after which the indicated
***************
*** 2597,2601 ****
          message. That is, the fault message will travel in the
          <em>opposite</em> direction of the message it comes after
!         in the pattern.</p>
  
          <p>The properties of the <a name="component-InterfaceFaultReference">Interface Fault Reference</a> component are as
--- 2605,2609 ----
          message. That is, the fault message will travel in the
          <em>opposite</em> direction of the message it comes after
!         in the message exchange pattern.</p>
  
          <p>The properties of the <a name="component-InterfaceFaultReference">Interface Fault Reference</a> component are as
***************
*** 2627,2637 ****
              to the service or going from the service,
              respectively. The direction MUST be consistent with the
!             direction implied by the fault rule used in the message
              exchange pattern of the operation. For example, if the
!             fault rule <em>fault-replaces-message</em> is used, then a fault
!             which refers to an outgoing message would have a
              {<a href="wsdl20.html#property-InterfaceFaultReference.direction">direction</a>} property value of <em>out</em>. On the other hand, if the
!             fault rule <em>message-triggers-fault</em> is used, then a fault
!             which refers to an outgoing message would have a
              {<a href="wsdl20.html#property-InterfaceFaultReference.direction">direction</a>} property value of <em>in</em> as the fault
              travels in the opposite direction of the message.
--- 2635,2645 ----
              to the service or going from the service,
              respectively. The direction MUST be consistent with the
!             direction implied by the fault propagation ruleset used in the message
              exchange pattern of the operation. For example, if the
!             ruleset <em>fault-replaces-message</em> is used, then a fault
!             that refers to an outgoing message would have a
              {<a href="wsdl20.html#property-InterfaceFaultReference.direction">direction</a>} property value of <em>out</em>. On the other hand, if the
!             ruleset <em>message-triggers-fault</em> is used, then a fault
!             that refers to an outgoing message would have a
              {<a href="wsdl20.html#property-InterfaceFaultReference.direction">direction</a>} property value of <em>in</em> as the fault
              travels in the opposite direction of the message.
***************
*** 2728,2737 ****
  		  component with the same value for 
  		  {<a href="wsdl20.html#property-InterfaceFaultReference.direction">direction</a>} (if the
! 		  <em>fault pattern</em> of the 
  		  {<a href="wsdl20.html#property-InterfaceOperation.messageexchangepattern">message exchange pattern</a>}
  		  is <em>fault-replaces-message</em>) or of any 
  		  <a href="wsdl20.html#component-InterfaceFaultReference">Interface Fault Reference</a> component with the opposite value for 
  		  {<a href="wsdl20.html#property-InterfaceFaultReference.direction">direction</a>}
! 		  (if the <em>fault pattern</em> is
  		  <em>message-triggers-fault</em>).
  		  </p>
--- 2736,2745 ----
  		  component with the same value for 
  		  {<a href="wsdl20.html#property-InterfaceFaultReference.direction">direction</a>} (if the
! 		  <em>fault propagation ruleset</em> of the 
  		  {<a href="wsdl20.html#property-InterfaceOperation.messageexchangepattern">message exchange pattern</a>}
  		  is <em>fault-replaces-message</em>) or of any 
  		  <a href="wsdl20.html#component-InterfaceFaultReference">Interface Fault Reference</a> component with the opposite value for 
  		  {<a href="wsdl20.html#property-InterfaceFaultReference.direction">direction</a>}
! 		  (if the <em>fault propagation ruleset</em> is
  		  <em>message-triggers-fault</em>).
  		  </p>
***************
*** 2864,2869 ****
  			{<a href="wsdl20.html#property-InterfaceOperation.messageexchangepattern">message exchange pattern</a>} of the 
  			<a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component, provided there is exactly
! 			one such message and the <em>fault
! 			pattern</em> of the 
  			{<a href="wsdl20.html#property-InterfaceOperation.messageexchangepattern">message exchange pattern</a>} is
  			<em>fault-replaces-message</em>; 
--- 2872,2876 ----
  			{<a href="wsdl20.html#property-InterfaceOperation.messageexchangepattern">message exchange pattern</a>} of the 
  			<a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component, provided there is exactly
! 			one such message and the <em>fault propagation ruleset</em> of the 
  			{<a href="wsdl20.html#property-InterfaceOperation.messageexchangepattern">message exchange pattern</a>} is
  			<em>fault-replaces-message</em>; 
***************
*** 2873,2877 ****
  			{<a href="wsdl20.html#property-InterfaceMessageReference.direction">direction</a>},
  			provided there is exactly one such message and
! 			the <em>fault pattern</em> is
  			<em>message-triggers-fault</em>; otherwise
  			it is an error.
--- 2880,2884 ----
  			{<a href="wsdl20.html#property-InterfaceMessageReference.direction">direction</a>},
  			provided there is exactly one such message and
! 			the <em>fault propagation ruleset</em> is
  			<em>message-triggers-fault</em>; otherwise
  			it is an error.
***************
*** 4211,4215 ****
  		  <tr>
  		    <th rowspan="1" colspan="1">Property</th>
- 
  		    <th rowspan="1" colspan="1">Value</th>
  		  </tr>
--- 4218,4221 ----
***************
*** 9101,9105 ****
      <div class="div1">
      	
! <h2><a name="N16481"></a>D. Component Summary (Non-Normative)</h2>
      	<p>
      		<a href="#component-summary">Table D-1</a>
--- 9107,9111 ----
      <div class="div1">
      	
! <h2><a name="N16515"></a>D. Component Summary (Non-Normative)</h2>
      	<p>
      		<a href="#component-summary">Table D-1</a>
***************
*** 9531,9534 ****
--- 9537,9555 ----
      </tr>
      
+         <tr>
+     	<td rowspan="1" colspan="1">20051101</td>
+     	<td rowspan="1" colspan="1">AGR</td>
+     	<td rowspan="1" colspan="1">
+     		Added Z Notation for message exchange pattern, placeholder
+     		message, and fault propagation ruleset in
+     		<a href="#MessageExchangePattern"><b>2.4.1.1 Message Exchange Pattern</b></a>
+     		. Replaced the term
+     		<em>fault pattern</em>
+     		with
+     		<em>fault propagation ruleset</em> throughout
+     		for consistency and agreement with Part 2.
+     	</td>
+         </tr>
+     
      <tr>
      	<td rowspan="1" colspan="1">20051027</td>
***************
*** 11469,11472 ****
--- 11490,11494 ----
      </tr>
      <tr>
+ 
         <td rowspan="1" colspan="1">20020627</td>
         <td rowspan="1" colspan="1">SW</td>
Received on Tuesday, 1 November 2005 14:05:35 GMT

This archive was generated by hypermail 2.2.0 + w3c-0.30 : Tuesday, 1 November 2005 14:05:35 GMT