- From: Arthur Ryman via cvs-syncmail <cvsmail@w3.org>
- Date: Fri, 18 Nov 2005 17:16:06 +0000
- To: public-ws-desc-eds@w3.org
Update of /sources/public/2002/ws/desc/wsdl20 In directory hutz:/tmp/cvs-serv6217/wsdl20 Modified Files: wsdl20.tex wsdl20-z-ie.html wsdl20-z.html wsdl20.html wsdl20-adjuncts.html wsdl20.xml xmlspec.dtd build.xml wsdl20-primer.html Log Message: Simiplified Z Notation for fragment identifiers and updated Example IRIs. Index: wsdl20-adjuncts.html =================================================================== RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20-adjuncts.html,v retrieving revision 1.112 retrieving revision 1.113 diff -C2 -d -r1.112 -r1.113 *** wsdl20-adjuncts.html 18 Nov 2005 00:45:34 -0000 1.112 --- wsdl20-adjuncts.html 18 Nov 2005 17:16:02 -0000 1.113 *************** *** 53,57 **** <a href="http://www.w3.org/2002/ws/desc/wsdl20-adjuncts">http://www.w3.org/2002/ws/desc/wsdl20-adjuncts</a> </dd><dt>Previous versions:</dt><dd> ! <a href="http://www.w3.org/TR/2005/WD-wsdl20-adjuncts-20050510">http://www.w3.org/TR/2005/WD-wsdl20-adjuncts-20050510</a> </dd><dt>Editors:</dt> <dd>Roberto Chinnici, Sun Microsystems</dd> --- 53,57 ---- <a href="http://www.w3.org/2002/ws/desc/wsdl20-adjuncts">http://www.w3.org/2002/ws/desc/wsdl20-adjuncts</a> </dd><dt>Previous versions:</dt><dd> ! <a href="http://www.w3.org/TR/2005/WD-wsdl20-adjuncts-20050803">http://www.w3.org/TR/2005/WD-wsdl20-adjuncts-20050803</a> </dd><dt>Editors:</dt> <dd>Roberto Chinnici, Sun Microsystems</dd> *************** *** 89,93 **** </a><br> 6.8.4 <a href="#_http_operation_multipart_encoding">Serialization as multipart/form-data </a><br> 6.9 <a href="#http-transfer-coding-decl">Specifying the Transfer Coding</a><br> 6.9.1 <a href="#http-transfer-description">Description</a><br> 6.9.2 <a href="#http-transfer-coding-relate">Relationship to WSDL Component Model</a><br> 6.9.3 <a href="#http-transfer-coding-decl-xml">XML Representation</a><br> 6.9.4 <a href="#http-transfer-coding-decl-mapping">Mapping from XML Representation to Component Properties</a><br> 6.10 <a href="#http-cookies-decl">Specifying the Use of HTTP Cookies</a><br> 6.10.1 <a href="#http-cookies-description">Description</a><br> 6.10.2 <a href="#http-cookies-relate">Relationship to WSDL Component Model</a><br>   6.10.3 <a href="#http-cookies-decl-xml">XML Representation</a><br> 6.10.4 <a href="#http-cookies-decl-mapping">Mapping from XML Representation to Component Properties</a><br> 6.11 <a href="#http-auth-decl">Specifying HTTP Access Authentication</a><br> 6.11.1 <a href="#http-auth-description">Description</a><br> 6.11.2 <a href="#http-auth-relate">Relationship to WSDL Component Model</a><br> 6.11.3 <a href="#http-auth-decl-xml">XML Representation</a><br> 6.11.4 <a href="#http-auth-decl-mapping">Mapping from XML Representation to Component Properties</a><br> 6.12 <a href="#http-conformance">Conformance</a><br>7. <a href="#References">References</a><br> 7.1 <a href="#Normative-References">Normatie References</a><br> 7.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="#acknowledgments">Acknowledgements</a> (Non-Normative)<br>B. <a href="#component_summary">Component Summary</a> (Non-Normative)<br>C. <a href="#assertionsummary">Assertion Summary</a> (Non-Normative)<br>D. <a href="#changelog">Part 2 Change Log</a> (Non-Normative)<br> D.1 <a href="#N13AF7">WSDL 2.0 Extensions Change Log</a><br> D.2 <a href="#N13D81">WSDL 2.0 Bindings Change Log</a><br></p></div><hr><div class="body"> --- 89,93 ---- </a><br> 6.8.4 <a href="#_http_operation_multipart_encoding">Serialization as multipart/form-data </a><br> 6.9 <a href="#http-transfer-coding-decl">Specifying the Transfer Coding</a><br> 6.9.1 <a href="#http-transfer-description">Description</a><br> 6.9.2 <a href="#http-transfer-coding-relate">Relationship to WSDL Component Model</a><br> 6.9.3 <a href="#http-transfer-coding-decl-xml">XML Representation</a><br> 6.9.4 <a href="#http-transfer-coding-decl-mapping">Mapping from XML Representation to Component Properties</a><br> 6.10 <a href="#http-cookies-decl">Specifying the Use of HTTP Cookies</a><br> 6.10.1 <a href="#http-cookies-description">Description</a><br> 6.10.2 <a href="#http-cookies-relate">Relationship to WSDL Component Model</a><br>   6.10.3 <a href="#http-cookies-decl-xml">XML Representation</a><br> 6.10.4 <a href="#http-cookies-decl-mapping">Mapping from XML Representation to Component Properties</a><br> 6.11 <a href="#http-auth-decl">Specifying HTTP Access Authentication</a><br> 6.11.1 <a href="#http-auth-description">Description</a><br> 6.11.2 <a href="#http-auth-relate">Relationship to WSDL Component Model</a><br> 6.11.3 <a href="#http-auth-decl-xml">XML Representation</a><br> 6.11.4 <a href="#http-auth-decl-mapping">Mapping from XML Representation to Component Properties</a><br> 6.12 <a href="#http-conformance">Conformance</a><br>7. <a href="#References">References</a><br> 7.1 <a href="#Normative-References">Normatie References</a><br> 7.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="#acknowledgments">Acknowledgements</a> (Non-Normative)<br>B. <a href="#component_summary">Component Summary</a> (Non-Normative)<br>C. <a href="#assertionsummary">Assertion Summary</a> (Non-Normative)<br>D. <a href="#changelog">Part 2 Change Log</a> (Non-Normative)<br> D.1 <a href="#N13AF8">WSDL 2.0 Extensions Change Log</a><br> D.2 <a href="#N13D82">WSDL 2.0 Bindings Change Log</a><br></p></div><hr><div class="body"> *************** *** 381,385 **** <div class="div3"> - <h4><a name="fault-trigger"></a>2.2.2 Message Triggers Fault</h4> --- 381,384 ---- *************** *** 4081,4084 **** --- 4080,4090 ---- <h4><a name="_http_location_template"></a>6.8.1 Serialization of the instance data in parts of the HTTP request IRI</h4> + <table border="1" id="URIPath" summary="Editorial note: URIPath Feedback Requested"><tr><td width="50%" valign="top" align="left"><b>Editorial note: URIPath Feedback Requested</b></td><td width="50%" valign="top" align="right"> </td></tr><tr><td valign="top" align="left" colspan="2">The inclusion of elements of the instance data + in the path of the request URI, whilst supported by WSDL 1.1, + is not supported by XForms 1.0. Hence this mechanism MAY be + removed in a future version of this specification. + Feedback on this issue from users and implementers is + highly encouraged.</td></tr></table> + <p>This section defines templating rules for the {<a href="wsdl20-adjuncts.html#property-BindingOperation.httplocation">http location</a>} property of the <a href="wsdl20.html#component-BindingOperation">Binding Operation</a> component. It is used by the serialization formats defined in section <a href="#_http_serialization"><b>6.8 Serialization Format of Instance Data</b></a>, and MAY be reused by other serialization formats.</p> *************** *** 4104,4113 **** <h5><a name="_http_operation_location_cited_ser"></a>6.8.1.1 Construction of the request IRI using the {http location} property</h5> - <table border="1" summary="Editorial note: URIPath Feedback Requested"><tr><td width="50%" valign="top" align="left"><b>Editorial note: URIPath Feedback Requested</b></td><td width="50%" valign="top" align="right"> </td></tr><tr><td valign="top" align="left" colspan="2">The inclusion of elements of the instance data - in the path of the request URI, whilst supported by WSDL 1.1, - is not supported by XForms 1.0. Hence this mechanism MAY be - removed in a future version of this specification. - Feedback on this issue from users and implementers is - highly encouraged.</td></tr></table> <p>The {<a href="wsdl20-adjuncts.html#property-BindingOperation.httplocation">http location</a>} property, if present, MAY cite local names of --- 4110,4113 ---- *************** *** 5221,5226 **** (Agfa-Gevaert N. V.), Roberto Chinnici (Sun Microsystems), Kendall Clark ! (University of Maryland), Ugo Corda ! (SeeBeyond), Glen Daniels (Sonic Software), Paul Downey (British Telecommunications), Youenn Fablet --- 5221,5225 ---- (Agfa-Gevaert N. V.), Roberto Chinnici (Sun Microsystems), Kendall Clark ! (University of Maryland), Glen Daniels (Sonic Software), Paul Downey (British Telecommunications), Youenn Fablet *************** *** 5240,5245 **** (Canon), Mark Nottingham (BEA Systems, Inc.), David Orchard ! (BEA Systems, Inc.), Bijan Parsia ! (University of Maryland), Tony Rogers (Computer Associates), Arthur Ryman (IBM), Adi Sakala --- 5239,5246 ---- (Canon), Mark Nottingham (BEA Systems, Inc.), David Orchard ! (BEA Systems, Inc.), Vivek Pandey ! (Sun Microsystems), Bijan Parsia ! (University of Maryland), Gilbert Pilz ! (BEA Systems, Inc.), Tony Rogers (Computer Associates), Arthur Ryman (IBM), Adi Sakala *************** *** 5298,5302 **** (webMethods, Inc.), Igor Sedukhin (Computer Associates), Martin Gudgin ! (Microsoft Corporation).</p> <p>The people who have contributed to <a href="http://lists.w3.org/Archives/Public/www-ws-desc/">discussions on www-ws-desc@w3.org</a> are also gratefully --- 5299,5305 ---- (webMethods, Inc.), Igor Sedukhin (Computer Associates), Martin Gudgin ! (Microsoft Corporation), Rebecca Bergersen ! (IONA Technologies), Ugo Corda ! (SeeBeyond).</p> <p>The people who have contributed to <a href="http://lists.w3.org/Archives/Public/www-ws-desc/">discussions on www-ws-desc@w3.org</a> are also gratefully *************** *** 5928,5932 **** <td rowspan="1" colspan="1">20050902</td> <td rowspan="1" colspan="1">RRC</td> ! <td rowspan="1" colspan="1"><a href="http://www.w3.org/2002/ws/desc/4/lc-issues/issues.html#LC316">LC316</a>: Added definition of wrpc namespace in section 1.1 and changed wording of reference to example 4-1 in section 4.1.</td> --- 5931,5935 ---- <td rowspan="1" colspan="1">20050902</td> <td rowspan="1" colspan="1">RRC</td> ! <td rowspan="1" colspan="1"><a href="http://www.w3.org/2002/ws/desc/5/lc-issues/issues.html#LC316">LC316</a>: Added definition of wrpc namespace in section 1.1 and changed wording of reference to example 4-1 in section 4.1.</td> *************** *** 6265,6269 **** <div class="div2"> ! <h3><a name="N13AF7"></a>D.1 WSDL 2.0 Extensions Change Log</h3> <a name="wsdl-changelog-table"></a><br><table border="1"> --- 6268,6272 ---- <div class="div2"> ! <h3><a name="N13AF8"></a>D.1 WSDL 2.0 Extensions Change Log</h3> <a name="wsdl-changelog-table"></a><br><table border="1"> *************** *** 6513,6517 **** <div class="div2"> ! <h3><a name="N13D81"></a>D.2 WSDL 2.0 Bindings Change Log</h3> <a name="wsdl-spec3-changelog-table"></a><br><table border="1"> <tbody> --- 6516,6520 ---- <div class="div2"> ! <h3><a name="N13D82"></a>D.2 WSDL 2.0 Bindings Change Log</h3> <a name="wsdl-spec3-changelog-table"></a><br><table border="1"> <tbody> Index: build.xml =================================================================== RCS file: /sources/public/2002/ws/desc/wsdl20/build.xml,v retrieving revision 1.31 retrieving revision 1.32 diff -C2 -d -r1.31 -r1.32 *** build.xml 11 Nov 2005 01:27:55 -0000 1.31 --- build.xml 18 Nov 2005 17:16:03 -0000 1.32 *************** *** 27,30 **** --- 27,33 ---- Change Log: + 2005-11-18: Arthur Ryman <ryman@ca.ibm.com> + - exclude wsdl20-soap11-binding.xml from validate due to missing entities + 2005-11-11: Arthur Ryman <ryman@ca.ibm.com> - add adjuncts assertion tables *************** *** 173,177 **** </xmlvalidate> <xmlvalidate lenient="false"> ! <fileset dir="." includes="wsdl20*.xml" excludes="wsdl20-defs.xml, wsdl20-specs.xml" /> </xmlvalidate> </target> --- 176,180 ---- </xmlvalidate> <xmlvalidate lenient="false"> ! <fileset dir="." includes="wsdl20*.xml" excludes="wsdl20-defs.xml, wsdl20-specs.xml wsdl20-soap11-binding.xml" /> </xmlvalidate> </target> Index: wsdl20-z-ie.html =================================================================== RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20-z-ie.html,v retrieving revision 1.61 retrieving revision 1.62 diff -C2 -d -r1.61 -r1.62 *** wsdl20-z-ie.html 18 Nov 2005 00:45:32 -0000 1.61 --- wsdl20-z-ie.html 18 Nov 2005 17:16:01 -0000 1.62 *************** *** 54,58 **** <a href="http://www.w3.org/2002/ws/desc/wsdl20">http://www.w3.org/2002/ws/desc/wsdl20</a> </dd><dt>Previous versions:</dt><dd> ! <a href="http://www.w3.org/TR/2005/WD-wsdl20-20050510">http://www.w3.org/TR/2005/WD-wsdl20-20050510</a> </dd><dt>Editors:</dt> <dd>Roberto Chinnici, Sun Microsystems</dd> --- 54,58 ---- <a href="http://www.w3.org/2002/ws/desc/wsdl20">http://www.w3.org/2002/ws/desc/wsdl20</a> </dd><dt>Previous versions:</dt><dd> ! <a href="http://www.w3.org/TR/2005/WD-wsdl20-20050803">http://www.w3.org/TR/2005/WD-wsdl20-20050803</a> </dd><dt>Editors:</dt> <dd>Roberto Chinnici, Sun Microsystems</dd> *************** *** 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="#N17271">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="#N17119">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="#N17271">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="#N17119">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"> *************** *** 1255,1258 **** --- 1255,1279 ---- </p> + <a name="zed-TopLevelComponent"></a><div id="twisty-head-zed-TopLevelComponent" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-TopLevelComponent')">TopLevelComponent</a>...</div><div id="twisty-body-zed-TopLevelComponent" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-TopLevelComponent')">TopLevelComponent</a> [ <a onClick="showAll()" href="#zed-TopLevelComponent">show all</a> ] [ <a onClick="hideAll()" href="#zed-TopLevelComponent">hide all</a> ]<br> + + <p>Let <span class="zi">TopLevelComponent</span> be the set of all top-level components: + </p> + + <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zi">TopLevelComponent</span> <span class="zinfix"><span class="zdefa">==</span></span></td></tr><tr><td> <span class="zprefix"><span class="zs">ran</span></span><span class="zi">elementDecl</span><span class="zinfix"><span class="mathb">4</span></span></td></tr><tr><td> <span class="zprefix"><span class="zs">ran</span></span><span class="zi">typeDef</span><span class="zinfix"><span class="mathb">4</span></span></td></tr><tr><td> <span class="zprefix"><span class="zs">ran</span></span><span class="zi">interface</span><span class="zinfix"><span class="mathb">4</span></span></td></tr><tr><td> <span class="zprefix"><span class="zs">ran</span></span><span class="zi">binding</span><span class="zinfix"><span class="mathb">4</span></span></td></tr><tr><td> <span class="prefix"><span class="zs">ran</span></span><span class="zi">service</span></td></tr></tbody></table> + + <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-Component">Component</a>.</span></span></div> + + </div> + + <a name="zed-Name"></a><div id="twisty-head-zed-Name" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-Name')">Name</a>...</div><div id="twisty-body-zed-Name" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-Name')">Name</a> [ <a onClick="showAll()" href="#zed-Name">show all</a> ] [ <a onClick="hideAll()" href="#zed-Name">hide all</a> ]<br> + + <p>Let <span class="zi">Name</span> map a top-level component to its QName {<a href="wsdl20.html#property-.name">name</a>} property:</p> + + <table class="zaxdef"><col class="zaxdef1"><col class="zaxdef2"><tbody><tr><td class="zaxdefabovewheretext" colspan="2"><span class="zi">Name</span> <span class="zinfix">:</span> <span class="zi">TopLevelComponent</span><span class="zinfix"><span class="mathc">t</span></span><span class="zi">QName</span></td></tr><tr><td class="bl"></td><td></td></tr><tr><td class="zaxdefbelowwheretext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">ElementDeclaration</span> <span class="zinfix"><span class="symbol">·</span></span></td></tr><tr><td class="zaxdeftext" colspan="2"> <span class="zi">Name</span>(<span class="zi">elementDecl</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">name</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol"></span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">TypeDefinition</span> <span class="zinfix"><span class="symbol">·</span></span></td></tr><tr><td class="zaxdeftext" colspan="2"> <span class="zi">Name</span>(<span class="zi">typeDef</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">name</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Interface</span> <span class="zinfix"><span class="symbol">·</span></span></td></tr><tr><td class="zaxdeftext" colspan="2"> <span class="zi">Name</span>(<span class="zi">interface</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">name</span></td></tr><tr><td class="l"></td>td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Binding</span> <span class="zinfix"><span class="symbol">·</span></span></td></tr><tr><td class="zaxdeftext" colspan="2"> <span class="zi">Name</span>(<span class="zi">binding</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">name</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Service</span> <span class="zinfix"><span class="symbol">·</span></span></td></tr><tr><td class="zaxdeftext" colspan="2"> <span class="zi">Name</span>(<span class="zi">service</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <san class="zi">x</span>.<span class="zi">name</span></td></tr></tbody></table> + + <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-TopLevelComponent">TopLevelComponent</a>, <a href="#zed-QName">QName</a>, <a href="#zed-Component">Component</a>, <a href="#zed-ElementDeclaration">ElementDeclaration</a>, <a href="#zed-TypeDefinition">TypeDefinition</a>, <a href="#zed-Interface">Interface</a>, <a href="#zed-Binding">Binding</a>, <a href="#zed-Service">Service</a>.</span></span></div> + + </div> + <a name="zed-Parent"></a><div id="twisty-head-zed-Parent" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-Parent')">Parent</a>...</div><div id="twisty-body-zed-Parent" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-Parent')">Parent</a> [ <a onClick="showAll()" href="#zed-Parent">show all</a> ] [ <a onClick="hideAll()" href="#zed-Parent">hide all</a> ]<br> *************** *** 1287,1290 **** --- 1308,1332 ---- </div> + + <a name="zed-NestedComponent"></a><div id="twisty-head-zed-NestedComponent" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-NestedComponent')">NestedComponent</a>...</div><div id="twisty-body-zed-NestedComponent" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-NestedComponent')">NestedComponent</a> [ <a onClick="showAll()" href="#zed-NestedComponent">show all</a> ] [ <a onClick="hideAll()" href="#zed-NestedComponent">hide all</a> ]<br> + + <p>Let <span class="zi">NestedComponent</span> be the set of all nested components: + </p> + + <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zi">NestedComponent</span> <span class="zinfix"><span class="zdefa">==</span></span></td></tr><tr><td> <span class="zprefix"><span class="zs">ran</span></span><span class="zi">interfaceFault</span><span class="zinfix"><span class="mathb">4</span></span></td></tr><tr><td> <span class="zprefix"><span class="zs">ran</span></span><span class="zi">interfaceOp</span><span class="zinfix"><span class="mathb">4</span></span></td></tr><tr><td> <span class="zprefix"><span class="zs">ran</span></span><span class="zi">interfaceMessageRef</span><span class="zinfix"><span class="mathb">4</span></span></td></tr><tr><td> <span class="zprefix"><span class="zs">ran</span></span><span class="zi">interfaceFaultRef</span><span class="zinfix"><span class="mathb">4</span></span></td></tr><tr><td> nbsp; <span class="zprefix"><span class="zs">ran</span></span><span class="zi">bindingFault</span><span class="zinfix"><span class="mathb">4</span></span></td></tr><tr><td> <span class="zprefix"><span class="zs">ran</span></span><span class="zi">bindingOp</span><span class="zinfix"><span class="mathb">4</span></span></td></tr><tr><td> <span class="zprefix"><span class="zs">ran</span></span><span class="zi">bindingMessageRef</span><span class="zinfix"><span class="mathb">4</span></span></td></tr><tr><td> <span class="zprefix"><span class="zs">ran</span></span><span class="zi">bindingFaultRef</span><span class="zinfix"><span class="mathb">4</span></span></td></tr><tr><td> <span class="zprefix"><span class="zs">ran</span></span><span class="zi">endpoint</span><span class="zinfix"><span class="mathb">4</span></span></td></tr><tr><td> span class="zprefix"><span class="zs">ran</span></span><span class="zi">feature</span><span class="zinfix"><span class="mathb">4</span></span></td></tr><tr><td> <span class="zprefix"><span class="zs">ran</span></span><span class="zi">property</span></td></tr></tbody></table> + + <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-Component">Component</a>.</span></span></div> + + </div> + + <a name="zed-ParentID"></a><div id="twisty-head-zed-ParentID" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-ParentID')">ParentID</a>...</div><div id="twisty-body-zed-ParentID" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-ParentID')">ParentID</a> [ <a onClick="showAll()" href="#zed-ParentID">show all</a> ] [ <a onClick="hideAll()" href="#zed-ParentID">hide all</a> ]<br> + + <p>Let <span class="zi">ParentID</span> map a nested component to its parent component identifier:</p> + + <table class="zaxdef"><col class="zaxdef1"><col class="zaxdef2"><tbody><tr><td class="zaxdefabovewheretext" colspan="2"><span class="zi">ParentId</span> <span class="zinfix">:</span> <span class="zi">NestedComponent</span><span class="zinfix"><span class="mathc">t</span></span><span class="zi">ID</span></td></tr><tr><td class="bl"></td><td></td></tr><tr><td class="zaxdefbelowwheretext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">InterfaceFault</span> <span class="zinfix"><span class="symbol">·</span></span></td></tr><tr><td class="zaxdeftext" colspan="2"> <span class="zi">ParentId</span>(<span class="zi">interfaceFault</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbl">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">InterfaceOperation</span> <span class="zinfix"><span class="symbol">·</span></span></td></tr><tr><td class="zaxdeftext" colspan="2"> <span class="zi">ParentId</span>(<span class="zi">interfaceOp</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">InterfaceMessageReference</span> <span class="zinfix"><span class="symbol">·</span></span></td></tr><tr><td class="zaxdeftext" colspan="2"> <span class="zi">ParentId</span>(<span class="zi">interfaceMessageRef</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="i">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">InterfaceFaultReference</span> <span class="zinfix"><span class="symbol">·</span></span></td></tr><tr><td class="zaxdeftext" colspan="2"> <span class="zi">ParentId</span>(<span class="zi">interfaceFaultRef</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingFault</span> <span class="zinfix"><span class="symbol">·</span></span></td></tr><tr><td class="zaxdeftext" colspan="2"> <span class="zi">ParentId</span>(<pan class="zi">bindingFault</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingOperation</span> <span class="zinfix"><span class="symbol">·</span></span></td></tr><tr><td class="zaxdeftext" colspan="2"> <span class="zi">ParentId</span>(<span class="zi">bindingOp</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingMessageReference</span> <span class="zinfix"><span class="symbol">·</spn></span></td></tr><tr><td class="zaxdeftext" colspan="2"> <span class="zi">ParentId</span>(<span class="zi">bindingMessageRef</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingFaultReference</span> <span class="zinfix"><span class="symbol">·</span></span></td></tr><tr><td class="zaxdeftext" colspan="2"> <span class="zi">ParentId</span>(<span class="zi">bindingFaultRef</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="i">x</span> <span class="zinfix">:</span> <span class="zi">Endpoint</span> <span class="zinfix"><span class="symbol">·</span></span></td></tr><tr><td class="zaxdeftext" colspan="2"> <span class="zi">ParentId</span>(<span class="zi">endpoint</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Feature</span> <span class="zinfix"><span class="symbol">·</span></span></td></tr><tr><td class="zaxdeftext" colspan="2"> <span class="zi">ParentId</span>(<span class="zi">feature</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td clas="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Property</span> <span class="zinfix"><span class="symbol">·</span></span></td></tr><tr><td class="zaxdeftext" colspan="2"> <span class="zi">ParentId</span>(<span class="zi">property</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr></tbody></table> + + <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-NestedComponent">NestedComponent</a>, <a href="#zed-ID">ID</a>, <a href="#zed-InterfaceFault">InterfaceFault</a>, <a href="#zed-InterfaceOperation">InterfaceOperation</a>, <a href="#zed-InterfaceMessageReference">InterfaceMessageReference</a>, <a href="#zed-InterfaceFaultReference">InterfaceFaultReference</a>, <a href="#zed-BindingFault">BindingFault</a>, <a href="#zed-BindingOperation">BindingOperation</a>, <a href="#zed-BindingMessageReference">BindingMessageReference</a>, <a href="#zed-BindingFaultReference">BindingFaultReference</a>, <a href="#zed-Endpoint">Endpoint</a>, <a href="#zed-Feature">Feature</a>, <a href="#zed-Property">Property</a>.</span></span></div> + + </div> <p>The properties of the <a name="component-Description">Description</a> component are as follows:</p> *************** *** 10788,10811 **** </div> ! <a name="zed-ComponentContext"></a><div id="twisty-head-zed-ComponentContext" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-ComponentContext')">ComponentContext</a>...</div><div id="twisty-body-zed-ComponentContext" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-ComponentContext')">ComponentContext</a> [ <a onClick="showAll()" href="#zed-ComponentContext">show all</a> ] [ <a onClick="hideAll()" href="#zed-ComponentContext">hide all</a> ]<br> ! <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> ! and a fragment identifier that conforms to XPointer syntax ! including the WSDL 2.0 pointer part schemes defined here. The ! interpretation of the WSDL 2.0 pointer parts is defined in ! 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 ! in the context of the component model instance defined by the ! WSDL 2.0 document. ! </p> <p> We refer to the namespace of the WSDL 2.0 document as the --- 10830,10869 ---- </div> ! <a name="zed-ComponentDesignator"></a><div id="twisty-head-zed-ComponentDesignator" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-ComponentDesignator')">ComponentDesignator</a>...</div><div id="twisty-body-zed-ComponentDesignator" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-ComponentDesignator')">ComponentDesignator</a> [ <a onClick="showAll()" href="#zed-ComponentDesignator">show all</a> ] [ <a onClick="hideAll()" href="#zed-ComponentDesignator">hide all</a> ]<br> ! <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> ! and a fragment identifier that conforms to XPointer syntax ! including the WSDL 2.0 pointer part schemes defined here. ! The interpretation of the WSDL 2.0 pointer parts is ! defined in 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 in the context of the ! component model instance defined by the WSDL 2.0 document. ! </p> ! ! <p> ! Let ! <span class="zi">ComponentDesignator</span> ! be the set of WSDL 2.0 component designators: ! </p> ! ! <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">ComponentDesignator</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">iri</span> <span class="zinfix">:</span> <span class="zi">AbsoluteURI</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">fragId</span> <span class="zinfix">:</span> <span class="zi">wsdlPointerPart</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-AbsoluteURI">AbsoluteURI</a>, <a href="#zed-wsdlPointerPart">wsdlPointerPart</a>.</span></span></div> ! ! </div> + <a name="zed-ComponentContext"></a><div id="twisty-head-zed-ComponentContext" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-ComponentContext')">ComponentContext</a>...</div><div id="twisty-body-zed-ComponentContext" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-ComponentContext')">ComponentContext</a> [ <a onClick="showAll()" href="#zed-ComponentContext">show all</a> ] [ <a onClick="hideAll()" href="#zed-ComponentContext">hide all</a> ]<br> + <p> We refer to the namespace of the WSDL 2.0 document as the *************** *** 10846,10851 **** <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentContext">ComponentContext</a>, <a href="#zed-AbsoluteURI">AbsoluteURI</a>.</span></span></div> ! <p>This map will be defined for each component in the following sections.</p> </div> --- 10904,10929 ---- <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentContext">ComponentContext</a>, <a href="#zed-AbsoluteURI">AbsoluteURI</a>.</span></span></div> ! <p>The namespace of a <a href="wsdl20.html#component-Description">Description</a>, ! <a href="wsdl20.html#component-ElementDeclaration">Element Declaration</a>, or ! <a href="wsdl20.html#component-TypeDefinition">Type Definition</a> component is the context namespace:</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="mathb">4</span></span></td></tr><tr><td> <span class="zi">elementDeclIds</span><span class="zinfix"><span class="mathb">4</span></span></td></tr><tr><td> <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>) <pan 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> + + <p>The namespace of an <a href="wsdl20.html#component-Interface">Interface</a>, + <a href="wsdl20.html#component-Binding">Binding</a>, or <a href="wsdl20.html#component-Service">Service</a> component is the namespace of its + {<a href="wsdl20.html#property-.name">name</a>} property:</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">c</span> <span class="zinfix">:</span> <span class="zi">Component</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">c</span><span class="zinfix"><span class="symbol">Î</span></span><span class="zi">components</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">Id</span>(<span class="zi">c</span>)<span class="zinfix"><span class="mathb">.</span></span></td></tr><tr><td> <span class="zi">id</span><span class="zinfix"><span class="symbol">Î</span></span><span class="zi">interfaceIds</span><span class="zinfix"><span class="mathb">4</span></span><td></tr><tr><td> <span class="zi">bindingIds</span><span class="zinfix"><span class="mathb">4</span></span></td></tr><tr><td> <span class="zi">serviceIds</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">Name</span>(<span class="zi">c</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-Component">Component</a>, <a href="#zed-Id">Id</a>, <a href="#zed-componentNamespace">componentNamespace</a>, <a href="#zed-Name">Name</a>.</span></span></div> + + <p>The namespace of a nested component is equal to the namespace of its parent:</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">c</span> <span class="zinfix">:</span> <span class="zi">NestedComponent</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">c</span><span class="zinfix"><span class="symbol">Î</span></span><span class="zi">components</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">componentNamespace</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">ParentId</span>(<span class="zi">c</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>)</td></tr></tbody></table> + + <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentContext">ComponentContext</a>, <a href="#zed-NestedComponent">NestedComponent</a>, <a href="#zed-componentNamespace">componentNamespace</a>, <a href="#zed-ID">ID</a>, <a href="#zed-ParentId">ParentId</a>.</span></span></div> + </div> *************** *** 10892,10895 **** --- 10970,10986 ---- </div> + <a name="zed-ComponentToDesignator"></a><div id="twisty-head-zed-ComponentToDesignator" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-ComponentToDesignator')">ComponentToDesignator</a>...</div><div id="twisty-body-zed-ComponentToDesignator" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-ComponentToDesignator')">ComponentToDesignator</a> [ <a onClick="showAll()" href="#zed-ComponentToDesignator">show all</a> ] [ <a onClick="hideAll()" href="#zed-ComponentToDesignator">hide all</a> ]<br> + + <p> + Let <span class="zi">ComponentToDesignator</span> map a WSDL 2.0 component + to its component designator: + </p> + + <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">ComponentToDesignator</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">ComponentContext</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentDesignator</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">iri</span> <span class="zinfix">=</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></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">fragId</span> <span class="zinfix">=</span> <span class="zi">pointerPart</span>(<span lass="zprefix"><span class="zi"><span class="symbol">q</span></span></span><span class="zi">ComponentID</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-ComponentContext">ComponentContext</a>, <a href="#zed-ComponentDesignator">ComponentDesignator</a>, <a href="#zed-componentNamespace">componentNamespace</a>, <a href="#zed-pointerPart">pointerPart</a>.</span></span></div> + + </div> + <div class="div3"> *************** *** 10902,10915 **** in the component model.</p> - <p> - The namespace IRI of a - <a href="wsdl20.html#component-Description">Description</a> - component is the context namespace: - </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> - <p> The pointer part defined by a --- 10993,10996 ---- *************** *** 10999,11012 **** <a name="zed-wsdlElementDeclaration"></a><div id="twisty-head-zed-wsdlElementDeclaration" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-wsdlElementDeclaration')">wsdlElementDeclaration</a>...</div><div id="twisty-body-zed-wsdlElementDeclaration" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-wsdlElementDeclaration')">wsdlElementDeclaration</a> [ <a onClick="showAll()" href="#zed-wsdlElementDeclaration">show all</a> ] [ <a onClick="hideAll()" href="#zed-wsdlElementDeclaration">hide all</a> ]<br> - <p> - The namespace IRI of a - <a href="wsdl20.html#component-ElementDeclaration">Element Declaration</a> - component is the context namespace: - </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> - <p> The pointer part defined by an --- 11080,11083 ---- *************** *** 11085,11098 **** <a name="zed-wsdlTypeDefinition"></a><div id="twisty-head-zed-wsdlTypeDefinition" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-wsdlTypeDefinition')">wsdlTypeDefinition</a>...</div><div id="twisty-body-zed-wsdlTypeDefinition" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-wsdlTypeDefinition')">wsdlTypeDefinition</a> [ <a onClick="showAll()" href="#zed-wsdlTypeDefinition">show all</a> ] [ <a onClick="hideAll()" href="#zed-wsdlTypeDefinition">hide all</a> ]<br> - <p> - The namespace IRI of a - <a href="wsdl20.html#component-TypeDefinition">Type Definition</a> - component is the context namespace: - </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> - <p> The pointer part defined by a --- 11156,11159 ---- *************** *** 11158,11171 **** <a name="zed-wsdlInterface"></a><div id="twisty-head-zed-wsdlInterface" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-wsdlInterface')">wsdlInterface</a>...</div><div id="twisty-body-zed-wsdlInterface" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-wsdlInterface')">wsdlInterface</a> [ <a onClick="showAll()" href="#zed-wsdlInterface">show all</a> ] [ <a onClick="hideAll()" href="#zed-wsdlInterface">hide all</a> ]<br> - <p> - The namespace IRI of an - <a href="wsdl20.html#component-Interface">Interface</a> - component is the namespace of its {<a href="wsdl20.html#property-Interface.name">name</a>} property: - </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> - <p> The pointer part defined by an --- 11219,11222 ---- *************** *** 11243,11256 **** <a name="zed-wsdlInterfaceFault"></a><div id="twisty-head-zed-wsdlInterfaceFault" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-wsdlInterfaceFault')">wsdlInterfaceFault</a>...</div><div id="twisty-body-zed-wsdlInterfaceFault" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-wsdlInterfaceFault')">wsdlInterfaceFault</a> [ <a onClick="showAll()" href="#zed-wsdlInterfaceFault">show all</a> ] [ <a onClick="hideAll()" href="#zed-wsdlInterfaceFault">hide all</a> ]<br> - <p> - The namespace IRI of an - <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a> - component is the namespace of its parent: - </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">InterfaceFault</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">interfaceFaultComps</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> <spa 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> &nbp; <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-InterfaceFault">InterfaceFault</a>, <a href="#zed-ID">ID</a>, <a href="#zed-componentNamespace">componentNamespace</a>.</span></span></div> - <p> The pointer part defined by an --- 11294,11297 ---- *************** *** 11328,11341 **** <a name="zed-wsdlInterfaceOperation"></a><div id="twisty-head-zed-wsdlInterfaceOperation" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-wsdlInterfaceOperation')">wsdlInterfaceOperation</a>...</div><div id="twisty-body-zed-wsdlInterfaceOperation" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-wsdlInterfaceOperation')">wsdlInterfaceOperation</a> [ <a onClick="showAll()" href="#zed-wsdlInterfaceOperation">show all</a> ] [ <a onClick="hideAll()" href="#zed-wsdlInterfaceOperation">hide all</a> ]<br> - <p> - The namespace IRI of an - <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> - component is the namespace of its parent: - </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">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> The pointer part defined by an --- 11369,11372 ---- *************** *** 11425,11438 **** <a name="zed-wsdlInterfaceMessageReference"></a><div id="twisty-head-zed-wsdlInterfaceMessageReference" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-wsdlInterfaceMessageReference')">wsdlInterfaceMessageReference</a>...</div><div id="twisty-body-zed-wsdlInterfaceMessageReference" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-wsdlInterfaceMessageReference')">wsdlInterfaceMessageReference</a> [ <a onClick="showAll()" href="#zed-wsdlInterfaceMessageReference">show all</a> ] [ <a onClick="hideAll()" href="#zed-wsdlInterfaceMessageReference">hide all</a> ]<br> - <p> - The namespace IRI of an - <a href="wsdl20.html#component-InterfaceMessageReference">Interface Message Reference</a> - component is the namespace of its parent: - </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">InterfaceMessageReference</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">interfaceMessageRefComps</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> nbsp; <span 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>   <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-InterfaceMessageReference">InterfaceMessageReference</a>, <a href="#zed-ID">ID</a>, <a href="#zed-componentNamespace">componentNamespace</a>.</span></span></div> - <p> The pointer part defined by an --- 11456,11459 ---- *************** *** 11538,11551 **** <a name="zed-wsdlInterfaceFaultReference"></a><div id="twisty-head-zed-wsdlInterfaceFaultReference" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-wsdlInterfaceFaultReference')">wsdlInterfaceFaultReference</a>...</div><div id="twisty-body-zed-wsdlInterfaceFaultReference" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-wsdlInterfaceFaultReference')">wsdlInterfaceFaultReference</a> [ <a onClick="showAll()" href="#zed-wsdlInterfaceFaultReference">show all</a> ] [ <a onClick="hideAll()" href="#zed-wsdlInterfaceFaultReference">hide all</a> ]<br> - <p> - The namespace IRI of an - <a href="wsdl20.html#component-InterfaceFaultReference">Interface Fault Reference</a> - component is the namespace of its parent: - </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">InterfaceFaultReference</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">interfaceFaultRefComps</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> &nbs; <span 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> &nbp; <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-InterfaceFaultReference">InterfaceFaultReference</a>, <a href="#zed-ID">ID</a>, <a href="#zed-componentNamespace">componentNamespace</a>.</span></span></div> - <p> The pointer part defined by an --- 11559,11562 ---- *************** *** 11614,11627 **** <a name="zed-wsdlBinding"></a><div id="twisty-head-zed-wsdlBinding" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-wsdlBinding')">wsdlBinding</a>...</div><div id="twisty-body-zed-wsdlBinding" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-wsdlBinding')">wsdlBinding</a> [ <a onClick="showAll()" href="#zed-wsdlBinding">show all</a> ] [ <a onClick="hideAll()" href="#zed-wsdlBinding">hide all</a> ]<br> - <p> - The namespace IRI of an - <a href="wsdl20.html#component-Binding">Binding</a> - component is the namespace of its {<a href="wsdl20.html#property-Binding.name">name</a>} property: - </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> - <p> The pointer part defined by a --- 11625,11628 ---- *************** *** 11716,11729 **** <a name="zed-wsdlBindingFault"></a><div id="twisty-head-zed-wsdlBindingFault" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-wsdlBindingFault')">wsdlBindingFault</a>...</div><div id="twisty-body-zed-wsdlBindingFault" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-wsdlBindingFault')">wsdlBindingFault</a> [ <a onClick="showAll()" href="#zed-wsdlBindingFault">show all</a> ] [ <a onClick="hideAll()" href="#zed-wsdlBindingFault">hide all</a> ]<br> - <p> - The namespace IRI of a - <a href="wsdl20.html#component-BindingFault">Binding Fault</a> - component is the namespace of its parent: - </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">BindingFault</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">bindingFaultComps</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> <span clss="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> &bsp; <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-BindingFault">BindingFault</a>, <a href="#zed-ID">ID</a>, <a href="#zed-componentNamespace">componentNamespace</a>.</span></span></div> - <p> The pointer part defined by a --- 11717,11720 ---- *************** *** 11805,11818 **** <a name="zed-wsdlBindingOperation"></a><div id="twisty-head-zed-wsdlBindingOperation" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-wsdlBindingOperation')">wsdlBindingOperation</a>...</div><div id="twisty-body-zed-wsdlBindingOperation" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-wsdlBindingOperation')">wsdlBindingOperation</a> [ <a onClick="showAll()" href="#zed-wsdlBindingOperation">show all</a> ] [ <a onClick="hideAll()" href="#zed-wsdlBindingOperation">hide all</a> ]<br> - <p> - The namespace IRI of a - <a href="wsdl20.html#component-BindingOperation">Binding Operation</a> - component is the namespace of its parent: - </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">BindingOperation</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">bindingOpComps</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> <span cass="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> nbsp; <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-BindingOperation">BindingOperation</a>, <a href="#zed-ID">ID</a>, <a href="#zed-componentNamespace">componentNamespace</a>.</span></span></div> - <p> The pointer part defined by a --- 11796,11799 ---- *************** *** 11910,11923 **** <a name="zed-wsdlBindingMessageReference"></a><div id="twisty-head-zed-wsdlBindingMessageReference" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-wsdlBindingMessageReference')">wsdlBindingMessageReference</a>...</div><div id="twisty-body-zed-wsdlBindingMessageReference" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-wsdlBindingMessageReference')">wsdlBindingMessageReference</a> [ <a onClick="showAll()" href="#zed-wsdlBindingMessageReference">show all</a> ] [ <a onClick="hideAll()" href="#zed-wsdlBindingMessageReference">hide all</a> ]<br> - <p> - The namespace IRI of a - <a href="wsdl20.html#component-BindingMessageReference">Binding Message Reference</a> - component is the namespace of its parent: - </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">BindingMessageReference</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">bindingMessageRefComps</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> &nbs; <span 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> &nbp; <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-BindingMessageReference">BindingMessageReference</a>, <a href="#zed-ID">ID</a>, <a href="#zed-componentNamespace">componentNamespace</a>.</span></span></div> - <p> The pointer part defined by a --- 11891,11894 ---- *************** *** 12035,12048 **** <a name="zed-wsdlBindingFaultReference"></a><div id="twisty-head-zed-wsdlBindingFaultReference" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-wsdlBindingFaultReference')">wsdlBindingFaultReference</a>...</div><div id="twisty-body-zed-wsdlBindingFaultReference" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-wsdlBindingFaultReference')">wsdlBindingFaultReference</a> [ <a onClick="showAll()" href="#zed-wsdlBindingFaultReference">show all</a> ] [ <a onClick="hideAll()" href="#zed-wsdlBindingFaultReference">hide all</a> ]<br> - <p> - The namespace IRI of a - <a href="wsdl20.html#component-BindingFaultReference">Binding Fault Reference</a> - component is the namespace of its parent: - </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">BindingFaultReference</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">bindingFaultRefComps</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> &nsp;<span 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> &bsp; <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-BindingFaultReference">BindingFaultReference</a>, <a href="#zed-ID">ID</a>, <a href="#zed-componentNamespace">componentNamespace</a>.</span></span></div> - <p> The pointer part defined by a --- 12006,12009 ---- *************** *** 12110,12123 **** <a name="zed-wsdlService"></a><div id="twisty-head-zed-wsdlService" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-wsdlService')">wsdlService</a>...</div><div id="twisty-body-zed-wsdlService" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-wsdlService')">wsdlService</a> [ <a onClick="showAll()" href="#zed-wsdlService">show all</a> ] [ <a onClick="hideAll()" href="#zed-wsdlService">hide all</a> ]<br> - <p> - The namespace IRI of a - <a href="wsdl20.html#component-Service">Service</a> - component is the namespace of its {<a href="wsdl20.html#property-Service.name">name</a>} property: - </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> - <p> The pointer part defined by a --- 12071,12074 ---- *************** *** 12195,12208 **** <a name="zed-wsdlEndpoint"></a><div id="twisty-head-zed-wsdlEndpoint" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-wsdlEndpoint')">wsdlEndpoint</a>...</div><div id="twisty-body-zed-wsdlEndpoint" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-wsdlEndpoint')">wsdlEndpoint</a> [ <a onClick="showAll()" href="#zed-wsdlEndpoint">show all</a> ] [ <a onClick="hideAll()" href="#zed-wsdlEndpoint">hide all</a> ]<br> - <p> - The namespace IRI of an - <a href="wsdl20.html#component-Endpoint">Endpoint</a> - component is the namespace of its parent: - </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">Endpoint</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">endpointComps</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> <span 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> &nbp; <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-Endpoint">Endpoint</a>, <a href="#zed-ID">ID</a>, <a href="#zed-componentNamespace">componentNamespace</a>.</span></span></div> - <p> The pointer part defined by a --- 12146,12149 ---- *************** *** 12276,12289 **** <a name="zed-wsdlFeature"></a><div id="twisty-head-zed-wsdlFeature" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-wsdlFeature')">wsdlFeature</a>...</div><div id="twisty-body-zed-wsdlFeature" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-wsdlFeature')">wsdlFeature</a> [ <a onClick="showAll()" href="#zed-wsdlFeature">show all</a> ] [ <a onClick="hideAll()" href="#zed-wsdlFeature">hide all</a> ]<br> - <p> - The namespace IRI of a - <a href="wsdl20.html#component-Feature">Feature</a> - component is the namespace of its parent: - </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">Feature</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">featureComps</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> <span class="zi">prentContext</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>   <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-Feature">Feature</a>, <a href="#zed-ID">ID</a>, <a href="#zed-componentNamespace">componentNamespace</a>.</span></span></div> - <p> The pointer part defined by a --- 12217,12220 ---- *************** *** 12357,12370 **** <a name="zed-wsdlProperty"></a><div id="twisty-head-zed-wsdlProperty" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-wsdlProperty')">wsdlProperty</a>...</div><div id="twisty-body-zed-wsdlProperty" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-wsdlProperty')">wsdlProperty</a> [ <a onClick="showAll()" href="#zed-wsdlProperty">show all</a> ] [ <a onClick="hideAll()" href="#zed-wsdlProperty">hide all</a> ]<br> - <p> - The namespace IRI of a - <a href="wsdl20.html#component-Property">Property</a> - component is the namespace of its parent: - </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">Property</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">propertyComps</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> <span 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> &nbp; <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-Property">Property</a>, <a href="#zed-ID">ID</a>, <a href="#zed-componentNamespace">componentNamespace</a>.</span></span></div> - <p> The pointer part defined by a --- 12288,12291 ---- *************** *** 12490,12495 **** (Agfa-Gevaert N. V.), Roberto Chinnici (Sun Microsystems), Kendall Clark ! (University of Maryland), Ugo Corda ! (SeeBeyond), Glen Daniels (Sonic Software), Paul Downey (British Telecommunications), Youenn Fablet --- 12411,12415 ---- (Agfa-Gevaert N. V.), Roberto Chinnici (Sun Microsystems), Kendall Clark ! (University of Maryland), Glen Daniels (Sonic Software), Paul Downey (British Telecommunications), Youenn Fablet *************** *** 12509,12514 **** (Canon), Mark Nottingham (BEA Systems, Inc.), David Orchard ! (BEA Systems, Inc.), Bijan Parsia ! (University of Maryland), Tony Rogers (Computer Associates), Arthur Ryman (IBM), Adi Sakala --- 12429,12436 ---- (Canon), Mark Nottingham (BEA Systems, Inc.), David Orchard ! (BEA Systems, Inc.), Vivek Pandey ! (Sun Microsystems), Bijan Parsia ! (University of Maryland), Gilbert Pilz ! (BEA Systems, Inc.), Tony Rogers (Computer Associates), Arthur Ryman (IBM), Adi Sakala *************** *** 12567,12571 **** (webMethods, Inc.), Igor Sedukhin (Computer Associates), Martin Gudgin ! (Microsoft Corporation).</p> <p>The people who have contributed to <a href="http://lists.w3.org/Archives/Public/www-ws-desc/">discussions on www-ws-desc@w3.org</a> are also gratefully --- 12489,12495 ---- (webMethods, Inc.), Igor Sedukhin (Computer Associates), Martin Gudgin ! (Microsoft Corporation), Rebecca Bergersen ! (IONA Technologies), Ugo Corda ! (SeeBeyond).</p> <p>The people who have contributed to <a href="http://lists.w3.org/Archives/Public/www-ws-desc/">discussions on www-ws-desc@w3.org</a> are also gratefully *************** *** 12670,12699 **** <div class="exampleInner"><pre> http://example.org/TicketAgent.wsdl20# ! xmlns(xsTicketAgent=http://example.org/TicketAgent.xsd) ! wsdl.elementDeclaration(xsTicketAgent:listFlightsRequest) http://example.org/TicketAgent.wsdl20# ! xmlns(xsTicketAgent=http://example.org/TicketAgent.xsd) ! wsdl.elementDeclaration(xsTicketAgent:listFlightsResponse) http://example.org/TicketAgent.wsdl20# ! xmlns(xsTicketAgent=http://example.org/TicketAgent.xsd) ! wsdl.elementDeclaration(xsTicketAgent:reserveFlightRequest) http://example.org/TicketAgent.wsdl20# ! xmlns(xsTicketAgent=http://example.org/TicketAgent.xsd) ! wsdl.elementDeclaration(xsTicketAgent:reserveFlightResponse) ! http://example.org/TicketAgent.wsdl20#wsdl.interface(TicketAgent) http://example.org/TicketAgent.wsdl20# ! wsdl.feature( ! wsdl.interface(TicketAgent)/http://example.com/secure-channel) http://example.org/TicketAgent.wsdl20# ! wsdl.interfaceOperation(TicketAgent/listFlights) http://example.org/TicketAgent.wsdl20# ! wsdl.interfaceOperation(TicketAgent/reserveFlight) </pre></div> </div> --- 12594,12639 ---- <div class="exampleInner"><pre> http://example.org/TicketAgent.wsdl20# ! wsdl.description() http://example.org/TicketAgent.wsdl20# ! xmlns(xsTicketAgent=http://example.org/TicketAgent.xsd) ! wsdl.elementDeclaration(xsTicketAgent:listFlightsRequest) http://example.org/TicketAgent.wsdl20# ! xmlns(xsTicketAgent=http://example.org/TicketAgent.xsd) ! wsdl.elementDeclaration(xsTicketAgent:listFlightsResponse) http://example.org/TicketAgent.wsdl20# ! xmlns(xsTicketAgent=http://example.org/TicketAgent.xsd) ! wsdl.elementDeclaration(xsTicketAgent:reserveFlightRequest) ! http://example.org/TicketAgent.wsdl20# ! xmlns(xsTicketAgent=http://example.org/TicketAgent.xsd) ! wsdl.elementDeclaration(xsTicketAgent:reserveFlightResponse) http://example.org/TicketAgent.wsdl20# ! wsdl.interface(TicketAgent) http://example.org/TicketAgent.wsdl20# ! wsdl.feature( ! wsdl.interface(TicketAgent)/http://example.com/secure-channel) http://example.org/TicketAgent.wsdl20# ! wsdl.interfaceOperation(TicketAgent/listFlights) ! ! http://example.org/TicketAgent.wsdl20# ! wsdl.interfaceMessageReference(TicketAgent/listFlights/In) ! ! http://example.org/TicketAgent.wsdl20# ! wsdl.interfaceMessageReference(TicketAgent/listFlights/Out) ! ! http://example.org/TicketAgent.wsdl20# ! wsdl.interfaceOperation(TicketAgent/reserveFlight) ! ! http://example.org/TicketAgent.wsdl20# ! wsdl.interfaceMessageReference(TicketAgent/reserveFlight/In) ! ! http://example.org/TicketAgent.wsdl20# ! wsdl.interfaceMessageReference(TicketAgent/reserveFlight/Out) </pre></div> </div> *************** *** 12704,12708 **** <div class="div1"> ! <h2><a name="N17271"></a>D. Component Summary (Non-Normative)</h2> <p> <a href="#component-summary">Table D-1</a> --- 12644,12648 ---- <div class="div1"> ! <h2><a name="N17119"></a>D. Component Summary (Non-Normative)</h2> <p> <a href="#component-summary">Table D-1</a> *************** *** 13316,13319 **** --- 13256,13266 ---- <tr> + <td rowspan="1" colspan="1">20051118</td> + <td rowspan="1" colspan="1">AGR</td> + <td rowspan="1" colspan="1">Simiplified Z Notation for fragment identifiers and updated <a href="#iri-ref-example-iris">Example IRIs</a>. + </td> + </tr> + + <tr> <td rowspan="1" colspan="1">20051117</td> <td rowspan="1" colspan="1">AGR</td> *************** *** 13323,13326 **** --- 13270,13274 ---- </td> </tr> + <tr> <td rowspan="1" colspan="1">20051117</td> *************** *** 14193,14197 **** <tr> <td rowspan="1" colspan="1">20050228</td> - <td rowspan="1" colspan="1">JJM</td> <td rowspan="1" colspan="1"><a href="http://lists.w3.org/Archives/Public/www-ws-desc/2005Jan/0026.html">X</a>: --- 14141,14144 ---- Index: wsdl20.tex =================================================================== RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.tex,v retrieving revision 1.95 retrieving revision 1.96 diff -C2 -d -r1.95 -r1.96 *** wsdl20.tex 18 Nov 2005 00:45:32 -0000 1.95 --- wsdl20.tex 18 Nov 2005 17:16:01 -0000 1.96 *************** *** 28,32 **** \item[Previous versions:] \ ! \href{http://www.w3.org/TR/2005/WD-wsdl20-20050510}{http://www.w3.org/TR/2005/WD-wsdl20-20050510} \item[Editors:] \ --- 28,32 ---- \item[Previous versions:] \ ! \href{http://www.w3.org/TR/2005/WD-wsdl20-20050803}{http://www.w3.org/TR/2005/WD-wsdl20-20050803} \item[Editors:] \ *************** *** 1519,1522 **** --- 1519,1569 ---- + \hypertarget{zed-TopLevelComponent}{} + + + Let $TopLevelComponent$ be the set of all top-level components: + + + \begin{zed} + TopLevelComponent == \\ + \t1 \ran elementDecl \cup \\ + \t1 \ran typeDef \cup \\ + \t1 \ran interface \cup \\ + \t1 \ran binding \cup \\ + \t1 \ran service + \end{zed} + + \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-Component}{Component}.\end{itshape}\end{small}\end{quote} + + + + \hypertarget{zed-Name}{} + + + Let $Name$ map a top-level component to its QName name property: + + \begin{axdef} + Name : TopLevelComponent \fun QName + \where + \forall x : ElementDeclaration @ \\ + \t1 Name(elementDecl(x)) = x.name + \also + \forall x : TypeDefinition @ \\ + \t1 Name(typeDef(x)) = x.name + \also + \forall x : Interface @ \\ + \t1 Name(interface(x)) = x.name + \also + \forall x : Binding @ \\ + \t1 Name(binding(x)) = x.name + \also + \forall x : Service @ \\ + \t1 Name(service(x)) = x.name + \end{axdef} + + \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-TopLevelComponent}{TopLevelComponent}, \hyperlink{zed-QName}{QName}, \hyperlink{zed-Component}{Component}, \hyperlink{zed-ElementDeclaration}{ElementDeclaration}, \hyperlink{zed-TypeDefinition}{TypeDefinition}, \hyperlink{zed-Interface}{Interface}, \hyperlink{zed-Binding}{Binding}, \hyperlink{zed-Service}{Service}.\end{itshape}\end{small}\end{quote} + + + \hypertarget{zed-Parent}{} *************** *** 1562,1565 **** --- 1609,1683 ---- + + \hypertarget{zed-NestedComponent}{} + + + Let $NestedComponent$ be the set of all nested components: + + + \begin{zed} + NestedComponent == \\ + \t1 \ran interfaceFault \cup \\ + \t1 \ran interfaceOp \cup \\ + \t1 \ran interfaceMessageRef \cup \\ + \t1 \ran interfaceFaultRef \cup \\ + \t1 \ran bindingFault \cup \\ + \t1 \ran bindingOp \cup \\ + \t1 \ran bindingMessageRef \cup \\ + \t1 \ran bindingFaultRef \cup \\ + \t1 \ran endpoint \cup \\ + \t1 \ran feature \cup \\ + \t1 \ran property + \end{zed} + + \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-Component}{Component}.\end{itshape}\end{small}\end{quote} + + + + \hypertarget{zed-ParentID}{} + + + Let $ParentID$ map a nested component to its parent component identifier: + + \begin{axdef} + ParentId : NestedComponent \fun ID + \where + \forall x : InterfaceFault @ \\ + \t1 ParentId(interfaceFault(x)) = x.parent + \also + \forall x : InterfaceOperation @ \\ + \t1 ParentId(interfaceOp(x)) = x.parent + \also + \forall x : InterfaceMessageReference @ \\ + \t1 ParentId(interfaceMessageRef(x)) = x.parent + \also + \forall x : InterfaceFaultReference @ \\ + \t1 ParentId(interfaceFaultRef(x)) = x.parent + \also + \forall x : BindingFault @ \\ + \t1 ParentId(bindingFault(x)) = x.parent + \also + \forall x : BindingOperation @ \\ + \t1 ParentId(bindingOp(x)) = x.parent + \also + \forall x : BindingMessageReference @ \\ + \t1 ParentId(bindingMessageRef(x)) = x.parent + \also + \forall x : BindingFaultReference @ \\ + \t1 ParentId(bindingFaultRef(x)) = x.parent + \also + \forall x : Endpoint @ \\ + \t1 ParentId(endpoint(x)) = x.parent + \also + \forall x : Feature @ \\ + \t1 ParentId(feature(x)) = x.parent + \also + \forall x : Property @ \\ + \t1 ParentId(property(x)) = x.parent + \end{axdef} + + \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-NestedComponent}{NestedComponent}, \hyperlink{zed-ID}{ID}, \hyperlink{zed-InterfaceFault}{InterfaceFault}, \hyperlink{zed-InterfaceOperation}{InterfaceOperation}, \hyperlink{zed-InterfaceMessageReference}{InterfaceMessageReference}, \hyperlink{zed-InterfaceFaultReference}{InterfaceFaultReference}, \hyperlink{zed-BindingFault}{BindingFault}, \hyperlink{zed-BindingOperation}{BindingOperation}, \hyperlink{zed-BindingMessageReference}{BindingMessageReference}, \hyperlink{zed-BindingFaultReference}{BindingFaultReference}, \hyperlink{zed-Endpoint}{Endpoint}, \hyperlink{zed-Feature}{Feature}, \hyperlink{zed-Property}{Property}.\end{itshape}\end{small}\end{quote} + + The properties of the Description component are as follows: *************** *** 11886,11910 **** ! \hypertarget{zed-ComponentContext}{} ! ! 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 ! and a fragment identifier that conforms to XPointer syntax ! including the WSDL 2.0 pointer part schemes defined here. The ! interpretation of the WSDL 2.0 pointer parts is defined in ! 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 ! in the context of the component model instance defined by the ! WSDL 2.0 document. We refer to the namespace of the WSDL 2.0 document as the --- 12004,12048 ---- ! \hypertarget{zed-ComponentDesignator}{} ! ! 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 ! and a fragment identifier that conforms to XPointer syntax ! including the WSDL 2.0 pointer part schemes defined here. ! The interpretation of the WSDL 2.0 pointer parts is ! defined in 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 in the context of the ! component model instance defined by the WSDL 2.0 document. ! ! ! ! Let ! $ComponentDesignator$ ! be the set of WSDL 2.0 component designators: ! ! ! \begin{schema}{ComponentDesignator} ! iri : AbsoluteURI \\ ! fragId : wsdlPointerPart ! \end{schema} ! ! ! \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-AbsoluteURI}{AbsoluteURI}, \hyperlink{zed-wsdlPointerPart}{wsdlPointerPart}.\end{itshape}\end{small}\end{quote} ! + \hypertarget{zed-ComponentContext}{} + + We refer to the namespace of the WSDL 2.0 document as the *************** *** 11951,11956 **** \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ComponentContext}{ComponentContext}, \hyperlink{zed-AbsoluteURI}{AbsoluteURI}.\end{itshape}\end{small}\end{quote} ! This map will be defined for each component in the following sections. --- 12089,12138 ---- \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ComponentContext}{ComponentContext}, \hyperlink{zed-AbsoluteURI}{AbsoluteURI}.\end{itshape}\end{small}\end{quote} ! The namespace of a Description, ! Element Declaration, or ! Type Definition component is the context namespace: ! ! \begin{zed} ! \forall ComponentContext | \\ ! \t1 id \in descriptionIds \cup \\ ! \t2 elementDeclIds \cup \\ ! \t2 typeDefIds @ \\ ! \t1 componentNamespace(\theta ComponentContext) = \\ ! \t2 contextNamespace ! \end{zed} ! ! \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ComponentContext}{ComponentContext}, \hyperlink{zed-componentNamespace}{componentNamespace}.\end{itshape}\end{small}\end{quote} ! ! The namespace of an Interface, ! Binding, or Service component is the namespace of its ! name property: ! ! \begin{zed} ! \forall ComponentContext; \\ ! \t1 c : Component | \\ ! \t1 c \in components \land \\ ! \t1 id = Id(c) \land \\ ! \t1 id \in interfaceIds \cup \\ ! \t2 bindingIds \cup \\ ! \t2 serviceIds @ \\ ! \t1 componentNamespace(\theta ComponentContext) = \\ ! \t2 (Name(c)).namespaceName ! \end{zed} ! ! \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ComponentContext}{ComponentContext}, \hyperlink{zed-Component}{Component}, \hyperlink{zed-Id}{Id}, \hyperlink{zed-componentNamespace}{componentNamespace}, \hyperlink{zed-Name}{Name}.\end{itshape}\end{small}\end{quote} ! ! The namespace of a nested component is equal to the namespace of its parent: + \begin{zed} + \forall ComponentContext; \\ + \t1 c : NestedComponent | \\ + \t1 c \in components @ \\ + \t1 componentNamespace(\theta ComponentContext) = \\ + \t2 componentNamespace(\mu id : ID | \\ + \t2 id = ParentId(c) @ \theta ComponentContext) + \end{zed} + + \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ComponentContext}{ComponentContext}, \hyperlink{zed-NestedComponent}{NestedComponent}, \hyperlink{zed-componentNamespace}{componentNamespace}, \hyperlink{zed-ID}{ID}, \hyperlink{zed-ParentId}{ParentId}.\end{itshape}\end{small}\end{quote} + *************** *** 12026,12029 **** --- 12208,12231 ---- + \hypertarget{zed-ComponentToDesignator}{} + + + + Let $ComponentToDesignator$ map a WSDL 2.0 component + to its component designator: + + + \begin{schema}{ComponentToDesignator} + ComponentContext \\ + ComponentDesignator + \where + iri = componentNamespace(\theta ComponentContext) \\ + fragId = pointerPart(\theta ComponentID) + \end{schema} + + \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ComponentContext}{ComponentContext}, \hyperlink{zed-ComponentDesignator}{ComponentDesignator}, \hyperlink{zed-componentNamespace}{componentNamespace}, \hyperlink{zed-pointerPart}{pointerPart}.\end{itshape}\end{small}\end{quote} + + + \hypertarget{wsdl.description}{} \subsection{The Description Component}\label{wsdl.description} *************** *** 12038,12056 **** in the component model. - - The namespace IRI of a - Description - component is the context namespace: - - - \begin{zed} - \forall ComponentContext | \\ - \t1 id \in descriptionIds @ \\ - \t1 componentNamespace(\theta ComponentContext) = \\ - \t2 contextNamespace - \end{zed} - - \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ComponentContext}{ComponentContext}, \hyperlink{zed-componentNamespace}{componentNamespace}.\end{itshape}\end{small}\end{quote} - The pointer part defined by a --- 12240,12243 ---- *************** *** 12168,12186 **** - - The namespace IRI of a - Element Declaration - component is the context namespace: - - - \begin{zed} - \forall ComponentContext | \\ - \t1 id \in elementDeclIds @ \\ - \t1 componentNamespace(\theta ComponentContext) = \\ - \t2 contextNamespace - \end{zed} - - \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ComponentContext}{ComponentContext}.\end{itshape}\end{small}\end{quote} - The pointer part defined by an --- 12355,12358 ---- *************** *** 12285,12303 **** - - The namespace IRI of a - Type Definition - component is the context namespace: - - - \begin{zed} - \forall ComponentContext | \\ - \t1 id \in typeDefIds @ \\ - \t1 componentNamespace(\theta ComponentContext) = \\ - \t2 contextNamespace - \end{zed} - - \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ComponentContext}{ComponentContext}, \hyperlink{zed-componentNamespace}{componentNamespace}.\end{itshape}\end{small}\end{quote} - The pointer part defined by a --- 12457,12460 ---- *************** *** 12384,12404 **** - - The namespace IRI of an - Interface - component is the namespace of its name property: - - - \begin{zed} - \forall ComponentContext; \\ - \t1 x : Interface | \\ - \t1 x \in interfaceComps \land \\ - \t1 id = x.id @ \\ - \t1 componentNamespace(\theta ComponentContext) = \\ - \t2 x.name.namespaceName - \end{zed} - - \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ComponentContext}{ComponentContext}, \hyperlink{zed-Interface}{Interface}, \hyperlink{zed-componentNamespace}{componentNamespace}.\end{itshape}\end{small}\end{quote} - The pointer part defined by an --- 12541,12544 ---- *************** *** 12500,12523 **** - - The namespace IRI of an - Interface Fault - component is the namespace of its parent: - - - \begin{zed} - \forall ComponentContext; \\ - \t1 x : InterfaceFault; \\ - \t1 parentContext : ComponentContext | \\ - \t1 x \in interfaceFaultComps \land \\ - \t1 id = x.id \land \\ - \t1 parentContext = (\mu id : ID | \\ - \t2 id = x.parent @ \theta ComponentContext) @ \\ - \t1 componentNamespace(\theta ComponentContext) = \\ - \t2 componentNamespace(parentContext) - \end{zed} - - \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ComponentContext}{ComponentContext}, \hyperlink{zed-InterfaceFault}{InterfaceFault}, \hyperlink{zed-ID}{ID}, \hyperlink{zed-componentNamespace}{componentNamespace}.\end{itshape}\end{small}\end{quote} - The pointer part defined by an --- 12640,12643 ---- *************** *** 12619,12642 **** - - The namespace IRI of an - Interface Operation - component is the namespace of its parent: - - - \begin{zed} - \forall ComponentContext; \\ - \t1 x : InterfaceOperation; \\ - \t1 parentContext : ComponentContext | \\ - \t1 x \in interfaceOpComps \land \\ - \t1 id = x.id \land \\ - \t1 parentContext = (\mu id : ID | \\ - \t2 id = x.parent @ \theta ComponentContext) @ \\ - \t1 componentNamespace(\theta ComponentContext) = \\ - \t2 componentNamespace(parentContext) - \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} - The pointer part defined by an --- 12739,12742 ---- *************** *** 12752,12775 **** - - The namespace IRI of an - Interface Message Reference - component is the namespace of its parent: - - - \begin{zed} - \forall ComponentContext; \\ - \t1 x : InterfaceMessageReference; \\ - \t1 parentContext : ComponentContext | \\ - \t1 x \in interfaceMessageRefComps \land \\ - \t1 id = x.id \land \\ - \t1 parentContext = (\mu id : ID | \\ - \t2 id = x.parent @ \theta ComponentContext) @ \\ - \t1 componentNamespace(\theta ComponentContext) = \\ - \t2 componentNamespace(parentContext) - \end{zed} - - \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ComponentContext}{ComponentContext}, \hyperlink{zed-InterfaceMessageReference}{InterfaceMessageReference}, \hyperlink{zed-ID}{ID}, \hyperlink{zed-componentNamespace}{componentNamespace}.\end{itshape}\end{small}\end{quote} - The pointer part defined by an --- 12852,12855 ---- *************** *** 12909,12932 **** - - The namespace IRI of an - Interface Fault Reference - component is the namespace of its parent: - - - \begin{zed} - \forall ComponentContext; \\ - \t1 x : InterfaceFaultReference; \\ - \t1 parentContext : ComponentContext | \\ - \t1 x \in interfaceFaultRefComps \land \\ - \t1 id = x.id \land \\ - \t1 parentContext = (\mu id : ID | \\ - \t2 id = x.parent @ \theta ComponentContext) @ \\ - \t1 componentNamespace(\theta ComponentContext) = \\ - \t2 componentNamespace(parentContext) - \end{zed} - - \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ComponentContext}{ComponentContext}, \hyperlink{zed-InterfaceFaultReference}{InterfaceFaultReference}, \hyperlink{zed-ID}{ID}, \hyperlink{zed-componentNamespace}{componentNamespace}.\end{itshape}\end{small}\end{quote} - The pointer part defined by an --- 12989,12992 ---- *************** *** 13017,13037 **** - - The namespace IRI of an - Binding - component is the namespace of its name property: - - - \begin{zed} - \forall ComponentContext; \\ - \t1 x : Binding | \\ - \t1 x \in bindingComps \land \\ - \t1 id = x.id @ \\ - \t1 componentNamespace(\theta ComponentContext) = \\ - \t2 x.name.namespaceName - \end{zed} - - \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ComponentContext}{ComponentContext}, \hyperlink{zed-Binding}{Binding}, \hyperlink{zed-componentNamespace}{componentNamespace}.\end{itshape}\end{small}\end{quote} - The pointer part defined by a --- 13077,13080 ---- *************** *** 13163,13186 **** - - The namespace IRI of a - Binding Fault - component is the namespace of its parent: - - - \begin{zed} - \forall ComponentContext; \\ - \t1 x : BindingFault; \\ - \t1 parentContext : ComponentContext | \\ - \t1 x \in bindingFaultComps \land \\ - \t1 id = x.id \land \\ - \t1 parentContext = (\mu id : ID | \\ - \t2 id = x.parent @ \theta ComponentContext) @ \\ - \t1 componentNamespace(\theta ComponentContext) = \\ - \t2 componentNamespace(parentContext) - \end{zed} - - \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ComponentContext}{ComponentContext}, \hyperlink{zed-BindingFault}{BindingFault}, \hyperlink{zed-ID}{ID}, \hyperlink{zed-componentNamespace}{componentNamespace}.\end{itshape}\end{small}\end{quote} - The pointer part defined by a --- 13206,13209 ---- *************** *** 13293,13316 **** - - The namespace IRI of a - Binding Operation - component is the namespace of its parent: - - - \begin{zed} - \forall ComponentContext; \\ - \t1 x : BindingOperation; \\ - \t1 parentContext : ComponentContext | \\ - \t1 x \in bindingOpComps \land \\ - \t1 id = x.id \land \\ - \t1 parentContext = (\mu id : ID | \\ - \t2 id = x.parent @ \theta ComponentContext) @ \\ - \t1 componentNamespace(\theta ComponentContext) = \\ - \t2 componentNamespace(parentContext) - \end{zed} - - \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ComponentContext}{ComponentContext}, \hyperlink{zed-BindingOperation}{BindingOperation}, \hyperlink{zed-ID}{ID}, \hyperlink{zed-componentNamespace}{componentNamespace}.\end{itshape}\end{small}\end{quote} - The pointer part defined by a --- 13316,13319 ---- *************** *** 13442,13465 **** - - The namespace IRI of a - Binding Message Reference - component is the namespace of its parent: - - - \begin{zed} - \forall ComponentContext; \\ - \t1 x : BindingMessageReference; \\ - \t1 parentContext : ComponentContext | \\ - \t1 x \in bindingMessageRefComps \land \\ - \t1 id = x.id \land \\ - \t1 parentContext = (\mu id : ID | \\ - \t2 id = x.parent @ \theta ComponentContext) @ \\ - \t1 componentNamespace(\theta ComponentContext) = \\ - \t2 componentNamespace(parentContext) - \end{zed} - - \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ComponentContext}{ComponentContext}, \hyperlink{zed-BindingMessageReference}{BindingMessageReference}, \hyperlink{zed-ID}{ID}, \hyperlink{zed-componentNamespace}{componentNamespace}.\end{itshape}\end{small}\end{quote} - The pointer part defined by a --- 13445,13448 ---- *************** *** 13619,13642 **** - - The namespace IRI of a - Binding Fault Reference - component is the namespace of its parent: - - - \begin{zed} - \forall ComponentContext; \\ - \t1 x : BindingFaultReference; \\ - \t1 parentContext : ComponentContext | \\ - \t1 x \in bindingFaultRefComps \land \\ - \t1 id = x.id \land \\ - \t1 parentContext = (\mu id : ID | \\ - \t2 id = x.parent @ \theta ComponentContext) @ \\ - \t1 componentNamespace(\theta ComponentContext) = \\ - \t2 componentNamespace(parentContext) - \end{zed} - - \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ComponentContext}{ComponentContext}, \hyperlink{zed-BindingFaultReference}{BindingFaultReference}, \hyperlink{zed-ID}{ID}, \hyperlink{zed-componentNamespace}{componentNamespace}.\end{itshape}\end{small}\end{quote} - The pointer part defined by a --- 13602,13605 ---- *************** *** 13726,13746 **** - - The namespace IRI of a - Service - component is the namespace of its name property: - - - \begin{zed} - \forall ComponentContext; \\ - \t1 x : Service | \\ - \t1 x \in serviceComps \land \\ - \t1 id = x.id @ \\ - \t1 componentNamespace(\theta ComponentContext) = \\ - \t2 x.name.namespaceName - \end{zed} - - \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ComponentContext}{ComponentContext}, \hyperlink{zed-Service}{Service}, \hyperlink{zed-componentNamespace}{componentNamespace}.\end{itshape}\end{small}\end{quote} - The pointer part defined by a --- 13689,13692 ---- *************** *** 13842,13865 **** - - The namespace IRI of an - Endpoint - component is the namespace of its parent: - - - \begin{zed} - \forall ComponentContext; \\ - \t1 x : Endpoint; \\ - \t1 parentContext : ComponentContext | \\ - \t1 x \in endpointComps \land \\ - \t1 id = x.id \land \\ - \t1 parentContext = (\mu id : ID | \\ - \t2 id = x.parent @ \theta ComponentContext) @ \\ - \t1 componentNamespace(\theta ComponentContext) = \\ - \t2 componentNamespace(parentContext) - \end{zed} - - \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ComponentContext}{ComponentContext}, \hyperlink{zed-Endpoint}{Endpoint}, \hyperlink{zed-ID}{ID}, \hyperlink{zed-componentNamespace}{componentNamespace}.\end{itshape}\end{small}\end{quote} - The pointer part defined by a --- 13788,13791 ---- *************** *** 13964,13987 **** - - The namespace IRI of a - Feature - component is the namespace of its parent: - - - \begin{zed} - \forall ComponentContext; \\ - \t1 x : Feature; \\ - \t1 parentContext : ComponentContext | \\ - \t1 x \in featureComps \land \\ - \t1 id = x.id \land \\ - \t1 parentContext = (\mu id : ID | \\ - \t2 id = x.parent @ \theta ComponentContext) @ \\ - \t1 componentNamespace(\theta ComponentContext) = \\ - \t2 componentNamespace(parentContext) - \end{zed} - - \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ComponentContext}{ComponentContext}, \hyperlink{zed-Feature}{Feature}, \hyperlink{zed-ID}{ID}, \hyperlink{zed-componentNamespace}{componentNamespace}.\end{itshape}\end{small}\end{quote} - The pointer part defined by a --- 13890,13893 ---- *************** *** 14086,14109 **** - - The namespace IRI of a - Property - component is the namespace of its parent: - - - \begin{zed} - \forall ComponentContext; \\ - \t1 x : Property; \\ - \t1 parentContext : ComponentContext | \\ - \t1 x \in propertyComps \land \\ - \t1 id = x.id \land \\ - \t1 parentContext = (\mu id : ID | \\ - \t2 id = x.parent @ \theta ComponentContext) @ \\ - \t1 componentNamespace(\theta ComponentContext) = \\ - \t2 componentNamespace(parentContext) - \end{zed} - - \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ComponentContext}{ComponentContext}, \hyperlink{zed-Property}{Property}, \hyperlink{zed-ID}{ID}, \hyperlink{zed-componentNamespace}{componentNamespace}.\end{itshape}\end{small}\end{quote} - The pointer part defined by a --- 13992,13995 ---- *************** *** 14261,14266 **** (Agfa-Gevaert N. V.), Roberto Chinnici (Sun Microsystems), Kendall Clark ! (University of Maryland), Ugo Corda ! (SeeBeyond), Glen Daniels (Sonic Software), Paul Downey (British Telecommunications), Youenn Fablet --- 14147,14151 ---- (Agfa-Gevaert N. V.), Roberto Chinnici (Sun Microsystems), Kendall Clark ! (University of Maryland), Glen Daniels (Sonic Software), Paul Downey (British Telecommunications), Youenn Fablet *************** *** 14280,14285 **** (Canon), Mark Nottingham (BEA Systems, Inc.), David Orchard ! (BEA Systems, Inc.), Bijan Parsia ! (University of Maryland), Tony Rogers (Computer Associates), Arthur Ryman (IBM), Adi Sakala --- 14165,14172 ---- (Canon), Mark Nottingham (BEA Systems, Inc.), David Orchard ! (BEA Systems, Inc.), Vivek Pandey ! (Sun Microsystems), Bijan Parsia ! (University of Maryland), Gilbert Pilz ! (BEA Systems, Inc.), Tony Rogers (Computer Associates), Arthur Ryman (IBM), Adi Sakala *************** *** 14338,14342 **** (webMethods, Inc.), Igor Sedukhin (Computer Associates), Martin Gudgin ! (Microsoft Corporation). The people who have contributed to \href{http://lists.w3.org/Archives/Public/www-ws-desc/}{discussions on www-ws-desc@w3.org} are also gratefully --- 14225,14231 ---- (webMethods, Inc.), Igor Sedukhin (Computer Associates), Martin Gudgin ! (Microsoft Corporation), Rebecca Bergersen ! (IONA Technologies), Ugo Corda ! (SeeBeyond). The people who have contributed to \href{http://lists.w3.org/Archives/Public/www-ws-desc/}{discussions on www-ws-desc@w3.org} are also gratefully *************** *** 14444,14473 **** \begin{verbatim} http://example.org/TicketAgent.wsdl20# ! xmlns(xsTicketAgent=http://example.org/TicketAgent.xsd) ! wsdl.elementDeclaration(xsTicketAgent:listFlightsRequest) http://example.org/TicketAgent.wsdl20# ! xmlns(xsTicketAgent=http://example.org/TicketAgent.xsd) ! wsdl.elementDeclaration(xsTicketAgent:listFlightsResponse) http://example.org/TicketAgent.wsdl20# ! xmlns(xsTicketAgent=http://example.org/TicketAgent.xsd) ! wsdl.elementDeclaration(xsTicketAgent:reserveFlightRequest) http://example.org/TicketAgent.wsdl20# ! xmlns(xsTicketAgent=http://example.org/TicketAgent.xsd) ! wsdl.elementDeclaration(xsTicketAgent:reserveFlightResponse) ! http://example.org/TicketAgent.wsdl20#wsdl.interface(TicketAgent) http://example.org/TicketAgent.wsdl20# ! wsdl.feature( ! wsdl.interface(TicketAgent)/http://example.com/secure-channel) http://example.org/TicketAgent.wsdl20# ! wsdl.interfaceOperation(TicketAgent/listFlights) http://example.org/TicketAgent.wsdl20# ! wsdl.interfaceOperation(TicketAgent/reserveFlight) \end{verbatim} --- 14333,14378 ---- \begin{verbatim} http://example.org/TicketAgent.wsdl20# ! wsdl.description() http://example.org/TicketAgent.wsdl20# ! xmlns(xsTicketAgent=http://example.org/TicketAgent.xsd) ! wsdl.elementDeclaration(xsTicketAgent:listFlightsRequest) http://example.org/TicketAgent.wsdl20# ! xmlns(xsTicketAgent=http://example.org/TicketAgent.xsd) ! wsdl.elementDeclaration(xsTicketAgent:listFlightsResponse) http://example.org/TicketAgent.wsdl20# ! xmlns(xsTicketAgent=http://example.org/TicketAgent.xsd) ! wsdl.elementDeclaration(xsTicketAgent:reserveFlightRequest) ! http://example.org/TicketAgent.wsdl20# ! xmlns(xsTicketAgent=http://example.org/TicketAgent.xsd) ! wsdl.elementDeclaration(xsTicketAgent:reserveFlightResponse) http://example.org/TicketAgent.wsdl20# ! wsdl.interface(TicketAgent) http://example.org/TicketAgent.wsdl20# ! wsdl.feature( ! wsdl.interface(TicketAgent)/http://example.com/secure-channel) http://example.org/TicketAgent.wsdl20# ! wsdl.interfaceOperation(TicketAgent/listFlights) ! ! http://example.org/TicketAgent.wsdl20# ! wsdl.interfaceMessageReference(TicketAgent/listFlights/In) ! ! http://example.org/TicketAgent.wsdl20# ! wsdl.interfaceMessageReference(TicketAgent/listFlights/Out) ! ! http://example.org/TicketAgent.wsdl20# ! wsdl.interfaceOperation(TicketAgent/reserveFlight) ! ! http://example.org/TicketAgent.wsdl20# ! wsdl.interfaceMessageReference(TicketAgent/reserveFlight/In) ! ! http://example.org/TicketAgent.wsdl20# ! wsdl.interfaceMessageReference(TicketAgent/reserveFlight/Out) \end{verbatim} *************** *** 15118,15121 **** --- 15023,15033 ---- + 20051118& + AGR& + Simiplified Z Notation for fragment identifiers and updated \href{#iri-ref-example-iris}{Example IRIs}. + + \\ \hline + + 20051117& AGR& *************** *** 15125,15128 **** --- 15037,15041 ---- \\ \hline + 20051117& *************** *** 15995,15999 **** 20050228& - JJM& \href{http://lists.w3.org/Archives/Public/www-ws-desc/2005Jan/0026.html}{X}: --- 15908,15911 ---- Index: wsdl20.xml =================================================================== RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.xml,v retrieving revision 1.371 retrieving revision 1.372 diff -C2 -d -r1.371 -r1.372 *** wsdl20.xml 18 Nov 2005 12:42:23 -0000 1.371 --- wsdl20.xml 18 Nov 2005 17:16:03 -0000 1.372 *************** *** 1500,1503 **** --- 1500,1549 ---- </p> + <z:notation name="TopLevelComponent"> + + <p>Let <z:i>TopLevelComponent</z:i> be the set of all top-level components: + </p> + + <zed xmlns="http://www.w3.org/2004/zml"> + TopLevelComponent == <nl/> + <t1/> <ran/> elementDecl <cup/> <nl/> + <t1/> <ran/> typeDef <cup/> <nl/> + <t1/> <ran/> interface <cup/> <nl/> + <t1/> <ran/> binding <cup/> <nl/> + <t1/> <ran/> service + </zed> + + <z:see names="Component"/> + + </z:notation> + + <z:notation name="Name"> + + <p>Let <z:i>Name</z:i> map a top-level component to its QName <prop comp="">name</prop> property:</p> + + <axdef xmlns="http://www.w3.org/2004/zml"> + Name : TopLevelComponent <fun/> QName + <where/> + <forall/> x : ElementDeclaration @ <nl/> + <t1/> Name(elementDecl(x)) = x.name + <also/> + <forall/> x : TypeDefinition @ <nl/> + <t1/> Name(typeDef(x)) = x.name + <also/> + <forall/> x : Interface @ <nl/> + <t1/> Name(interface(x)) = x.name + <also/> + <forall/> x : Binding @ <nl/> + <t1/> Name(binding(x)) = x.name + <also/> + <forall/> x : Service @ <nl/> + <t1/> Name(service(x)) = x.name + </axdef> + + <z:see + names="TopLevelComponent QName Component ElementDeclaration TypeDefinition Interface Binding Service" /> + + </z:notation> + <z:notation name="Parent"> *************** *** 1541,1544 **** --- 1587,1661 ---- </z:notation> + + <z:notation name="NestedComponent"> + + <p>Let <z:i>NestedComponent</z:i> be the set of all nested components: + </p> + + <zed xmlns="http://www.w3.org/2004/zml"> + NestedComponent == <nl/> + <t1/> <ran/> interfaceFault <cup/> <nl/> + <t1/> <ran/> interfaceOp <cup/> <nl/> + <t1/> <ran/> interfaceMessageRef <cup/> <nl/> + <t1/> <ran/> interfaceFaultRef <cup/> <nl/> + <t1/> <ran/> bindingFault <cup/> <nl/> + <t1/> <ran/> bindingOp <cup/> <nl/> + <t1/> <ran/> bindingMessageRef <cup/> <nl/> + <t1/> <ran/> bindingFaultRef <cup/> <nl/> + <t1/> <ran/> endpoint <cup/> <nl/> + <t1/> <ran/> feature <cup/> <nl/> + <t1/> <ran/> property + </zed> + + <z:see names="Component"/> + + </z:notation> + + <z:notation name="ParentID"> + + <p>Let <z:i>ParentID</z:i> map a nested component to its parent component identifier:</p> + + <axdef xmlns="http://www.w3.org/2004/zml"> + ParentId : NestedComponent <fun/> ID + <where/> + <forall/> x : InterfaceFault @ <nl/> + <t1/> ParentId(interfaceFault(x)) = x.parent + <also/> + <forall/> x : InterfaceOperation @ <nl/> + <t1/> ParentId(interfaceOp(x)) = x.parent + <also/> + <forall/> x : InterfaceMessageReference @ <nl/> + <t1/> ParentId(interfaceMessageRef(x)) = x.parent + <also/> + <forall/> x : InterfaceFaultReference @ <nl/> + <t1/> ParentId(interfaceFaultRef(x)) = x.parent + <also/> + <forall/> x : BindingFault @ <nl/> + <t1/> ParentId(bindingFault(x)) = x.parent + <also/> + <forall/> x : BindingOperation @ <nl/> + <t1/> ParentId(bindingOp(x)) = x.parent + <also/> + <forall/> x : BindingMessageReference @ <nl/> + <t1/> ParentId(bindingMessageRef(x)) = x.parent + <also/> + <forall/> x : BindingFaultReference @ <nl/> + <t1/> ParentId(bindingFaultRef(x)) = x.parent + <also/> + <forall/> x : Endpoint @ <nl/> + <t1/> ParentId(endpoint(x)) = x.parent + <also/> + <forall/> x : Feature @ <nl/> + <t1/> ParentId(feature(x)) = x.parent + <also/> + <forall/> x : Property @ <nl/> + <t1/> ParentId(property(x)) = x.parent + </axdef> + + <z:see + names="NestedComponent ID InterfaceFault InterfaceOperation InterfaceMessageReference InterfaceFaultReference + BindingFault BindingOperation BindingMessageReference BindingFaultReference Endpoint Feature Property" /> + + </z:notation> <p>The properties of the <compdef>Description</compdef> component are as follows:</p> *************** *** 11699,11722 **** </z:notation> ! <z:notation name="ComponentContext"> ! <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> ! and a fragment identifier that conforms to XPointer syntax ! including the WSDL 2.0 pointer part schemes defined here. The ! interpretation of the WSDL 2.0 pointer parts is defined in ! 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 ! in the context of the component model instance defined by the ! WSDL 2.0 document. ! </p> <p> We refer to the namespace of the WSDL 2.0 document as the --- 11816,11857 ---- </z:notation> ! <z:notation name="ComponentDesignator"> ! <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> ! and a fragment identifier that conforms to XPointer syntax ! including the WSDL 2.0 pointer part schemes defined here. ! The interpretation of the WSDL 2.0 pointer parts is ! defined in 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 in the context of the ! component model instance defined by the WSDL 2.0 document. ! </p> ! ! <p> ! Let ! <z:i>ComponentDesignator</z:i> ! be the set of WSDL 2.0 component designators: ! </p> ! ! <schema xmlns="http://www.w3.org/2004/zml" name="ComponentDesignator"> ! iri : AbsoluteURI <nl/> ! fragId : wsdlPointerPart ! </schema> ! ! <z:see names="AbsoluteURI wsdlPointerPart" /> ! ! </z:notation> + <z:notation name="ComponentContext"> + <p> We refer to the namespace of the WSDL 2.0 document as the *************** *** 11762,11767 **** <z:see names="ComponentContext AbsoluteURI"/> ! <p>This map will be defined for each component in the following sections.</p> </z:notation> --- 11897,11946 ---- <z:see names="ComponentContext AbsoluteURI"/> ! <p>The namespace of a <comp>Description</comp>, ! <comp>Element Declaration</comp>, or ! <comp>Type Definition</comp> component is the context namespace:</p> ! ! <zed xmlns="http://www.w3.org/2004/zml"> ! <forall/> ComponentContext | <nl/> ! <t1/> id <in/> descriptionIds <cup/> <nl/> ! <t2/> elementDeclIds <cup/> <nl/> ! <t2/> typeDefIds @ <nl/> ! <t1/> componentNamespace(<theta/>ComponentContext) = <nl/> ! <t2/> contextNamespace ! </zed> ! ! <z:see names="ComponentContext componentNamespace"/> ! ! <p>The namespace of an <comp>Interface</comp>, ! <comp>Binding</comp>, or <comp>Service</comp> component is the namespace of its ! <prop comp="">name</prop> property:</p> ! ! <zed xmlns="http://www.w3.org/2004/zml"> ! <forall/> ComponentContext; <nl/> ! <t1/> c : Component | <nl/> ! <t1/> c <in/> components <land/> <nl/> ! <t1/> id = Id(c) <land/> <nl/> ! <t1/> id <in/> interfaceIds <cup/> <nl/> ! <t2/> bindingIds <cup/> <nl/> ! <t2/> serviceIds @ <nl/> ! <t1/> componentNamespace(<theta/>ComponentContext) = <nl/> ! <t2/> (Name(c)).namespaceName ! </zed> ! ! <z:see names="ComponentContext Component Id componentNamespace Name"/> ! ! <p>The namespace of a nested component is equal to the namespace of its parent:</p> + <zed xmlns="http://www.w3.org/2004/zml"> + <forall/> ComponentContext; <nl/> + <t1/> c : NestedComponent | <nl/> + <t1/> c <in/> components @ <nl/> + <t1/> componentNamespace(<theta/>ComponentContext) = <nl/> + <t2/> componentNamespace(<mu/>id : ID | <nl/> + <t2/> id = ParentId(c) @ <theta/>ComponentContext) + </zed> + + <z:see names="ComponentContext NestedComponent componentNamespace ID ParentId"/> + </z:notation> *************** *** 11834,11837 **** --- 12013,12035 ---- </z:notation> + <z:notation name="ComponentToDesignator"> + + <p> + Let <z:i>ComponentToDesignator</z:i> map a WSDL 2.0 component + to its component designator: + </p> + + <schema xmlns="http://www.w3.org/2004/zml" name="ComponentToDesignator"> + ComponentContext <nl/> + ComponentDesignator + <where /> + iri = componentNamespace(<theta/>ComponentContext) <nl/> + fragId = pointerPart(<theta/>ComponentID) + </schema> + + <z:see names="ComponentContext ComponentDesignator componentNamespace pointerPart" /> + + </z:notation> + <div3 id="wsdl.description"> <head>The Description Component</head> *************** *** 11843,11861 **** in the component model.</p> - <p> - The namespace IRI of a - <comp>Description</comp> - component is the context namespace: - </p> - - <zed xmlns="http://www.w3.org/2004/zml"> - <forall/> ComponentContext | <nl/> - <t1/> id <in/> descriptionIds @ <nl/> - <t1/> componentNamespace(<theta/>ComponentContext) = <nl/> - <t2/> contextNamespace - </zed> - - <z:see names="ComponentContext componentNamespace"/> - <p> The pointer part defined by a --- 12041,12044 ---- *************** *** 11969,11987 **** <z:notation name="wsdlElementDeclaration"> - <p> - The namespace IRI of a - <comp>Element Declaration</comp> - component is the context namespace: - </p> - - <zed xmlns="http://www.w3.org/2004/zml"> - <forall/> ComponentContext | <nl/> - <t1/> id <in/> elementDeclIds @ <nl/> - <t1/> componentNamespace(<theta/>ComponentContext) = <nl/> - <t2/> contextNamespace - </zed> - - <z:see names="ComponentContext"/> - <p> The pointer part defined by an --- 12152,12155 ---- *************** *** 12083,12101 **** <z:notation name="wsdlTypeDefinition"> - <p> - The namespace IRI of a - <comp>Type Definition</comp> - component is the context namespace: - </p> - - <zed xmlns="http://www.w3.org/2004/zml"> - <forall/> ComponentContext | <nl/> - <t1/> id <in/> typeDefIds @ <nl/> - <t1/> componentNamespace(<theta/>ComponentContext) = <nl/> - <t2/> contextNamespace - </zed> - - <z:see names="ComponentContext componentNamespace"/> - <p> The pointer part defined by a --- 12251,12254 ---- *************** *** 12179,12199 **** <z:notation name="wsdlInterface"> - <p> - The namespace IRI of an - <comp>Interface</comp> - component is the namespace of its <prop comp="Interface">name</prop> property: - </p> - - <zed xmlns="http://www.w3.org/2004/zml"> - <forall/> ComponentContext; <nl/> - <t1/> x : Interface | <nl/> - <t1/> x <in/> interfaceComps <land/> <nl/> - <t1/> id = x.id @ <nl/> - <t1/> componentNamespace(<theta/>ComponentContext) = <nl/> - <t2/> x.name.namespaceName - </zed> - - <z:see names="ComponentContext Interface componentNamespace"/> - <p> The pointer part defined by an --- 12332,12335 ---- *************** *** 12292,12315 **** <z:notation name="wsdlInterfaceFault"> - <p> - The namespace IRI of an - <comp>Interface Fault</comp> - component is the namespace of its parent: - </p> - - <zed xmlns="http://www.w3.org/2004/zml"> - <forall/> ComponentContext; <nl/> - <t1/> x : InterfaceFault; <nl/> - <t1/> parentContext : ComponentContext | <nl/> - <t1/> x <in/> interfaceFaultComps <land/> <nl/> - <t1/> id = x.id <land/> <nl/> - <t1/> parentContext = (<mu/> id : ID | <nl/> - <t2/> id = x.parent @ <theta/>ComponentContext) @ <nl/> - <t1/> componentNamespace(<theta/>ComponentContext) = <nl/> - <t2/> componentNamespace(parentContext) - </zed> - - <z:see names="ComponentContext InterfaceFault ID componentNamespace"/> - <p> The pointer part defined by an --- 12428,12431 ---- *************** *** 12408,12431 **** <z:notation name="wsdlInterfaceOperation"> - <p> - The namespace IRI of an - <comp>Interface Operation</comp> - component is the namespace of its parent: - </p> - - <zed xmlns="http://www.w3.org/2004/zml"> - <forall/> ComponentContext; <nl/> - <t1/> x : InterfaceOperation; <nl/> - <t1/> parentContext : ComponentContext | <nl/> - <t1/> x <in/> interfaceOpComps <land/> <nl/> - <t1/> id = x.id <land/> <nl/> - <t1/> parentContext = (<mu/> id : ID | <nl/> - <t2/> id = x.parent @ <theta/>ComponentContext) @ <nl/> - <t1/> componentNamespace(<theta/>ComponentContext) = <nl/> - <t2/> componentNamespace(parentContext) - </zed> - - <z:see names="ComponentContext InterfaceOperation ID componentNamespace"/> - <p> The pointer part defined by an --- 12524,12527 ---- *************** *** 12538,12561 **** <z:notation name="wsdlInterfaceMessageReference"> - <p> - The namespace IRI of an - <comp>Interface Message Reference</comp> - component is the namespace of its parent: - </p> - - <zed xmlns="http://www.w3.org/2004/zml"> - <forall/> ComponentContext; <nl/> - <t1/> x : InterfaceMessageReference; <nl/> - <t1/> parentContext : ComponentContext | <nl/> - <t1/> x <in/> interfaceMessageRefComps <land/> <nl/> - <t1/> id = x.id <land/> <nl/> - <t1/> parentContext = (<mu/> id : ID | <nl/> - <t2/> id = x.parent @ <theta/>ComponentContext) @ <nl/> - <t1/> componentNamespace(<theta/>ComponentContext) = <nl/> - <t2/> componentNamespace(parentContext) - </zed> - - <z:see names="ComponentContext InterfaceMessageReference ID componentNamespace"/> - <p> The pointer part defined by an --- 12634,12637 ---- *************** *** 12692,12715 **** <z:notation name="wsdlInterfaceFaultReference"> - <p> - The namespace IRI of an - <comp>Interface Fault Reference</comp> - component is the namespace of its parent: - </p> - - <zed xmlns="http://www.w3.org/2004/zml"> - <forall/> ComponentContext; <nl/> - <t1/> x : InterfaceFaultReference; <nl/> - <t1/> parentContext : ComponentContext | <nl/> - <t1/> x <in/> interfaceFaultRefComps <land/> <nl/> - <t1/> id = x.id <land/> <nl/> - <t1/> parentContext = (<mu/> id : ID | <nl/> - <t2/> id = x.parent @ <theta/>ComponentContext) @ <nl/> - <t1/> componentNamespace(<theta/>ComponentContext) = <nl/> - <t2/> componentNamespace(parentContext) - </zed> - - <z:see names="ComponentContext InterfaceFaultReference ID componentNamespace"/> - <p> The pointer part defined by an --- 12768,12771 ---- *************** *** 12797,12817 **** <z:notation name="wsdlBinding"> - <p> - The namespace IRI of an - <comp>Binding</comp> - component is the namespace of its <prop comp="Binding">name</prop> property: - </p> - - <zed xmlns="http://www.w3.org/2004/zml"> - <forall/> ComponentContext; <nl/> - <t1/> x : Binding | <nl/> - <t1/> x <in/> bindingComps <land/> <nl/> - <t1/> id = x.id @ <nl/> - <t1/> componentNamespace(<theta/>ComponentContext) = <nl/> - <t2/> x.name.namespaceName - </zed> - - <z:see names="ComponentContext Binding componentNamespace"/> - <p> The pointer part defined by a --- 12853,12856 ---- *************** *** 12940,12963 **** <z:notation name="wsdlBindingFault"> - <p> - The namespace IRI of a - <comp>Binding Fault</comp> - component is the namespace of its parent: - </p> - - <zed xmlns="http://www.w3.org/2004/zml"> - <forall/> ComponentContext; <nl/> - <t1/> x : BindingFault; <nl/> - <t1/> parentContext : ComponentContext | <nl/> - <t1/> x <in/> bindingFaultComps <land/> <nl/> - <t1/> id = x.id <land/> <nl/> - <t1/> parentContext = (<mu/> id : ID | <nl/> - <t2/> id = x.parent @ <theta/>ComponentContext) @ <nl/> - <t1/> componentNamespace(<theta/>ComponentContext) = <nl/> - <t2/> componentNamespace(parentContext) - </zed> - - <z:see names="ComponentContext BindingFault ID componentNamespace"/> - <p> The pointer part defined by a --- 12979,12982 ---- *************** *** 13067,13090 **** <z:notation name="wsdlBindingOperation"> - <p> - The namespace IRI of a - <comp>Binding Operation</comp> - component is the namespace of its parent: - </p> - - <zed xmlns="http://www.w3.org/2004/zml"> - <forall/> ComponentContext; <nl/> - <t1/> x : BindingOperation; <nl/> - <t1/> parentContext : ComponentContext | <nl/> - <t1/> x <in/> bindingOpComps <land/> <nl/> - <t1/> id = x.id <land/> <nl/> - <t1/> parentContext = (<mu/> id : ID | <nl/> - <t2/> id = x.parent @ <theta/>ComponentContext) @ <nl/> - <t1/> componentNamespace(<theta/>ComponentContext) = <nl/> - <t2/> componentNamespace(parentContext) - </zed> - - <z:see names="ComponentContext BindingOperation ID componentNamespace"/> - <p> The pointer part defined by a --- 13086,13089 ---- *************** *** 13213,13236 **** <z:notation name="wsdlBindingMessageReference"> - <p> - The namespace IRI of a - <comp>Binding Message Reference</comp> - component is the namespace of its parent: - </p> - - <zed xmlns="http://www.w3.org/2004/zml"> - <forall/> ComponentContext; <nl/> - <t1/> x : BindingMessageReference; <nl/> - <t1/> parentContext : ComponentContext | <nl/> - <t1/> x <in/> bindingMessageRefComps <land/> <nl/> - <t1/> id = x.id <land/> <nl/> - <t1/> parentContext = (<mu/> id : ID | <nl/> - <t2/> id = x.parent @ <theta/>ComponentContext) @ <nl/> - <t1/> componentNamespace(<theta/>ComponentContext) = <nl/> - <t2/> componentNamespace(parentContext) - </zed> - - <z:see names="ComponentContext BindingMessageReference ID componentNamespace"/> - <p> The pointer part defined by a --- 13212,13215 ---- *************** *** 13387,13410 **** <z:notation name="wsdlBindingFaultReference"> - <p> - The namespace IRI of a - <comp>Binding Fault Reference</comp> - component is the namespace of its parent: - </p> - - <zed xmlns="http://www.w3.org/2004/zml"> - <forall/> ComponentContext; <nl/> - <t1/> x : BindingFaultReference; <nl/> - <t1/> parentContext : ComponentContext | <nl/> - <t1/> x <in/> bindingFaultRefComps <land/> <nl/> - <t1/> id = x.id <land/> <nl/> - <t1/> parentContext = (<mu/> id : ID | <nl/> - <t2/> id = x.parent @ <theta/>ComponentContext) @ <nl/> - <t1/> componentNamespace(<theta/>ComponentContext) = <nl/> - <t2/> componentNamespace(parentContext) - </zed> - - <z:see names="ComponentContext BindingFaultReference ID componentNamespace"/> - <p> The pointer part defined by a --- 13366,13369 ---- *************** *** 13489,13510 **** </z:notation> ! <z:notation name="wsdlService"> ! ! <p> ! The namespace IRI of a ! <comp>Service</comp> ! component is the namespace of its <prop comp="Service">name</prop> property: ! </p> ! ! <zed xmlns="http://www.w3.org/2004/zml"> ! <forall/> ComponentContext; <nl/> ! <t1/> x : Service | <nl/> ! <t1/> x <in/> serviceComps <land/> <nl/> ! <t1/> id = x.id @ <nl/> ! <t1/> componentNamespace(<theta/>ComponentContext) = <nl/> ! <t2/> x.name.namespaceName ! </zed> ! ! <z:see names="ComponentContext Service componentNamespace"/> <p> --- 13448,13452 ---- </z:notation> ! <z:notation name="wsdlService"> <p> *************** *** 13604,13627 **** <z:notation name="wsdlEndpoint"> - <p> - The namespace IRI of an - <comp>Endpoint</comp> - component is the namespace of its parent: - </p> - - <zed xmlns="http://www.w3.org/2004/zml"> - <forall/> ComponentContext; <nl/> - <t1/> x : Endpoint; <nl/> - <t1/> parentContext : ComponentContext | <nl/> - <t1/> x <in/> endpointComps <land/> <nl/> - <t1/> id = x.id <land/> <nl/> - <t1/> parentContext = (<mu/> id : ID | <nl/> - <t2/> id = x.parent @ <theta/>ComponentContext) @ <nl/> - <t1/> componentNamespace(<theta/>ComponentContext) = <nl/> - <t2/> componentNamespace(parentContext) - </zed> - - <z:see names="ComponentContext Endpoint ID componentNamespace"/> - <p> The pointer part defined by a --- 13546,13549 ---- *************** *** 13723,13746 **** <z:notation name="wsdlFeature"> - <p> - The namespace IRI of a - <comp>Feature</comp> - component is the namespace of its parent: - </p> - - <zed xmlns="http://www.w3.org/2004/zml"> - <forall/> ComponentContext; <nl/> - <t1/> x : Feature; <nl/> - <t1/> parentContext : ComponentContext | <nl/> - <t1/> x <in/> featureComps <land/> <nl/> - <t1/> id = x.id <land/> <nl/> - <t1/> parentContext = (<mu/> id : ID | <nl/> - <t2/> id = x.parent @ <theta/>ComponentContext) @ <nl/> - <t1/> componentNamespace(<theta/>ComponentContext) = <nl/> - <t2/> componentNamespace(parentContext) - </zed> - - <z:see names="ComponentContext Feature ID componentNamespace"/> - <p> The pointer part defined by a --- 13645,13648 ---- *************** *** 13842,13865 **** <z:notation name="wsdlProperty"> - <p> - The namespace IRI of a - <comp>Property</comp> - component is the namespace of its parent: - </p> - - <zed xmlns="http://www.w3.org/2004/zml"> - <forall/> ComponentContext; <nl/> - <t1/> x : Property; <nl/> - <t1/> parentContext : ComponentContext | <nl/> - <t1/> x <in/> propertyComps <land/> <nl/> - <t1/> id = x.id <land/> <nl/> - <t1/> parentContext = (<mu/> id : ID | <nl/> - <t2/> id = x.parent @ <theta/>ComponentContext) @ <nl/> - <t1/> componentNamespace(<theta/>ComponentContext) = <nl/> - <t2/> componentNamespace(parentContext) - </zed> - - <z:see names="ComponentContext Property ID componentNamespace"/> - <p> The pointer part defined by a --- 13744,13747 ---- *************** *** 14093,14122 **** <eg xml:space="preserve"> http://example.org/TicketAgent.wsdl20# ! xmlns(xsTicketAgent=http://example.org/TicketAgent.xsd) ! wsdl.elementDeclaration(xsTicketAgent:listFlightsRequest) http://example.org/TicketAgent.wsdl20# ! xmlns(xsTicketAgent=http://example.org/TicketAgent.xsd) ! wsdl.elementDeclaration(xsTicketAgent:listFlightsResponse) http://example.org/TicketAgent.wsdl20# ! xmlns(xsTicketAgent=http://example.org/TicketAgent.xsd) ! wsdl.elementDeclaration(xsTicketAgent:reserveFlightRequest) http://example.org/TicketAgent.wsdl20# ! xmlns(xsTicketAgent=http://example.org/TicketAgent.xsd) ! wsdl.elementDeclaration(xsTicketAgent:reserveFlightResponse) ! http://example.org/TicketAgent.wsdl20#wsdl.interface(TicketAgent) http://example.org/TicketAgent.wsdl20# ! wsdl.feature( ! wsdl.interface(TicketAgent)/http://example.com/secure-channel) http://example.org/TicketAgent.wsdl20# ! wsdl.interfaceOperation(TicketAgent/listFlights) http://example.org/TicketAgent.wsdl20# ! wsdl.interfaceOperation(TicketAgent/reserveFlight) </eg> </example> --- 13975,14020 ---- <eg xml:space="preserve"> http://example.org/TicketAgent.wsdl20# ! wsdl.description() http://example.org/TicketAgent.wsdl20# ! xmlns(xsTicketAgent=http://example.org/TicketAgent.xsd) ! wsdl.elementDeclaration(xsTicketAgent:listFlightsRequest) http://example.org/TicketAgent.wsdl20# ! xmlns(xsTicketAgent=http://example.org/TicketAgent.xsd) ! wsdl.elementDeclaration(xsTicketAgent:listFlightsResponse) http://example.org/TicketAgent.wsdl20# ! xmlns(xsTicketAgent=http://example.org/TicketAgent.xsd) ! wsdl.elementDeclaration(xsTicketAgent:reserveFlightRequest) ! http://example.org/TicketAgent.wsdl20# ! xmlns(xsTicketAgent=http://example.org/TicketAgent.xsd) ! wsdl.elementDeclaration(xsTicketAgent:reserveFlightResponse) http://example.org/TicketAgent.wsdl20# ! wsdl.interface(TicketAgent) http://example.org/TicketAgent.wsdl20# ! wsdl.feature( ! wsdl.interface(TicketAgent)/http://example.com/secure-channel) http://example.org/TicketAgent.wsdl20# ! wsdl.interfaceOperation(TicketAgent/listFlights) ! ! http://example.org/TicketAgent.wsdl20# ! wsdl.interfaceMessageReference(TicketAgent/listFlights/In) ! ! http://example.org/TicketAgent.wsdl20# ! wsdl.interfaceMessageReference(TicketAgent/listFlights/Out) ! ! http://example.org/TicketAgent.wsdl20# ! wsdl.interfaceOperation(TicketAgent/reserveFlight) ! ! http://example.org/TicketAgent.wsdl20# ! wsdl.interfaceMessageReference(TicketAgent/reserveFlight/In) ! ! http://example.org/TicketAgent.wsdl20# ! wsdl.interfaceMessageReference(TicketAgent/reserveFlight/Out) </eg> </example> *************** *** 14192,14195 **** --- 14090,14100 ---- <tr> + <td>20051118</td> + <td>AGR</td> + <td>Simiplified Z Notation for fragment identifiers and updated <loc href="#iri-ref-example-iris">Example IRIs</loc>. + </td> + </tr> + + <tr> <td>20051117</td> <td>AGR</td> *************** *** 14199,14202 **** --- 14104,14108 ---- </td> </tr> + <tr> <td>20051117</td> Index: wsdl20-z.html =================================================================== RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20-z.html,v retrieving revision 1.85 retrieving revision 1.86 diff -C2 -d -r1.85 -r1.86 *** wsdl20-z.html 18 Nov 2005 00:45:32 -0000 1.85 --- wsdl20-z.html 18 Nov 2005 17:16:01 -0000 1.86 *************** *** 54,58 **** <a href="http://www.w3.org/2002/ws/desc/wsdl20">http://www.w3.org/2002/ws/desc/wsdl20</a> </dd><dt>Previous versions:</dt><dd> ! <a href="http://www.w3.org/TR/2005/WD-wsdl20-20050510">http://www.w3.org/TR/2005/WD-wsdl20-20050510</a> </dd><dt>Editors:</dt> <dd>Roberto Chinnici, Sun Microsystems</dd> --- 54,58 ---- <a href="http://www.w3.org/2002/ws/desc/wsdl20">http://www.w3.org/2002/ws/desc/wsdl20</a> </dd><dt>Previous versions:</dt><dd> ! <a href="http://www.w3.org/TR/2005/WD-wsdl20-20050803">http://www.w3.org/TR/2005/WD-wsdl20-20050803</a> </dd><dt>Editors:</dt> <dd>Roberto Chinnici, Sun Microsystems</dd> *************** *** 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="#N17271">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="#N17119">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="#N17271">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="#N17119">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"> *************** *** 1253,1256 **** --- 1253,1277 ---- </p> + <a name="zed-TopLevelComponent"></a><div id="twisty-head-zed-TopLevelComponent" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-TopLevelComponent')">TopLevelComponent</a>...</div><div id="twisty-body-zed-TopLevelComponent" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-TopLevelComponent')">TopLevelComponent</a> [ <a onClick="showAll()" href="#zed-TopLevelComponent">show all</a> ] [ <a onClick="hideAll()" href="#zed-TopLevelComponent">hide all</a> ]<br> + + <p>Let <span class="zi">TopLevelComponent</span> be the set of all top-level components: + </p> + + <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zi">TopLevelComponent</span> <span class="zinfix"><span class="zdefa">==</span></span></td></tr><tr><td> <span class="zprefix"><span class="zs">ran</span></span><span class="zi">elementDecl</span><span class="zinfix">∪</span></td></tr><tr><td> <span class="zprefix"><span class="zs">ran</span></span><span class="zi">typeDef</span><span class="zinfix">∪</span></td></tr><tr><td> <span class="zprefix"><span class="zs">ran</span></span><span class="zi">interface</span><span class="zinfix">∪</span></td></tr><tr><td> <span class="zprefix"><span class="zs">ran</span></span><span class="zi">binding</span><span class="zinfix">∪</span></td></tr><tr><td> <span class="zprefix"><span class="zs">ran</span></span><span class="zi">service</span></td></tr></tbody>/table> + + <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-Component">Component</a>.</span></span></div> + + </div> + + <a name="zed-Name"></a><div id="twisty-head-zed-Name" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-Name')">Name</a>...</div><div id="twisty-body-zed-Name" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-Name')">Name</a> [ <a onClick="showAll()" href="#zed-Name">show all</a> ] [ <a onClick="hideAll()" href="#zed-Name">hide all</a> ]<br> + + <p>Let <span class="zi">Name</span> map a top-level component to its QName {<a href="wsdl20.html#property-.name">name</a>} property:</p> + + <table class="zaxdef"><col class="zaxdef1"><col class="zaxdef2"><tbody><tr><td class="zaxdefabovewheretext" colspan="2"><span class="zi">Name</span> <span class="zinfix">:</span> <span class="zi">TopLevelComponent</span><span class="zinfix">→</span><span class="zi">QName</span></td></tr><tr><td class="bl"></td><td></td></tr><tr><td class="zaxdefbelowwheretext" colspan="2"><span class="zprefix">∀</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">ElementDeclaration</span> <span class="zinfix">•</span></td></tr><tr><td class="zaxdeftext" colspan="2"> <span class="zi">Name</span>(<span class="zi">elementDecl</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">name</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix">∀</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">TypeDeinition</span> <span class="zinfix">•</span></td></tr><tr><td class="zaxdeftext" colspan="2"> <span class="zi">Name</span>(<span class="zi">typeDef</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">name</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix">∀</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Interface</span> <span class="zinfix">•</span></td></tr><tr><td class="zaxdeftext" colspan="2"> <span class="zi">Name</span>(<span class="zi">interface</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">name</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix">∀</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Binding</spa> <span class="zinfix">•</span></td></tr><tr><td class="zaxdeftext" colspan="2"> <span class="zi">Name</span>(<span class="zi">binding</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">name</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix">∀</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Service</span> <span class="zinfix">•</span></td></tr><tr><td class="zaxdeftext" colspan="2"> <span class="zi">Name</span>(<span class="zi">service</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">name</span></td></tr></tbody></table> + + <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-TopLevelComponent">TopLevelComponent</a>, <a href="#zed-QName">QName</a>, <a href="#zed-Component">Component</a>, <a href="#zed-ElementDeclaration">ElementDeclaration</a>, <a href="#zed-TypeDefinition">TypeDefinition</a>, <a href="#zed-Interface">Interface</a>, <a href="#zed-Binding">Binding</a>, <a href="#zed-Service">Service</a>.</span></span></div> + + </div> + <a name="zed-Parent"></a><div id="twisty-head-zed-Parent" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-Parent')">Parent</a>...</div><div id="twisty-body-zed-Parent" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-Parent')">Parent</a> [ <a onClick="showAll()" href="#zed-Parent">show all</a> ] [ <a onClick="hideAll()" href="#zed-Parent">hide all</a> ]<br> *************** *** 1285,1288 **** --- 1306,1330 ---- </div> + + <a name="zed-NestedComponent"></a><div id="twisty-head-zed-NestedComponent" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-NestedComponent')">NestedComponent</a>...</div><div id="twisty-body-zed-NestedComponent" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-NestedComponent')">NestedComponent</a> [ <a onClick="showAll()" href="#zed-NestedComponent">show all</a> ] [ <a onClick="hideAll()" href="#zed-NestedComponent">hide all</a> ]<br> + + <p>Let <span class="zi">NestedComponent</span> be the set of all nested components: + </p> + + <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zi">NestedComponent</span> <span class="zinfix"><span class="zdefa">==</span></span></td></tr><tr><td> <span class="zprefix"><span class="zs">ran</span></span><span class="zi">interfaceFault</span><span class="zinfix">∪</span></td></tr><tr><td> <span class="zprefix"><span class="zs">ran</span></span><span class="zi">interfaceOp</span><span class="zinfix">∪</span></td></tr><tr><td> <span class="zprefix"><span class="zs">ran</span></span><span class="zi">interfaceMessageRef</span><span class="zinfix">∪</span></td></tr><tr><td> <span class="zprefix"><span class="zs">ran</span></span><span class="zi">interfaceFaultRef</span><span class="zinfix">∪</span></td></tr><tr><td> <span class="zprefix"><span class="zs">ran</span></span><span class="zi">bindingault</span><span class="zinfix">∪</span></td></tr><tr><td> <span class="zprefix"><span class="zs">ran</span></span><span class="zi">bindingOp</span><span class="zinfix">∪</span></td></tr><tr><td> <span class="zprefix"><span class="zs">ran</span></span><span class="zi">bindingMessageRef</span><span class="zinfix">∪</span></td></tr><tr><td> <span class="zprefix"><span class="zs">ran</span></span><span class="zi">bindingFaultRef</span><span class="zinfix">∪</span></td></tr><tr><td> <span class="zprefix"><span class="zs">ran</span></span><span class="zi">endpoint</span><span class="zinfix">∪</span></td></tr><tr><td> <span class="zprefix"><span class="zs">ran</span></span><span class="zi">feature</span><span class="zinfix">∪</span></td></tr><tr><td> <span class="zprefix"><span class"zs">ran</span></span><span class="zi">property</span></td></tr></tbody></table> + + <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-Component">Component</a>.</span></span></div> + + </div> + + <a name="zed-ParentID"></a><div id="twisty-head-zed-ParentID" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-ParentID')">ParentID</a>...</div><div id="twisty-body-zed-ParentID" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-ParentID')">ParentID</a> [ <a onClick="showAll()" href="#zed-ParentID">show all</a> ] [ <a onClick="hideAll()" href="#zed-ParentID">hide all</a> ]<br> + + <p>Let <span class="zi">ParentID</span> map a nested component to its parent component identifier:</p> + + <table class="zaxdef"><col class="zaxdef1"><col class="zaxdef2"><tbody><tr><td class="zaxdefabovewheretext" colspan="2"><span class="zi">ParentId</span> <span class="zinfix">:</span> <span class="zi">NestedComponent</span><span class="zinfix">→</span><span class="zi">ID</span></td></tr><tr><td class="bl"></td><td></td></tr><tr><td class="zaxdefbelowwheretext" colspan="2"><span class="zprefix">∀</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">InterfaceFault</span> <span class="zinfix">•</span></td></tr><tr><td class="zaxdeftext" colspan="2"> <span class="zi">ParentId</span>(<span class="zi">interfaceFault</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix">∀</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">InerfaceOperation</span> <span class="zinfix">•</span></td></tr><tr><td class="zaxdeftext" colspan="2"> <span class="zi">ParentId</span>(<span class="zi">interfaceOp</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix">∀</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">InterfaceMessageReference</span> <span class="zinfix">•</span></td></tr><tr><td class="zaxdeftext" colspan="2"> <span class="zi">ParentId</span>(<span class="zi">interfaceMessageRef</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix">∀</span><span class="zi">x</span> <span clas="zinfix">:</span> <span class="zi">InterfaceFaultReference</span> <span class="zinfix">•</span></td></tr><tr><td class="zaxdeftext" colspan="2"> <span class="zi">ParentId</span>(<span class="zi">interfaceFaultRef</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix">∀</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingFault</span> <span class="zinfix">•</span></td></tr><tr><td class="zaxdeftext" colspan="2"> <span class="zi">ParentId</span>(<span class="zi">bindingFault</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix">∀</span><spa class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingOperation</span> <span class="zinfix">•</span></td></tr><tr><td class="zaxdeftext" colspan="2"> <span class="zi">ParentId</span>(<span class="zi">bindingOp</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix">∀</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingMessageReference</span> <span class="zinfix">•</span></td></tr><tr><td class="zaxdeftext" colspan="2"> <span class="zi">ParentId</span>(<span class="zi">bindingMessageRef</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span clas="zprefix">∀</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingFaultReference</span> <span class="zinfix">•</span></td></tr><tr><td class="zaxdeftext" colspan="2"> <span class="zi">ParentId</span>(<span class="zi">bindingFaultRef</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix">∀</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Endpoint</span> <span class="zinfix">•</span></td></tr><tr><td class="zaxdeftext" colspan="2"> <span class="zi">ParentId</span>(<span class="zi">endpoint</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" cospan="2"><span class="zprefix">∀</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Feature</span> <span class="zinfix">•</span></td></tr><tr><td class="zaxdeftext" colspan="2"> <span class="zi">ParentId</span>(<span class="zi">feature</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr><tr><td class="l"></td><td></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix">∀</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Property</span> <span class="zinfix">•</span></td></tr><tr><td class="zaxdeftext" colspan="2"> <span class="zi">ParentId</span>(<span class="zi">property</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">parent</span></td></tr></tbody></table> + + <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-NestedComponent">NestedComponent</a>, <a href="#zed-ID">ID</a>, <a href="#zed-InterfaceFault">InterfaceFault</a>, <a href="#zed-InterfaceOperation">InterfaceOperation</a>, <a href="#zed-InterfaceMessageReference">InterfaceMessageReference</a>, <a href="#zed-InterfaceFaultReference">InterfaceFaultReference</a>, <a href="#zed-BindingFault">BindingFault</a>, <a href="#zed-BindingOperation">BindingOperation</a>, <a href="#zed-BindingMessageReference">BindingMessageReference</a>, <a href="#zed-BindingFaultReference">BindingFaultReference</a>, <a href="#zed-Endpoint">Endpoint</a>, <a href="#zed-Feature">Feature</a>, <a href="#zed-Property">Property</a>.</span></span></div> + + </div> <p>The properties of the <a name="component-Description">Description</a> component are as follows:</p> *************** *** 10758,10781 **** </div> ! <a name="zed-ComponentContext"></a><div id="twisty-head-zed-ComponentContext" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-ComponentContext')">ComponentContext</a>...</div><div id="twisty-body-zed-ComponentContext" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-ComponentContext')">ComponentContext</a> [ <a onClick="showAll()" href="#zed-ComponentContext">show all</a> ] [ <a onClick="hideAll()" href="#zed-ComponentContext">hide all</a> ]<br> ! <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> ! and a fragment identifier that conforms to XPointer syntax ! including the WSDL 2.0 pointer part schemes defined here. The ! interpretation of the WSDL 2.0 pointer parts is defined in ! 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 ! in the context of the component model instance defined by the ! WSDL 2.0 document. ! </p> <p> We refer to the namespace of the WSDL 2.0 document as the --- 10800,10839 ---- </div> ! <a name="zed-ComponentDesignator"></a><div id="twisty-head-zed-ComponentDesignator" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-ComponentDesignator')">ComponentDesignator</a>...</div><div id="twisty-body-zed-ComponentDesignator" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-ComponentDesignator')">ComponentDesignator</a> [ <a onClick="showAll()" href="#zed-ComponentDesignator">show all</a> ] [ <a onClick="hideAll()" href="#zed-ComponentDesignator">hide all</a> ]<br> ! <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> ! and a fragment identifier that conforms to XPointer syntax ! including the WSDL 2.0 pointer part schemes defined here. ! The interpretation of the WSDL 2.0 pointer parts is ! defined in 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 in the context of the ! component model instance defined by the WSDL 2.0 document. ! </p> ! ! <p> ! Let ! <span class="zi">ComponentDesignator</span> ! be the set of WSDL 2.0 component designators: ! </p> ! ! <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">ComponentDesignator</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">iri</span> <span class="zinfix">:</span> <span class="zi">AbsoluteURI</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">fragId</span> <span class="zinfix">:</span> <span class="zi">wsdlPointerPart</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-AbsoluteURI">AbsoluteURI</a>, <a href="#zed-wsdlPointerPart">wsdlPointerPart</a>.</span></span></div> ! ! </div> + <a name="zed-ComponentContext"></a><div id="twisty-head-zed-ComponentContext" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-ComponentContext')">ComponentContext</a>...</div><div id="twisty-body-zed-ComponentContext" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-ComponentContext')">ComponentContext</a> [ <a onClick="showAll()" href="#zed-ComponentContext">show all</a> ] [ <a onClick="hideAll()" href="#zed-ComponentContext">hide all</a> ]<br> + <p> We refer to the namespace of the WSDL 2.0 document as the *************** *** 10816,10821 **** <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentContext">ComponentContext</a>, <a href="#zed-AbsoluteURI">AbsoluteURI</a>.</span></span></div> ! <p>This map will be defined for each component in the following sections.</p> </div> --- 10874,10899 ---- <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentContext">ComponentContext</a>, <a href="#zed-AbsoluteURI">AbsoluteURI</a>.</span></span></div> ! <p>The namespace of a <a href="wsdl20.html#component-Description">Description</a>, ! <a href="wsdl20.html#component-ElementDeclaration">Element Declaration</a>, or ! <a href="wsdl20.html#component-TypeDefinition">Type Definition</a> component is the context namespace:</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">elementDeclIds</span><span class="zinfix">∪</span></td></tr><tr><td> <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</pan></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> + + <p>The namespace of an <a href="wsdl20.html#component-Interface">Interface</a>, + <a href="wsdl20.html#component-Binding">Binding</a>, or <a href="wsdl20.html#component-Service">Service</a> component is the namespace of its + {<a href="wsdl20.html#property-.name">name</a>} property:</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">c</span> <span class="zinfix">:</span> <span class="zi">Component</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">c</span><span class="zinfix">∈</span><span class="zi">components</span><span class="zinfix">∧</span></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">Id</span>(<span class="zi">c</span>)<span class="zinfix">∧</span></td></tr><tr><td> <span class="zi">id</span><span class="zinfix">∈</span><span class="zi">interfaceIds</span><span class="zinfix">∪</span></td></tr><tr><td> <span class="zi">bindingIds</span><span class="zinfix">&cup</span></td></tr><tr><td> <span class="zi">serviceIds</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">Name</span>(<span class="zi">c</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-Component">Component</a>, <a href="#zed-Id">Id</a>, <a href="#zed-componentNamespace">componentNamespace</a>, <a href="#zed-Name">Name</a>.</span></span></div> + + <p>The namespace of a nested component is equal to the namespace of its parent:</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">c</span> <span class="zinfix">:</span> <span class="zi">NestedComponent</span> <span class="zinfix">|</span></td></tr><tr><td> <span class="zi">c</span><span class="zinfix">∈</span><span class="zi">components</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="zprefix"><span class="zi">μ</span></span><span class="zi">id</span> <span class="zinfix">:</span> <span class="zi">ID</span> <span class="zinfix">|</spn></td></tr><tr><td> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">ParentId</span>(<span class="zi">c</span>) <span class="zinfix">•</span><span class="zprefix"><span class="zi">θ</span></span><span class="zi">ComponentContext</span>)</td></tr></tbody></table> + + <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentContext">ComponentContext</a>, <a href="#zed-NestedComponent">NestedComponent</a>, <a href="#zed-componentNamespace">componentNamespace</a>, <a href="#zed-ID">ID</a>, <a href="#zed-ParentId">ParentId</a>.</span></span></div> + </div> *************** *** 10862,10865 **** --- 10940,10956 ---- </div> + <a name="zed-ComponentToDesignator"></a><div id="twisty-head-zed-ComponentToDesignator" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-ComponentToDesignator')">ComponentToDesignator</a>...</div><div id="twisty-body-zed-ComponentToDesignator" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-ComponentToDesignator')">ComponentToDesignator</a> [ <a onClick="showAll()" href="#zed-ComponentToDesignator">show all</a> ] [ <a onClick="hideAll()" href="#zed-ComponentToDesignator">hide all</a> ]<br> + + <p> + Let <span class="zi">ComponentToDesignator</span> map a WSDL 2.0 component + to its component designator: + </p> + + <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">ComponentToDesignator</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">ComponentContext</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentDesignator</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">iri</span> <span class="zinfix">=</span> <span class="zi">componentNamespace</span>(<span class="zprefix"><span class="zi">θ</span></span><span class="zi">ComponentContext</span>)</span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">fragId</span> <span class="zinfix">=</span> <span class="zi">pointerPart</span>(<span class="zprefix"><span class"zi">θ</span></span><span class="zi">ComponentID</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-ComponentContext">ComponentContext</a>, <a href="#zed-ComponentDesignator">ComponentDesignator</a>, <a href="#zed-componentNamespace">componentNamespace</a>, <a href="#zed-pointerPart">pointerPart</a>.</span></span></div> + + </div> + <div class="div3"> *************** *** 10872,10885 **** in the component model.</p> - <p> - The namespace IRI of a - <a href="wsdl20.html#component-Description">Description</a> - component is the context namespace: - </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> - <p> The pointer part defined by a --- 10963,10966 ---- *************** *** 10969,10982 **** <a name="zed-wsdlElementDeclaration"></a><div id="twisty-head-zed-wsdlElementDeclaration" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-wsdlElementDeclaration')">wsdlElementDeclaration</a>...</div><div id="twisty-body-zed-wsdlElementDeclaration" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-wsdlElementDeclaration')">wsdlElementDeclaration</a> [ <a onClick="showAll()" href="#zed-wsdlElementDeclaration">show all</a> ] [ <a onClick="hideAll()" href="#zed-wsdlElementDeclaration">hide all</a> ]<br> - <p> - The namespace IRI of a - <a href="wsdl20.html#component-ElementDeclaration">Element Declaration</a> - component is the context namespace: - </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> - <p> The pointer part defined by an --- 11050,11053 ---- *************** *** 11055,11068 **** <a name="zed-wsdlTypeDefinition"></a><div id="twisty-head-zed-wsdlTypeDefinition" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-wsdlTypeDefinition')">wsdlTypeDefinition</a>...</div><div id="twisty-body-zed-wsdlTypeDefinition" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-wsdlTypeDefinition')">wsdlTypeDefinition</a> [ <a onClick="showAll()" href="#zed-wsdlTypeDefinition">show all</a> ] [ <a onClick="hideAll()" href="#zed-wsdlTypeDefinition">hide all</a> ]<br> - <p> - The namespace IRI of a - <a href="wsdl20.html#component-TypeDefinition">Type Definition</a> - component is the context namespace: - </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> - <p> The pointer part defined by a --- 11126,11129 ---- *************** *** 11128,11141 **** <a name="zed-wsdlInterface"></a><div id="twisty-head-zed-wsdlInterface" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-wsdlInterface')">wsdlInterface</a>...</div><div id="twisty-body-zed-wsdlInterface" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-wsdlInterface')">wsdlInterface</a> [ <a onClick="showAll()" href="#zed-wsdlInterface">show all</a> ] [ <a onClick="hideAll()" href="#zed-wsdlInterface">hide all</a> ]<br> - <p> - The namespace IRI of an - <a href="wsdl20.html#component-Interface">Interface</a> - component is the namespace of its {<a href="wsdl20.html#property-Interface.name">name</a>} property: - </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> - <p> The pointer part defined by an --- 11189,11192 ---- *************** *** 11213,11226 **** <a name="zed-wsdlInterfaceFault"></a><div id="twisty-head-zed-wsdlInterfaceFault" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-wsdlInterfaceFault')">wsdlInterfaceFault</a>...</div><div id="twisty-body-zed-wsdlInterfaceFault" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-wsdlInterfaceFault')">wsdlInterfaceFault</a> [ <a onClick="showAll()" href="#zed-wsdlInterfaceFault">show all</a> ] [ <a onClick="hideAll()" href="#zed-wsdlInterfaceFault">hide all</a> ]<br> - <p> - The namespace IRI of an - <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a> - component is the namespace of its parent: - </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">InterfaceFault</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">interfaceFaultComps</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 clas="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-InterfaceFault">InterfaceFault</a>, <a href="#zed-ID">ID</a>, <a href="#zed-componentNamespace">componentNamespace</a>.</span></span></div> - <p> The pointer part defined by an --- 11264,11267 ---- *************** *** 11298,11311 **** <a name="zed-wsdlInterfaceOperation"></a><div id="twisty-head-zed-wsdlInterfaceOperation" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-wsdlInterfaceOperation')">wsdlInterfaceOperation</a>...</div><div id="twisty-body-zed-wsdlInterfaceOperation" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-wsdlInterfaceOperation')">wsdlInterfaceOperation</a> [ <a onClick="showAll()" href="#zed-wsdlInterfaceOperation">show all</a> ] [ <a onClick="hideAll()" href="#zed-wsdlInterfaceOperation">hide all</a> ]<br> - <p> - The namespace IRI of an - <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> - component is the namespace of its parent: - </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">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> The pointer part defined by an --- 11339,11342 ---- *************** *** 11395,11408 **** <a name="zed-wsdlInterfaceMessageReference"></a><div id="twisty-head-zed-wsdlInterfaceMessageReference" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-wsdlInterfaceMessageReference')">wsdlInterfaceMessageReference</a>...</div><div id="twisty-body-zed-wsdlInterfaceMessageReference" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-wsdlInterfaceMessageReference')">wsdlInterfaceMessageReference</a> [ <a onClick="showAll()" href="#zed-wsdlInterfaceMessageReference">show all</a> ] [ <a onClick="hideAll()" href="#zed-wsdlInterfaceMessageReference">hide all</a> ]<br> - <p> - The namespace IRI of an - <a href="wsdl20.html#component-InterfaceMessageReference">Interface Message Reference</a> - component is the namespace of its parent: - </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">InterfaceMessageReference</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">interfaceMessageRefComps</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="zpefix"><span class="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-InterfaceMessageReference">InterfaceMessageReference</a>, <a href="#zed-ID">ID</a>, <a href="#zed-componentNamespace">componentNamespace</a>.</span></span></div> - <p> The pointer part defined by an --- 11426,11429 ---- *************** *** 11508,11521 **** <a name="zed-wsdlInterfaceFaultReference"></a><div id="twisty-head-zed-wsdlInterfaceFaultReference" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-wsdlInterfaceFaultReference')">wsdlInterfaceFaultReference</a>...</div><div id="twisty-body-zed-wsdlInterfaceFaultReference" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-wsdlInterfaceFaultReference')">wsdlInterfaceFaultReference</a> [ <a onClick="showAll()" href="#zed-wsdlInterfaceFaultReference">show all</a> ] [ <a onClick="hideAll()" href="#zed-wsdlInterfaceFaultReference">hide all</a> ]<br> - <p> - The namespace IRI of an - <a href="wsdl20.html#component-InterfaceFaultReference">Interface Fault Reference</a> - component is the namespace of its parent: - </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">InterfaceFaultReference</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">interfaceFaultRefComps</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="zprefi"><span class="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-InterfaceFaultReference">InterfaceFaultReference</a>, <a href="#zed-ID">ID</a>, <a href="#zed-componentNamespace">componentNamespace</a>.</span></span></div> - <p> The pointer part defined by an --- 11529,11532 ---- *************** *** 11584,11597 **** <a name="zed-wsdlBinding"></a><div id="twisty-head-zed-wsdlBinding" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-wsdlBinding')">wsdlBinding</a>...</div><div id="twisty-body-zed-wsdlBinding" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-wsdlBinding')">wsdlBinding</a> [ <a onClick="showAll()" href="#zed-wsdlBinding">show all</a> ] [ <a onClick="hideAll()" href="#zed-wsdlBinding">hide all</a> ]<br> - <p> - The namespace IRI of an - <a href="wsdl20.html#component-Binding">Binding</a> - component is the namespace of its {<a href="wsdl20.html#property-Binding.name">name</a>} property: - </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> - <p> The pointer part defined by a --- 11595,11598 ---- *************** *** 11686,11699 **** <a name="zed-wsdlBindingFault"></a><div id="twisty-head-zed-wsdlBindingFault" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-wsdlBindingFault')">wsdlBindingFault</a>...</div><div id="twisty-body-zed-wsdlBindingFault" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-wsdlBindingFault')">wsdlBindingFault</a> [ <a onClick="showAll()" href="#zed-wsdlBindingFault">show all</a> ] [ <a onClick="hideAll()" href="#zed-wsdlBindingFault">hide all</a> ]<br> - <p> - The namespace IRI of a - <a href="wsdl20.html#component-BindingFault">Binding Fault</a> - component is the namespace of its parent: - </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">BindingFault</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">bindingFaultComps</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 class="i">μ</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-BindingFault">BindingFault</a>, <a href="#zed-ID">ID</a>, <a href="#zed-componentNamespace">componentNamespace</a>.</span></span></div> - <p> The pointer part defined by a --- 11687,11690 ---- *************** *** 11775,11788 **** <a name="zed-wsdlBindingOperation"></a><div id="twisty-head-zed-wsdlBindingOperation" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-wsdlBindingOperation')">wsdlBindingOperation</a>...</div><div id="twisty-body-zed-wsdlBindingOperation" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-wsdlBindingOperation')">wsdlBindingOperation</a> [ <a onClick="showAll()" href="#zed-wsdlBindingOperation">show all</a> ] [ <a onClick="hideAll()" href="#zed-wsdlBindingOperation">hide all</a> ]<br> - <p> - The namespace IRI of a - <a href="wsdl20.html#component-BindingOperation">Binding Operation</a> - component is the namespace of its parent: - </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">BindingOperation</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">bindingOpComps</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 class=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-BindingOperation">BindingOperation</a>, <a href="#zed-ID">ID</a>, <a href="#zed-componentNamespace">componentNamespace</a>.</span></span></div> - <p> The pointer part defined by a --- 11766,11769 ---- *************** *** 11880,11893 **** <a name="zed-wsdlBindingMessageReference"></a><div id="twisty-head-zed-wsdlBindingMessageReference" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-wsdlBindingMessageReference')">wsdlBindingMessageReference</a>...</div><div id="twisty-body-zed-wsdlBindingMessageReference" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-wsdlBindingMessageReference')">wsdlBindingMessageReference</a> [ <a onClick="showAll()" href="#zed-wsdlBindingMessageReference">show all</a> ] [ <a onClick="hideAll()" href="#zed-wsdlBindingMessageReference">hide all</a> ]<br> - <p> - The namespace IRI of a - <a href="wsdl20.html#component-BindingMessageReference">Binding Message Reference</a> - component is the namespace of its parent: - </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">BindingMessageReference</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">bindingMessageRefComps</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="zprefi"><span class="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-BindingMessageReference">BindingMessageReference</a>, <a href="#zed-ID">ID</a>, <a href="#zed-componentNamespace">componentNamespace</a>.</span></span></div> - <p> The pointer part defined by a --- 11861,11864 ---- *************** *** 12005,12018 **** <a name="zed-wsdlBindingFaultReference"></a><div id="twisty-head-zed-wsdlBindingFaultReference" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-wsdlBindingFaultReference')">wsdlBindingFaultReference</a>...</div><div id="twisty-body-zed-wsdlBindingFaultReference" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-wsdlBindingFaultReference')">wsdlBindingFaultReference</a> [ <a onClick="showAll()" href="#zed-wsdlBindingFaultReference">show all</a> ] [ <a onClick="hideAll()" href="#zed-wsdlBindingFaultReference">hide all</a> ]<br> - <p> - The namespace IRI of a - <a href="wsdl20.html#component-BindingFaultReference">Binding Fault Reference</a> - component is the namespace of its parent: - </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">BindingFaultReference</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">bindingFaultRefComps</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"><pan class="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-BindingFaultReference">BindingFaultReference</a>, <a href="#zed-ID">ID</a>, <a href="#zed-componentNamespace">componentNamespace</a>.</span></span></div> - <p> The pointer part defined by a --- 11976,11979 ---- *************** *** 12080,12093 **** <a name="zed-wsdlService"></a><div id="twisty-head-zed-wsdlService" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-wsdlService')">wsdlService</a>...</div><div id="twisty-body-zed-wsdlService" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-wsdlService')">wsdlService</a> [ <a onClick="showAll()" href="#zed-wsdlService">show all</a> ] [ <a onClick="hideAll()" href="#zed-wsdlService">hide all</a> ]<br> - <p> - The namespace IRI of a - <a href="wsdl20.html#component-Service">Service</a> - component is the namespace of its {<a href="wsdl20.html#property-Service.name">name</a>} property: - </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> - <p> The pointer part defined by a --- 12041,12044 ---- *************** *** 12165,12178 **** <a name="zed-wsdlEndpoint"></a><div id="twisty-head-zed-wsdlEndpoint" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-wsdlEndpoint')">wsdlEndpoint</a>...</div><div id="twisty-body-zed-wsdlEndpoint" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-wsdlEndpoint')">wsdlEndpoint</a> [ <a onClick="showAll()" href="#zed-wsdlEndpoint">show all</a> ] [ <a onClick="hideAll()" href="#zed-wsdlEndpoint">hide all</a> ]<br> - <p> - The namespace IRI of an - <a href="wsdl20.html#component-Endpoint">Endpoint</a> - component is the namespace of its parent: - </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">Endpoint</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">endpointComps</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 class="zi">μ</pan></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-Endpoint">Endpoint</a>, <a href="#zed-ID">ID</a>, <a href="#zed-componentNamespace">componentNamespace</a>.</span></span></div> - <p> The pointer part defined by a --- 12116,12119 ---- *************** *** 12246,12259 **** <a name="zed-wsdlFeature"></a><div id="twisty-head-zed-wsdlFeature" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-wsdlFeature')">wsdlFeature</a>...</div><div id="twisty-body-zed-wsdlFeature" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-wsdlFeature')">wsdlFeature</a> [ <a onClick="showAll()" href="#zed-wsdlFeature">show all</a> ] [ <a onClick="hideAll()" href="#zed-wsdlFeature">hide all</a> ]<br> - <p> - The namespace IRI of a - <a href="wsdl20.html#component-Feature">Feature</a> - component is the namespace of its parent: - </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">Feature</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">featureComps</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 class="zi">μ</spn></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-Feature">Feature</a>, <a href="#zed-ID">ID</a>, <a href="#zed-componentNamespace">componentNamespace</a>.</span></span></div> - <p> The pointer part defined by a --- 12187,12190 ---- *************** *** 12327,12340 **** <a name="zed-wsdlProperty"></a><div id="twisty-head-zed-wsdlProperty" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-wsdlProperty')">wsdlProperty</a>...</div><div id="twisty-body-zed-wsdlProperty" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-wsdlProperty')">wsdlProperty</a> [ <a onClick="showAll()" href="#zed-wsdlProperty">show all</a> ] [ <a onClick="hideAll()" href="#zed-wsdlProperty">hide all</a> ]<br> - <p> - The namespace IRI of a - <a href="wsdl20.html#component-Property">Property</a> - component is the namespace of its parent: - </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">Property</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">propertyComps</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 class="zi">μ</pan></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-Property">Property</a>, <a href="#zed-ID">ID</a>, <a href="#zed-componentNamespace">componentNamespace</a>.</span></span></div> - <p> The pointer part defined by a --- 12258,12261 ---- *************** *** 12460,12465 **** (Agfa-Gevaert N. V.), Roberto Chinnici (Sun Microsystems), Kendall Clark ! (University of Maryland), Ugo Corda ! (SeeBeyond), Glen Daniels (Sonic Software), Paul Downey (British Telecommunications), Youenn Fablet --- 12381,12385 ---- (Agfa-Gevaert N. V.), Roberto Chinnici (Sun Microsystems), Kendall Clark ! (University of Maryland), Glen Daniels (Sonic Software), Paul Downey (British Telecommunications), Youenn Fablet *************** *** 12479,12484 **** (Canon), Mark Nottingham (BEA Systems, Inc.), David Orchard ! (BEA Systems, Inc.), Bijan Parsia ! (University of Maryland), Tony Rogers (Computer Associates), Arthur Ryman (IBM), Adi Sakala --- 12399,12406 ---- (Canon), Mark Nottingham (BEA Systems, Inc.), David Orchard ! (BEA Systems, Inc.), Vivek Pandey ! (Sun Microsystems), Bijan Parsia ! (University of Maryland), Gilbert Pilz ! (BEA Systems, Inc.), Tony Rogers (Computer Associates), Arthur Ryman (IBM), Adi Sakala *************** *** 12537,12541 **** (webMethods, Inc.), Igor Sedukhin (Computer Associates), Martin Gudgin ! (Microsoft Corporation).</p> <p>The people who have contributed to <a href="http://lists.w3.org/Archives/Public/www-ws-desc/">discussions on www-ws-desc@w3.org</a> are also gratefully --- 12459,12465 ---- (webMethods, Inc.), Igor Sedukhin (Computer Associates), Martin Gudgin ! (Microsoft Corporation), Rebecca Bergersen ! (IONA Technologies), Ugo Corda ! (SeeBeyond).</p> <p>The people who have contributed to <a href="http://lists.w3.org/Archives/Public/www-ws-desc/">discussions on www-ws-desc@w3.org</a> are also gratefully *************** *** 12640,12669 **** <div class="exampleInner"><pre> http://example.org/TicketAgent.wsdl20# ! xmlns(xsTicketAgent=http://example.org/TicketAgent.xsd) ! wsdl.elementDeclaration(xsTicketAgent:listFlightsRequest) http://example.org/TicketAgent.wsdl20# ! xmlns(xsTicketAgent=http://example.org/TicketAgent.xsd) ! wsdl.elementDeclaration(xsTicketAgent:listFlightsResponse) http://example.org/TicketAgent.wsdl20# ! xmlns(xsTicketAgent=http://example.org/TicketAgent.xsd) ! wsdl.elementDeclaration(xsTicketAgent:reserveFlightRequest) http://example.org/TicketAgent.wsdl20# ! xmlns(xsTicketAgent=http://example.org/TicketAgent.xsd) ! wsdl.elementDeclaration(xsTicketAgent:reserveFlightResponse) ! http://example.org/TicketAgent.wsdl20#wsdl.interface(TicketAgent) http://example.org/TicketAgent.wsdl20# ! wsdl.feature( ! wsdl.interface(TicketAgent)/http://example.com/secure-channel) http://example.org/TicketAgent.wsdl20# ! wsdl.interfaceOperation(TicketAgent/listFlights) http://example.org/TicketAgent.wsdl20# ! wsdl.interfaceOperation(TicketAgent/reserveFlight) </pre></div> </div> --- 12564,12609 ---- <div class="exampleInner"><pre> http://example.org/TicketAgent.wsdl20# ! wsdl.description() http://example.org/TicketAgent.wsdl20# ! xmlns(xsTicketAgent=http://example.org/TicketAgent.xsd) ! wsdl.elementDeclaration(xsTicketAgent:listFlightsRequest) http://example.org/TicketAgent.wsdl20# ! xmlns(xsTicketAgent=http://example.org/TicketAgent.xsd) ! wsdl.elementDeclaration(xsTicketAgent:listFlightsResponse) http://example.org/TicketAgent.wsdl20# ! xmlns(xsTicketAgent=http://example.org/TicketAgent.xsd) ! wsdl.elementDeclaration(xsTicketAgent:reserveFlightRequest) ! http://example.org/TicketAgent.wsdl20# ! xmlns(xsTicketAgent=http://example.org/TicketAgent.xsd) ! wsdl.elementDeclaration(xsTicketAgent:reserveFlightResponse) http://example.org/TicketAgent.wsdl20# ! wsdl.interface(TicketAgent) http://example.org/TicketAgent.wsdl20# ! wsdl.feature( ! wsdl.interface(TicketAgent)/http://example.com/secure-channel) http://example.org/TicketAgent.wsdl20# ! wsdl.interfaceOperation(TicketAgent/listFlights) ! ! http://example.org/TicketAgent.wsdl20# ! wsdl.interfaceMessageReference(TicketAgent/listFlights/In) ! ! http://example.org/TicketAgent.wsdl20# ! wsdl.interfaceMessageReference(TicketAgent/listFlights/Out) ! ! http://example.org/TicketAgent.wsdl20# ! wsdl.interfaceOperation(TicketAgent/reserveFlight) ! ! http://example.org/TicketAgent.wsdl20# ! wsdl.interfaceMessageReference(TicketAgent/reserveFlight/In) ! ! http://example.org/TicketAgent.wsdl20# ! wsdl.interfaceMessageReference(TicketAgent/reserveFlight/Out) </pre></div> </div> *************** *** 12674,12678 **** <div class="div1"> ! <h2><a name="N17271"></a>D. Component Summary (Non-Normative)</h2> <p> <a href="#component-summary">Table D-1</a> --- 12614,12618 ---- <div class="div1"> ! <h2><a name="N17119"></a>D. Component Summary (Non-Normative)</h2> <p> <a href="#component-summary">Table D-1</a> *************** *** 13286,13289 **** --- 13226,13236 ---- <tr> + <td rowspan="1" colspan="1">20051118</td> + <td rowspan="1" colspan="1">AGR</td> + <td rowspan="1" colspan="1">Simiplified Z Notation for fragment identifiers and updated <a href="#iri-ref-example-iris">Example IRIs</a>. + </td> + </tr> + + <tr> <td rowspan="1" colspan="1">20051117</td> <td rowspan="1" colspan="1">AGR</td> *************** *** 13293,13296 **** --- 13240,13244 ---- </td> </tr> + <tr> <td rowspan="1" colspan="1">20051117</td> *************** *** 14163,14167 **** <tr> <td rowspan="1" colspan="1">20050228</td> - <td rowspan="1" colspan="1">JJM</td> <td rowspan="1" colspan="1"><a href="http://lists.w3.org/Archives/Public/www-ws-desc/2005Jan/0026.html">X</a>: --- 14111,14114 ---- Index: xmlspec.dtd =================================================================== RCS file: /sources/public/2002/ws/desc/wsdl20/xmlspec.dtd,v retrieving revision 1.22 retrieving revision 1.23 diff -C2 -d -r1.22 -r1.23 *** xmlspec.dtd 16 Nov 2005 23:02:46 -0000 1.22 --- xmlspec.dtd 18 Nov 2005 17:16:03 -0000 1.23 *************** *** 2726,2729 **** --- 2726,2730 ---- <!ATTLIST z:math xmlns CDATA #IMPLIED> + <!ELEMENT z:i ANY> *************** *** 2734,2737 **** --- 2735,2746 ---- <!ATTLIST z:see names CDATA #IMPLIED> + <!ELEMENT axdef ANY> + <!ATTLIST axdef xmlns CDATA #IMPLIED> + + <!ELEMENT gendef ANY> + <!ATTLIST gendef + xmlns CDATA #IMPLIED + params CDATA #IMPLIED> + <!ELEMENT z:schema ANY> <!ATTLIST z:schema name CDATA #IMPLIED> *************** *** 2742,2750 **** name CDATA #IMPLIED> - <!ELEMENT gendef ANY> - <!ATTLIST gendef - xmlns CDATA #IMPLIED - params CDATA #IMPLIED> - <!ELEMENT z:zed ANY> --- 2751,2754 ---- *************** *** 2754,2760 **** xmlns CDATA #IMPLIED> - <!ELEMENT axdef ANY> - <!ATTLIST axdef xmlns CDATA #IMPLIED> - <!ELEMENT also EMPTY> <!ELEMENT cap EMPTY> --- 2758,2761 ---- *************** *** 2762,2765 **** --- 2763,2767 ---- <!ELEMENT cup EMPTY> <!ELEMENT defs EMPTY> + <!ELEMENT dom EMPTY> <!ELEMENT emptyset EMPTY> <!ELEMENT z:emptyset EMPTY> *************** *** 2783,2786 **** --- 2785,2789 ---- <!ELEMENT power EMPTY> <!ELEMENT power_1 EMPTY> + <!ELEMENT ran EMPTY> <!ELEMENT rel EMPTY> <!ELEMENT rdata EMPTY> Index: wsdl20.html =================================================================== RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.html,v retrieving revision 1.253 retrieving revision 1.254 diff -C2 -d -r1.253 -r1.254 *** wsdl20.html 18 Nov 2005 00:45:33 -0000 1.253 --- wsdl20.html 18 Nov 2005 17:16:02 -0000 1.254 *************** *** 54,58 **** <a href="http://www.w3.org/2002/ws/desc/wsdl20">http://www.w3.org/2002/ws/desc/wsdl20</a> </dd><dt>Previous versions:</dt><dd> ! <a href="http://www.w3.org/TR/2005/WD-wsdl20-20050510">http://www.w3.org/TR/2005/WD-wsdl20-20050510</a> </dd><dt>Editors:</dt> <dd>Roberto Chinnici, Sun Microsystems</dd> --- 54,58 ---- <a href="http://www.w3.org/2002/ws/desc/wsdl20">http://www.w3.org/2002/ws/desc/wsdl20</a> </dd><dt>Previous versions:</dt><dd> ! <a href="http://www.w3.org/TR/2005/WD-wsdl20-20050803">http://www.w3.org/TR/2005/WD-wsdl20-20050803</a> </dd><dt>Editors:</dt> <dd>Roberto Chinnici, Sun Microsystems</dd> *************** *** 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="#N17271">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="#N17119">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="#N17271">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="#N17119">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"> *************** *** 718,724 **** --- 718,732 ---- </p> + <a name="zed-TopLevelComponent"></a> + + <a name="zed-Name"></a> + <a name="zed-Parent"></a> <a name="zed-ParentValid"></a> + + <a name="zed-NestedComponent"></a> + + <a name="zed-ParentID"></a> <p>The properties of the <a name="component-Description">Description</a> component are as follows:</p> *************** *** 8466,8469 **** --- 8474,8479 ---- <a name="zed-ComponentID"></a> + <a name="zed-ComponentDesignator"></a> + <a name="zed-ComponentContext"></a> *************** *** 8476,8479 **** --- 8486,8491 ---- <a name="zed-pointerPart"></a> + <a name="zed-ComponentToDesignator"></a> + <div class="div3"> *************** *** 9245,9250 **** (Agfa-Gevaert N. V.), Roberto Chinnici (Sun Microsystems), Kendall Clark ! (University of Maryland), Ugo Corda ! (SeeBeyond), Glen Daniels (Sonic Software), Paul Downey (British Telecommunications), Youenn Fablet --- 9257,9261 ---- (Agfa-Gevaert N. V.), Roberto Chinnici (Sun Microsystems), Kendall Clark ! (University of Maryland), Glen Daniels (Sonic Software), Paul Downey (British Telecommunications), Youenn Fablet *************** *** 9264,9269 **** (Canon), Mark Nottingham (BEA Systems, Inc.), David Orchard ! (BEA Systems, Inc.), Bijan Parsia ! (University of Maryland), Tony Rogers (Computer Associates), Arthur Ryman (IBM), Adi Sakala --- 9275,9282 ---- (Canon), Mark Nottingham (BEA Systems, Inc.), David Orchard ! (BEA Systems, Inc.), Vivek Pandey ! (Sun Microsystems), Bijan Parsia ! (University of Maryland), Gilbert Pilz ! (BEA Systems, Inc.), Tony Rogers (Computer Associates), Arthur Ryman (IBM), Adi Sakala *************** *** 9322,9326 **** (webMethods, Inc.), Igor Sedukhin (Computer Associates), Martin Gudgin ! (Microsoft Corporation).</p> <p>The people who have contributed to <a href="http://lists.w3.org/Archives/Public/www-ws-desc/">discussions on www-ws-desc@w3.org</a> are also gratefully --- 9335,9341 ---- (webMethods, Inc.), Igor Sedukhin (Computer Associates), Martin Gudgin ! (Microsoft Corporation), Rebecca Bergersen ! (IONA Technologies), Ugo Corda ! (SeeBeyond).</p> <p>The people who have contributed to <a href="http://lists.w3.org/Archives/Public/www-ws-desc/">discussions on www-ws-desc@w3.org</a> are also gratefully *************** *** 9425,9454 **** <div class="exampleInner"><pre> http://example.org/TicketAgent.wsdl20# ! xmlns(xsTicketAgent=http://example.org/TicketAgent.xsd) ! wsdl.elementDeclaration(xsTicketAgent:listFlightsRequest) http://example.org/TicketAgent.wsdl20# ! xmlns(xsTicketAgent=http://example.org/TicketAgent.xsd) ! wsdl.elementDeclaration(xsTicketAgent:listFlightsResponse) http://example.org/TicketAgent.wsdl20# ! xmlns(xsTicketAgent=http://example.org/TicketAgent.xsd) ! wsdl.elementDeclaration(xsTicketAgent:reserveFlightRequest) http://example.org/TicketAgent.wsdl20# ! xmlns(xsTicketAgent=http://example.org/TicketAgent.xsd) ! wsdl.elementDeclaration(xsTicketAgent:reserveFlightResponse) ! http://example.org/TicketAgent.wsdl20#wsdl.interface(TicketAgent) http://example.org/TicketAgent.wsdl20# ! wsdl.feature( ! wsdl.interface(TicketAgent)/http://example.com/secure-channel) http://example.org/TicketAgent.wsdl20# ! wsdl.interfaceOperation(TicketAgent/listFlights) http://example.org/TicketAgent.wsdl20# ! wsdl.interfaceOperation(TicketAgent/reserveFlight) </pre></div> </div> --- 9440,9485 ---- <div class="exampleInner"><pre> http://example.org/TicketAgent.wsdl20# ! wsdl.description() http://example.org/TicketAgent.wsdl20# ! xmlns(xsTicketAgent=http://example.org/TicketAgent.xsd) ! wsdl.elementDeclaration(xsTicketAgent:listFlightsRequest) http://example.org/TicketAgent.wsdl20# ! xmlns(xsTicketAgent=http://example.org/TicketAgent.xsd) ! wsdl.elementDeclaration(xsTicketAgent:listFlightsResponse) http://example.org/TicketAgent.wsdl20# ! xmlns(xsTicketAgent=http://example.org/TicketAgent.xsd) ! wsdl.elementDeclaration(xsTicketAgent:reserveFlightRequest) ! http://example.org/TicketAgent.wsdl20# ! xmlns(xsTicketAgent=http://example.org/TicketAgent.xsd) ! wsdl.elementDeclaration(xsTicketAgent:reserveFlightResponse) http://example.org/TicketAgent.wsdl20# ! wsdl.interface(TicketAgent) http://example.org/TicketAgent.wsdl20# ! wsdl.feature( ! wsdl.interface(TicketAgent)/http://example.com/secure-channel) http://example.org/TicketAgent.wsdl20# ! wsdl.interfaceOperation(TicketAgent/listFlights) ! ! http://example.org/TicketAgent.wsdl20# ! wsdl.interfaceMessageReference(TicketAgent/listFlights/In) ! ! http://example.org/TicketAgent.wsdl20# ! wsdl.interfaceMessageReference(TicketAgent/listFlights/Out) ! ! http://example.org/TicketAgent.wsdl20# ! wsdl.interfaceOperation(TicketAgent/reserveFlight) ! ! http://example.org/TicketAgent.wsdl20# ! wsdl.interfaceMessageReference(TicketAgent/reserveFlight/In) ! ! http://example.org/TicketAgent.wsdl20# ! wsdl.interfaceMessageReference(TicketAgent/reserveFlight/Out) </pre></div> </div> *************** *** 9459,9463 **** <div class="div1"> ! <h2><a name="N17271"></a>D. Component Summary (Non-Normative)</h2> <p> <a href="#component-summary">Table D-1</a> --- 9490,9494 ---- <div class="div1"> ! <h2><a name="N17119"></a>D. Component Summary (Non-Normative)</h2> <p> <a href="#component-summary">Table D-1</a> *************** *** 10071,10074 **** --- 10102,10112 ---- <tr> + <td rowspan="1" colspan="1">20051118</td> + <td rowspan="1" colspan="1">AGR</td> + <td rowspan="1" colspan="1">Simiplified Z Notation for fragment identifiers and updated <a href="#iri-ref-example-iris">Example IRIs</a>. + </td> + </tr> + + <tr> <td rowspan="1" colspan="1">20051117</td> <td rowspan="1" colspan="1">AGR</td> *************** *** 10078,10081 **** --- 10116,10120 ---- </td> </tr> + <tr> <td rowspan="1" colspan="1">20051117</td> *************** *** 10948,10952 **** <tr> <td rowspan="1" colspan="1">20050228</td> - <td rowspan="1" colspan="1">JJM</td> <td rowspan="1" colspan="1"><a href="http://lists.w3.org/Archives/Public/www-ws-desc/2005Jan/0026.html">X</a>: --- 10987,10990 ---- Index: wsdl20-primer.html =================================================================== RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20-primer.html,v retrieving revision 1.121 retrieving revision 1.122 diff -C2 -d -r1.121 -r1.122 *** wsdl20-primer.html 18 Nov 2005 00:45:35 -0000 1.121 --- wsdl20-primer.html 18 Nov 2005 17:16:03 -0000 1.122 *************** *** 53,57 **** <a href="http://www.w3.org/2002/ws/desc/wsdl20-primer">http://www.w3.org/2002/ws/desc/wsdl20-primer</a> </dd><dt>Previous versions:</dt><dd> ! <a href="http://www.w3.org/TR/2005/WD-wsdl20-primer-20050510">http://www.w3.org/TR/2005/WD-wsdl20-primer-20050510</a> </dd><dt>Editors:</dt> <dd>David Booth, W3C Fellow / Hewlett-Packard</dd> --- 53,57 ---- <a href="http://www.w3.org/2002/ws/desc/wsdl20-primer">http://www.w3.org/2002/ws/desc/wsdl20-primer</a> </dd><dt>Previous versions:</dt><dd> ! <a href="http://www.w3.org/TR/2005/WD-wsdl20-primer-20050803">http://www.w3.org/TR/2005/WD-wsdl20-primer-20050803</a> </dd><dt>Editors:</dt> <dd>David Booth, W3C Fellow / Hewlett-Packard</dd> *************** *** 3814,3818 **** <h4><a name="adv-rdf-rep-wsdl"></a>5.5.1 RDF Representation of WSDL 2.0</h4> ! <p><em>WSDL 2.0: Mapping to RDF</em> @@bibref@@ describes how WSDL 2.0 constructs can be expressed in RDF using classes of resources (described with an ontology expressed in OWL) and assertions over individual resources. As RDF represents knowledge using resources and relationships between --- 3814,3818 ---- <h4><a name="adv-rdf-rep-wsdl"></a>5.5.1 RDF Representation of WSDL 2.0</h4> ! <p><em>WSDL 2.0: Mapping to RDF</em> [<cite><a href="#RDFmap">WSDL 2.0 RDF Mapping</a></cite>] describes how WSDL 2.0 constructs can be expressed in RDF using classes of resources (described with an ontology expressed in OWL) and assertions over individual resources. As RDF represents knowledge using resources and relationships between *************** *** 3820,3826 **** Bindings, Services, Endpoints etc., including extensions) are turned into resources identified with the appropriate URIs ! created according to @@Appendix C@@.</p></li><li><p>Further, things are represented as resources:<ol><li><p>Element declarations gathered from XML Schema (or similarly, other components from other type systems)</p></li><li><p>Message content models</p></li><li><p>Message exchange patterns (the URI identifying the MEP - is the URI of the resource)</p></li><li><p>Operation styles (similarly to MEPs, the URI of an operation style is the URI of the resource)</p></li></ol></p></li><li><p>All the resources above are given the appropriate types using --- 3820,3825 ---- Bindings, Services, Endpoints etc., including extensions) are turned into resources identified with the appropriate URIs ! created according to <a href="wsdl20.html#wsdl-iri-references">Appendix C IRI-References for WSDL 2.0 Components</a> of [<cite><a href="#WSDL-PART1">WSDL 2.0 Core</a></cite>].</p></li><li><p>Further, things are represented as resources:<ol><li><p>Element declarations gathered from XML Schema (or similarly, other components from other type systems)</p></li><li><p>Message content models</p></li><li><p>Message exchange patterns (the URI identifying the MEP is the URI of the resource)</p></li><li><p>Operation styles (similarly to MEPs, the URI of an operation style is the URI of the resource)</p></li></ol></p></li><li><p>All the resources above are given the appropriate types using *************** *** 3875,3879 **** <h2><a name="References"></a>6. References</h2> - <div class="div2"> --- 3874,3877 ---- *************** *** 3985,3989 **** </dd> ! <dt class="label"><a name="webarch"></a>[Web Architecture]</dt><dd> --- 3983,3995 ---- </dd> ! <dt class="label"><a name="RDFmap"></a>[WSDL 2.0 RDF Mapping]</dt><dd> ! <cite><a href="http://www.w3.org/TR/2005/WD-wsdl20-rdf-20051104/">Web Services Description (WSDL) Version 2.0: ! RDF Mapping</a></cite>, J. Kopecký, B. Parsia, ! Editors. W3C Working Draft, 4 November 2005. This version of the "Web Services ! Description Version 2.0: RDF Mapping" Specification is available ! at http://www.w3.org/TR/2005/WD-wsdl20-rdf-20051104/. The <a href="http://www.w3.org/TR/wsdl20-rdf/">latest version of "Web Services ! Description Version 2.0: RDF Mapping"</a> is available at ! http://www.w3.org/TR/wsdl20-rdf/. ! </dd> <dt class="label"><a name="webarch"></a>[Web Architecture]</dt><dd> *************** *** 4196,4201 **** (Agfa-Gevaert N. V.), Roberto Chinnici (Sun Microsystems), Kendall Clark ! (University of Maryland), Ugo Corda ! (SeeBeyond), Glen Daniels (Sonic Software), Paul Downey (British Telecommunications), Youenn Fablet --- 4202,4206 ---- (Agfa-Gevaert N. V.), Roberto Chinnici (Sun Microsystems), Kendall Clark ! (University of Maryland), Glen Daniels (Sonic Software), Paul Downey (British Telecommunications), Youenn Fablet *************** *** 4215,4220 **** (Canon), Mark Nottingham (BEA Systems, Inc.), David Orchard ! (BEA Systems, Inc.), Bijan Parsia ! (University of Maryland), Tony Rogers (Computer Associates), Arthur Ryman (IBM), Adi Sakala --- 4220,4227 ---- (Canon), Mark Nottingham (BEA Systems, Inc.), David Orchard ! (BEA Systems, Inc.), Vivek Pandey ! (Sun Microsystems), Bijan Parsia ! (University of Maryland), Gilbert Pilz ! (BEA Systems, Inc.), Tony Rogers (Computer Associates), Arthur Ryman (IBM), Adi Sakala *************** *** 4273,4277 **** (webMethods, Inc.), Igor Sedukhin (Computer Associates), Martin Gudgin ! (Microsoft Corporation).</p> <p>The people who have contributed to <a href="http://lists.w3.org/Archives/Public/www-ws-desc/">discussions on www-ws-desc@w3.org</a> are also gratefully --- 4280,4286 ---- (webMethods, Inc.), Igor Sedukhin (Computer Associates), Martin Gudgin ! (Microsoft Corporation), Rebecca Bergersen ! (IONA Technologies), Ugo Corda ! (SeeBeyond).</p> <p>The people who have contributed to <a href="http://lists.w3.org/Archives/Public/www-ws-desc/">discussions on www-ws-desc@w3.org</a> are also gratefully
Received on Friday, 18 November 2005 17:16:53 UTC