- From: Arthur Ryman via cvs-syncmail <cvsmail@w3.org>
- Date: Thu, 17 Nov 2005 04:15:11 +0000
- To: public-ws-desc-eds@w3.org
Update of /sources/public/2002/ws/desc/wsdl20
In directory hutz:/tmp/cvs-serv21931/wsdl20
Modified Files:
wsdl20.tex wsdl20-z-ie.html wsdl20-z.html wsdl20.html
wsdl20-adjuncts.html wsdl20.xml wsdl20-primer.html
Log Message:
Improved formatting for Z Notation for fragment identifiers.
Index: wsdl20-z-ie.html
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20-z-ie.html,v
retrieving revision 1.58
retrieving revision 1.59
diff -C2 -d -r1.58 -r1.59
*** wsdl20-z-ie.html 16 Nov 2005 23:02:45 -0000 1.58
--- wsdl20-z-ie.html 17 Nov 2005 04:15:02 -0000 1.59
***************
*** 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="#N1727B">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="#xmlSchemaAnyURI">XML Schema anyURI</a><br> 1.4.4 <a href="#nsprefixes">Prefixes and Namespaces Used in This Specification</a><br> 1.4.5 <a href="#terminology">Terms Used in This Specification</a><br> &nbp; 1.4.6 <a href="#xmlinfosetproperties">XML Information Set Properties</a><br> 1.4.7 <a href="#wsdlcomponentmodelproperties">WSDL 2.0 Component Model Properties</a><br> 1.4.8 <a href="#znotation">Z Notation</a><br> 1.4.9 <a href="#bnfpseudoschemas">BNF Pseudo-Schemas</a><br> 1.4.10 <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_attriute">targetNamespace attribute information item</a><br> 2.1.3 <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="#N17297">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="#xmlSchemaAnyURI">XML Schema anyURI</a><br> 1.4.4 <a href="#nsprefixes">Prefixes and Namespaces Used in This Specification</a><br> 1.4.5 <a href="#terminology">Terms Used in This Specification</a><br> &nbp; 1.4.6 <a href="#xmlinfosetproperties">XML Information Set Properties</a><br> 1.4.7 <a href="#wsdlcomponentmodelproperties">WSDL 2.0 Component Model Properties</a><br> 1.4.8 <a href="#znotation">Z Notation</a><br> 1.4.9 <a href="#bnfpseudoschemas">BNF Pseudo-Schemas</a><br> 1.4.10 <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_attriute">targetNamespace attribute information item</a><br> 2.1.3 <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="#N1727B">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="#N17297">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">
***************
*** 383,387 ****
with an attribute information item which corresponds to
its normalized value. This will often be a string, but may also be
! an integer, a boolean, a IRI reference, etc.</p></dd>
--- 383,387 ----
with an attribute information item which corresponds to
its normalized value. This will often be a string, but may also be
! an integer, a boolean, an IRI-reference, etc.</p></dd>
***************
*** 611,614 ****
--- 611,615 ----
or a set of references to other components. Every component
contains an unique identifier that is used to express
+
references.
</p>
***************
*** 10574,10579 ****
</p>
<p>
! A WSDL 2.0 fragment identifier consists of zero or more xmlns pointer parts
! followed by a pointer part as defined below.
The pointer parts have a scheme name that corresponds to one
of the standard WSDL 2.0 component types, and scheme data that is a path composed
--- 10575,10580 ----
</p>
<p>
! A WSDL 2.0 fragment identifier consists of zero or more <code>xmlns</code> pointer parts
! followed by a WSDL 2.0 pointer part as defined below.
The pointer parts have a scheme name that corresponds to one
of the standard WSDL 2.0 component types, and scheme data that is a path composed
***************
*** 10583,10586 ****
--- 10584,10589 ----
The names in the path are of type either QName, NCName,
IRI, URI, or Pointer Part depending on the context.
+ The scheme data for extension components is defined by the
+ corresponding extension specification.
</p>
<p>
***************
*** 10791,10804 ****
component model.</p>
- <a name="zed-ExtensionIdentifier"></a><div id="twisty-head-zed-ExtensionIdentifier" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-ExtensionIdentifier')">ExtensionIdentifier</a>...</div><div id="twisty-body-zed-ExtensionIdentifier" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-ExtensionIdentifier')">ExtensionIdentifier</a> [ <a onClick="showAll()" href="#zed-ExtensionIdentifier">show all</a> ] [ <a onClick="hideAll()" href="#zed-ExtensionIdentifier">hide all</a> ]<br>
- <p>
- Let
- <span class="zi">ExtensionIdentifier</span>
- be the set of all identifiers for extension components.
- The syntax of identifiers is defined by each extension.
- </p>
- <table class="zzed"><col class="zzed1"><tbody><tr><td>[<span class="zi">ExtensionIdentifier</span>]</td></tr></tbody></table>
- </div>
-
<a name="zed-ComponentID"></a><div id="twisty-head-zed-ComponentID" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-ComponentID')">ComponentID</a>...</div><div id="twisty-body-zed-ComponentID" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-ComponentID')">ComponentID</a> [ <a onClick="showAll()" href="#zed-ComponentID">show all</a> ] [ <a onClick="hideAll()" href="#zed-ComponentID">hide all</a> ]<br>
--- 10794,10797 ----
***************
*** 10819,10824 ****
<p>
! An IRI reference consists of a IRI and a fragment identifier.
! URI references for WSDL 2.0 documents consist of a IRI that
dereferences to a resource whose media type is
<code>application/wsdl+xml</code>
--- 10812,10817 ----
<p>
! An IRI-reference consists of an IRI and a fragment identifier.
! IRI-references for WSDL 2.0 documents consist of an IRI that
dereferences to a resource whose media type is
<code>application/wsdl+xml</code>
***************
*** 10828,10833 ****
terms of
<em>component designators</em>
! which are themselves IRI references. The component designator
! for a WSDL 2.0 document IRI reference is formed by replacing
the WSDL 2.0 document IRI by the target namespace IRI of the
WSDL 2.0 document. The WSDL 2.0 pointer parts are interpretted
--- 10821,10826 ----
terms of
<em>component designators</em>
! which are themselves IRI-references. The component designator
! for a WSDL 2.0 document IRI-reference is formed by replacing
the WSDL 2.0 document IRI by the target namespace IRI of the
WSDL 2.0 document. The WSDL 2.0 pointer parts are interpretted
***************
*** 10844,10848 ****
components are not associated with any WSDL 2.0 namespace,
however, for the purpose of constructing component designator
! IRI references, we assign them the context namespace. In
general, a WSDL 2.0 document may import other WSDL 2.0
namespaces, and the IRI of component designators for WSDL 2.0
--- 10837,10841 ----
components are not associated with any WSDL 2.0 namespace,
however, for the purpose of constructing component designator
! IRI-references, we assign them the context namespace. In
general, a WSDL 2.0 document may import other WSDL 2.0
namespaces, and the IRI of component designators for WSDL 2.0
***************
*** 10878,10881 ****
--- 10871,10887 ----
</div>
+ <a name="zed-ExtensionIdentifier"></a><div id="twisty-head-zed-ExtensionIdentifier" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-ExtensionIdentifier')">ExtensionIdentifier</a>...</div><div id="twisty-body-zed-ExtensionIdentifier" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-ExtensionIdentifier')">ExtensionIdentifier</a> [ <a onClick="showAll()" href="#zed-ExtensionIdentifier">show all</a> ] [ <a onClick="hideAll()" href="#zed-ExtensionIdentifier">hide all</a> ]<br>
+ <p>
+ The syntax of extension component identifiers is defined by
+ the corresponding extension specification.
+ </p>
+ <p>
+ Let
+ <span class="zi">ExtensionIdentifier</span>
+ be the set of all identifiers for extension components:
+ </p>
+ <table class="zzed"><col class="zzed1"><tbody><tr><td>[<span class="zi">ExtensionIdentifier</span>]</td></tr></tbody></table>
+ </div>
+
<a name="zed-wsdlPointerPart"></a><div id="twisty-head-zed-wsdlPointerPart" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-wsdlPointerPart')">wsdlPointerPart</a>...</div><div id="twisty-body-zed-wsdlPointerPart" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-wsdlPointerPart')">wsdlPointerPart</a> [ <a onClick="showAll()" href="#zed-wsdlPointerPart">show all</a> ] [ <a onClick="hideAll()" href="#zed-wsdlPointerPart">hide all</a> ]<br>
***************
*** 10923,10927 ****
</p>
! <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix"><span class="symbol">"</span></span><span class="zi">ComponentContext</span> <span class="zinfix"><span class="symbol">·</span></span></td></tr><tr><td> <span class="zi">id</span><span class="zinfix"><span class="symbol">Î</span></span><span class="zi">descriptionIds</span><span class="zinfix"><span class="mathc">u</span></span><span class="zi">componentNamespace</span>(<span class="zprefix"><span class="zi"><span class="symbol">q</span></span></span><span class="zi">ComponentContext</span>) <span class="zinfix">=</span> <span class="zi">contextNamespace</span></td></tr></tbody></table>
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentContext">ComponentContext</a>, <a href="#zed-componentNamespace">componentNamespace</a>.</span></span></div>
--- 10929,10933 ----
</p>
! <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix"><span class="symbol">"</span></span><span class="zi">ComponentContext</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">id</span><span class="zinfix"><span class="symbol">Î</span></span><span class="zi">descriptionIds</span> <span class="zinfix"><span class="symbol">·</span></span></td></tr><tr><td> <span class="zi">componentNamespace</span>(<span class="zprefix"><span class="zi"><span class="symbol">q</span></span></span><span class="zi">ComponentContext</span>) <span class="zinfix">=</span></td></tr><tr><td> <span class="zi">contextNamespace</span></td></tr></tbody></table>
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentContext">ComponentContext</a>, <a href="#zed-componentNamespace">componentNamespace</a>.</span></span></div>
***************
*** 10934,10938 ****
</p>
! <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix"><span class="symbol">"</span></span><span class="zi">ComponentID</span> <span class="zinfix"><span class="symbol">·</span></span></td></tr><tr><td> <span class="zi">id</span><span class="zinfix"><span class="symbol">Î</span></span><span class="zi">descriptionIds</span><span class="zinfix"><span class="mathc">u</span></span></td></tr><tr><td> <span class="zi">pointerPart</span>(<span class="zprefix"><span class="zi"><span class="symbol">q</span></span></span><span class="zi">ComponentID</span>) <span class="zinfix">=</span></td></tr><tr><td> <span class="zi">wsdlDescription</span></td></tr></tbody></table>
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentID">ComponentID</a>, <a href="#zed-pointerPart">pointerPart</a>, <a href="#zed-wsdlPointerPart">wsdlPointerPart</a>.</span></span></div>
--- 10940,10944 ----
</p>
! <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix"><span class="symbol">"</span></span><span class="zi">ComponentID</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">id</span><span class="zinfix"><span class="symbol">Î</span></span><span class="zi">descriptionIds</span> <span class="zinfix"><span class="symbol">·</span></span></td></tr><tr><td> <span class="zi">pointerPart</span>(<span class="zprefix"><span class="zi"><span class="symbol">q</span></span></span><span class="zi">ComponentID</span>) <span class="zinfix">=</span></td></tr><tr><td> <span class="zi">wsdlDescription</span></td></tr></tbody></table>
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentID">ComponentID</a>, <a href="#zed-pointerPart">pointerPart</a>, <a href="#zed-wsdlPointerPart">wsdlPointerPart</a>.</span></span></div>
***************
*** 11020,11024 ****
</p>
! <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix"><span class="symbol">"</span></span><span class="zi">ComponentContext</span> <span class="zinfix"><span class="symbol">·</span></span></td></tr><tr><td> <span class="zi">id</span><span class="zinfix"><span class="symbol">Î</span></span><span class="zi">elementDeclIds</span><span class="zinfix"><span class="mathc">u</span></span></td></tr><tr><td> <span class="zi">componentNamespace</span>(<span class="zprefix"><span class="zi"><span class="symbol">q</span></span></span><span class="zi">ComponentContext</span>) <span class="zinfix">=</span> <span class="zi">contextNamespace</span></td></tr></tbody></table>
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentContext">ComponentContext</a>.</span></span></div>
--- 11026,11030 ----
</p>
! <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix"><span class="symbol">"</span></span><span class="zi">ComponentContext</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">id</span><span class="zinfix"><span class="symbol">Î</span></span><span class="zi">elementDeclIds</span> <span class="zinfix"><span class="symbol">·</span></span></td></tr><tr><td> <span class="zi">componentNamespace</span>(<span class="zprefix"><span class="zi"><span class="symbol">q</span></span></span><span class="zi">ComponentContext</span>) <span class="zinfix">=</span></td></tr><tr><td> <span class="zi">contextNamespace</span></td></tr></tbody></table>
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentContext">ComponentContext</a>.</span></span></div>
***************
*** 11031,11037 ****
</p>
! <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix"><span class="symbol">"</span></span><span class="zi">ElementDeclDesignator</span>; <span class="zi">id</span> <span class="zinfix">:</span> <span class="zi">ID</span> <span class="zinfix"><span class="symbol">·</span></span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">elementDeclComp</span>.<span class="zi">id</span><span class="zinfix"><span class="mathc">u</span></span></td></tr><tr><td> <span class="zi">pointerPart</span>(<span class="zprefix"><span class="zi"><span class="symbol">q</span></span></span><span class="zi">ComponentID</span>) <span class="zinfix">=</span></td></tr><tr><td> <span class="zi">wsdlElementDeclaration</span>(<span class="zi">element</span><span class="zprefix">,</span> <span class="zi">system</span>)</td><tr></tbody></table>
! <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ElementDeclDesignator">ElementDeclDesignator</a>, <a href="#zed-ID">ID</a>, <a href="#zed-ComponentID">ComponentID</a>, <a href="#zed-pointerPart">pointerPart</a>, <a href="#zed-wsdlPointerPart">wsdlPointerPart</a>.</span></span></div>
</div>
--- 11037,11043 ----
</p>
! <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix"><span class="symbol">"</span></span><span class="zi">ElementDeclDesignator</span>;</td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">:</span> <span class="zi">ID</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">elementDeclComp</span>.<span class="zi">id</span> <span class="zinfix"><span class="symbol">·</span></span></td></tr><tr><td> <span class="zi">pointerPart</span>(<span class="zprefix"><span class="zi"><span class="symbol">q</span></span></span><span class="zi">ComponentID</span>) <span class="zinfix">=</span></td></tr><tr><td> <span class="zi">wsdlElementDeclaration</span>(<span class="zi">element</span><span class="zprefix">,</span> <span clas="zi">system</span>)</td></tr></tbody></table>
! <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ElementDeclDesignator">ElementDeclDesignator</a>, <a href="#zed-ID">ID</a>, <a href="#zed-pointerPart">pointerPart</a>, <a href="#zed-ComponentID">ComponentID</a>, <a href="#zed-wsdlPointerPart">wsdlPointerPart</a>.</span></span></div>
</div>
***************
*** 11106,11110 ****
</p>
! <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix"><span class="symbol">"</span></span><span class="zi">ComponentContext</span> <span class="zinfix"><span class="symbol">·</span></span></td></tr><tr><td> <span class="zi">id</span><span class="zinfix"><span class="symbol">Î</span></span><span class="zi">typeDefIds</span><span class="zinfix"><span class="mathc">u</span></span></td></tr><tr><td> <span class="zi">componentNamespace</span>(<span class="zprefix"><span class="zi"><span class="symbol">q</span></span></span><span class="zi">ComponentContext</span>) <span class="zinfix">=</span> <span class="zi">contextNamespace</span></td></tr></tbody></table>
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentContext">ComponentContext</a>, <a href="#zed-componentNamespace">componentNamespace</a>.</span></span></div>
--- 11112,11116 ----
</p>
! <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix"><span class="symbol">"</span></span><span class="zi">ComponentContext</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">id</span><span class="zinfix"><span class="symbol">Î</span></span><span class="zi">typeDefIds</span> <span class="zinfix"><span class="symbol">·</span></span></td></tr><tr><td> <span class="zi">componentNamespace</span>(<span class="zprefix"><span class="zi"><span class="symbol">q</span></span></span><span class="zi">ComponentContext</span>) <span class="zinfix">=</span></td></tr><tr><td> <span class="zi">contextNamespace</span></td></tr></tbody></table>
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentContext">ComponentContext</a>, <a href="#zed-componentNamespace">componentNamespace</a>.</span></span></div>
***************
*** 11117,11121 ****
</p>
! <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix"><span class="symbol">"</span></span><span class="zi">TypeDefDesignator</span>; <span class="zi">id</span> <span class="zinfix">:</span> <span class="zi">ID</span> <span class="zinfix"><span class="symbol">·</span></span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">typeDefComp</span>.<span class="zi">id</span><span class="zinfix"><span class="mathc">u</span></span></td></tr><tr><td> <span class="zi">pointerPart</span>(<span class="zprefix"><span class="zi"><span class="symbol">q</span></span></span><span class="zi">ComponentID</span>) <span class="zinfix">=</span></td></tr><tr><td> <span class="zi">wsdlTypeDefinition</span>(<span class="zi">type</span><span class="zprefix">,</span> <span class="zi">system</span>)</td></tr></tbody></tble>
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-TypeDefDesignator">TypeDefDesignator</a>, <a href="#zed-ID">ID</a>, <a href="#zed-pointerPart">pointerPart</a>, <a href="#zed-ComponentID">ComponentID</a>, <a href="#zed-wsdlPointerPart">wsdlPointerPart</a>.</span></span></div>
--- 11123,11127 ----
</p>
! <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix"><span class="symbol">"</span></span><span class="zi">TypeDefDesignator</span>; <span class="zi">id</span> <span class="zinfix">:</span> <span class="zi">ID</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">typeDefComp</span>.<span class="zi">id</span> <span class="zinfix"><span class="symbol">·</span></span></td></tr><tr><td> <span class="zi">pointerPart</span>(<span class="zprefix"><span class="zi"><span class="symbol">q</span></span></span><span class="zi">ComponentID</span>) <span class="zinfix">=</span></td></tr><tr><td> <span class="zi">wsdlTypeDefinition</span>(<span class="zi">type</span><span class="zprefix">,</span> <span class="zi">system</span>)</td></tr></tbody></table>
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-TypeDefDesignator">TypeDefDesignator</a>, <a href="#zed-ID">ID</a>, <a href="#zed-pointerPart">pointerPart</a>, <a href="#zed-ComponentID">ComponentID</a>, <a href="#zed-wsdlPointerPart">wsdlPointerPart</a>.</span></span></div>
***************
*** 11179,11183 ****
</p>
! <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix"><span class="symbol">"</span></span><span class="zi">ComponentContext</span>;</td></tr><tr><td> <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Interface</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">x</span><span class="zinfix"><span class="symbol">Î</span></span><span class="zi">interfaceComps</span><span class="zinfix"><span class="mathb">.</span></span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span> <span class="zinfix"><span class="symbol">·</span></span></td></tr><tr><td> <span class="zi">componentNamespace</span>(<span class="zprefix"><span class="zi"><span class="symbol">q</span></span></span><span cass="zi">ComponentContext</span>) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">name</span>.<span class="zi">namespaceName</span></td></tr></tbody></table>
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentContext">ComponentContext</a>, <a href="#zed-Interface">Interface</a>, <a href="#zed-componentNamespace">componentNamespace</a>.</span></span></div>
--- 11185,11189 ----
</p>
! <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix"><span class="symbol">"</span></span><span class="zi">ComponentContext</span>;</td></tr><tr><td> <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Interface</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">x</span><span class="zinfix"><span class="symbol">Î</span></span><span class="zi">interfaceComps</span><span class="zinfix"><span class="mathb">.</span></span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span> <span class="zinfix"><span class="symbol">·</span></span></td></tr><tr><td> <span class="zi">componentNamespace</span>(<span class="zprefix"><span class="zi"><span class="symbol">q</span></span></span><span class="zi">ComponentContext</span>) <pan class="zinfix">=</span></td></tr><tr><td> <span class="zi">x</span>.<span class="zi">name</span>.<span class="zi">namespaceName</span></td></tr></tbody></table>
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentContext">ComponentContext</a>, <a href="#zed-Interface">Interface</a>, <a href="#zed-componentNamespace">componentNamespace</a>.</span></span></div>
***************
*** 11190,11194 ****
</p>
! <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix"><span class="symbol">"</span></span><span class="zi">InterfaceDesignator</span>; <span class="zi">id</span> <span class="zinfix">:</span> <span class="zi">ID</span> <span class="zinfix"><span class="symbol">·</span></span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">interfaceComp</span>.<span class="zi">id</span><span class="zinfix"><span class="mathc">u</span></span></td></tr><tr><td> <span class="zi">pointerPart</span>(<span class="zprefix"><span class="zi"><span class="symbol">q</span></span></span><span class="zi">ComponentID</span>) <span class="zinfix">=</span></td></tr><tr><td> <span class="zi">wsdlInterface</span>(<span class="zi">interface</span>)</td></tr></tbody></table>
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-InterfaceDesignator">InterfaceDesignator</a>, <a href="#zed-ID">ID</a>, <a href="#zed-pointerPart">pointerPart</a>, <a href="#zed-ComponentID">ComponentID</a>, <a href="#zed-wsdlPointerPart">wsdlPointerPart</a>.</span></span></div>
--- 11196,11200 ----
</p>
! <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix"><span class="symbol">"</span></span><span class="zi">InterfaceDesignator</span>;</td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">:</span> <span class="zi">ID</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">interfaceComp</span>.<span class="zi">id</span> <span class="zinfix"><span class="symbol">·</span></span></td></tr><tr><td> <span class="zi">pointerPart</span>(<span class="zprefix"><span class="zi"><span class="symbol">q</span></span></span><span class="zi">ComponentID</span>) <span class="zinfix">=</span></td></tr><tr><td> <span class="zi">wsdlInterface</span>(<span class="zi">interface</span>)</td></tr></tbody></table>
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-InterfaceDesignator">InterfaceDesignator</a>, <a href="#zed-ID">ID</a>, <a href="#zed-pointerPart">pointerPart</a>, <a href="#zed-ComponentID">ComponentID</a>, <a href="#zed-wsdlPointerPart">wsdlPointerPart</a>.</span></span></div>
***************
*** 11247,11251 ****
Let <span class="zi">InterfaceFaultDesignator</span>
express the association between an <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a>
! component and pointer part arguments:
</p>
--- 11253,11257 ----
Let <span class="zi">InterfaceFaultDesignator</span>
express the association between an <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a>
! component and its pointer part arguments:
</p>
***************
*** 11275,11279 ****
</p>
! <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix"><span class="symbol">"</span></span><span class="zi">InterfaceFaultDesignator</span>; <span class="zi">id</span> <span class="zinfix">:</span> <span class="zi">ID</span> <span class="zinfix"><span class="symbol">·</span></span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">interfaceFaultComp</span>.<span class="zi">id</span><span class="zinfix"><span class="mathc">u</span></span></td></tr><tr><td> <span class="zi">pointerPart</span>(<span class="zprefix"><span class="zi"><span class="symbol">q</span></span></span><span class="zi">ComponentID</span>) <span class="zinfix">=</span></td></tr><tr><td> <span class="zi">wsdlInterfaceFault</span>(<span class="zi">interface</span><span class="zprefix">,</span> <span class="zi">fault</span>)</t></tr></tbody></table>
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-InterfaceFaultDesignator">InterfaceFaultDesignator</a>, <a href="#zed-ID">ID</a>, <a href="#zed-pointerPart">pointerPart</a>, <a href="#zed-ComponentID">ComponentID</a>, <a href="#zed-wsdlPointerPart">wsdlPointerPart</a>.</span></span></div>
--- 11281,11285 ----
</p>
! <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix"><span class="symbol">"</span></span><span class="zi">InterfaceFaultDesignator</span>;</td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">:</span> <span class="zi">ID</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">interfaceFaultComp</span>.<span class="zi">id</span> <span class="zinfix"><span class="symbol">·</span></span></td></tr><tr><td> <span class="zi">pointerPart</span>(<span class="zprefix"><span class="zi"><span class="symbol">q</span></span></span><span class="zi">ComponentID</span>) <span class="zinfix">=</span></td></tr><tr><td> <span class="zi">wsdlInterfaceFault</span>(<span class="zi">interface</span><span class="zprefix">,</span> <span lass="zi">fault</span>)</td></tr></tbody></table>
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-InterfaceFaultDesignator">InterfaceFaultDesignator</a>, <a href="#zed-ID">ID</a>, <a href="#zed-pointerPart">pointerPart</a>, <a href="#zed-ComponentID">ComponentID</a>, <a href="#zed-wsdlPointerPart">wsdlPointerPart</a>.</span></span></div>
***************
*** 11332,11336 ****
Let <span class="zi">InterfaceOpDesignator</span>
express the association between an <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a>
! component and pointer part arguments:
</p>
--- 11338,11342 ----
Let <span class="zi">InterfaceOpDesignator</span>
express the association between an <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a>
! component and its pointer part arguments:
</p>
***************
*** 11351,11355 ****
<table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix"><span class="symbol">"</span></span><span class="zi">ComponentContext</span>;</td></tr><tr><td> <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">InterfaceOperation</span>;</td></tr><tr><td> <span class="zi">parentContext</span> <span class="zinfix">:</span> <span class="zi">ComponentContext</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">x</span><span class="zinfix"><span class="symbol">Î</span></span><span class="zi">interfaceOpComps</span><span class="zinfix"><span class="mathb">.</span></span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span><span class="zinfix"><span class="mathb">.</span></span></td></tr><tr><td> <spn class="zi">parentContext</span> <span class="zinfix">=</span> (<span class="zprefix"><span class="zi"><span class="symbol">m</span></span></span><span class="zi">id</span> <span class="zinfix">:</span> <span class="zi">ID</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span> <span class="zinfix"><span class="symbol">·</span></span><span class="zprefix"><span class="zi"><span class="symbol">q</span></span></span><span class="zi">ComponentContext</span>) <span class="zinfix"><span class="symbol">·</span></span></td></tr><tr><td> <span class="zi">componentNamespace</span>(<span class="zprefix"><span class="zi"><span class="symbol">q</span></span></span><span class="zi">ComponentContext</span>) <span class="zinfix">=</span></td></tr><tr><td> &nsp; <span class="zi">componentNamespace</span>(<span class="zi">parentContext</span>)</td></tr></tbody></table>
! <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentContext">ComponentContext</a>, <a href="#zed-InterfaceOperation">InterfaceOperation</a>, <a href="#zed-componentNamespace">componentNamespace</a>, <a href="#zed-ID">ID</a>.</span></span></div>
<p>
--- 11357,11361 ----
<table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix"><span class="symbol">"</span></span><span class="zi">ComponentContext</span>;</td></tr><tr><td> <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">InterfaceOperation</span>;</td></tr><tr><td> <span class="zi">parentContext</span> <span class="zinfix">:</span> <span class="zi">ComponentContext</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">x</span><span class="zinfix"><span class="symbol">Î</span></span><span class="zi">interfaceOpComps</span><span class="zinfix"><span class="mathb">.</span></span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span><span class="zinfix"><span class="mathb">.</span></span></td></tr><tr><td> <spn class="zi">parentContext</span> <span class="zinfix">=</span> (<span class="zprefix"><span class="zi"><span class="symbol">m</span></span></span><span class="zi">id</span> <span class="zinfix">:</span> <span class="zi">ID</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span> <span class="zinfix"><span class="symbol">·</span></span><span class="zprefix"><span class="zi"><span class="symbol">q</span></span></span><span class="zi">ComponentContext</span>) <span class="zinfix"><span class="symbol">·</span></span></td></tr><tr><td> <span class="zi">componentNamespace</span>(<span class="zprefix"><span class="zi"><span class="symbol">q</span></span></span><span class="zi">ComponentContext</span>) <span class="zinfix">=</span></td></tr><tr><td> &nsp; <span class="zi">componentNamespace</span>(<span class="zi">parentContext</span>)</td></tr></tbody></table>
! <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentContext">ComponentContext</a>, <a href="#zed-InterfaceOperation">InterfaceOperation</a>, <a href="#zed-ID">ID</a>, <a href="#zed-componentNamespace">componentNamespace</a>.</span></span></div>
<p>
***************
*** 11362,11366 ****
<table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix"><span class="symbol">"</span></span><span class="zi">InterfaceOpDesignator</span>;</td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">:</span> <span class="zi">ID</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">interfaceOpComp</span>.<span class="zi">id</span> <span class="zinfix"><span class="symbol">·</span></span></td></tr><tr><td> <span class="zi">pointerPart</span>(<span class="zprefix"><span class="zi"><span class="symbol">q</span></span></span><span class="zi">ComponentID</span>) <span class="zinfix">=</span></td></tr><tr><td> <span class="zi">wsdlInterfaceOperation</span>(<span class="zi">interface</span><span class="zprefix">,</span> <span clss="zi">operation</span>)</td></tr></tbody></table>
! <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-InterfaceOperationDesignator">InterfaceOperationDesignator</a>, <a href="#zed-ComponentModel">ComponentModel</a>, <a href="#zed-wsdlPointerPart">wsdlPointerPart</a>.</span></span></div>
</div>
--- 11368,11372 ----
<table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix"><span class="symbol">"</span></span><span class="zi">InterfaceOpDesignator</span>;</td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">:</span> <span class="zi">ID</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">interfaceOpComp</span>.<span class="zi">id</span> <span class="zinfix"><span class="symbol">·</span></span></td></tr><tr><td> <span class="zi">pointerPart</span>(<span class="zprefix"><span class="zi"><span class="symbol">q</span></span></span><span class="zi">ComponentID</span>) <span class="zinfix">=</span></td></tr><tr><td> <span class="zi">wsdlInterfaceOperation</span>(<span class="zi">interface</span><span class="zprefix">,</span> <span clss="zi">operation</span>)</td></tr></tbody></table>
! <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-InterfaceOpDesignator">InterfaceOpDesignator</a>, <a href="#zed-ID">ID</a>, <a href="#zed-ComponentID">ComponentID</a>, <a href="#zed-wsdlPointerPart">wsdlPointerPart</a>.</span></span></div>
</div>
***************
*** 11429,11433 ****
Let <span class="zi">InterfaceMessageRefDesignator</span>
express the association between an <a href="wsdl20.html#component-InterfaceMessageReference">Interface Message Reference</a>
! component and its pointer part:
</p>
--- 11435,11439 ----
Let <span class="zi">InterfaceMessageRefDesignator</span>
express the association between an <a href="wsdl20.html#component-InterfaceMessageReference">Interface Message Reference</a>
! component and its pointer part arguments:
</p>
***************
*** 11459,11463 ****
<table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix"><span class="symbol">"</span></span><span class="zi">InterfaceMessageRefDesignator</span>;</td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">:</span> <span class="zi">ID</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">interfaceMessageRefComp</span>.<span class="zi">id</span> <span class="zinfix"><span class="symbol">·</span></span></td></tr><tr><td> <span class="zi">pointerPart</span>(<span class="zprefix"><span class="zi"><span class="symbol">q</span></span></span><span class="zi">ComponentID</span>) <span class="zinfix">=</span></td></tr><tr><td> <span class="zi">wsdlInterfaceMessageReference</span>(<span class="zi">interface</span><span class="zprfix">,</span> <span class="zi">operation</span><span class="zprefix">,</span> <span class="zi">message</span>)</td></tr></tbody></table>
! <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-InterfaceMessageRefDesignator">InterfaceMessageRefDesignator</a>, <a href="#zed-ComponentID">ComponentID</a>, <a href="#zed-pointerPart">pointerPart</a>, <a href="#zed-wsdlPointerPart">wsdlPointerPart</a>.</span></span></div>
</div>
--- 11465,11469 ----
<table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix"><span class="symbol">"</span></span><span class="zi">InterfaceMessageRefDesignator</span>;</td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">:</span> <span class="zi">ID</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">interfaceMessageRefComp</span>.<span class="zi">id</span> <span class="zinfix"><span class="symbol">·</span></span></td></tr><tr><td> <span class="zi">pointerPart</span>(<span class="zprefix"><span class="zi"><span class="symbol">q</span></span></span><span class="zi">ComponentID</span>) <span class="zinfix">=</span></td></tr><tr><td> <span class="zi">wsdlInterfaceMessageReference</span>(<span class="zi">interface</span><span class="zprfix">,</span> <span class="zi">operation</span><span class="zprefix">,</span> <span class="zi">message</span>)</td></tr></tbody></table>
! <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-InterfaceMessageRefDesignator">InterfaceMessageRefDesignator</a>, <a href="#zed-ID">ID</a>, <a href="#zed-pointerPart">pointerPart</a>, <a href="#zed-ComponentID">ComponentID</a>, <a href="#zed-wsdlPointerPart">wsdlPointerPart</a>.</span></span></div>
</div>
***************
*** 11534,11538 ****
<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">InterfaceFaultRefArgs</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">InterfaceOpArgs</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">message</span> <span class="zinfix">:</span> <span class="zi">NCName</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">fault</span> <span class="zinfix">:</span> <span class="zi">QName</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-QName">QName</a>.</span></span></div>
</div>
--- 11540,11544 ----
<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">InterfaceFaultRefArgs</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">InterfaceOpArgs</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">message</span> <span class="zinfix">:</span> <span class="zi">NCName</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">fault</span> <span class="zinfix">:</span> <span class="zi">QName</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-InterfaceOpArgs">InterfaceOpArgs</a>, <a href="#zed-NCName">NCName</a>, <a href="#zed-QName">QName</a>.</span></span></div>
</div>
***************
*** 11542,11546 ****
Let <span class="zi">InterfaceFaultRefDesignator</span>
express the association between an <a href="wsdl20.html#component-InterfaceFaultReference">Interface Fault Reference</a>
! component and pointer part arguments:
</p>
--- 11548,11552 ----
Let <span class="zi">InterfaceFaultRefDesignator</span>
express the association between an <a href="wsdl20.html#component-InterfaceFaultReference">Interface Fault Reference</a>
! component and its pointer part arguments:
</p>
***************
*** 11615,11619 ****
Let <span class="zi">BindingDesignator</span>
express the association between a <a href="wsdl20.html#component-Binding">Binding</a>
! component and pointer part arguments:
</p>
--- 11621,11625 ----
Let <span class="zi">BindingDesignator</span>
express the association between a <a href="wsdl20.html#component-Binding">Binding</a>
! component and its pointer part arguments:
</p>
***************
*** 11635,11639 ****
</p>
! <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix"><span class="symbol">"</span></span><span class="zi">ComponentContext</span>;</td></tr><tr><td> <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Binding</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">x</span><span class="zinfix"><span class="symbol">Î</span></span><span class="zi">bindingComps</span><span class="zinfix"><span class="mathb">.</span></span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span> <span class="zinfix"><span class="symbol">·</span></span></td></tr><tr><td> <span class="zi">componentNamespace</span>(<span class="zprefix"><span class="zi"><span class="symbol">q</span></span></span><span class"zi">ComponentContext</span>) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">name</span>.<span class="zi">namespaceName</span></td></tr></tbody></table>
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentContext">ComponentContext</a>, <a href="#zed-Binding">Binding</a>, <a href="#zed-componentNamespace">componentNamespace</a>.</span></span></div>
--- 11641,11645 ----
</p>
! <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix"><span class="symbol">"</span></span><span class="zi">ComponentContext</span>;</td></tr><tr><td> <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Binding</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">x</span><span class="zinfix"><span class="symbol">Î</span></span><span class="zi">bindingComps</span><span class="zinfix"><span class="mathb">.</span></span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span> <span class="zinfix"><span class="symbol">·</span></span></td></tr><tr><td> <span class="zi">componentNamespace</span>(<span class="zprefix"><span class="zi"><span class="symbol">q</span></span></span><span class="zi">ComponentContext</span>) <spanclass="zinfix">=</span></td></tr><tr><td> <span class="zi">x</span>.<span class="zi">name</span>.<span class="zi">namespaceName</span></td></tr></tbody></table>
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentContext">ComponentContext</a>, <a href="#zed-Binding">Binding</a>, <a href="#zed-componentNamespace">componentNamespace</a>.</span></span></div>
***************
*** 11720,11724 ****
Let <span class="zi">BindingFaultDesignator</span>
express the association between a <a href="wsdl20.html#component-BindingFault">Binding Fault</a>
! component and pointer part arguments:
</p>
--- 11726,11730 ----
Let <span class="zi">BindingFaultDesignator</span>
express the association between a <a href="wsdl20.html#component-BindingFault">Binding Fault</a>
! component and its pointer part arguments:
</p>
***************
*** 11809,11814 ****
Let <span class="zi">BindingOpDesignator</span>
express the association between a <a href="wsdl20.html#component-BindingOperation">Binding Operation</a>
! component and the IRI reference formed
! by a namespace IRI and a binding operation arguments:
</p>
--- 11815,11819 ----
Let <span class="zi">BindingOpDesignator</span>
express the association between a <a href="wsdl20.html#component-BindingOperation">Binding Operation</a>
! component and its pointer part arguments:
</p>
***************
*** 11838,11842 ****
</p>
! <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix"><span class="symbol">"</span></span><span class="zi">BindingOpDesignator</span>; <span class="zi">id</span> <span class="zinfix">:</span> <span class="zi">ID</span> <span class="zinfix"><span class="symbol">·</span></span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">bindingOpComp</span>.<span class="zi">id</span><span class="zinfix"><span class="mathc">u</span></span></td></tr><tr><td> <span class="zi">pointerPart</span>(<span class="zprefix"><span class="zi"><span class="symbol">q</span></span></span><span class="zi">ComponentID</span>) <span class="zinfix">=</span></td></tr><tr><td> <span class="zi">wsdlBindingOperation</span>(<span class="zi">binding</span><span class="zprefix">,</span> <span class="zi">operation</span>)</td></tr</tbody></table>
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-BindingOpDesignator">BindingOpDesignator</a>, <a href="#zed-ComponentModel">ComponentModel</a>, <a href="#zed-wsdlPointerPart">wsdlPointerPart</a>.</span></span></div>
--- 11843,11847 ----
</p>
! <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix"><span class="symbol">"</span></span><span class="zi">BindingOpDesignator</span>; <span class="zi">id</span> <span class="zinfix">:</span> <span class="zi">ID</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">bindingOpComp</span>.<span class="zi">id</span> <span class="zinfix"><span class="symbol">·</span></span></td></tr><tr><td> <span class="zi">pointerPart</span>(<span class="zprefix"><span class="zi"><span class="symbol">q</span></span></span><span class="zi">ComponentID</span>) <span class="zinfix">=</span></td></tr><tr><td> <span class="zi">wsdlBindingOperation</span>(<span class="zi">binding</span><span class="zprefix">,</span> <span class="zi">operation</span>)</td></tr></tbody></table>
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-BindingOpDesignator">BindingOpDesignator</a>, <a href="#zed-ComponentModel">ComponentModel</a>, <a href="#zed-wsdlPointerPart">wsdlPointerPart</a>.</span></span></div>
***************
*** 11915,11919 ****
Let <span class="zi">BindingMessageRefDesignator</span>
express the association between a <a href="wsdl20.html#component-BindingMessageReference">Binding Message Reference</a>
! component and pointer part arguments:
</p>
--- 11920,11924 ----
Let <span class="zi">BindingMessageRefDesignator</span>
express the association between a <a href="wsdl20.html#component-BindingMessageReference">Binding Message Reference</a>
! component and its pointer part arguments:
</p>
***************
*** 12040,12044 ****
Let <span class="zi">BindingFaultRefDesignator</span>
express the association between a <a href="wsdl20.html#component-BindingFaultReference">Binding Fault Reference</a>
! component and pointer part arguments:
</p>
--- 12045,12049 ----
Let <span class="zi">BindingFaultRefDesignator</span>
express the association between a <a href="wsdl20.html#component-BindingFaultReference">Binding Fault Reference</a>
! component and its pointer part arguments:
</p>
***************
*** 12115,12119 ****
Let <span class="zi">ServiceDesignator</span>
express the association between a <a href="wsdl20.html#component-Service">Service</a>
! component and pointer part arguments:
</p>
--- 12120,12124 ----
Let <span class="zi">ServiceDesignator</span>
express the association between a <a href="wsdl20.html#component-Service">Service</a>
! component and its pointer part arguments:
</p>
***************
*** 12132,12136 ****
</p>
! <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix"><span class="symbol">"</span></span><span class="zi">ComponentContext</span>;</td></tr><tr><td> <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Service</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">x</span><span class="zinfix"><span class="symbol">Î</span></span><span class="zi">serviceComps</span><span class="zinfix"><span class="mathb">.</span></span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span> <span class="zinfix"><span class="symbol">·</span></span></td></tr><tr><td> <span class="zi">componentNamespace</span>(<span class="zprefix"><span class="zi"><span class="symbol">q</span></span></span><span class"zi">ComponentContext</span>) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">name</span>.<span class="zi">namespaceName</span></td></tr></tbody></table>
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentContext">ComponentContext</a>, <a href="#zed-Service">Service</a>, <a href="#zed-componentNamespace">componentNamespace</a>.</span></span></div>
--- 12137,12141 ----
</p>
! <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix"><span class="symbol">"</span></span><span class="zi">ComponentContext</span>;</td></tr><tr><td> <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Service</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">x</span><span class="zinfix"><span class="symbol">Î</span></span><span class="zi">serviceComps</span><span class="zinfix"><span class="mathb">.</span></span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span> <span class="zinfix"><span class="symbol">·</span></span></td></tr><tr><td> <span class="zi">componentNamespace</span>(<span class="zprefix"><span class="zi"><span class="symbol">q</span></span></span><span class="zi">ComponentContext</span>) <spanclass="zinfix">=</span></td></tr><tr><td> <span class="zi">x</span>.<span class="zi">name</span>.<span class="zi">namespaceName</span></td></tr></tbody></table>
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentContext">ComponentContext</a>, <a href="#zed-Service">Service</a>, <a href="#zed-componentNamespace">componentNamespace</a>.</span></span></div>
***************
*** 12145,12149 ****
<table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix"><span class="symbol">"</span></span><span class="zi">ServiceDesignator</span>;</td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">:</span> <span class="zi">ID</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">serviceComp</span>.<span class="zi">id</span> <span class="zinfix"><span class="symbol">·</span></span></td></tr><tr><td> <span class="zi">pointerPart</span>(<span class="zprefix"><span class="zi"><span class="symbol">q</span></span></span><span class="zi">ComponentID</span>) <span class="zinfix">=</span></td></tr><tr><td> <span class="zi">wsdlService</span>(<span class="zi">service</span>)</td></tr></tbody></table>
! <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ServiceDesignator">ServiceDesignator</a>, <a href="#zed-ComponentModel">ComponentModel</a>, <a href="#zed-wsdlPointerPart">wsdlPointerPart</a>.</span></span></div>
</div>
--- 12150,12154 ----
<table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix"><span class="symbol">"</span></span><span class="zi">ServiceDesignator</span>;</td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">:</span> <span class="zi">ID</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">serviceComp</span>.<span class="zi">id</span> <span class="zinfix"><span class="symbol">·</span></span></td></tr><tr><td> <span class="zi">pointerPart</span>(<span class="zprefix"><span class="zi"><span class="symbol">q</span></span></span><span class="zi">ComponentID</span>) <span class="zinfix">=</span></td></tr><tr><td> <span class="zi">wsdlService</span>(<span class="zi">service</span>)</td></tr></tbody></table>
! <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ServiceDesignator">ServiceDesignator</a>, <a href="#zed-ID">ID</a>, <a href="#zed-pointerPart">pointerPart</a>, <a href="#zed-ComponentID">ComponentID</a>, <a href="#zed-wsdlPointerPart">wsdlPointerPart</a>.</span></span></div>
</div>
***************
*** 12200,12204 ****
Let <span class="zi">EndpointDesignator</span>
express the association between an <a href="wsdl20.html#component-Endpoint">Endpoint</a>
! component and pointer part arguments:
</p>
--- 12205,12209 ----
Let <span class="zi">EndpointDesignator</span>
express the association between an <a href="wsdl20.html#component-Endpoint">Endpoint</a>
! component and its pointer part arguments:
</p>
***************
*** 12281,12285 ****
Let <span class="zi">FeatureDesignator</span>
express the association between a <a href="wsdl20.html#component-Feature">Feature</a>
! component and pointer part arguments:
</p>
--- 12286,12290 ----
Let <span class="zi">FeatureDesignator</span>
express the association between a <a href="wsdl20.html#component-Feature">Feature</a>
! component and its pointer part arguments:
</p>
***************
*** 12362,12366 ****
Let <span class="zi">PropertyDesignator</span>
express the association between a <a href="wsdl20.html#component-Property">Property</a>
! component and pointer part arguments:
</p>
--- 12367,12371 ----
Let <span class="zi">PropertyDesignator</span>
express the association between a <a href="wsdl20.html#component-Property">Property</a>
! component and its pointer part arguments:
</p>
***************
*** 12592,12600 ****
<div class="div1">
! <h2><a name="wsdl-iri-references"></a>C. IRI References for WSDL 2.0 Components (Non-Normative)</h2>
<p>
! This appendix provides a syntax for IRI references for all
! components found in a WSDL 2.0 document. The IRI references are easy
to understand and compare, while imposing no burden on the WSDL 2.0
author.
--- 12597,12605 ----
<div class="div1">
! <h2><a name="wsdl-iri-references"></a>C. IRI-References for WSDL 2.0 Components (Non-Normative)</h2>
<p>
! This appendix provides a syntax for IRI-references for all
! components found in a WSDL 2.0 document. The IRI-references are easy
to understand and compare, while imposing no burden on the WSDL 2.0
author.
***************
*** 12622,12630 ****
that the namespace URI be dereferencible to a WSDL 2.0 document,
this appendix specifies the use of the namespace IRI with the
! WSDL 2.0 fragment identifiers to form a IRI-reference.
</p>
<p>
! The IRI in a IRI-reference for a WSDL 2.0 component is the namespace
name of the {<a href="wsdl20.html#property-.name">name</a>} property of either the component itself, in
the case of <a href="wsdl20.html#component-Interface">Interface</a>, <a href="wsdl20.html#component-Binding">Binding</a>, and <a href="wsdl20.html#component-Service">Service</a> components, or the
--- 12627,12635 ----
that the namespace URI be dereferencible to a WSDL 2.0 document,
this appendix specifies the use of the namespace IRI with the
! WSDL 2.0 fragment identifiers to form an IRI-reference.
</p>
<p>
! The IRI in an IRI-reference for a WSDL 2.0 component is the namespace
name of the {<a href="wsdl20.html#property-.name">name</a>} property of either the component itself, in
the case of <a href="wsdl20.html#component-Interface">Interface</a>, <a href="wsdl20.html#component-Binding">Binding</a>, and <a href="wsdl20.html#component-Service">Service</a> components, or the
***************
*** 12642,12646 ****
</p>
<div class="exampleOuter">
! <p class="exampleHead" style="text-align: left"><a name="iri-ref-example-wsdl"></a><i><span>Example C-1. </span>IRI References - Example WSDL 2.0 Document</i></p>
<div class="exampleInner"><pre>
--- 12647,12651 ----
</p>
<div class="exampleOuter">
! <p class="exampleHead" style="text-align: left"><a name="iri-ref-example-wsdl"></a><i><span>Example C-1. </span>IRI-References - Example WSDL 2.0 Document</i></p>
<div class="exampleInner"><pre>
***************
*** 12680,12684 ****
<div class="exampleOuter">
! <p class="exampleHead" style="text-align: left"><a name="iri-ref-example-iris"></a><i><span>Example C-2. </span>IRI References - Example IRIs</i></p>
<div class="exampleInner"><pre>
http://example.org/TicketAgent.wsdl20#xmlns(xsTicketAgent=http://example.org/TicketAgent.xsd)
--- 12685,12689 ----
<div class="exampleOuter">
! <p class="exampleHead" style="text-align: left"><a name="iri-ref-example-iris"></a><i><span>Example C-2. </span>IRI-References - Example IRIs</i></p>
<div class="exampleInner"><pre>
http://example.org/TicketAgent.wsdl20#xmlns(xsTicketAgent=http://example.org/TicketAgent.xsd)
***************
*** 12709,12713 ****
<div class="div1">
! <h2><a name="N1727B"></a>D. Component Summary (Non-Normative)</h2>
<p>
<a href="#component-summary">Table D-1</a>
--- 12714,12718 ----
<div class="div1">
! <h2><a name="N17297"></a>D. Component Summary (Non-Normative)</h2>
<p>
<a href="#component-summary">Table D-1</a>
***************
*** 13582,13586 ****
<td rowspan="1" colspan="1">20050711</td>
<td rowspan="1" colspan="1">AGR</td>
! <td rowspan="1" colspan="1">Updated Example C-2. IRI References - Example IRIs to match Appendix A.
</td>
</tr>
--- 13587,13591 ----
<td rowspan="1" colspan="1">20050711</td>
<td rowspan="1" colspan="1">AGR</td>
! <td rowspan="1" colspan="1">Updated Example C-2. IRI-References - Example IRIs to match Appendix A.
</td>
</tr>
***************
*** 14991,14994 ****
--- 14996,15000 ----
</tr>
<tr>
+
<td rowspan="1" colspan="1">20030514</td>
<td rowspan="1" colspan="1">JJM</td>
Index: wsdl20.tex
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.tex,v
retrieving revision 1.92
retrieving revision 1.93
diff -C2 -d -r1.92 -r1.93
*** wsdl20.tex 16 Nov 2005 23:02:45 -0000 1.92
--- wsdl20.tex 17 Nov 2005 04:15:02 -0000 1.93
***************
*** 370,374 ****
with an attribute information item which corresponds to
its normalized value. This will often be a string, but may also be
! an integer, a boolean, a IRI reference, etc.
--- 370,374 ----
with an attribute information item which corresponds to
its normalized value. This will often be a string, but may also be
! an integer, a boolean, an IRI-reference, etc.
***************
*** 644,647 ****
--- 644,648 ----
or a set of references to other components. Every component
contains an unique identifier that is used to express
+
references.
***************
*** 11674,11678 ****
A WSDL 2.0 fragment identifier consists of zero or more xmlns pointer parts
! followed by a pointer part as defined below.
The pointer parts have a scheme name that corresponds to one
of the standard WSDL 2.0 component types, and scheme data that is a path composed
--- 11675,11679 ----
A WSDL 2.0 fragment identifier consists of zero or more xmlns pointer parts
! followed by a WSDL 2.0 pointer part as defined below.
The pointer parts have a scheme name that corresponds to one
of the standard WSDL 2.0 component types, and scheme data that is a path composed
***************
*** 11682,11685 ****
--- 11683,11688 ----
The names in the path are of type either QName, NCName,
IRI, URI, or Pointer Part depending on the context.
+ The scheme data for extension components is defined by the
+ corresponding extension specification.
***************
*** 11884,11900 ****
component model.
- \hypertarget{zed-ExtensionIdentifier}{}
-
-
- Let
- $ExtensionIdentifier$
- be the set of all identifiers for extension components.
- The syntax of identifiers is defined by each extension.
-
- \begin{zed}
- [ExtensionIdentifier]
- \end{zed}
-
-
\hypertarget{zed-ComponentID}{}
--- 11887,11890 ----
***************
*** 11922,11927 ****
! An IRI reference consists of a IRI and a fragment identifier.
! URI references for WSDL 2.0 documents consist of a IRI that
dereferences to a resource whose media type is
application/wsdl+xml
--- 11912,11917 ----
! An IRI-reference consists of an IRI and a fragment identifier.
! IRI-references for WSDL 2.0 documents consist of an IRI that
dereferences to a resource whose media type is
application/wsdl+xml
***************
*** 11931,11936 ****
terms of
\textit{component designators}
! which are themselves IRI references. The component designator
! for a WSDL 2.0 document IRI reference is formed by replacing
the WSDL 2.0 document IRI by the target namespace IRI of the
WSDL 2.0 document. The WSDL 2.0 pointer parts are interpretted
--- 11921,11926 ----
terms of
\textit{component designators}
! which are themselves IRI-references. The component designator
! for a WSDL 2.0 document IRI-reference is formed by replacing
the WSDL 2.0 document IRI by the target namespace IRI of the
WSDL 2.0 document. The WSDL 2.0 pointer parts are interpretted
***************
*** 11947,11951 ****
components are not associated with any WSDL 2.0 namespace,
however, for the purpose of constructing component designator
! IRI references, we assign them the context namespace. In
general, a WSDL 2.0 document may import other WSDL 2.0
namespaces, and the IRI of component designators for WSDL 2.0
--- 11937,11941 ----
components are not associated with any WSDL 2.0 namespace,
however, for the purpose of constructing component designator
! IRI-references, we assign them the context namespace. In
general, a WSDL 2.0 document may import other WSDL 2.0
namespaces, and the IRI of component designators for WSDL 2.0
***************
*** 11987,11990 ****
--- 11977,11996 ----
+ \hypertarget{zed-ExtensionIdentifier}{}
+
+
+ The syntax of extension component identifiers is defined by
+ the corresponding extension specification.
+
+
+ Let
+ $ExtensionIdentifier$
+ be the set of all identifiers for extension components:
+
+ \begin{zed}
+ [ExtensionIdentifier]
+ \end{zed}
+
+
\hypertarget{zed-wsdlPointerPart}{}
***************
*** 12061,12067 ****
\begin{zed}
! \forall ComponentContext @ \\
! \t1 id \in descriptionIds \implies
! componentNamespace(\theta ComponentContext) = contextNamespace
\end{zed}
--- 12067,12074 ----
\begin{zed}
! \forall ComponentContext | \\
! \t1 id \in descriptionIds @ \\
! \t1 componentNamespace(\theta ComponentContext) = \\
! \t2 contextNamespace
\end{zed}
***************
*** 12077,12082 ****
\begin{zed}
! \forall ComponentID @ \\
! \t1 id \in descriptionIds \implies \\
\t1 pointerPart(\theta ComponentID) = \\
\t2 wsdlDescription
--- 12084,12089 ----
\begin{zed}
! \forall ComponentID | \\
! \t1 id \in descriptionIds @ \\
\t1 pointerPart(\theta ComponentID) = \\
\t2 wsdlDescription
***************
*** 12190,12196 ****
\begin{zed}
! \forall ComponentContext @ \\
! \t1 id \in elementDeclIds \implies \\
! \t2 componentNamespace(\theta ComponentContext) = contextNamespace
\end{zed}
--- 12197,12204 ----
\begin{zed}
! \forall ComponentContext | \\
! \t1 id \in elementDeclIds @ \\
! \t1 componentNamespace(\theta ComponentContext) = \\
! \t2 contextNamespace
\end{zed}
***************
*** 12206,12211 ****
\begin{zed}
! \forall ElementDeclDesignator; id : ID @ \\
! \t1 id = elementDeclComp.id \implies \\
\t1 pointerPart(\theta ComponentID) = \\
\t2 wsdlElementDeclaration(element, system)
--- 12214,12220 ----
\begin{zed}
! \forall ElementDeclDesignator; \\
! \t1 id : ID | \\
! \t1 id = elementDeclComp.id @ \\
\t1 pointerPart(\theta ComponentID) = \\
\t2 wsdlElementDeclaration(element, system)
***************
*** 12213,12217 ****
\end{zed}
! \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ElementDeclDesignator}{ElementDeclDesignator}, \hyperlink{zed-ID}{ID}, \hyperlink{zed-ComponentID}{ComponentID}, \hyperlink{zed-pointerPart}{pointerPart}, \hyperlink{zed-wsdlPointerPart}{wsdlPointerPart}.\end{itshape}\end{small}\end{quote}
--- 12222,12226 ----
\end{zed}
! \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ElementDeclDesignator}{ElementDeclDesignator}, \hyperlink{zed-ID}{ID}, \hyperlink{zed-pointerPart}{pointerPart}, \hyperlink{zed-ComponentID}{ComponentID}, \hyperlink{zed-wsdlPointerPart}{wsdlPointerPart}.\end{itshape}\end{small}\end{quote}
***************
*** 12305,12311 ****
\begin{zed}
! \forall ComponentContext @ \\
! \t1 id \in typeDefIds \implies \\
! \t2 componentNamespace(\theta ComponentContext) = contextNamespace
\end{zed}
--- 12314,12321 ----
\begin{zed}
! \forall ComponentContext | \\
! \t1 id \in typeDefIds @ \\
! \t1 componentNamespace(\theta ComponentContext) = \\
! \t2 contextNamespace
\end{zed}
***************
*** 12321,12326 ****
\begin{zed}
! \forall TypeDefDesignator; id : ID @ \\
! \t1 id = typeDefComp.id \implies \\
\t1 pointerPart(\theta ComponentID) = \\
\t2 wsdlTypeDefinition(type, system)
--- 12331,12336 ----
\begin{zed}
! \forall TypeDefDesignator; id : ID | \\
! \t1 id = typeDefComp.id @ \\
\t1 pointerPart(\theta ComponentID) = \\
\t2 wsdlTypeDefinition(type, system)
***************
*** 12407,12411 ****
\t1 x \in interfaceComps \land \\
\t1 id = x.id @ \\
! \t2 componentNamespace(\theta ComponentContext) = x.name.namespaceName
\end{zed}
--- 12417,12422 ----
\t1 x \in interfaceComps \land \\
\t1 id = x.id @ \\
! \t1 componentNamespace(\theta ComponentContext) = \\
! \t2 x.name.namespaceName
\end{zed}
***************
*** 12421,12426 ****
\begin{zed}
! \forall InterfaceDesignator; id : ID @ \\
! \t1 id = interfaceComp.id \implies \\
\t1 pointerPart(\theta ComponentID) = \\
\t2 wsdlInterface(interface)
--- 12432,12438 ----
\begin{zed}
! \forall InterfaceDesignator; \\
! \t1 id : ID | \\
! \t1 id = interfaceComp.id @ \\
\t1 pointerPart(\theta ComponentID) = \\
\t2 wsdlInterface(interface)
***************
*** 12489,12493 ****
Let $InterfaceFaultDesignator$
express the association between an Interface Fault
! component and pointer part arguments:
--- 12501,12505 ----
Let $InterfaceFaultDesignator$
express the association between an Interface Fault
! component and its pointer part arguments:
***************
*** 12539,12544 ****
\begin{zed}
! \forall InterfaceFaultDesignator; id : ID @ \\
! \t1 id = interfaceFaultComp.id \implies \\
\t1 pointerPart(\theta ComponentID) = \\
\t2 wsdlInterfaceFault(interface, fault)
--- 12551,12557 ----
\begin{zed}
! \forall InterfaceFaultDesignator; \\
! \t1 id : ID | \\
! \t1 id = interfaceFaultComp.id @ \\
\t1 pointerPart(\theta ComponentID) = \\
\t2 wsdlInterfaceFault(interface, fault)
***************
*** 12607,12611 ****
Let $InterfaceOpDesignator$
express the association between an Interface Operation
! component and pointer part arguments:
--- 12620,12624 ----
Let $InterfaceOpDesignator$
express the association between an Interface Operation
! component and its pointer part arguments:
***************
*** 12646,12650 ****
\end{zed}
! \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ComponentContext}{ComponentContext}, \hyperlink{zed-InterfaceOperation}{InterfaceOperation}, \hyperlink{zed-componentNamespace}{componentNamespace}, \hyperlink{zed-ID}{ID}.\end{itshape}\end{small}\end{quote}
--- 12659,12663 ----
\end{zed}
! \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ComponentContext}{ComponentContext}, \hyperlink{zed-InterfaceOperation}{InterfaceOperation}, \hyperlink{zed-ID}{ID}, \hyperlink{zed-componentNamespace}{componentNamespace}.\end{itshape}\end{small}\end{quote}
***************
*** 12665,12669 ****
\end{zed}
! \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-InterfaceOperationDesignator}{InterfaceOperationDesignator}, \hyperlink{zed-ComponentModel}{ComponentModel}, \hyperlink{zed-wsdlPointerPart}{wsdlPointerPart}.\end{itshape}\end{small}\end{quote}
--- 12678,12682 ----
\end{zed}
! \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-InterfaceOpDesignator}{InterfaceOpDesignator}, \hyperlink{zed-ID}{ID}, \hyperlink{zed-ComponentID}{ComponentID}, \hyperlink{zed-wsdlPointerPart}{wsdlPointerPart}.\end{itshape}\end{small}\end{quote}
***************
*** 12740,12744 ****
Let $InterfaceMessageRefDesignator$
express the association between an Interface Message Reference
! component and its pointer part:
--- 12753,12757 ----
Let $InterfaceMessageRefDesignator$
express the association between an Interface Message Reference
! component and its pointer part arguments:
***************
*** 12798,12802 ****
\end{zed}
! \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-InterfaceMessageRefDesignator}{InterfaceMessageRefDesignator}, \hyperlink{zed-ComponentID}{ComponentID}, \hyperlink{zed-pointerPart}{pointerPart}, \hyperlink{zed-wsdlPointerPart}{wsdlPointerPart}.\end{itshape}\end{small}\end{quote}
--- 12811,12815 ----
\end{zed}
! \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-InterfaceMessageRefDesignator}{InterfaceMessageRefDesignator}, \hyperlink{zed-ID}{ID}, \hyperlink{zed-pointerPart}{pointerPart}, \hyperlink{zed-ComponentID}{ComponentID}, \hyperlink{zed-wsdlPointerPart}{wsdlPointerPart}.\end{itshape}\end{small}\end{quote}
***************
*** 12883,12887 ****
\end{schema}
! \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-NCName}{NCName}, \hyperlink{zed-QName}{QName}.\end{itshape}\end{small}\end{quote}
--- 12896,12900 ----
\end{schema}
! \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-InterfaceOpArgs}{InterfaceOpArgs}, \hyperlink{zed-NCName}{NCName}, \hyperlink{zed-QName}{QName}.\end{itshape}\end{small}\end{quote}
***************
*** 12892,12896 ****
Let $InterfaceFaultRefDesignator$
express the association between an Interface Fault Reference
! component and pointer part arguments:
--- 12905,12909 ----
Let $InterfaceFaultRefDesignator$
express the association between an Interface Fault Reference
! component and its pointer part arguments:
***************
*** 13003,13007 ****
Let $BindingDesignator$
express the association between a Binding
! component and pointer part arguments:
--- 13016,13020 ----
Let $BindingDesignator$
express the association between a Binding
! component and its pointer part arguments:
***************
*** 13037,13041 ****
\t1 x \in bindingComps \land \\
\t1 id = x.id @ \\
! \t2 componentNamespace(\theta ComponentContext) = x.name.namespaceName
\end{zed}
--- 13050,13055 ----
\t1 x \in bindingComps \land \\
\t1 id = x.id @ \\
! \t1 componentNamespace(\theta ComponentContext) = \\
! \t2 x.name.namespaceName
\end{zed}
***************
*** 13145,13149 ****
Let $BindingFaultDesignator$
express the association between a Binding Fault
! component and pointer part arguments:
--- 13159,13163 ----
Let $BindingFaultDesignator$
express the association between a Binding Fault
! component and its pointer part arguments:
***************
*** 13275,13280 ****
Let $BindingOpDesignator$
express the association between a Binding Operation
! component and the IRI reference formed
! by a namespace IRI and a binding operation arguments:
--- 13289,13293 ----
Let $BindingOpDesignator$
express the association between a Binding Operation
! component and its pointer part arguments:
***************
*** 13331,13336 ****
\begin{zed}
! \forall BindingOpDesignator; id : ID @ \\
! \t1 id = bindingOpComp.id \implies \\
\t1 pointerPart(\theta ComponentID) = \\
\t2 wsdlBindingOperation(binding, operation)
--- 13344,13349 ----
\begin{zed}
! \forall BindingOpDesignator; id : ID | \\
! \t1 id = bindingOpComp.id @ \\
\t1 pointerPart(\theta ComponentID) = \\
\t2 wsdlBindingOperation(binding, operation)
***************
*** 13425,13429 ****
Let $BindingMessageRefDesignator$
express the association between a Binding Message Reference
! component and pointer part arguments:
--- 13438,13442 ----
Let $BindingMessageRefDesignator$
express the association between a Binding Message Reference
! component and its pointer part arguments:
***************
*** 13600,13604 ****
Let $BindingFaultRefDesignator$
express the association between a Binding Fault Reference
! component and pointer part arguments:
--- 13613,13617 ----
Let $BindingFaultRefDesignator$
express the association between a Binding Fault Reference
! component and its pointer part arguments:
***************
*** 13715,13719 ****
Let $ServiceDesignator$
express the association between a Service
! component and pointer part arguments:
--- 13728,13732 ----
Let $ServiceDesignator$
express the association between a Service
! component and its pointer part arguments:
***************
*** 13746,13750 ****
\t1 x \in serviceComps \land \\
\t1 id = x.id @ \\
! \t2 componentNamespace(\theta ComponentContext) = x.name.namespaceName
\end{zed}
--- 13759,13764 ----
\t1 x \in serviceComps \land \\
\t1 id = x.id @ \\
! \t1 componentNamespace(\theta ComponentContext) = \\
! \t2 x.name.namespaceName
\end{zed}
***************
*** 13768,13772 ****
\end{zed}
! \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ServiceDesignator}{ServiceDesignator}, \hyperlink{zed-ComponentModel}{ComponentModel}, \hyperlink{zed-wsdlPointerPart}{wsdlPointerPart}.\end{itshape}\end{small}\end{quote}
--- 13782,13786 ----
\end{zed}
! \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ServiceDesignator}{ServiceDesignator}, \hyperlink{zed-ID}{ID}, \hyperlink{zed-pointerPart}{pointerPart}, \hyperlink{zed-ComponentID}{ComponentID}, \hyperlink{zed-wsdlPointerPart}{wsdlPointerPart}.\end{itshape}\end{small}\end{quote}
***************
*** 13829,13833 ****
Let $EndpointDesignator$
express the association between an Endpoint
! component and pointer part arguments:
--- 13843,13847 ----
Let $EndpointDesignator$
express the association between an Endpoint
! component and its pointer part arguments:
***************
*** 13944,13948 ****
Let $FeatureDesignator$
express the association between a Feature
! component and pointer part arguments:
--- 13958,13962 ----
Let $FeatureDesignator$
express the association between a Feature
! component and its pointer part arguments:
***************
*** 13985,13988 ****
--- 13999,14003 ----
\t1 id = x.id \land \\
\t1 parentContext = (\mu id : ID | \\
+
\t2 id = x.parent @ \theta ComponentContext) @ \\
\t1 componentNamespace(\theta ComponentContext) = \\
***************
*** 14066,14070 ****
Let $PropertyDesignator$
express the association between a Property
! component and pointer part arguments:
--- 14081,14085 ----
Let $PropertyDesignator$
express the association between a Property
! component and its pointer part arguments:
***************
*** 14354,14364 ****
\hypertarget{wsdl-iri-references}{}
! \chapter{IRI References for WSDL 2.0 Components (Non-Normative)}\label{wsdl-iri-references}
! This appendix provides a syntax for IRI references for all
! components found in a WSDL 2.0 document. The IRI references are easy
to understand and compare, while imposing no burden on the WSDL 2.0
author.
--- 14369,14379 ----
\hypertarget{wsdl-iri-references}{}
! \chapter{IRI-References for WSDL 2.0 Components (Non-Normative)}\label{wsdl-iri-references}
! This appendix provides a syntax for IRI-references for all
! components found in a WSDL 2.0 document. The IRI-references are easy
to understand and compare, while imposing no burden on the WSDL 2.0
author.
***************
*** 14387,14395 ****
that the namespace URI be dereferencible to a WSDL 2.0 document,
this appendix specifies the use of the namespace IRI with the
! WSDL 2.0 fragment identifiers to form a IRI-reference.
! The IRI in a IRI-reference for a WSDL 2.0 component is the namespace
name of the name property of either the component itself, in
the case of Interface, Binding, and Service components, or the
--- 14402,14410 ----
that the namespace URI be dereferencible to a WSDL 2.0 document,
this appendix specifies the use of the namespace IRI with the
! WSDL 2.0 fragment identifiers to form an IRI-reference.
! The IRI in an IRI-reference for a WSDL 2.0 component is the namespace
name of the name property of either the component itself, in
the case of Interface, Binding, and Service components, or the
***************
*** 15376,15380 ****
20050711&
AGR&
! Updated Example C-2. IRI References - Example IRIs to match Appendix A.
\\ \hline
--- 15391,15395 ----
20050711&
AGR&
! Updated Example C-2. IRI-References - Example IRIs to match Appendix A.
\\ \hline
***************
*** 16785,16788 ****
--- 16800,16804 ----
\\ \hline
+
20030514&
JJM&
Index: wsdl20.xml
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.xml,v
retrieving revision 1.362
retrieving revision 1.363
diff -C2 -d -r1.362 -r1.363
*** wsdl20.xml 16 Nov 2005 23:02:46 -0000 1.362
--- wsdl20.xml 17 Nov 2005 04:15:09 -0000 1.363
***************
*** 377,381 ****
with an attribute information item which corresponds to
its normalized value. This will often be a string, but may also be
! an integer, a boolean, a IRI reference, etc.</p></def>
</gitem>
--- 377,381 ----
with an attribute information item which corresponds to
its normalized value. This will often be a string, but may also be
! an integer, a boolean, an IRI-reference, etc.</p></def>
</gitem>
***************
*** 11474,11479 ****
</p>
<p>
! A WSDL 2.0 fragment identifier consists of zero or more xmlns pointer parts
! followed by a pointer part as defined below.
The pointer parts have a scheme name that corresponds to one
of the standard WSDL 2.0 component types, and scheme data that is a path composed
--- 11474,11479 ----
</p>
<p>
! A WSDL 2.0 fragment identifier consists of zero or more <code>xmlns</code> pointer parts
! followed by a WSDL 2.0 pointer part as defined below.
The pointer parts have a scheme name that corresponds to one
of the standard WSDL 2.0 component types, and scheme data that is a path composed
***************
*** 11483,11486 ****
--- 11483,11488 ----
The names in the path are of type either QName, NCName,
IRI, URI, or Pointer Part depending on the context.
+ The scheme data for extension components is defined by the
+ corresponding extension specification.
</p>
<p>
***************
*** 11691,11706 ****
component model.</p>
- <z:notation name="ExtensionIdentifier">
- <p>
- Let
- <z:i>ExtensionIdentifier</z:i>
- be the set of all identifiers for extension components.
- The syntax of identifiers is defined by each extension.
- </p>
- <zed xmlns="http://www.w3.org/2004/zml">
- [ExtensionIdentifier]
- </zed>
- </z:notation>
-
<z:notation name="ComponentID">
--- 11693,11696 ----
***************
*** 11726,11731 ****
<p>
! An IRI reference consists of a IRI and a fragment identifier.
! URI references for WSDL 2.0 documents consist of a IRI that
dereferences to a resource whose media type is
<code>application/wsdl+xml</code>
--- 11716,11721 ----
<p>
! An IRI-reference consists of an IRI and a fragment identifier.
! IRI-references for WSDL 2.0 documents consist of an IRI that
dereferences to a resource whose media type is
<code>application/wsdl+xml</code>
***************
*** 11735,11740 ****
terms of
<emph>component designators</emph>
! which are themselves IRI references. The component designator
! for a WSDL 2.0 document IRI reference is formed by replacing
the WSDL 2.0 document IRI by the target namespace IRI of the
WSDL 2.0 document. The WSDL 2.0 pointer parts are interpretted
--- 11725,11730 ----
terms of
<emph>component designators</emph>
! which are themselves IRI-references. The component designator
! for a WSDL 2.0 document IRI-reference is formed by replacing
the WSDL 2.0 document IRI by the target namespace IRI of the
WSDL 2.0 document. The WSDL 2.0 pointer parts are interpretted
***************
*** 11751,11755 ****
components are not associated with any WSDL 2.0 namespace,
however, for the purpose of constructing component designator
! IRI references, we assign them the context namespace. In
general, a WSDL 2.0 document may import other WSDL 2.0
namespaces, and the IRI of component designators for WSDL 2.0
--- 11741,11745 ----
components are not associated with any WSDL 2.0 namespace,
however, for the purpose of constructing component designator
! IRI-references, we assign them the context namespace. In
general, a WSDL 2.0 document may import other WSDL 2.0
namespaces, and the IRI of component designators for WSDL 2.0
***************
*** 11790,11793 ****
--- 11780,11798 ----
</z:notation>
+ <z:notation name="ExtensionIdentifier">
+ <p>
+ The syntax of extension component identifiers is defined by
+ the corresponding extension specification.
+ </p>
+ <p>
+ Let
+ <z:i>ExtensionIdentifier</z:i>
+ be the set of all identifiers for extension components:
+ </p>
+ <zed xmlns="http://www.w3.org/2004/zml">
+ [ExtensionIdentifier]
+ </zed>
+ </z:notation>
+
<z:notation name="wsdlPointerPart">
***************
*** 11859,11865 ****
<zed xmlns="http://www.w3.org/2004/zml">
! <forall/> ComponentContext @ <nl/>
! <t1/> id <in/> descriptionIds <implies/>
! componentNamespace(<theta/>ComponentContext) = contextNamespace
</zed>
--- 11864,11871 ----
<zed xmlns="http://www.w3.org/2004/zml">
! <forall/> ComponentContext | <nl/>
! <t1/> id <in/> descriptionIds @ <nl/>
! <t1/> componentNamespace(<theta/>ComponentContext) = <nl/>
! <t2/> contextNamespace
</zed>
***************
*** 11875,11880 ****
<zed xmlns="http://www.w3.org/2004/zml">
! <forall/> ComponentID @ <nl/>
! <t1/> id <in/> descriptionIds <implies/> <nl/>
<t1/> pointerPart(<theta/>ComponentID) = <nl/>
<t2/> wsdlDescription
--- 11881,11886 ----
<zed xmlns="http://www.w3.org/2004/zml">
! <forall/> ComponentID | <nl/>
! <t1/> id <in/> descriptionIds @ <nl/>
<t1/> pointerPart(<theta/>ComponentID) = <nl/>
<t2/> wsdlDescription
***************
*** 11984,11990 ****
<zed xmlns="http://www.w3.org/2004/zml">
! <forall/> ComponentContext @ <nl/>
! <t1/> id <in/> elementDeclIds <implies/> <nl/>
! <t2/> componentNamespace(<theta/>ComponentContext) = contextNamespace
</zed>
--- 11990,11997 ----
<zed xmlns="http://www.w3.org/2004/zml">
! <forall/> ComponentContext | <nl/>
! <t1/> id <in/> elementDeclIds @ <nl/>
! <t1/> componentNamespace(<theta/>ComponentContext) = <nl/>
! <t2/> contextNamespace
</zed>
***************
*** 12000,12005 ****
<zed xmlns="http://www.w3.org/2004/zml">
! <forall/> ElementDeclDesignator; id : ID @ <nl/>
! <t1/> id = elementDeclComp.id <implies/> <nl/>
<t1/> pointerPart(<theta/>ComponentID) = <nl/>
<t2/> wsdlElementDeclaration(element, system)
--- 12007,12013 ----
<zed xmlns="http://www.w3.org/2004/zml">
! <forall/> ElementDeclDesignator; <nl/>
! <t1/> id : ID | <nl/>
! <t1/> id = elementDeclComp.id @ <nl/>
<t1/> pointerPart(<theta/>ComponentID) = <nl/>
<t2/> wsdlElementDeclaration(element, system)
***************
*** 12007,12011 ****
</zed>
! <z:see names="ElementDeclDesignator ID ComponentID pointerPart wsdlPointerPart"/>
</z:notation>
--- 12015,12019 ----
</zed>
! <z:see names="ElementDeclDesignator ID pointerPart ComponentID wsdlPointerPart"/>
</z:notation>
***************
*** 12096,12102 ****
<zed xmlns="http://www.w3.org/2004/zml">
! <forall/> ComponentContext @ <nl/>
! <t1/> id <in/> typeDefIds <implies/> <nl/>
! <t2/> componentNamespace(<theta/>ComponentContext) = contextNamespace
</zed>
--- 12104,12111 ----
<zed xmlns="http://www.w3.org/2004/zml">
! <forall/> ComponentContext | <nl/>
! <t1/> id <in/> typeDefIds @ <nl/>
! <t1/> componentNamespace(<theta/>ComponentContext) = <nl/>
! <t2/> contextNamespace
</zed>
***************
*** 12112,12117 ****
<zed xmlns="http://www.w3.org/2004/zml">
! <forall/> TypeDefDesignator; id : ID @ <nl/>
! <t1/> id = typeDefComp.id <implies/> <nl/>
<t1/> pointerPart(<theta/>ComponentID) = <nl/>
<t2/> wsdlTypeDefinition(type, system)
--- 12121,12126 ----
<zed xmlns="http://www.w3.org/2004/zml">
! <forall/> TypeDefDesignator; id : ID | <nl/>
! <t1/> id = typeDefComp.id @ <nl/>
<t1/> pointerPart(<theta/>ComponentID) = <nl/>
<t2/> wsdlTypeDefinition(type, system)
***************
*** 12195,12199 ****
<t1/> x <in/> interfaceComps <land/> <nl/>
<t1/> id = x.id @ <nl/>
! <t2/> componentNamespace(<theta/>ComponentContext) = x.name.namespaceName
</zed>
--- 12204,12209 ----
<t1/> x <in/> interfaceComps <land/> <nl/>
<t1/> id = x.id @ <nl/>
! <t1/> componentNamespace(<theta/>ComponentContext) = <nl/>
! <t2/> x.name.namespaceName
</zed>
***************
*** 12209,12214 ****
<zed xmlns="http://www.w3.org/2004/zml">
! <forall/> InterfaceDesignator; id : ID @ <nl/>
! <t1/> id = interfaceComp.id <implies/> <nl/>
<t1/> pointerPart(<theta/>ComponentID) = <nl/>
<t2/> wsdlInterface(interface)
--- 12219,12225 ----
<zed xmlns="http://www.w3.org/2004/zml">
! <forall/> InterfaceDesignator; <nl/>
! <t1/> id : ID | <nl/>
! <t1/> id = interfaceComp.id @ <nl/>
<t1/> pointerPart(<theta/>ComponentID) = <nl/>
<t2/> wsdlInterface(interface)
***************
*** 12274,12278 ****
Let <z:i>InterfaceFaultDesignator</z:i>
express the association between an <comp>Interface Fault</comp>
! component and pointer part arguments:
</p>
--- 12285,12289 ----
Let <z:i>InterfaceFaultDesignator</z:i>
express the association between an <comp>Interface Fault</comp>
! component and its pointer part arguments:
</p>
***************
*** 12324,12329 ****
<zed xmlns="http://www.w3.org/2004/zml">
! <forall/> InterfaceFaultDesignator; id : ID @ <nl/>
! <t1/> id = interfaceFaultComp.id <implies/> <nl/>
<t1/> pointerPart(<theta/>ComponentID) = <nl/>
<t2/> wsdlInterfaceFault(interface, fault)
--- 12335,12341 ----
<zed xmlns="http://www.w3.org/2004/zml">
! <forall/> InterfaceFaultDesignator; <nl/>
! <t1/> id : ID | <nl/>
! <t1/> id = interfaceFaultComp.id @ <nl/>
<t1/> pointerPart(<theta/>ComponentID) = <nl/>
<t2/> wsdlInterfaceFault(interface, fault)
***************
*** 12389,12393 ****
Let <z:i>InterfaceOpDesignator</z:i>
express the association between an <comp>Interface Operation</comp>
! component and pointer part arguments:
</p>
--- 12401,12405 ----
Let <z:i>InterfaceOpDesignator</z:i>
express the association between an <comp>Interface Operation</comp>
! component and its pointer part arguments:
</p>
***************
*** 12428,12432 ****
</zed>
! <z:see names="ComponentContext InterfaceOperation componentNamespace ID"/>
<p>
--- 12440,12444 ----
</zed>
! <z:see names="ComponentContext InterfaceOperation ID componentNamespace"/>
<p>
***************
*** 12447,12451 ****
</zed>
! <z:see names="InterfaceOperationDesignator ComponentModel wsdlPointerPart"/>
</z:notation>
--- 12459,12463 ----
</zed>
! <z:see names="InterfaceOpDesignator ID ComponentID wsdlPointerPart"/>
</z:notation>
***************
*** 12519,12523 ****
Let <z:i>InterfaceMessageRefDesignator</z:i>
express the association between an <comp>Interface Message Reference</comp>
! component and its pointer part:
</p>
--- 12531,12535 ----
Let <z:i>InterfaceMessageRefDesignator</z:i>
express the association between an <comp>Interface Message Reference</comp>
! component and its pointer part arguments:
</p>
***************
*** 12577,12581 ****
</zed>
! <z:see names="InterfaceMessageRefDesignator ComponentID pointerPart wsdlPointerPart"/>
</z:notation>
--- 12589,12593 ----
</zed>
! <z:see names="InterfaceMessageRefDesignator ID pointerPart ComponentID wsdlPointerPart"/>
</z:notation>
***************
*** 12660,12664 ****
</schema>
! <z:see names="NCName QName"/>
</z:notation>
--- 12672,12676 ----
</schema>
! <z:see names="InterfaceOpArgs NCName QName"/>
</z:notation>
***************
*** 12668,12672 ****
Let <z:i>InterfaceFaultRefDesignator</z:i>
express the association between an <comp>Interface Fault Reference</comp>
! component and pointer part arguments:
</p>
--- 12680,12684 ----
Let <z:i>InterfaceFaultRefDesignator</z:i>
express the association between an <comp>Interface Fault Reference</comp>
! component and its pointer part arguments:
</p>
***************
*** 12776,12780 ****
Let <z:i>BindingDesignator</z:i>
express the association between a <comp>Binding</comp>
! component and pointer part arguments:
</p>
--- 12788,12792 ----
Let <z:i>BindingDesignator</z:i>
express the association between a <comp>Binding</comp>
! component and its pointer part arguments:
</p>
***************
*** 12810,12814 ****
<t1/> x <in/> bindingComps <land/> <nl/>
<t1/> id = x.id @ <nl/>
! <t2/> componentNamespace(<theta/>ComponentContext) = x.name.namespaceName
</zed>
--- 12822,12827 ----
<t1/> x <in/> bindingComps <land/> <nl/>
<t1/> id = x.id @ <nl/>
! <t1/> componentNamespace(<theta/>ComponentContext) = <nl/>
! <t2/> x.name.namespaceName
</zed>
***************
*** 12915,12919 ****
Let <z:i>BindingFaultDesignator</z:i>
express the association between a <comp>Binding Fault</comp>
! component and pointer part arguments:
</p>
--- 12928,12932 ----
Let <z:i>BindingFaultDesignator</z:i>
express the association between a <comp>Binding Fault</comp>
! component and its pointer part arguments:
</p>
***************
*** 13042,13047 ****
Let <z:i>BindingOpDesignator</z:i>
express the association between a <comp>Binding Operation</comp>
! component and the IRI reference formed
! by a namespace IRI and a binding operation arguments:
</p>
--- 13055,13059 ----
Let <z:i>BindingOpDesignator</z:i>
express the association between a <comp>Binding Operation</comp>
! component and its pointer part arguments:
</p>
***************
*** 13098,13103 ****
<zed xmlns="http://www.w3.org/2004/zml">
! <forall/> BindingOpDesignator; id : ID @ <nl/>
! <t1/> id = bindingOpComp.id <implies/> <nl/>
<t1/> pointerPart(<theta/>ComponentID) = <nl/>
<t2/> wsdlBindingOperation(binding, operation)
--- 13110,13115 ----
<zed xmlns="http://www.w3.org/2004/zml">
! <forall/> BindingOpDesignator; id : ID | <nl/>
! <t1/> id = bindingOpComp.id @ <nl/>
<t1/> pointerPart(<theta/>ComponentID) = <nl/>
<t2/> wsdlBindingOperation(binding, operation)
***************
*** 13189,13193 ****
Let <z:i>BindingMessageRefDesignator</z:i>
express the association between a <comp>Binding Message Reference</comp>
! component and pointer part arguments:
</p>
--- 13201,13205 ----
Let <z:i>BindingMessageRefDesignator</z:i>
express the association between a <comp>Binding Message Reference</comp>
! component and its pointer part arguments:
</p>
***************
*** 13361,13365 ****
Let <z:i>BindingFaultRefDesignator</z:i>
express the association between a <comp>Binding Fault Reference</comp>
! component and pointer part arguments:
</p>
--- 13373,13377 ----
Let <z:i>BindingFaultRefDesignator</z:i>
express the association between a <comp>Binding Fault Reference</comp>
! component and its pointer part arguments:
</p>
***************
*** 13473,13477 ****
Let <z:i>ServiceDesignator</z:i>
express the association between a <comp>Service</comp>
! component and pointer part arguments:
</p>
--- 13485,13489 ----
Let <z:i>ServiceDesignator</z:i>
express the association between a <comp>Service</comp>
! component and its pointer part arguments:
</p>
***************
*** 13504,13508 ****
<t1/> x <in/> serviceComps <land/> <nl/>
<t1/> id = x.id @ <nl/>
! <t2/> componentNamespace(<theta/>ComponentContext) = x.name.namespaceName
</zed>
--- 13516,13521 ----
<t1/> x <in/> serviceComps <land/> <nl/>
<t1/> id = x.id @ <nl/>
! <t1/> componentNamespace(<theta/>ComponentContext) = <nl/>
! <t2/> x.name.namespaceName
</zed>
***************
*** 13526,13530 ****
</zed>
! <z:see names="ServiceDesignator ComponentModel wsdlPointerPart"/>
</z:notation>
--- 13539,13543 ----
</zed>
! <z:see names="ServiceDesignator ID pointerPart ComponentID wsdlPointerPart"/>
</z:notation>
***************
*** 13584,13588 ****
Let <z:i>EndpointDesignator</z:i>
express the association between an <comp>Endpoint</comp>
! component and pointer part arguments:
</p>
--- 13597,13601 ----
Let <z:i>EndpointDesignator</z:i>
express the association between an <comp>Endpoint</comp>
! component and its pointer part arguments:
</p>
***************
*** 13696,13700 ****
Let <z:i>FeatureDesignator</z:i>
express the association between a <comp>Feature</comp>
! component and pointer part arguments:
</p>
--- 13709,13713 ----
Let <z:i>FeatureDesignator</z:i>
express the association between a <comp>Feature</comp>
! component and its pointer part arguments:
</p>
***************
*** 13815,13819 ****
Let <z:i>PropertyDesignator</z:i>
express the association between a <comp>Property</comp>
! component and pointer part arguments:
</p>
--- 13828,13832 ----
Let <z:i>PropertyDesignator</z:i>
express the association between a <comp>Property</comp>
! component and its pointer part arguments:
</p>
***************
*** 14002,14010 ****
<inform-div1 id="wsdl-iri-references">
! <head>IRI References for WSDL 2.0 Components</head>
<p>
! This appendix provides a syntax for IRI references for all
! components found in a WSDL 2.0 document. The IRI references are easy
to understand and compare, while imposing no burden on the WSDL 2.0
author.
--- 14015,14023 ----
<inform-div1 id="wsdl-iri-references">
! <head>IRI-References for WSDL 2.0 Components</head>
<p>
! This appendix provides a syntax for IRI-references for all
! components found in a WSDL 2.0 document. The IRI-references are easy
to understand and compare, while imposing no burden on the WSDL 2.0
author.
***************
*** 14031,14039 ****
that the namespace URI be dereferencible to a WSDL 2.0 document,
this appendix specifies the use of the namespace IRI with the
! WSDL 2.0 fragment identifiers to form a IRI-reference.
</p>
<p>
! The IRI in a IRI-reference for a WSDL 2.0 component is the namespace
name of the <prop comp="">name</prop> property of either the component itself, in
the case of <comp>Interface</comp>, <comp>Binding</comp>, and <comp>Service</comp> components, or the
--- 14044,14052 ----
that the namespace URI be dereferencible to a WSDL 2.0 document,
this appendix specifies the use of the namespace IRI with the
! WSDL 2.0 fragment identifiers to form an IRI-reference.
</p>
<p>
! The IRI in an IRI-reference for a WSDL 2.0 component is the namespace
name of the <prop comp="">name</prop> property of either the component itself, in
the case of <comp>Interface</comp>, <comp>Binding</comp>, and <comp>Service</comp> components, or the
***************
*** 14050,14054 ****
</p>
<example id="iri-ref-example-wsdl">
! <head>IRI References - Example WSDL 2.0 Document</head>
<eg xml:space="preserve">
--- 14063,14067 ----
</p>
<example id="iri-ref-example-wsdl">
! <head>IRI-References - Example WSDL 2.0 Document</head>
<eg xml:space="preserve">
***************
*** 14088,14092 ****
<example id="iri-ref-example-iris">
! <head>IRI References - Example IRIs</head>
<eg xml:space="preserve">
http://example.org/TicketAgent.wsdl20#xmlns(xsTicketAgent=http://example.org/TicketAgent.xsd)
--- 14101,14105 ----
<example id="iri-ref-example-iris">
! <head>IRI-References - Example IRIs</head>
<eg xml:space="preserve">
http://example.org/TicketAgent.wsdl20#xmlns(xsTicketAgent=http://example.org/TicketAgent.xsd)
***************
*** 14445,14449 ****
<td>20050711</td>
<td>AGR</td>
! <td>Updated Example C-2. IRI References - Example IRIs to match Appendix A.
</td>
</tr>
--- 14458,14462 ----
<td>20050711</td>
<td>AGR</td>
! <td>Updated Example C-2. IRI-References - Example IRIs to match Appendix A.
</td>
</tr>
Index: wsdl20-z.html
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20-z.html,v
retrieving revision 1.82
retrieving revision 1.83
diff -C2 -d -r1.82 -r1.83
*** wsdl20-z.html 16 Nov 2005 23:02:45 -0000 1.82
--- wsdl20-z.html 17 Nov 2005 04:15:02 -0000 1.83
***************
*** 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="#N1727B">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="#xmlSchemaAnyURI">XML Schema anyURI</a><br> 1.4.4 <a href="#nsprefixes">Prefixes and Namespaces Used in This Specification</a><br> 1.4.5 <a href="#terminology">Terms Used in This Specification</a><br> &nbp; 1.4.6 <a href="#xmlinfosetproperties">XML Information Set Properties</a><br> 1.4.7 <a href="#wsdlcomponentmodelproperties">WSDL 2.0 Component Model Properties</a><br> 1.4.8 <a href="#znotation">Z Notation</a><br> 1.4.9 <a href="#bnfpseudoschemas">BNF Pseudo-Schemas</a><br> 1.4.10 <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_attriute">targetNamespace attribute information item</a><br> 2.1.3 <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="#N17297">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="#xmlSchemaAnyURI">XML Schema anyURI</a><br> 1.4.4 <a href="#nsprefixes">Prefixes and Namespaces Used in This Specification</a><br> 1.4.5 <a href="#terminology">Terms Used in This Specification</a><br> &nbp; 1.4.6 <a href="#xmlinfosetproperties">XML Information Set Properties</a><br> 1.4.7 <a href="#wsdlcomponentmodelproperties">WSDL 2.0 Component Model Properties</a><br> 1.4.8 <a href="#znotation">Z Notation</a><br> 1.4.9 <a href="#bnfpseudoschemas">BNF Pseudo-Schemas</a><br> 1.4.10 <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_attriute">targetNamespace attribute information item</a><br> 2.1.3 <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="#N1727B">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="#N17297">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">
***************
*** 383,387 ****
with an attribute information item which corresponds to
its normalized value. This will often be a string, but may also be
! an integer, a boolean, a IRI reference, etc.</p></dd>
--- 383,387 ----
with an attribute information item which corresponds to
its normalized value. This will often be a string, but may also be
! an integer, a boolean, an IRI-reference, etc.</p></dd>
***************
*** 611,614 ****
--- 611,615 ----
or a set of references to other components. Every component
contains an unique identifier that is used to express
+
references.
</p>
***************
*** 10544,10549 ****
</p>
<p>
! A WSDL 2.0 fragment identifier consists of zero or more xmlns pointer parts
! followed by a pointer part as defined below.
The pointer parts have a scheme name that corresponds to one
of the standard WSDL 2.0 component types, and scheme data that is a path composed
--- 10545,10550 ----
</p>
<p>
! A WSDL 2.0 fragment identifier consists of zero or more <code>xmlns</code> pointer parts
! followed by a WSDL 2.0 pointer part as defined below.
The pointer parts have a scheme name that corresponds to one
of the standard WSDL 2.0 component types, and scheme data that is a path composed
***************
*** 10553,10556 ****
--- 10554,10559 ----
The names in the path are of type either QName, NCName,
IRI, URI, or Pointer Part depending on the context.
+ The scheme data for extension components is defined by the
+ corresponding extension specification.
</p>
<p>
***************
*** 10761,10774 ****
component model.</p>
- <a name="zed-ExtensionIdentifier"></a><div id="twisty-head-zed-ExtensionIdentifier" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-ExtensionIdentifier')">ExtensionIdentifier</a>...</div><div id="twisty-body-zed-ExtensionIdentifier" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-ExtensionIdentifier')">ExtensionIdentifier</a> [ <a onClick="showAll()" href="#zed-ExtensionIdentifier">show all</a> ] [ <a onClick="hideAll()" href="#zed-ExtensionIdentifier">hide all</a> ]<br>
- <p>
- Let
- <span class="zi">ExtensionIdentifier</span>
- be the set of all identifiers for extension components.
- The syntax of identifiers is defined by each extension.
- </p>
- <table class="zzed"><col class="zzed1"><tbody><tr><td>[<span class="zi">ExtensionIdentifier</span>]</td></tr></tbody></table>
- </div>
-
<a name="zed-ComponentID"></a><div id="twisty-head-zed-ComponentID" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-ComponentID')">ComponentID</a>...</div><div id="twisty-body-zed-ComponentID" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-ComponentID')">ComponentID</a> [ <a onClick="showAll()" href="#zed-ComponentID">show all</a> ] [ <a onClick="hideAll()" href="#zed-ComponentID">hide all</a> ]<br>
--- 10764,10767 ----
***************
*** 10789,10794 ****
<p>
! An IRI reference consists of a IRI and a fragment identifier.
! URI references for WSDL 2.0 documents consist of a IRI that
dereferences to a resource whose media type is
<code>application/wsdl+xml</code>
--- 10782,10787 ----
<p>
! An IRI-reference consists of an IRI and a fragment identifier.
! IRI-references for WSDL 2.0 documents consist of an IRI that
dereferences to a resource whose media type is
<code>application/wsdl+xml</code>
***************
*** 10798,10803 ****
terms of
<em>component designators</em>
! which are themselves IRI references. The component designator
! for a WSDL 2.0 document IRI reference is formed by replacing
the WSDL 2.0 document IRI by the target namespace IRI of the
WSDL 2.0 document. The WSDL 2.0 pointer parts are interpretted
--- 10791,10796 ----
terms of
<em>component designators</em>
! which are themselves IRI-references. The component designator
! for a WSDL 2.0 document IRI-reference is formed by replacing
the WSDL 2.0 document IRI by the target namespace IRI of the
WSDL 2.0 document. The WSDL 2.0 pointer parts are interpretted
***************
*** 10814,10818 ****
components are not associated with any WSDL 2.0 namespace,
however, for the purpose of constructing component designator
! IRI references, we assign them the context namespace. In
general, a WSDL 2.0 document may import other WSDL 2.0
namespaces, and the IRI of component designators for WSDL 2.0
--- 10807,10811 ----
components are not associated with any WSDL 2.0 namespace,
however, for the purpose of constructing component designator
! IRI-references, we assign them the context namespace. In
general, a WSDL 2.0 document may import other WSDL 2.0
namespaces, and the IRI of component designators for WSDL 2.0
***************
*** 10848,10851 ****
--- 10841,10857 ----
</div>
+ <a name="zed-ExtensionIdentifier"></a><div id="twisty-head-zed-ExtensionIdentifier" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-ExtensionIdentifier')">ExtensionIdentifier</a>...</div><div id="twisty-body-zed-ExtensionIdentifier" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-ExtensionIdentifier')">ExtensionIdentifier</a> [ <a onClick="showAll()" href="#zed-ExtensionIdentifier">show all</a> ] [ <a onClick="hideAll()" href="#zed-ExtensionIdentifier">hide all</a> ]<br>
+ <p>
+ The syntax of extension component identifiers is defined by
+ the corresponding extension specification.
+ </p>
+ <p>
+ Let
+ <span class="zi">ExtensionIdentifier</span>
+ be the set of all identifiers for extension components:
+ </p>
+ <table class="zzed"><col class="zzed1"><tbody><tr><td>[<span class="zi">ExtensionIdentifier</span>]</td></tr></tbody></table>
+ </div>
+
<a name="zed-wsdlPointerPart"></a><div id="twisty-head-zed-wsdlPointerPart" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-wsdlPointerPart')">wsdlPointerPart</a>...</div><div id="twisty-body-zed-wsdlPointerPart" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-wsdlPointerPart')">wsdlPointerPart</a> [ <a onClick="showAll()" href="#zed-wsdlPointerPart">show all</a> ] [ <a onClick="hideAll()" href="#zed-wsdlPointerPart">hide all</a> ]<br>
***************
*** 10893,10897 ****
</p>
! <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix">∀</span><span class="zi">ComponentContext</span> <span class="zinfix">•</span></td></tr><tr><td> <span class="zi">id</span><span class="zinfix">∈</span><span class="zi">descriptionIds</span><span class="zinfix">⇒</span><span class="zi">componentNamespace</span>(<span class="zprefix"><span class="zi">θ</span></span><span class="zi">ComponentContext</span>) <span class="zinfix">=</span> <span class="zi">contextNamespace</span></td></tr></tbody></table>
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentContext">ComponentContext</a>, <a href="#zed-componentNamespace">componentNamespace</a>.</span></span></div>
--- 10899,10903 ----
</p>
! <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix">∀</span><span class="zi">ComponentContext</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">id</span><span class="zinfix">∈</span><span class="zi">descriptionIds</span> <span class="zinfix">•</span></td></tr><tr><td> <span class="zi">componentNamespace</span>(<span class="zprefix"><span class="zi">θ</span></span><span class="zi">ComponentContext</span>) <span class="zinfix">=</span></td></tr><tr><td> <span class="zi">contextNamespace</span></td></tr></tbody></table>
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentContext">ComponentContext</a>, <a href="#zed-componentNamespace">componentNamespace</a>.</span></span></div>
***************
*** 10904,10908 ****
</p>
! <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix">∀</span><span class="zi">ComponentID</span> <span class="zinfix">•</span></td></tr><tr><td> <span class="zi">id</span><span class="zinfix">∈</span><span class="zi">descriptionIds</span><span class="zinfix">⇒</span></td></tr><tr><td> <span class="zi">pointerPart</span>(<span class="zprefix"><span class="zi">θ</span></span><span class="zi">ComponentID</span>) <span class="zinfix">=</span></td></tr><tr><td> <span class="zi">wsdlDescription</span></td></tr></tbody></table>
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentID">ComponentID</a>, <a href="#zed-pointerPart">pointerPart</a>, <a href="#zed-wsdlPointerPart">wsdlPointerPart</a>.</span></span></div>
--- 10910,10914 ----
</p>
! <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix">∀</span><span class="zi">ComponentID</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">id</span><span class="zinfix">∈</span><span class="zi">descriptionIds</span> <span class="zinfix">•</span></td></tr><tr><td> <span class="zi">pointerPart</span>(<span class="zprefix"><span class="zi">θ</span></span><span class="zi">ComponentID</span>) <span class="zinfix">=</span></td></tr><tr><td> <span class="zi">wsdlDescription</span></td></tr></tbody></table>
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentID">ComponentID</a>, <a href="#zed-pointerPart">pointerPart</a>, <a href="#zed-wsdlPointerPart">wsdlPointerPart</a>.</span></span></div>
***************
*** 10990,10994 ****
</p>
! <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix">∀</span><span class="zi">ComponentContext</span> <span class="zinfix">•</span></td></tr><tr><td> <span class="zi">id</span><span class="zinfix">∈</span><span class="zi">elementDeclIds</span><span class="zinfix">⇒</span></td></tr><tr><td> <span class="zi">componentNamespace</span>(<span class="zprefix"><span class="zi">θ</span></span><span class="zi">ComponentContext</span>) <span class="zinfix">=</span> <span class="zi">contextNamespace</span></td></tr></tbody></table>
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentContext">ComponentContext</a>.</span></span></div>
--- 10996,11000 ----
</p>
! <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix">∀</span><span class="zi">ComponentContext</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">id</span><span class="zinfix">∈</span><span class="zi">elementDeclIds</span> <span class="zinfix">•</span></td></tr><tr><td> <span class="zi">componentNamespace</span>(<span class="zprefix"><span class="zi">θ</span></span><span class="zi">ComponentContext</span>) <span class="zinfix">=</span></td></tr><tr><td> <span class="zi">contextNamespace</span></td></tr></tbody></table>
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentContext">ComponentContext</a>.</span></span></div>
***************
*** 11001,11007 ****
</p>
! <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix">∀</span><span class="zi">ElementDeclDesignator</span>; <span class="zi">id</span> <span class="zinfix">:</span> <span class="zi">ID</span> <span class="zinfix">•</span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">elementDeclComp</span>.<span class="zi">id</span><span class="zinfix">⇒</span></td></tr><tr><td> <span class="zi">pointerPart</span>(<span class="zprefix"><span class="zi">θ</span></span><span class="zi">ComponentID</span>) <span class="zinfix">=</span></td></tr><tr><td> <span class="zi">wsdlElementDeclaration</span>(<span class="zi">element</span><span class="zprefix">,</span> <span class="zi">system</span>)</td></tr></tbody></table>
! <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ElementDeclDesignator">ElementDeclDesignator</a>, <a href="#zed-ID">ID</a>, <a href="#zed-ComponentID">ComponentID</a>, <a href="#zed-pointerPart">pointerPart</a>, <a href="#zed-wsdlPointerPart">wsdlPointerPart</a>.</span></span></div>
</div>
--- 11007,11013 ----
</p>
! <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix">∀</span><span class="zi">ElementDeclDesignator</span>;</td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">:</span> <span class="zi">ID</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">elementDeclComp</span>.<span class="zi">id</span> <span class="zinfix">•</span></td></tr><tr><td> <span class="zi">pointerPart</span>(<span class="zprefix"><span class="zi">θ</span></span><span class="zi">ComponentID</span>) <span class="zinfix">=</span></td></tr><tr><td> <span class="zi">wsdlElementDeclaration</span>(<span class="zi">element</span><span class="zprefix">,</span> <span class="zi">system</span>)</td></tr></tbody></table>
! <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ElementDeclDesignator">ElementDeclDesignator</a>, <a href="#zed-ID">ID</a>, <a href="#zed-pointerPart">pointerPart</a>, <a href="#zed-ComponentID">ComponentID</a>, <a href="#zed-wsdlPointerPart">wsdlPointerPart</a>.</span></span></div>
</div>
***************
*** 11076,11080 ****
</p>
! <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix">∀</span><span class="zi">ComponentContext</span> <span class="zinfix">•</span></td></tr><tr><td> <span class="zi">id</span><span class="zinfix">∈</span><span class="zi">typeDefIds</span><span class="zinfix">⇒</span></td></tr><tr><td> <span class="zi">componentNamespace</span>(<span class="zprefix"><span class="zi">θ</span></span><span class="zi">ComponentContext</span>) <span class="zinfix">=</span> <span class="zi">contextNamespace</span></td></tr></tbody></table>
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentContext">ComponentContext</a>, <a href="#zed-componentNamespace">componentNamespace</a>.</span></span></div>
--- 11082,11086 ----
</p>
! <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix">∀</span><span class="zi">ComponentContext</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">id</span><span class="zinfix">∈</span><span class="zi">typeDefIds</span> <span class="zinfix">•</span></td></tr><tr><td> <span class="zi">componentNamespace</span>(<span class="zprefix"><span class="zi">θ</span></span><span class="zi">ComponentContext</span>) <span class="zinfix">=</span></td></tr><tr><td> <span class="zi">contextNamespace</span></td></tr></tbody></table>
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentContext">ComponentContext</a>, <a href="#zed-componentNamespace">componentNamespace</a>.</span></span></div>
***************
*** 11087,11091 ****
</p>
! <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix">∀</span><span class="zi">TypeDefDesignator</span>; <span class="zi">id</span> <span class="zinfix">:</span> <span class="zi">ID</span> <span class="zinfix">•</span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">typeDefComp</span>.<span class="zi">id</span><span class="zinfix">⇒</span></td></tr><tr><td> <span class="zi">pointerPart</span>(<span class="zprefix"><span class="zi">θ</span></span><span class="zi">ComponentID</span>) <span class="zinfix">=</span></td></tr><tr><td> <span class="zi">wsdlTypeDefinition</span>(<span class="zi">type</span><span class="zprefix">,</span> <span class="zi">system</span>)</td></tr></tbody></table>
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-TypeDefDesignator">TypeDefDesignator</a>, <a href="#zed-ID">ID</a>, <a href="#zed-pointerPart">pointerPart</a>, <a href="#zed-ComponentID">ComponentID</a>, <a href="#zed-wsdlPointerPart">wsdlPointerPart</a>.</span></span></div>
--- 11093,11097 ----
</p>
! <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix">∀</span><span class="zi">TypeDefDesignator</span>; <span class="zi">id</span> <span class="zinfix">:</span> <span class="zi">ID</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">typeDefComp</span>.<span class="zi">id</span> <span class="zinfix">•</span></td></tr><tr><td> <span class="zi">pointerPart</span>(<span class="zprefix"><span class="zi">θ</span></span><span class="zi">ComponentID</span>) <span class="zinfix">=</span></td></tr><tr><td> <span class="zi">wsdlTypeDefinition</span>(<span class="zi">type</span><span class="zprefix">,</span> <span class="zi">system</span>)</td></tr></tbody></table>
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-TypeDefDesignator">TypeDefDesignator</a>, <a href="#zed-ID">ID</a>, <a href="#zed-pointerPart">pointerPart</a>, <a href="#zed-ComponentID">ComponentID</a>, <a href="#zed-wsdlPointerPart">wsdlPointerPart</a>.</span></span></div>
***************
*** 11149,11153 ****
</p>
! <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix">∀</span><span class="zi">ComponentContext</span>;</td></tr><tr><td> <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Interface</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">x</span><span class="zinfix">∈</span><span class="zi">interfaceComps</span><span class="zinfix">∧</span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span> <span class="zinfix">•</span></td></tr><tr><td> <span class="zi">componentNamespace</span>(<span class="zprefix"><span class="zi">θ</span></span><span class="zi">ComponentContext</span>) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">name</span>.<span clas="zi">namespaceName</span></td></tr></tbody></table>
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentContext">ComponentContext</a>, <a href="#zed-Interface">Interface</a>, <a href="#zed-componentNamespace">componentNamespace</a>.</span></span></div>
--- 11155,11159 ----
</p>
! <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix">∀</span><span class="zi">ComponentContext</span>;</td></tr><tr><td> <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Interface</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">x</span><span class="zinfix">∈</span><span class="zi">interfaceComps</span><span class="zinfix">∧</span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span> <span class="zinfix">•</span></td></tr><tr><td> <span class="zi">componentNamespace</span>(<span class="zprefix"><span class="zi">θ</span></span><span class="zi">ComponentContext</span>) <span class="zinfix">=</span></td></tr><tr><td> <span class=zi">x</span>.<span class="zi">name</span>.<span class="zi">namespaceName</span></td></tr></tbody></table>
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentContext">ComponentContext</a>, <a href="#zed-Interface">Interface</a>, <a href="#zed-componentNamespace">componentNamespace</a>.</span></span></div>
***************
*** 11160,11164 ****
</p>
! <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix">∀</span><span class="zi">InterfaceDesignator</span>; <span class="zi">id</span> <span class="zinfix">:</span> <span class="zi">ID</span> <span class="zinfix">•</span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">interfaceComp</span>.<span class="zi">id</span><span class="zinfix">⇒</span></td></tr><tr><td> <span class="zi">pointerPart</span>(<span class="zprefix"><span class="zi">θ</span></span><span class="zi">ComponentID</span>) <span class="zinfix">=</span></td></tr><tr><td> <span class="zi">wsdlInterface</span>(<span class="zi">interface</span>)</td></tr></tbody></table>
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-InterfaceDesignator">InterfaceDesignator</a>, <a href="#zed-ID">ID</a>, <a href="#zed-pointerPart">pointerPart</a>, <a href="#zed-ComponentID">ComponentID</a>, <a href="#zed-wsdlPointerPart">wsdlPointerPart</a>.</span></span></div>
--- 11166,11170 ----
</p>
! <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix">∀</span><span class="zi">InterfaceDesignator</span>;</td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">:</span> <span class="zi">ID</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">interfaceComp</span>.<span class="zi">id</span> <span class="zinfix">•</span></td></tr><tr><td> <span class="zi">pointerPart</span>(<span class="zprefix"><span class="zi">θ</span></span><span class="zi">ComponentID</span>) <span class="zinfix">=</span></td></tr><tr><td> <span class="zi">wsdlInterface</span>(<span class="zi">interface</span>)</td></tr></tbody></table>
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-InterfaceDesignator">InterfaceDesignator</a>, <a href="#zed-ID">ID</a>, <a href="#zed-pointerPart">pointerPart</a>, <a href="#zed-ComponentID">ComponentID</a>, <a href="#zed-wsdlPointerPart">wsdlPointerPart</a>.</span></span></div>
***************
*** 11217,11221 ****
Let <span class="zi">InterfaceFaultDesignator</span>
express the association between an <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a>
! component and pointer part arguments:
</p>
--- 11223,11227 ----
Let <span class="zi">InterfaceFaultDesignator</span>
express the association between an <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a>
! component and its pointer part arguments:
</p>
***************
*** 11245,11249 ****
</p>
! <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix">∀</span><span class="zi">InterfaceFaultDesignator</span>; <span class="zi">id</span> <span class="zinfix">:</span> <span class="zi">ID</span> <span class="zinfix">•</span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">interfaceFaultComp</span>.<span class="zi">id</span><span class="zinfix">⇒</span></td></tr><tr><td> <span class="zi">pointerPart</span>(<span class="zprefix"><span class="zi">θ</span></span><span class="zi">ComponentID</span>) <span class="zinfix">=</span></td></tr><tr><td> <span class="zi">wsdlInterfaceFault</span>(<span class="zi">interface</span><span class="zprefix">,</span> <span class="zi">fault</span>)</td></tr></tbody></table>
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-InterfaceFaultDesignator">InterfaceFaultDesignator</a>, <a href="#zed-ID">ID</a>, <a href="#zed-pointerPart">pointerPart</a>, <a href="#zed-ComponentID">ComponentID</a>, <a href="#zed-wsdlPointerPart">wsdlPointerPart</a>.</span></span></div>
--- 11251,11255 ----
</p>
! <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix">∀</span><span class="zi">InterfaceFaultDesignator</span>;</td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">:</span> <span class="zi">ID</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">interfaceFaultComp</span>.<span class="zi">id</span> <span class="zinfix">•</span></td></tr><tr><td> <span class="zi">pointerPart</span>(<span class="zprefix"><span class="zi">θ</span></span><span class="zi">ComponentID</span>) <span class="zinfix">=</span></td></tr><tr><td> <span class="zi">wsdlInterfaceFault</span>(<span class="zi">interface</span><span class="zprefix">,</span> <span class="zi">fault</span>)</td></tr></tbody></table>
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-InterfaceFaultDesignator">InterfaceFaultDesignator</a>, <a href="#zed-ID">ID</a>, <a href="#zed-pointerPart">pointerPart</a>, <a href="#zed-ComponentID">ComponentID</a>, <a href="#zed-wsdlPointerPart">wsdlPointerPart</a>.</span></span></div>
***************
*** 11302,11306 ****
Let <span class="zi">InterfaceOpDesignator</span>
express the association between an <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a>
! component and pointer part arguments:
</p>
--- 11308,11312 ----
Let <span class="zi">InterfaceOpDesignator</span>
express the association between an <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a>
! component and its pointer part arguments:
</p>
***************
*** 11321,11325 ****
<table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix">∀</span><span class="zi">ComponentContext</span>;</td></tr><tr><td> <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">InterfaceOperation</span>;</td></tr><tr><td> <span class="zi">parentContext</span> <span class="zinfix">:</span> <span class="zi">ComponentContext</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">x</span><span class="zinfix">∈</span><span class="zi">interfaceOpComps</span><span class="zinfix">∧</span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span><span class="zinfix">∧</span></td></tr><tr><td> <span class="zi">parentContext</span> <span class="zinfix">=</span> (<span class="zprefix"><span clss="zi">μ</span></span><span class="zi">id</span> <span class="zinfix">:</span> <span class="zi">ID</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span> <span class="zinfix">•</span><span class="zprefix"><span class="zi">θ</span></span><span class="zi">ComponentContext</span>) <span class="zinfix">•</span></td></tr><tr><td> <span class="zi">componentNamespace</span>(<span class="zprefix"><span class="zi">θ</span></span><span class="zi">ComponentContext</span>) <span class="zinfix">=</span></td></tr><tr><td> <span class="zi">componentNamespace</span>(<span class="zi">parentContext</span>)</td></tr></tbody></table>
! <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentContext">ComponentContext</a>, <a href="#zed-InterfaceOperation">InterfaceOperation</a>, <a href="#zed-componentNamespace">componentNamespace</a>, <a href="#zed-ID">ID</a>.</span></span></div>
<p>
--- 11327,11331 ----
<table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix">∀</span><span class="zi">ComponentContext</span>;</td></tr><tr><td> <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">InterfaceOperation</span>;</td></tr><tr><td> <span class="zi">parentContext</span> <span class="zinfix">:</span> <span class="zi">ComponentContext</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">x</span><span class="zinfix">∈</span><span class="zi">interfaceOpComps</span><span class="zinfix">∧</span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span><span class="zinfix">∧</span></td></tr><tr><td> <span class="zi">parentContext</span> <span class="zinfix">=</span> (<span class="zprefix"><span clss="zi">μ</span></span><span class="zi">id</span> <span class="zinfix">:</span> <span class="zi">ID</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span> <span class="zinfix">•</span><span class="zprefix"><span class="zi">θ</span></span><span class="zi">ComponentContext</span>) <span class="zinfix">•</span></td></tr><tr><td> <span class="zi">componentNamespace</span>(<span class="zprefix"><span class="zi">θ</span></span><span class="zi">ComponentContext</span>) <span class="zinfix">=</span></td></tr><tr><td> <span class="zi">componentNamespace</span>(<span class="zi">parentContext</span>)</td></tr></tbody></table>
! <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentContext">ComponentContext</a>, <a href="#zed-InterfaceOperation">InterfaceOperation</a>, <a href="#zed-ID">ID</a>, <a href="#zed-componentNamespace">componentNamespace</a>.</span></span></div>
<p>
***************
*** 11332,11336 ****
<table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix">∀</span><span class="zi">InterfaceOpDesignator</span>;</td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">:</span> <span class="zi">ID</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">interfaceOpComp</span>.<span class="zi">id</span> <span class="zinfix">•</span></td></tr><tr><td> <span class="zi">pointerPart</span>(<span class="zprefix"><span class="zi">θ</span></span><span class="zi">ComponentID</span>) <span class="zinfix">=</span></td></tr><tr><td> <span class="zi">wsdlInterfaceOperation</span>(<span class="zi">interface</span><span class="zprefix">,</span> <span class="zi">operation</span>)</td></tr></tbody></table>
! <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-InterfaceOperationDesignator">InterfaceOperationDesignator</a>, <a href="#zed-ComponentModel">ComponentModel</a>, <a href="#zed-wsdlPointerPart">wsdlPointerPart</a>.</span></span></div>
</div>
--- 11338,11342 ----
<table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix">∀</span><span class="zi">InterfaceOpDesignator</span>;</td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">:</span> <span class="zi">ID</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">interfaceOpComp</span>.<span class="zi">id</span> <span class="zinfix">•</span></td></tr><tr><td> <span class="zi">pointerPart</span>(<span class="zprefix"><span class="zi">θ</span></span><span class="zi">ComponentID</span>) <span class="zinfix">=</span></td></tr><tr><td> <span class="zi">wsdlInterfaceOperation</span>(<span class="zi">interface</span><span class="zprefix">,</span> <span class="zi">operation</span>)</td></tr></tbody></table>
! <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-InterfaceOpDesignator">InterfaceOpDesignator</a>, <a href="#zed-ID">ID</a>, <a href="#zed-ComponentID">ComponentID</a>, <a href="#zed-wsdlPointerPart">wsdlPointerPart</a>.</span></span></div>
</div>
***************
*** 11399,11403 ****
Let <span class="zi">InterfaceMessageRefDesignator</span>
express the association between an <a href="wsdl20.html#component-InterfaceMessageReference">Interface Message Reference</a>
! component and its pointer part:
</p>
--- 11405,11409 ----
Let <span class="zi">InterfaceMessageRefDesignator</span>
express the association between an <a href="wsdl20.html#component-InterfaceMessageReference">Interface Message Reference</a>
! component and its pointer part arguments:
</p>
***************
*** 11429,11433 ****
<table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix">∀</span><span class="zi">InterfaceMessageRefDesignator</span>;</td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">:</span> <span class="zi">ID</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">interfaceMessageRefComp</span>.<span class="zi">id</span> <span class="zinfix">•</span></td></tr><tr><td> <span class="zi">pointerPart</span>(<span class="zprefix"><span class="zi">θ</span></span><span class="zi">ComponentID</span>) <span class="zinfix">=</span></td></tr><tr><td> <span class="zi">wsdlInterfaceMessageReference</span>(<span class="zi">interface</span><span class="zprefix">,</span> <span class="zi">operation</span><span class="zprefix">,</span><span class="zi">message</span>)</td></tr></tbody></table>
! <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-InterfaceMessageRefDesignator">InterfaceMessageRefDesignator</a>, <a href="#zed-ComponentID">ComponentID</a>, <a href="#zed-pointerPart">pointerPart</a>, <a href="#zed-wsdlPointerPart">wsdlPointerPart</a>.</span></span></div>
</div>
--- 11435,11439 ----
<table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix">∀</span><span class="zi">InterfaceMessageRefDesignator</span>;</td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">:</span> <span class="zi">ID</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">interfaceMessageRefComp</span>.<span class="zi">id</span> <span class="zinfix">•</span></td></tr><tr><td> <span class="zi">pointerPart</span>(<span class="zprefix"><span class="zi">θ</span></span><span class="zi">ComponentID</span>) <span class="zinfix">=</span></td></tr><tr><td> <span class="zi">wsdlInterfaceMessageReference</span>(<span class="zi">interface</span><span class="zprefix">,</span> <span class="zi">operation</span><span class="zprefix">,</span><span class="zi">message</span>)</td></tr></tbody></table>
! <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-InterfaceMessageRefDesignator">InterfaceMessageRefDesignator</a>, <a href="#zed-ID">ID</a>, <a href="#zed-pointerPart">pointerPart</a>, <a href="#zed-ComponentID">ComponentID</a>, <a href="#zed-wsdlPointerPart">wsdlPointerPart</a>.</span></span></div>
</div>
***************
*** 11504,11508 ****
<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">InterfaceFaultRefArgs</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">InterfaceOpArgs</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">message</span> <span class="zinfix">:</span> <span class="zi">NCName</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">fault</span> <span class="zinfix">:</span> <span class="zi">QName</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-QName">QName</a>.</span></span></div>
</div>
--- 11510,11514 ----
<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">InterfaceFaultRefArgs</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">InterfaceOpArgs</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">message</span> <span class="zinfix">:</span> <span class="zi">NCName</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">fault</span> <span class="zinfix">:</span> <span class="zi">QName</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-InterfaceOpArgs">InterfaceOpArgs</a>, <a href="#zed-NCName">NCName</a>, <a href="#zed-QName">QName</a>.</span></span></div>
</div>
***************
*** 11512,11516 ****
Let <span class="zi">InterfaceFaultRefDesignator</span>
express the association between an <a href="wsdl20.html#component-InterfaceFaultReference">Interface Fault Reference</a>
! component and pointer part arguments:
</p>
--- 11518,11522 ----
Let <span class="zi">InterfaceFaultRefDesignator</span>
express the association between an <a href="wsdl20.html#component-InterfaceFaultReference">Interface Fault Reference</a>
! component and its pointer part arguments:
</p>
***************
*** 11585,11589 ****
Let <span class="zi">BindingDesignator</span>
express the association between a <a href="wsdl20.html#component-Binding">Binding</a>
! component and pointer part arguments:
</p>
--- 11591,11595 ----
Let <span class="zi">BindingDesignator</span>
express the association between a <a href="wsdl20.html#component-Binding">Binding</a>
! component and its pointer part arguments:
</p>
***************
*** 11605,11609 ****
</p>
! <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix">∀</span><span class="zi">ComponentContext</span>;</td></tr><tr><td> <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Binding</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">x</span><span class="zinfix">∈</span><span class="zi">bindingComps</span><span class="zinfix">∧</span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span> <span class="zinfix">•</span></td></tr><tr><td> <span class="zi">componentNamespace</span>(<span class="zprefix"><span class="zi">θ</span></span><span class="zi">ComponentContext</span>) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">name</span>.<span class="z">namespaceName</span></td></tr></tbody></table>
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentContext">ComponentContext</a>, <a href="#zed-Binding">Binding</a>, <a href="#zed-componentNamespace">componentNamespace</a>.</span></span></div>
--- 11611,11615 ----
</p>
! <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix">∀</span><span class="zi">ComponentContext</span>;</td></tr><tr><td> <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Binding</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">x</span><span class="zinfix">∈</span><span class="zi">bindingComps</span><span class="zinfix">∧</span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span> <span class="zinfix">•</span></td></tr><tr><td> <span class="zi">componentNamespace</span>(<span class="zprefix"><span class="zi">θ</span></span><span class="zi">ComponentContext</span>) <span class="zinfix">=</span></td></tr><tr><td> <span class="zi"x</span>.<span class="zi">name</span>.<span class="zi">namespaceName</span></td></tr></tbody></table>
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentContext">ComponentContext</a>, <a href="#zed-Binding">Binding</a>, <a href="#zed-componentNamespace">componentNamespace</a>.</span></span></div>
***************
*** 11690,11694 ****
Let <span class="zi">BindingFaultDesignator</span>
express the association between a <a href="wsdl20.html#component-BindingFault">Binding Fault</a>
! component and pointer part arguments:
</p>
--- 11696,11700 ----
Let <span class="zi">BindingFaultDesignator</span>
express the association between a <a href="wsdl20.html#component-BindingFault">Binding Fault</a>
! component and its pointer part arguments:
</p>
***************
*** 11779,11784 ****
Let <span class="zi">BindingOpDesignator</span>
express the association between a <a href="wsdl20.html#component-BindingOperation">Binding Operation</a>
! component and the IRI reference formed
! by a namespace IRI and a binding operation arguments:
</p>
--- 11785,11789 ----
Let <span class="zi">BindingOpDesignator</span>
express the association between a <a href="wsdl20.html#component-BindingOperation">Binding Operation</a>
! component and its pointer part arguments:
</p>
***************
*** 11808,11812 ****
</p>
! <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix">∀</span><span class="zi">BindingOpDesignator</span>; <span class="zi">id</span> <span class="zinfix">:</span> <span class="zi">ID</span> <span class="zinfix">•</span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">bindingOpComp</span>.<span class="zi">id</span><span class="zinfix">⇒</span></td></tr><tr><td> <span class="zi">pointerPart</span>(<span class="zprefix"><span class="zi">θ</span></span><span class="zi">ComponentID</span>) <span class="zinfix">=</span></td></tr><tr><td> <span class="zi">wsdlBindingOperation</span>(<span class="zi">binding</span><span class="zprefix">,</span> <span class="zi">operation</span>)</td></tr></tbody></table>
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-BindingOpDesignator">BindingOpDesignator</a>, <a href="#zed-ComponentModel">ComponentModel</a>, <a href="#zed-wsdlPointerPart">wsdlPointerPart</a>.</span></span></div>
--- 11813,11817 ----
</p>
! <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix">∀</span><span class="zi">BindingOpDesignator</span>; <span class="zi">id</span> <span class="zinfix">:</span> <span class="zi">ID</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">bindingOpComp</span>.<span class="zi">id</span> <span class="zinfix">•</span></td></tr><tr><td> <span class="zi">pointerPart</span>(<span class="zprefix"><span class="zi">θ</span></span><span class="zi">ComponentID</span>) <span class="zinfix">=</span></td></tr><tr><td> <span class="zi">wsdlBindingOperation</span>(<span class="zi">binding</span><span class="zprefix">,</span> <span class="zi">operation</span>)</td></tr></tbody></table>
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-BindingOpDesignator">BindingOpDesignator</a>, <a href="#zed-ComponentModel">ComponentModel</a>, <a href="#zed-wsdlPointerPart">wsdlPointerPart</a>.</span></span></div>
***************
*** 11885,11889 ****
Let <span class="zi">BindingMessageRefDesignator</span>
express the association between a <a href="wsdl20.html#component-BindingMessageReference">Binding Message Reference</a>
! component and pointer part arguments:
</p>
--- 11890,11894 ----
Let <span class="zi">BindingMessageRefDesignator</span>
express the association between a <a href="wsdl20.html#component-BindingMessageReference">Binding Message Reference</a>
! component and its pointer part arguments:
</p>
***************
*** 12010,12014 ****
Let <span class="zi">BindingFaultRefDesignator</span>
express the association between a <a href="wsdl20.html#component-BindingFaultReference">Binding Fault Reference</a>
! component and pointer part arguments:
</p>
--- 12015,12019 ----
Let <span class="zi">BindingFaultRefDesignator</span>
express the association between a <a href="wsdl20.html#component-BindingFaultReference">Binding Fault Reference</a>
! component and its pointer part arguments:
</p>
***************
*** 12085,12089 ****
Let <span class="zi">ServiceDesignator</span>
express the association between a <a href="wsdl20.html#component-Service">Service</a>
! component and pointer part arguments:
</p>
--- 12090,12094 ----
Let <span class="zi">ServiceDesignator</span>
express the association between a <a href="wsdl20.html#component-Service">Service</a>
! component and its pointer part arguments:
</p>
***************
*** 12102,12106 ****
</p>
! <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix">∀</span><span class="zi">ComponentContext</span>;</td></tr><tr><td> <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Service</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">x</span><span class="zinfix">∈</span><span class="zi">serviceComps</span><span class="zinfix">∧</span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span> <span class="zinfix">•</span></td></tr><tr><td> <span class="zi">componentNamespace</span>(<span class="zprefix"><span class="zi">θ</span></span><span class="zi">ComponentContext</span>) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">name</span>.<span class="z">namespaceName</span></td></tr></tbody></table>
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentContext">ComponentContext</a>, <a href="#zed-Service">Service</a>, <a href="#zed-componentNamespace">componentNamespace</a>.</span></span></div>
--- 12107,12111 ----
</p>
! <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix">∀</span><span class="zi">ComponentContext</span>;</td></tr><tr><td> <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Service</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">x</span><span class="zinfix">∈</span><span class="zi">serviceComps</span><span class="zinfix">∧</span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span> <span class="zinfix">•</span></td></tr><tr><td> <span class="zi">componentNamespace</span>(<span class="zprefix"><span class="zi">θ</span></span><span class="zi">ComponentContext</span>) <span class="zinfix">=</span></td></tr><tr><td> <span class="zi"x</span>.<span class="zi">name</span>.<span class="zi">namespaceName</span></td></tr></tbody></table>
<div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentContext">ComponentContext</a>, <a href="#zed-Service">Service</a>, <a href="#zed-componentNamespace">componentNamespace</a>.</span></span></div>
***************
*** 12115,12119 ****
<table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix">∀</span><span class="zi">ServiceDesignator</span>;</td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">:</span> <span class="zi">ID</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">serviceComp</span>.<span class="zi">id</span> <span class="zinfix">•</span></td></tr><tr><td> <span class="zi">pointerPart</span>(<span class="zprefix"><span class="zi">θ</span></span><span class="zi">ComponentID</span>) <span class="zinfix">=</span></td></tr><tr><td> <span class="zi">wsdlService</span>(<span class="zi">service</span>)</td></tr></tbody></table>
! <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ServiceDesignator">ServiceDesignator</a>, <a href="#zed-ComponentModel">ComponentModel</a>, <a href="#zed-wsdlPointerPart">wsdlPointerPart</a>.</span></span></div>
</div>
--- 12120,12124 ----
<table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zprefix">∀</span><span class="zi">ServiceDesignator</span>;</td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">:</span> <span class="zi">ID</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">serviceComp</span>.<span class="zi">id</span> <span class="zinfix">•</span></td></tr><tr><td> <span class="zi">pointerPart</span>(<span class="zprefix"><span class="zi">θ</span></span><span class="zi">ComponentID</span>) <span class="zinfix">=</span></td></tr><tr><td> <span class="zi">wsdlService</span>(<span class="zi">service</span>)</td></tr></tbody></table>
! <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ServiceDesignator">ServiceDesignator</a>, <a href="#zed-ID">ID</a>, <a href="#zed-pointerPart">pointerPart</a>, <a href="#zed-ComponentID">ComponentID</a>, <a href="#zed-wsdlPointerPart">wsdlPointerPart</a>.</span></span></div>
</div>
***************
*** 12170,12174 ****
Let <span class="zi">EndpointDesignator</span>
express the association between an <a href="wsdl20.html#component-Endpoint">Endpoint</a>
! component and pointer part arguments:
</p>
--- 12175,12179 ----
Let <span class="zi">EndpointDesignator</span>
express the association between an <a href="wsdl20.html#component-Endpoint">Endpoint</a>
! component and its pointer part arguments:
</p>
***************
*** 12251,12255 ****
Let <span class="zi">FeatureDesignator</span>
express the association between a <a href="wsdl20.html#component-Feature">Feature</a>
! component and pointer part arguments:
</p>
--- 12256,12260 ----
Let <span class="zi">FeatureDesignator</span>
express the association between a <a href="wsdl20.html#component-Feature">Feature</a>
! component and its pointer part arguments:
</p>
***************
*** 12332,12336 ****
Let <span class="zi">PropertyDesignator</span>
express the association between a <a href="wsdl20.html#component-Property">Property</a>
! component and pointer part arguments:
</p>
--- 12337,12341 ----
Let <span class="zi">PropertyDesignator</span>
express the association between a <a href="wsdl20.html#component-Property">Property</a>
! component and its pointer part arguments:
</p>
***************
*** 12562,12570 ****
<div class="div1">
! <h2><a name="wsdl-iri-references"></a>C. IRI References for WSDL 2.0 Components (Non-Normative)</h2>
<p>
! This appendix provides a syntax for IRI references for all
! components found in a WSDL 2.0 document. The IRI references are easy
to understand and compare, while imposing no burden on the WSDL 2.0
author.
--- 12567,12575 ----
<div class="div1">
! <h2><a name="wsdl-iri-references"></a>C. IRI-References for WSDL 2.0 Components (Non-Normative)</h2>
<p>
! This appendix provides a syntax for IRI-references for all
! components found in a WSDL 2.0 document. The IRI-references are easy
to understand and compare, while imposing no burden on the WSDL 2.0
author.
***************
*** 12592,12600 ****
that the namespace URI be dereferencible to a WSDL 2.0 document,
this appendix specifies the use of the namespace IRI with the
! WSDL 2.0 fragment identifiers to form a IRI-reference.
</p>
<p>
! The IRI in a IRI-reference for a WSDL 2.0 component is the namespace
name of the {<a href="wsdl20.html#property-.name">name</a>} property of either the component itself, in
the case of <a href="wsdl20.html#component-Interface">Interface</a>, <a href="wsdl20.html#component-Binding">Binding</a>, and <a href="wsdl20.html#component-Service">Service</a> components, or the
--- 12597,12605 ----
that the namespace URI be dereferencible to a WSDL 2.0 document,
this appendix specifies the use of the namespace IRI with the
! WSDL 2.0 fragment identifiers to form an IRI-reference.
</p>
<p>
! The IRI in an IRI-reference for a WSDL 2.0 component is the namespace
name of the {<a href="wsdl20.html#property-.name">name</a>} property of either the component itself, in
the case of <a href="wsdl20.html#component-Interface">Interface</a>, <a href="wsdl20.html#component-Binding">Binding</a>, and <a href="wsdl20.html#component-Service">Service</a> components, or the
***************
*** 12612,12616 ****
</p>
<div class="exampleOuter">
! <p class="exampleHead" style="text-align: left"><a name="iri-ref-example-wsdl"></a><i><span>Example C-1. </span>IRI References - Example WSDL 2.0 Document</i></p>
<div class="exampleInner"><pre>
--- 12617,12621 ----
</p>
<div class="exampleOuter">
! <p class="exampleHead" style="text-align: left"><a name="iri-ref-example-wsdl"></a><i><span>Example C-1. </span>IRI-References - Example WSDL 2.0 Document</i></p>
<div class="exampleInner"><pre>
***************
*** 12650,12654 ****
<div class="exampleOuter">
! <p class="exampleHead" style="text-align: left"><a name="iri-ref-example-iris"></a><i><span>Example C-2. </span>IRI References - Example IRIs</i></p>
<div class="exampleInner"><pre>
http://example.org/TicketAgent.wsdl20#xmlns(xsTicketAgent=http://example.org/TicketAgent.xsd)
--- 12655,12659 ----
<div class="exampleOuter">
! <p class="exampleHead" style="text-align: left"><a name="iri-ref-example-iris"></a><i><span>Example C-2. </span>IRI-References - Example IRIs</i></p>
<div class="exampleInner"><pre>
http://example.org/TicketAgent.wsdl20#xmlns(xsTicketAgent=http://example.org/TicketAgent.xsd)
***************
*** 12679,12683 ****
<div class="div1">
! <h2><a name="N1727B"></a>D. Component Summary (Non-Normative)</h2>
<p>
<a href="#component-summary">Table D-1</a>
--- 12684,12688 ----
<div class="div1">
! <h2><a name="N17297"></a>D. Component Summary (Non-Normative)</h2>
<p>
<a href="#component-summary">Table D-1</a>
***************
*** 13552,13556 ****
<td rowspan="1" colspan="1">20050711</td>
<td rowspan="1" colspan="1">AGR</td>
! <td rowspan="1" colspan="1">Updated Example C-2. IRI References - Example IRIs to match Appendix A.
</td>
</tr>
--- 13557,13561 ----
<td rowspan="1" colspan="1">20050711</td>
<td rowspan="1" colspan="1">AGR</td>
! <td rowspan="1" colspan="1">Updated Example C-2. IRI-References - Example IRIs to match Appendix A.
</td>
</tr>
***************
*** 14961,14964 ****
--- 14966,14970 ----
</tr>
<tr>
+
<td rowspan="1" colspan="1">20030514</td>
<td rowspan="1" colspan="1">JJM</td>
Index: wsdl20.html
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.html,v
retrieving revision 1.250
retrieving revision 1.251
diff -C2 -d -r1.250 -r1.251
*** wsdl20.html 16 Nov 2005 23:02:45 -0000 1.250
--- wsdl20.html 17 Nov 2005 04:15:03 -0000 1.251
***************
*** 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="#N1727B">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="#xmlSchemaAnyURI">XML Schema anyURI</a><br> 1.4.4 <a href="#nsprefixes">Prefixes and Namespaces Used in This Specification</a><br> 1.4.5 <a href="#terminology">Terms Used in This Specification</a><br> &nbp; 1.4.6 <a href="#xmlinfosetproperties">XML Information Set Properties</a><br> 1.4.7 <a href="#wsdlcomponentmodelproperties">WSDL 2.0 Component Model Properties</a><br> 1.4.8 <a href="#znotation">Z Notation</a><br> 1.4.9 <a href="#bnfpseudoschemas">BNF Pseudo-Schemas</a><br> 1.4.10 <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_attriute">targetNamespace attribute information item</a><br> 2.1.3 <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="#N17297">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="#xmlSchemaAnyURI">XML Schema anyURI</a><br> 1.4.4 <a href="#nsprefixes">Prefixes and Namespaces Used in This Specification</a><br> 1.4.5 <a href="#terminology">Terms Used in This Specification</a><br> &nbp; 1.4.6 <a href="#xmlinfosetproperties">XML Information Set Properties</a><br> 1.4.7 <a href="#wsdlcomponentmodelproperties">WSDL 2.0 Component Model Properties</a><br> 1.4.8 <a href="#znotation">Z Notation</a><br> 1.4.9 <a href="#bnfpseudoschemas">BNF Pseudo-Schemas</a><br> 1.4.10 <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_attriute">targetNamespace attribute information item</a><br> 2.1.3 <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="#N1727B">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="#N17297">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">
***************
*** 383,387 ****
with an attribute information item which corresponds to
its normalized value. This will often be a string, but may also be
! an integer, a boolean, a IRI reference, etc.</p></dd>
--- 383,387 ----
with an attribute information item which corresponds to
its normalized value. This will often be a string, but may also be
! an integer, a boolean, an IRI-reference, etc.</p></dd>
***************
*** 8265,8270 ****
</p>
<p>
! A WSDL 2.0 fragment identifier consists of zero or more xmlns pointer parts
! followed by a pointer part as defined below.
The pointer parts have a scheme name that corresponds to one
of the standard WSDL 2.0 component types, and scheme data that is a path composed
--- 8265,8270 ----
</p>
<p>
! A WSDL 2.0 fragment identifier consists of zero or more <code>xmlns</code> pointer parts
! followed by a WSDL 2.0 pointer part as defined below.
The pointer parts have a scheme name that corresponds to one
of the standard WSDL 2.0 component types, and scheme data that is a path composed
***************
*** 8274,8277 ****
--- 8274,8279 ----
The names in the path are of type either QName, NCName,
IRI, URI, or Pointer Part depending on the context.
+ The scheme data for extension components is defined by the
+ corresponding extension specification.
</p>
<p>
***************
*** 8482,8487 ****
component model.</p>
- <a name="zed-ExtensionIdentifier"></a>
-
<a name="zed-ComponentID"></a>
--- 8484,8487 ----
***************
*** 8490,8493 ****
--- 8490,8495 ----
<a name="zed-componentNamespace"></a>
+ <a name="zed-ExtensionIdentifier"></a>
+
<a name="zed-wsdlPointerPart"></a>
***************
*** 9349,9357 ****
<div class="div1">
! <h2><a name="wsdl-iri-references"></a>C. IRI References for WSDL 2.0 Components (Non-Normative)</h2>
<p>
! This appendix provides a syntax for IRI references for all
! components found in a WSDL 2.0 document. The IRI references are easy
to understand and compare, while imposing no burden on the WSDL 2.0
author.
--- 9351,9359 ----
<div class="div1">
! <h2><a name="wsdl-iri-references"></a>C. IRI-References for WSDL 2.0 Components (Non-Normative)</h2>
<p>
! This appendix provides a syntax for IRI-references for all
! components found in a WSDL 2.0 document. The IRI-references are easy
to understand and compare, while imposing no burden on the WSDL 2.0
author.
***************
*** 9379,9387 ****
that the namespace URI be dereferencible to a WSDL 2.0 document,
this appendix specifies the use of the namespace IRI with the
! WSDL 2.0 fragment identifiers to form a IRI-reference.
</p>
<p>
! The IRI in a IRI-reference for a WSDL 2.0 component is the namespace
name of the {<a href="wsdl20.html#property-.name">name</a>} property of either the component itself, in
the case of <a href="wsdl20.html#component-Interface">Interface</a>, <a href="wsdl20.html#component-Binding">Binding</a>, and <a href="wsdl20.html#component-Service">Service</a> components, or the
--- 9381,9389 ----
that the namespace URI be dereferencible to a WSDL 2.0 document,
this appendix specifies the use of the namespace IRI with the
! WSDL 2.0 fragment identifiers to form an IRI-reference.
</p>
<p>
! The IRI in an IRI-reference for a WSDL 2.0 component is the namespace
name of the {<a href="wsdl20.html#property-.name">name</a>} property of either the component itself, in
the case of <a href="wsdl20.html#component-Interface">Interface</a>, <a href="wsdl20.html#component-Binding">Binding</a>, and <a href="wsdl20.html#component-Service">Service</a> components, or the
***************
*** 9399,9403 ****
</p>
<div class="exampleOuter">
! <p class="exampleHead" style="text-align: left"><a name="iri-ref-example-wsdl"></a><i><span>Example C-1. </span>IRI References - Example WSDL 2.0 Document</i></p>
<div class="exampleInner"><pre>
--- 9401,9405 ----
</p>
<div class="exampleOuter">
! <p class="exampleHead" style="text-align: left"><a name="iri-ref-example-wsdl"></a><i><span>Example C-1. </span>IRI-References - Example WSDL 2.0 Document</i></p>
<div class="exampleInner"><pre>
***************
*** 9437,9441 ****
<div class="exampleOuter">
! <p class="exampleHead" style="text-align: left"><a name="iri-ref-example-iris"></a><i><span>Example C-2. </span>IRI References - Example IRIs</i></p>
<div class="exampleInner"><pre>
http://example.org/TicketAgent.wsdl20#xmlns(xsTicketAgent=http://example.org/TicketAgent.xsd)
--- 9439,9443 ----
<div class="exampleOuter">
! <p class="exampleHead" style="text-align: left"><a name="iri-ref-example-iris"></a><i><span>Example C-2. </span>IRI-References - Example IRIs</i></p>
<div class="exampleInner"><pre>
http://example.org/TicketAgent.wsdl20#xmlns(xsTicketAgent=http://example.org/TicketAgent.xsd)
***************
*** 9466,9470 ****
<div class="div1">
! <h2><a name="N1727B"></a>D. Component Summary (Non-Normative)</h2>
<p>
<a href="#component-summary">Table D-1</a>
--- 9468,9472 ----
<div class="div1">
! <h2><a name="N17297"></a>D. Component Summary (Non-Normative)</h2>
<p>
<a href="#component-summary">Table D-1</a>
***************
*** 10339,10343 ****
<td rowspan="1" colspan="1">20050711</td>
<td rowspan="1" colspan="1">AGR</td>
! <td rowspan="1" colspan="1">Updated Example C-2. IRI References - Example IRIs to match Appendix A.
</td>
</tr>
--- 10341,10345 ----
<td rowspan="1" colspan="1">20050711</td>
<td rowspan="1" colspan="1">AGR</td>
! <td rowspan="1" colspan="1">Updated Example C-2. IRI-References - Example IRIs to match Appendix A.
</td>
</tr>
***************
*** 11748,11751 ****
--- 11750,11754 ----
</tr>
<tr>
+
<td rowspan="1" colspan="1">20030514</td>
<td rowspan="1" colspan="1">JJM</td>
Received on Thursday, 17 November 2005 04:15:35 UTC