- 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
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 og</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> 1.1 <a href="#intro_ws">Web Service</a><br> 1.2 <a href="#markup">Document Conformance</a><br> 1.3 <a href="#meaning">The Meaning of a Service Description</a><br> 1.4 <a href="#notation">Notational Conventions</a><br> 1.4.1 <a href="#rfc2119keywords">RFC 2119 Keywords</a><br> 1.4.2 <a href="#rfc3986namespaces">RFC 3986 Namespaces</a><br> 1.4.3 <a href="#nsprefixes">Prefixes and Namespaces Used in This Specification</a><br> 1.4.4 <a href="#terminology">Terms Used in This Specification</a><br> 1.4.5 <a href="#xmlinfosetproperties">XML Information Set Properties</a><br> &nbp; 1.4.6 <a href="#wsdlcomponentmodelproperties">WSDL 2.0 Component Model Properties</a><br> 1.4.7 <a href="#znotation">Z Notation</a><br> 1.4.8 <a href="#bnfpseudoschemas">BNF Pseudo-Schemas</a><br> 1.4.9 <a href="#assertions">Assertions</a><br>2. <a href="#component_model">Component Model</a><br> 2.1 <a href="#Description">Description</a><br> 2.1.1 <a href="#Description_details">The Description Component</a><br> 2.1.2 <a href="#Description_XMLRep">XML Representation of Description Component</a><br> 2.1.2.1 <a href="#Description_targetnamespace_attribute">targetNamespace attribute information item</a><br> 2.13 <a href="#Description_Mapping">Mapping Description's XML Representation to Component
Properties</a><br> 2.2 <a href="#Interface">Interface</a><br> 2.2.1 <a href="#Interface_details">The Interface Component</a><br> 2.2.2 <a href="#Interface_XMLRep">XML Representation of Interface Component</a><br> 2.2.2.1 <a href="#Interface_name_attribute">name attribute information item with interface [owner element]</a><br> 2.2.2.2 <a href="#Interface_extends_attribute">extends attribute information item</a><br> 2.2.2.3 <a href="#Interface_styleDefault_attribute">styleDefault attribute information item</a><br> 2.2.3 <a href="#Interface_Mapping">Mapping Interface's XML Representation to Component Properties</a><br> &nsp; 2.3 <a href="#InterfaceFault">Interface Fault</a><br> 2.3.1 <a href="#InterfaceFault_details">The Interface Fault Component</a><br> 2.3.2 <a href="#InterfaceFault_XMLRep">XML Representation of Interface Fault Component</a><br> 2.3.2.1 <a href="#Interfacefault_name_attribute">name attribute information item with fault [owner element]</a><br> 2.3.2.2 <a href="#Interface_element_attribute">element attribute information item with fault [owner element]</a><br> 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 og</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> 1.1 <a href="#intro_ws">Web Service</a><br> 1.2 <a href="#markup">Document Conformance</a><br> 1.3 <a href="#meaning">The Meaning of a Service Description</a><br> 1.4 <a href="#notation">Notational Conventions</a><br> 1.4.1 <a href="#rfc2119keywords">RFC 2119 Keywords</a><br> 1.4.2 <a href="#rfc3986namespaces">RFC 3986 Namespaces</a><br> 1.4.3 <a href="#nsprefixes">Prefixes and Namespaces Used in This Specification</a><br> 1.4.4 <a href="#terminology">Terms Used in This Specification</a><br> 1.4.5 <a href="#xmlinfosetproperties">XML Information Set Properties</a><br> &nbp; 1.4.6 <a href="#wsdlcomponentmodelproperties">WSDL 2.0 Component Model Properties</a><br> 1.4.7 <a href="#znotation">Z Notation</a><br> 1.4.8 <a href="#bnfpseudoschemas">BNF Pseudo-Schemas</a><br> 1.4.9 <a href="#assertions">Assertions</a><br>2. <a href="#component_model">Component Model</a><br> 2.1 <a href="#Description">Description</a><br> 2.1.1 <a href="#Description_details">The Description Component</a><br> 2.1.2 <a href="#Description_XMLRep">XML Representation of Description Component</a><br> 2.1.2.1 <a href="#Description_targetnamespace_attribute">targetNamespace attribute information item</a><br> 2.13 <a href="#Description_Mapping">Mapping Description's XML Representation to Component
Properties</a><br> 2.2 <a href="#Interface">Interface</a><br> 2.2.1 <a href="#Interface_details">The Interface Component</a><br> 2.2.2 <a href="#Interface_XMLRep">XML Representation of Interface Component</a><br> 2.2.2.1 <a href="#Interface_name_attribute">name attribute information item with interface [owner element]</a><br> 2.2.2.2 <a href="#Interface_extends_attribute">extends attribute information item</a><br> 2.2.2.3 <a href="#Interface_styleDefault_attribute">styleDefault attribute information item</a><br> 2.2.3 <a href="#Interface_Mapping">Mapping Interface's XML Representation to Component Properties</a><br> &nsp; 2.3 <a href="#InterfaceFault">Interface Fault</a><br> 2.3.1 <a href="#InterfaceFault_details">The Interface Fault Component</a><br> 2.3.2 <a href="#InterfaceFault_XMLRep">XML Representation of Interface Fault Component</a><br> 2.3.2.1 <a href="#Interfacefault_name_attribute">name attribute information item with fault [owner element]</a><br> 2.3.2.2 <a href="#Interface_element_attribute">element attribute information item with fault [owner element]</a><br> 2.3.3 <a href="#InterfaceFault_Mapping">Mapping Interface Fault's XML Representation to
***************
*** 102,106 ****
attribute information item
</a><br> 3.3.3 <a href="#wsdlx-consistency">wsdlx:interface and wsdlx:binding Consistency</a><br> 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> 4.1 <a href="#includes">Including Descriptions</a><br> 4.1.1 <a href="#include_location_attribute">location attribute information item with include [owner element]</a><br> 4.2 <a href="#imports">Importing Descriptions</a><br> 4.2.1 <a href="#import_namespace_attribute">namespace attribute information item</a><br> 4.2.2 <a href="#import_location_attribute">location attribute information item with import [owner element]</a><br>5. <a href="#eii-documentation">Documentatin</a><br>6. <a href="#language-extensibility">Language Extensibility</a><br> 6.1 <a href="#eii-extensibility">Element based Extensibility</a><br> 6.1.1 <a href="#mandatoryext">Mandatory extensions</a><br> 6.1.2 <a href="#required-aii">required attribute information item</a><br> 6.2 <a href="#aii-extensibility">Attribute-based Extensibility</a><br> 6.3 <a href="#extensibility-semantics">Extensibility Semantics</a><br>7. <a href="#wsdllocation">Locating WSDL 2.0 Documents</a><br> 7.1 <a href="#wsdlLocation-aii">wsdli:wsdlLocation attribute information item</a><br>8. <a href="#conformance">Conformance</a><br> 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> &nbs;10.1 <a href="#Normative-References">Normative References</a><br> 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> A.1 <a href="#ietf-reg">Registration</a><br> A.2 <a href="#frag-ids">Fragment Identifiers</a><br> A.2.1 <a href="#wsdl.description">The Description Component</a><br> A.2.2 <a href="#wsdl.elementDeclaration">The Element Declaration Component</a><br> A.2.3 <a href="#wsdl.typeDefinition">The Type Definition Component</a><br> A.2.4 <a href="#wsdl.interface">The Interface Component</a><br> A.2.5 <a href="#wsdl.interfaceFault">The Interface Fault Component</a><br> A.2.6 <a href="#wsdl.interfaceOperation">The Interface Operation Component</a><br> &bsp; A.2.7 <a href="#wsdl.interfaceMessageReference">The Interface Message Reference Component</a><br> A.2.8 <a href="#wsdl.interfaceFaultReference">The Interface Fault Reference Component</a><br> A.2.9 <a href="#wsdl.binding">The Binding Component</a><br> A.2.10 <a href="#wsdl.bindingFault">The Binding Fault Component</a><br> A.2.11 <a href="#wsdl.bindingOperation">The Binding Operation Component</a><br> A.2.12 <a href="#wsdl.bindingMessageReference">The Binding Message Reference Component</a><br> A.2.13 <a href="#wsdl.bindingFaultReference">The Binding Fault Reference Component</a><br> A.2.14 <a href="#wsdl.service">The Service Component</a><br>&nbp; A.2.15 <a href="#wsdl.endpoint">The Endpoint Component</a><br> A.2.16 <a href="#wsdl.feature">The Feature Component</a><br> A.2.17 <a href="#wsdl.property">The Property Component</a><br> A.2.18 <a href="#wsdl.extension">Extension Components</a><br> 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> C.1 <a href="#wsdl-iris">WSDL 2.0 IRIs</a><br> 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> &nbs; 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> 3.3.3 <a href="#wsdlx-consistency">wsdlx:interface and wsdlx:binding Consistency</a><br> 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> 4.1 <a href="#includes">Including Descriptions</a><br> 4.1.1 <a href="#include_location_attribute">location attribute information item with include [owner element]</a><br> 4.2 <a href="#imports">Importing Descriptions</a><br> 4.2.1 <a href="#import_namespace_attribute">namespace attribute information item</a><br> 4.2.2 <a href="#import_location_attribute">location attribute information item with import [owner element]</a><br>5. <a href="#eii-documentation">Documentatin</a><br>6. <a href="#language-extensibility">Language Extensibility</a><br> 6.1 <a href="#eii-extensibility">Element based Extensibility</a><br> 6.1.1 <a href="#mandatoryext">Mandatory extensions</a><br> 6.1.2 <a href="#required-aii">required attribute information item</a><br> 6.2 <a href="#aii-extensibility">Attribute-based Extensibility</a><br> 6.3 <a href="#extensibility-semantics">Extensibility Semantics</a><br>7. <a href="#wsdllocation">Locating WSDL 2.0 Documents</a><br> 7.1 <a href="#wsdlLocation-aii">wsdli:wsdlLocation attribute information item</a><br>8. <a href="#conformance">Conformance</a><br> 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> &nbs;10.1 <a href="#Normative-References">Normative References</a><br> 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> A.1 <a href="#ietf-reg">Registration</a><br> A.2 <a href="#frag-ids">Fragment Identifiers</a><br> A.2.1 <a href="#wsdl.description">The Description Component</a><br> A.2.2 <a href="#wsdl.elementDeclaration">The Element Declaration Component</a><br> A.2.3 <a href="#wsdl.typeDefinition">The Type Definition Component</a><br> A.2.4 <a href="#wsdl.interface">The Interface Component</a><br> A.2.5 <a href="#wsdl.interfaceFault">The Interface Fault Component</a><br> A.2.6 <a href="#wsdl.interfaceOperation">The Interface Operation Component</a><br> &bsp; A.2.7 <a href="#wsdl.interfaceMessageReference">The Interface Message Reference Component</a><br> A.2.8 <a href="#wsdl.interfaceFaultReference">The Interface Fault Reference Component</a><br> A.2.9 <a href="#wsdl.binding">The Binding Component</a><br> A.2.10 <a href="#wsdl.bindingFault">The Binding Fault Component</a><br> A.2.11 <a href="#wsdl.bindingOperation">The Binding Operation Component</a><br> A.2.12 <a href="#wsdl.bindingMessageReference">The Binding Message Reference Component</a><br> A.2.13 <a href="#wsdl.bindingFaultReference">The Binding Fault Reference Component</a><br> A.2.14 <a href="#wsdl.service">The Service Component</a><br>&nbp; A.2.15 <a href="#wsdl.endpoint">The Endpoint Component</a><br> A.2.16 <a href="#wsdl.feature">The Feature Component</a><br> A.2.17 <a href="#wsdl.property">The Property Component</a><br> A.2.18 <a href="#wsdl.extension">Extension Components</a><br> 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> C.1 <a href="#wsdl-iris">WSDL 2.0 IRIs</a><br> 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> &nbs; 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> [ <a onClick="showAll()" href="#zed-Node">show all</a> ] [ <a onClick="hideAll()" href="#zed-Node">hide all</a> ]<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> [ <a onClick="showAll()" href="#zed-PlaceholderMessage">show all</a> ] [ <a onClick="hideAll()" href="#zed-PlaceholderMessage">hide all</a> ]<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> [ <a onClick="showAll()" href="#zed-FaultPropagationRuleset">show all</a> ] [ <a onClick="hideAll()" href="#zed-FaultPropagationRuleset">hide all</a> ]<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 clas="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> [ <a onClick="showAll()" href="#zed-MessageExchangePattern">show all</a> ] [ <a onClick="hideAll()" href="#zed-MessageExchangePattern">hide all</a> ]<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"><spn class="zi">placeholderMessages</span><span class="zinfix"><span class="mathb">g</span></span><span class="symbol">Æ</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"> <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">Î</span></span><span class="zi">placeholderMessages</span><span class="zinfix"><span class="mahb">.</span></span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <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">Î</span></span><span class="zi">placeholderMessages</span> <span class="zinfix"><span class="symbol">·</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <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 og</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> 1.1 <a href="#intro_ws">Web Service</a><br> 1.2 <a href="#markup">Document Conformance</a><br> 1.3 <a href="#meaning">The Meaning of a Service Description</a><br> 1.4 <a href="#notation">Notational Conventions</a><br> 1.4.1 <a href="#rfc2119keywords">RFC 2119 Keywords</a><br> 1.4.2 <a href="#rfc3986namespaces">RFC 3986 Namespaces</a><br> 1.4.3 <a href="#nsprefixes">Prefixes and Namespaces Used in This Specification</a><br> 1.4.4 <a href="#terminology">Terms Used in This Specification</a><br> 1.4.5 <a href="#xmlinfosetproperties">XML Information Set Properties</a><br> &nbp; 1.4.6 <a href="#wsdlcomponentmodelproperties">WSDL 2.0 Component Model Properties</a><br> 1.4.7 <a href="#znotation">Z Notation</a><br> 1.4.8 <a href="#bnfpseudoschemas">BNF Pseudo-Schemas</a><br> 1.4.9 <a href="#assertions">Assertions</a><br>2. <a href="#component_model">Component Model</a><br> 2.1 <a href="#Description">Description</a><br> 2.1.1 <a href="#Description_details">The Description Component</a><br> 2.1.2 <a href="#Description_XMLRep">XML Representation of Description Component</a><br> 2.1.2.1 <a href="#Description_targetnamespace_attribute">targetNamespace attribute information item</a><br> 2.13 <a href="#Description_Mapping">Mapping Description's XML Representation to Component
Properties</a><br> 2.2 <a href="#Interface">Interface</a><br> 2.2.1 <a href="#Interface_details">The Interface Component</a><br> 2.2.2 <a href="#Interface_XMLRep">XML Representation of Interface Component</a><br> 2.2.2.1 <a href="#Interface_name_attribute">name attribute information item with interface [owner element]</a><br> 2.2.2.2 <a href="#Interface_extends_attribute">extends attribute information item</a><br> 2.2.2.3 <a href="#Interface_styleDefault_attribute">styleDefault attribute information item</a><br> 2.2.3 <a href="#Interface_Mapping">Mapping Interface's XML Representation to Component Properties</a><br> &nsp; 2.3 <a href="#InterfaceFault">Interface Fault</a><br> 2.3.1 <a href="#InterfaceFault_details">The Interface Fault Component</a><br> 2.3.2 <a href="#InterfaceFault_XMLRep">XML Representation of Interface Fault Component</a><br> 2.3.2.1 <a href="#Interfacefault_name_attribute">name attribute information item with fault [owner element]</a><br> 2.3.2.2 <a href="#Interface_element_attribute">element attribute information item with fault [owner element]</a><br> 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 og</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> 1.1 <a href="#intro_ws">Web Service</a><br> 1.2 <a href="#markup">Document Conformance</a><br> 1.3 <a href="#meaning">The Meaning of a Service Description</a><br> 1.4 <a href="#notation">Notational Conventions</a><br> 1.4.1 <a href="#rfc2119keywords">RFC 2119 Keywords</a><br> 1.4.2 <a href="#rfc3986namespaces">RFC 3986 Namespaces</a><br> 1.4.3 <a href="#nsprefixes">Prefixes and Namespaces Used in This Specification</a><br> 1.4.4 <a href="#terminology">Terms Used in This Specification</a><br> 1.4.5 <a href="#xmlinfosetproperties">XML Information Set Properties</a><br> &nbp; 1.4.6 <a href="#wsdlcomponentmodelproperties">WSDL 2.0 Component Model Properties</a><br> 1.4.7 <a href="#znotation">Z Notation</a><br> 1.4.8 <a href="#bnfpseudoschemas">BNF Pseudo-Schemas</a><br> 1.4.9 <a href="#assertions">Assertions</a><br>2. <a href="#component_model">Component Model</a><br> 2.1 <a href="#Description">Description</a><br> 2.1.1 <a href="#Description_details">The Description Component</a><br> 2.1.2 <a href="#Description_XMLRep">XML Representation of Description Component</a><br> 2.1.2.1 <a href="#Description_targetnamespace_attribute">targetNamespace attribute information item</a><br> 2.13 <a href="#Description_Mapping">Mapping Description's XML Representation to Component
Properties</a><br> 2.2 <a href="#Interface">Interface</a><br> 2.2.1 <a href="#Interface_details">The Interface Component</a><br> 2.2.2 <a href="#Interface_XMLRep">XML Representation of Interface Component</a><br> 2.2.2.1 <a href="#Interface_name_attribute">name attribute information item with interface [owner element]</a><br> 2.2.2.2 <a href="#Interface_extends_attribute">extends attribute information item</a><br> 2.2.2.3 <a href="#Interface_styleDefault_attribute">styleDefault attribute information item</a><br> 2.2.3 <a href="#Interface_Mapping">Mapping Interface's XML Representation to Component Properties</a><br> &nsp; 2.3 <a href="#InterfaceFault">Interface Fault</a><br> 2.3.1 <a href="#InterfaceFault_details">The Interface Fault Component</a><br> 2.3.2 <a href="#InterfaceFault_XMLRep">XML Representation of Interface Fault Component</a><br> 2.3.2.1 <a href="#Interfacefault_name_attribute">name attribute information item with fault [owner element]</a><br> 2.3.2.2 <a href="#Interface_element_attribute">element attribute information item with fault [owner element]</a><br> 2.3.3 <a href="#InterfaceFault_Mapping">Mapping Interface Fault's XML Representation to
***************
*** 102,106 ****
attribute information item
</a><br> 3.3.3 <a href="#wsdlx-consistency">wsdlx:interface and wsdlx:binding Consistency</a><br> 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> 4.1 <a href="#includes">Including Descriptions</a><br> 4.1.1 <a href="#include_location_attribute">location attribute information item with include [owner element]</a><br> 4.2 <a href="#imports">Importing Descriptions</a><br> 4.2.1 <a href="#import_namespace_attribute">namespace attribute information item</a><br> 4.2.2 <a href="#import_location_attribute">location attribute information item with import [owner element]</a><br>5. <a href="#eii-documentation">Documentatin</a><br>6. <a href="#language-extensibility">Language Extensibility</a><br> 6.1 <a href="#eii-extensibility">Element based Extensibility</a><br> 6.1.1 <a href="#mandatoryext">Mandatory extensions</a><br> 6.1.2 <a href="#required-aii">required attribute information item</a><br> 6.2 <a href="#aii-extensibility">Attribute-based Extensibility</a><br> 6.3 <a href="#extensibility-semantics">Extensibility Semantics</a><br>7. <a href="#wsdllocation">Locating WSDL 2.0 Documents</a><br> 7.1 <a href="#wsdlLocation-aii">wsdli:wsdlLocation attribute information item</a><br>8. <a href="#conformance">Conformance</a><br> 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> &nbs;10.1 <a href="#Normative-References">Normative References</a><br> 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> A.1 <a href="#ietf-reg">Registration</a><br> A.2 <a href="#frag-ids">Fragment Identifiers</a><br> A.2.1 <a href="#wsdl.description">The Description Component</a><br> A.2.2 <a href="#wsdl.elementDeclaration">The Element Declaration Component</a><br> A.2.3 <a href="#wsdl.typeDefinition">The Type Definition Component</a><br> A.2.4 <a href="#wsdl.interface">The Interface Component</a><br> A.2.5 <a href="#wsdl.interfaceFault">The Interface Fault Component</a><br> A.2.6 <a href="#wsdl.interfaceOperation">The Interface Operation Component</a><br> &bsp; A.2.7 <a href="#wsdl.interfaceMessageReference">The Interface Message Reference Component</a><br> A.2.8 <a href="#wsdl.interfaceFaultReference">The Interface Fault Reference Component</a><br> A.2.9 <a href="#wsdl.binding">The Binding Component</a><br> A.2.10 <a href="#wsdl.bindingFault">The Binding Fault Component</a><br> A.2.11 <a href="#wsdl.bindingOperation">The Binding Operation Component</a><br> A.2.12 <a href="#wsdl.bindingMessageReference">The Binding Message Reference Component</a><br> A.2.13 <a href="#wsdl.bindingFaultReference">The Binding Fault Reference Component</a><br> A.2.14 <a href="#wsdl.service">The Service Component</a><br>&nbp; A.2.15 <a href="#wsdl.endpoint">The Endpoint Component</a><br> A.2.16 <a href="#wsdl.feature">The Feature Component</a><br> A.2.17 <a href="#wsdl.property">The Property Component</a><br> A.2.18 <a href="#wsdl.extension">Extension Components</a><br> 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> C.1 <a href="#wsdl-iris">WSDL 2.0 IRIs</a><br> 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> &nbs; 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> 3.3.3 <a href="#wsdlx-consistency">wsdlx:interface and wsdlx:binding Consistency</a><br> 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> 4.1 <a href="#includes">Including Descriptions</a><br> 4.1.1 <a href="#include_location_attribute">location attribute information item with include [owner element]</a><br> 4.2 <a href="#imports">Importing Descriptions</a><br> 4.2.1 <a href="#import_namespace_attribute">namespace attribute information item</a><br> 4.2.2 <a href="#import_location_attribute">location attribute information item with import [owner element]</a><br>5. <a href="#eii-documentation">Documentatin</a><br>6. <a href="#language-extensibility">Language Extensibility</a><br> 6.1 <a href="#eii-extensibility">Element based Extensibility</a><br> 6.1.1 <a href="#mandatoryext">Mandatory extensions</a><br> 6.1.2 <a href="#required-aii">required attribute information item</a><br> 6.2 <a href="#aii-extensibility">Attribute-based Extensibility</a><br> 6.3 <a href="#extensibility-semantics">Extensibility Semantics</a><br>7. <a href="#wsdllocation">Locating WSDL 2.0 Documents</a><br> 7.1 <a href="#wsdlLocation-aii">wsdli:wsdlLocation attribute information item</a><br>8. <a href="#conformance">Conformance</a><br> 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> &nbs;10.1 <a href="#Normative-References">Normative References</a><br> 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> A.1 <a href="#ietf-reg">Registration</a><br> A.2 <a href="#frag-ids">Fragment Identifiers</a><br> A.2.1 <a href="#wsdl.description">The Description Component</a><br> A.2.2 <a href="#wsdl.elementDeclaration">The Element Declaration Component</a><br> A.2.3 <a href="#wsdl.typeDefinition">The Type Definition Component</a><br> A.2.4 <a href="#wsdl.interface">The Interface Component</a><br> A.2.5 <a href="#wsdl.interfaceFault">The Interface Fault Component</a><br> A.2.6 <a href="#wsdl.interfaceOperation">The Interface Operation Component</a><br> &bsp; A.2.7 <a href="#wsdl.interfaceMessageReference">The Interface Message Reference Component</a><br> A.2.8 <a href="#wsdl.interfaceFaultReference">The Interface Fault Reference Component</a><br> A.2.9 <a href="#wsdl.binding">The Binding Component</a><br> A.2.10 <a href="#wsdl.bindingFault">The Binding Fault Component</a><br> A.2.11 <a href="#wsdl.bindingOperation">The Binding Operation Component</a><br> A.2.12 <a href="#wsdl.bindingMessageReference">The Binding Message Reference Component</a><br> A.2.13 <a href="#wsdl.bindingFaultReference">The Binding Fault Reference Component</a><br> A.2.14 <a href="#wsdl.service">The Service Component</a><br>&nbp; A.2.15 <a href="#wsdl.endpoint">The Endpoint Component</a><br> A.2.16 <a href="#wsdl.feature">The Feature Component</a><br> A.2.17 <a href="#wsdl.property">The Property Component</a><br> A.2.18 <a href="#wsdl.extension">Extension Components</a><br> 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> C.1 <a href="#wsdl-iris">WSDL 2.0 IRIs</a><br> 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> &nbs; 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> [ <a onClick="showAll()" href="#zed-Node">show all</a> ] [ <a onClick="hideAll()" href="#zed-Node">hide all</a> ]<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> [ <a onClick="showAll()" href="#zed-PlaceholderMessage">show all</a> ] [ <a onClick="hideAll()" href="#zed-PlaceholderMessage">hide all</a> ]<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> [ <a onClick="showAll()" href="#zed-FaultPropagationRuleset">show all</a> ] [ <a onClick="hideAll()" href="#zed-FaultPropagationRuleset">hide all</a> ]<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><span class="zi">faultReplacesMessage</span></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zi">faultReplacesMessage</span><span class="zinfix">≠</span><span class="zi">noFaults</span></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zi">noFults</span><span class="zinfix">≠</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> [ <a onClick="showAll()" href="#zed-MessageExchangePattern">show all</a> ] [ <a onClick="hideAll()" href="#zed-MessageExchangePattern">hide all</a> ]<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"><spn class="zi">placeholderMessages</span><span class="zinfix">≠</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><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"> <span class="zi">i1</span><span class="zinfix">↦</span><span class="zi">p1</span><span class="zinfix">∈</span><span class="zi">placeholderMessages</span><span class="zinfix">∧</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">i2</span><span class="zinfx">↦</span><span class="zi">p2</span><span class="zinfix">∈</span><span class="zi">placeholderMessages</span> <span class="zinfix">•</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <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><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 og</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> 1.1 <a href="#intro_ws">Web Service</a><br> 1.2 <a href="#markup">Document Conformance</a><br> 1.3 <a href="#meaning">The Meaning of a Service Description</a><br> 1.4 <a href="#notation">Notational Conventions</a><br> 1.4.1 <a href="#rfc2119keywords">RFC 2119 Keywords</a><br> 1.4.2 <a href="#rfc3986namespaces">RFC 3986 Namespaces</a><br> 1.4.3 <a href="#nsprefixes">Prefixes and Namespaces Used in This Specification</a><br> 1.4.4 <a href="#terminology">Terms Used in This Specification</a><br> 1.4.5 <a href="#xmlinfosetproperties">XML Information Set Properties</a><br> &nbp; 1.4.6 <a href="#wsdlcomponentmodelproperties">WSDL 2.0 Component Model Properties</a><br> 1.4.7 <a href="#znotation">Z Notation</a><br> 1.4.8 <a href="#bnfpseudoschemas">BNF Pseudo-Schemas</a><br> 1.4.9 <a href="#assertions">Assertions</a><br>2. <a href="#component_model">Component Model</a><br> 2.1 <a href="#Description">Description</a><br> 2.1.1 <a href="#Description_details">The Description Component</a><br> 2.1.2 <a href="#Description_XMLRep">XML Representation of Description Component</a><br> 2.1.2.1 <a href="#Description_targetnamespace_attribute">targetNamespace attribute information item</a><br> 2.13 <a href="#Description_Mapping">Mapping Description's XML Representation to Component
Properties</a><br> 2.2 <a href="#Interface">Interface</a><br> 2.2.1 <a href="#Interface_details">The Interface Component</a><br> 2.2.2 <a href="#Interface_XMLRep">XML Representation of Interface Component</a><br> 2.2.2.1 <a href="#Interface_name_attribute">name attribute information item with interface [owner element]</a><br> 2.2.2.2 <a href="#Interface_extends_attribute">extends attribute information item</a><br> 2.2.2.3 <a href="#Interface_styleDefault_attribute">styleDefault attribute information item</a><br> 2.2.3 <a href="#Interface_Mapping">Mapping Interface's XML Representation to Component Properties</a><br> &nsp; 2.3 <a href="#InterfaceFault">Interface Fault</a><br> 2.3.1 <a href="#InterfaceFault_details">The Interface Fault Component</a><br> 2.3.2 <a href="#InterfaceFault_XMLRep">XML Representation of Interface Fault Component</a><br> 2.3.2.1 <a href="#Interfacefault_name_attribute">name attribute information item with fault [owner element]</a><br> 2.3.2.2 <a href="#Interface_element_attribute">element attribute information item with fault [owner element]</a><br> 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 og</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> 1.1 <a href="#intro_ws">Web Service</a><br> 1.2 <a href="#markup">Document Conformance</a><br> 1.3 <a href="#meaning">The Meaning of a Service Description</a><br> 1.4 <a href="#notation">Notational Conventions</a><br> 1.4.1 <a href="#rfc2119keywords">RFC 2119 Keywords</a><br> 1.4.2 <a href="#rfc3986namespaces">RFC 3986 Namespaces</a><br> 1.4.3 <a href="#nsprefixes">Prefixes and Namespaces Used in This Specification</a><br> 1.4.4 <a href="#terminology">Terms Used in This Specification</a><br> 1.4.5 <a href="#xmlinfosetproperties">XML Information Set Properties</a><br> &nbp; 1.4.6 <a href="#wsdlcomponentmodelproperties">WSDL 2.0 Component Model Properties</a><br> 1.4.7 <a href="#znotation">Z Notation</a><br> 1.4.8 <a href="#bnfpseudoschemas">BNF Pseudo-Schemas</a><br> 1.4.9 <a href="#assertions">Assertions</a><br>2. <a href="#component_model">Component Model</a><br> 2.1 <a href="#Description">Description</a><br> 2.1.1 <a href="#Description_details">The Description Component</a><br> 2.1.2 <a href="#Description_XMLRep">XML Representation of Description Component</a><br> 2.1.2.1 <a href="#Description_targetnamespace_attribute">targetNamespace attribute information item</a><br> 2.13 <a href="#Description_Mapping">Mapping Description's XML Representation to Component
Properties</a><br> 2.2 <a href="#Interface">Interface</a><br> 2.2.1 <a href="#Interface_details">The Interface Component</a><br> 2.2.2 <a href="#Interface_XMLRep">XML Representation of Interface Component</a><br> 2.2.2.1 <a href="#Interface_name_attribute">name attribute information item with interface [owner element]</a><br> 2.2.2.2 <a href="#Interface_extends_attribute">extends attribute information item</a><br> 2.2.2.3 <a href="#Interface_styleDefault_attribute">styleDefault attribute information item</a><br> 2.2.3 <a href="#Interface_Mapping">Mapping Interface's XML Representation to Component Properties</a><br> &nsp; 2.3 <a href="#InterfaceFault">Interface Fault</a><br> 2.3.1 <a href="#InterfaceFault_details">The Interface Fault Component</a><br> 2.3.2 <a href="#InterfaceFault_XMLRep">XML Representation of Interface Fault Component</a><br> 2.3.2.1 <a href="#Interfacefault_name_attribute">name attribute information item with fault [owner element]</a><br> 2.3.2.2 <a href="#Interface_element_attribute">element attribute information item with fault [owner element]</a><br> 2.3.3 <a href="#InterfaceFault_Mapping">Mapping Interface Fault's XML Representation to
***************
*** 102,106 ****
attribute information item
</a><br> 3.3.3 <a href="#wsdlx-consistency">wsdlx:interface and wsdlx:binding Consistency</a><br> 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> 4.1 <a href="#includes">Including Descriptions</a><br> 4.1.1 <a href="#include_location_attribute">location attribute information item with include [owner element]</a><br> 4.2 <a href="#imports">Importing Descriptions</a><br> 4.2.1 <a href="#import_namespace_attribute">namespace attribute information item</a><br> 4.2.2 <a href="#import_location_attribute">location attribute information item with import [owner element]</a><br>5. <a href="#eii-documentation">Documentatin</a><br>6. <a href="#language-extensibility">Language Extensibility</a><br> 6.1 <a href="#eii-extensibility">Element based Extensibility</a><br> 6.1.1 <a href="#mandatoryext">Mandatory extensions</a><br> 6.1.2 <a href="#required-aii">required attribute information item</a><br> 6.2 <a href="#aii-extensibility">Attribute-based Extensibility</a><br> 6.3 <a href="#extensibility-semantics">Extensibility Semantics</a><br>7. <a href="#wsdllocation">Locating WSDL 2.0 Documents</a><br> 7.1 <a href="#wsdlLocation-aii">wsdli:wsdlLocation attribute information item</a><br>8. <a href="#conformance">Conformance</a><br> 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> &nbs;10.1 <a href="#Normative-References">Normative References</a><br> 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> A.1 <a href="#ietf-reg">Registration</a><br> A.2 <a href="#frag-ids">Fragment Identifiers</a><br> A.2.1 <a href="#wsdl.description">The Description Component</a><br> A.2.2 <a href="#wsdl.elementDeclaration">The Element Declaration Component</a><br> A.2.3 <a href="#wsdl.typeDefinition">The Type Definition Component</a><br> A.2.4 <a href="#wsdl.interface">The Interface Component</a><br> A.2.5 <a href="#wsdl.interfaceFault">The Interface Fault Component</a><br> A.2.6 <a href="#wsdl.interfaceOperation">The Interface Operation Component</a><br> &bsp; A.2.7 <a href="#wsdl.interfaceMessageReference">The Interface Message Reference Component</a><br> A.2.8 <a href="#wsdl.interfaceFaultReference">The Interface Fault Reference Component</a><br> A.2.9 <a href="#wsdl.binding">The Binding Component</a><br> A.2.10 <a href="#wsdl.bindingFault">The Binding Fault Component</a><br> A.2.11 <a href="#wsdl.bindingOperation">The Binding Operation Component</a><br> A.2.12 <a href="#wsdl.bindingMessageReference">The Binding Message Reference Component</a><br> A.2.13 <a href="#wsdl.bindingFaultReference">The Binding Fault Reference Component</a><br> A.2.14 <a href="#wsdl.service">The Service Component</a><br>&nbp; A.2.15 <a href="#wsdl.endpoint">The Endpoint Component</a><br> A.2.16 <a href="#wsdl.feature">The Feature Component</a><br> A.2.17 <a href="#wsdl.property">The Property Component</a><br> A.2.18 <a href="#wsdl.extension">Extension Components</a><br> 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> C.1 <a href="#wsdl-iris">WSDL 2.0 IRIs</a><br> 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> &nbs; 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> 3.3.3 <a href="#wsdlx-consistency">wsdlx:interface and wsdlx:binding Consistency</a><br> 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> 4.1 <a href="#includes">Including Descriptions</a><br> 4.1.1 <a href="#include_location_attribute">location attribute information item with include [owner element]</a><br> 4.2 <a href="#imports">Importing Descriptions</a><br> 4.2.1 <a href="#import_namespace_attribute">namespace attribute information item</a><br> 4.2.2 <a href="#import_location_attribute">location attribute information item with import [owner element]</a><br>5. <a href="#eii-documentation">Documentatin</a><br>6. <a href="#language-extensibility">Language Extensibility</a><br> 6.1 <a href="#eii-extensibility">Element based Extensibility</a><br> 6.1.1 <a href="#mandatoryext">Mandatory extensions</a><br> 6.1.2 <a href="#required-aii">required attribute information item</a><br> 6.2 <a href="#aii-extensibility">Attribute-based Extensibility</a><br> 6.3 <a href="#extensibility-semantics">Extensibility Semantics</a><br>7. <a href="#wsdllocation">Locating WSDL 2.0 Documents</a><br> 7.1 <a href="#wsdlLocation-aii">wsdli:wsdlLocation attribute information item</a><br>8. <a href="#conformance">Conformance</a><br> 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> &nbs;10.1 <a href="#Normative-References">Normative References</a><br> 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> A.1 <a href="#ietf-reg">Registration</a><br> A.2 <a href="#frag-ids">Fragment Identifiers</a><br> A.2.1 <a href="#wsdl.description">The Description Component</a><br> A.2.2 <a href="#wsdl.elementDeclaration">The Element Declaration Component</a><br> A.2.3 <a href="#wsdl.typeDefinition">The Type Definition Component</a><br> A.2.4 <a href="#wsdl.interface">The Interface Component</a><br> A.2.5 <a href="#wsdl.interfaceFault">The Interface Fault Component</a><br> A.2.6 <a href="#wsdl.interfaceOperation">The Interface Operation Component</a><br> &bsp; A.2.7 <a href="#wsdl.interfaceMessageReference">The Interface Message Reference Component</a><br> A.2.8 <a href="#wsdl.interfaceFaultReference">The Interface Fault Reference Component</a><br> A.2.9 <a href="#wsdl.binding">The Binding Component</a><br> A.2.10 <a href="#wsdl.bindingFault">The Binding Fault Component</a><br> A.2.11 <a href="#wsdl.bindingOperation">The Binding Operation Component</a><br> A.2.12 <a href="#wsdl.bindingMessageReference">The Binding Message Reference Component</a><br> A.2.13 <a href="#wsdl.bindingFaultReference">The Binding Fault Reference Component</a><br> A.2.14 <a href="#wsdl.service">The Service Component</a><br>&nbp; A.2.15 <a href="#wsdl.endpoint">The Endpoint Component</a><br> A.2.16 <a href="#wsdl.feature">The Feature Component</a><br> A.2.17 <a href="#wsdl.property">The Property Component</a><br> A.2.18 <a href="#wsdl.extension">Extension Components</a><br> 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> C.1 <a href="#wsdl-iris">WSDL 2.0 IRIs</a><br> 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> &nbs; 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 UTC