- From: Arthur Ryman via cvs-syncmail <cvsmail@w3.org>
- Date: Tue, 15 Nov 2005 20:01:02 +0000
- To: public-ws-desc-eds@w3.org
Update of /sources/public/2002/ws/desc/wsdl20 In directory hutz:/tmp/cvs-serv1156/wsdl20 Modified Files: wsdl20.html wsdl20-adjuncts.html wsdl20.xml wsdl20.tex component-table.xml wsdl20-primer.html wsdl20-defs.xml wsdl20-z-ie.html wsdl20-z.html Log Message: Added Z Notation for fragment identifiers and component designators for Element Declaration and Type Definition components. Index: wsdl20-z-ie.html =================================================================== RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20-z-ie.html,v retrieving revision 1.56 retrieving revision 1.57 diff -C2 -d -r1.56 -r1.57 *** wsdl20-z-ie.html 14 Nov 2005 03:41:21 -0000 1.56 --- wsdl20-z-ie.html 15 Nov 2005 20:00:59 -0000 1.57 *************** *** 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="#N1698F">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="#N16A69">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="#N1698F">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="#N16A69">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"> *************** *** 1144,1148 **** An <a name="component-ElementDeclaration">Element Declaration</a> component defines the name and content model of an <em>element information item</em> such as that defined by an XML Schema global element declaration. ! It has a {<a name="property-ElementDeclaration.name">name</a>} property that is the QName of the <em>element information item</em>. </p> --- 1144,1150 ---- An <a name="component-ElementDeclaration">Element Declaration</a> component defines the name and content model of an <em>element information item</em> such as that defined by an XML Schema global element declaration. ! It has a {<a name="property-ElementDeclaration.name">name</a>} property that is the QName of the <em>element information item</em> ! and a {<a name="property-ElementDeclaration.system">system</a>} property that is the namespace IRI of the extension <em>element information item</em>s ! for the type system, e.g. the namespace of XML Schema. </p> *************** *** 1154,1164 **** <li><p>Let <span class="zi">name</span> be the QName defined by the [local name] and [namespace name] properties of the <em>element information item</em>.</p></li> <li><p>Let <span class="zi">elementContentModel</span> be the element content model that constrains the allowable contents of the [children] and [attribute] properties of the <em>element information item</em>.</p></li> </ul> ! <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">ElementDeclaration</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">Identifier</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">name</span> <span class="zinfix">:</span> <span class="zi">QName</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">elementContentModel</span> <span class="zinfix">:</span> <span class="zi">ElementContentModel</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-QName">QName</a>, <a href="#zed-ElementContentModel">ElementContentModel</a>.</span></span></div> </div> --- 1156,1167 ---- <li><p>Let <span class="zi">name</span> be the QName defined by the [local name] and [namespace name] properties of the <em>element information item</em>.</p></li> + <li><p>Let <span class="zi">system</span> be the namespace IRI of the type system.</p></li> <li><p>Let <span class="zi">elementContentModel</span> be the element content model that constrains the allowable contents of the [children] and [attribute] properties of the <em>element information item</em>.</p></li> </ul> ! <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">ElementDeclaration</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">Identifier</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">name</span> <span class="zinfix">:</span> <span class="zi">QName</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">system</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">elementContentModel</span> <span class="zinfix">:</span> <span class="zi">ElementContentModel</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-QName">QName</a>, <a href="#zed-AbsoluteURI">AbsoluteURI</a>, <a href="#zed-ElementContentModel">ElementContentModel</a>.</span></span></div> </div> *************** *** 1168,1172 **** <p> Each <a href="wsdl20.html#component-ElementDeclaration">Element Declaration</a> component is uniquely ! identified by its {<a href="wsdl20.html#property-ElementDeclaration.name">name</a>} property within the component model. </p> --- 1171,1176 ---- <p> Each <a href="wsdl20.html#component-ElementDeclaration">Element Declaration</a> component is uniquely ! identified by the combination of its {<a href="wsdl20.html#property-ElementDeclaration.name">name</a>} ! and {<a href="wsdl20.html#property-ElementDeclaration.system">system</a>} properties within the component model. </p> *************** *** 1177,1186 **** </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">ElementDeclarationCM</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</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="zprefix"><span class="symbol">"</span></span><span class="zi">x</span><span class="zprefix">,</span> <span class="zi">y</span> <span class="zinfix">:</span> <span class="zi">elementDeclComps</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">name</span> <span class="zinfix">=</span> <span class="zi">y</span>.<span class="zi">name</span> <span class="zinfix"><span class="symbol">&iddot;</span></span> <span class="zi">x</span> <span class="zinfix">=</span> <span class="zi">y</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-ComponentModel2">ComponentModel2</a>.</span></span></div> <ul> ! <li><p>No two <a href="wsdl20.html#component-ElementDeclaration">Element Declaration</a> components have the same {<a href="wsdl20.html#property-ElementDeclaration.name">name</a>} property.</p></li> </ul> </div> --- 1181,1191 ---- </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">ElementDeclarationCM</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</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="zprefix"><span class="symbol">"</span></span><span class="zi">x</span><span class="zprefix">,</span> <span class="zi">y</span> <span class="zinfix">:</span> <span class="zi">elementDeclComps</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">name</span> <span class="zinfix">=</span> <span class="zi">y</span>.<span class="zi">name</span><span class="zinfix"><span class="mathb">.</span</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">system</span> <span class="zinfix">=</span> <span class="zi">y</span>.<span class="zi">system</span> <span class="zinfix"><span class="symbol">·</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">x</span> <span class="zinfix">=</span> <span class="zi">y</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-ComponentModel2">ComponentModel2</a>.</span></span></div> <ul> ! <li><p>No two <a href="wsdl20.html#component-ElementDeclaration">Element Declaration</a> components have the same {<a href="wsdl20.html#property-ElementDeclaration.name">name</a>} ! and {<a href="wsdl20.html#property-ElementDeclaration.system">system</a>} properties.</p></li> </ul> </div> *************** *** 1189,1193 **** A <a name="component-TypeDefinition">Type Definition</a> component defines the content model of an <em>element information item</em> such as that defined by an XML Schema global type definition. ! It has a {<a name="property-TypeDefinition.name">name</a>} property that is the QName of the type. </p> --- 1194,1200 ---- A <a name="component-TypeDefinition">Type Definition</a> component defines the content model of an <em>element information item</em> such as that defined by an XML Schema global type definition. ! It has a {<a name="property-TypeDefinition.name">name</a>} property that is the QName of the type ! and a {<a name="property-TypeDefinition.system">system</a>} property that is the namespace IRI of the extension <em>element information item</em>s ! for the type system, e.g. the namespace of XML Schema. </p> *************** *** 1198,1201 **** --- 1205,1209 ---- <ul> <li><p>Let <span class="zi">name</span> be the QName of the type definition.</p></li> + <li><p>Let <span class="zi">system</span> be the namespace IRI of the type system.</p></li> <li><p>Let <span class="zi">elementContentModel</span> be the element content model that constrains the allowable contents of the [children] and [attribute] properties of the <em>element information item</em> *************** *** 1203,1209 **** </ul> ! <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">TypeDefinition</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">Identifier</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">name</span> <span class="zinfix">:</span> <span class="zi">QName</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">elementContentModel</span> <span class="zinfix">:</span> <span class="zi">ElementContentModel</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-QName">QName</a>, <a href="#zed-ElementContentModel">ElementContentModel</a>.</span></span></div> </div> --- 1211,1217 ---- </ul> ! <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">TypeDefinition</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">Identifier</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">name</span> <span class="zinfix">:</span> <span class="zi">QName</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">system</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">elementContentModel</span> <span class="zinfix">:</span> <span class="zi">ElementContentModel</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-QName">QName</a>, <a href="#zed-AbsoluteURI">AbsoluteURI</a>, <a href="#zed-ElementContentModel">ElementContentModel</a>.</span></span></div> </div> *************** *** 1213,1217 **** <p> Each <a href="wsdl20.html#component-TypeDefinition">Type Definition</a> component is uniquely ! identified by its {<a href="wsdl20.html#property-TypeDefinition.name">name</a>} property within the component model. </p> --- 1221,1226 ---- <p> Each <a href="wsdl20.html#component-TypeDefinition">Type Definition</a> component is uniquely ! identified by the combination of its {<a href="wsdl20.html#property-TypeDefinition.name">name</a>} ! and {<a href="wsdl20.html#property-TypeDefinition.system">system</a>} properties within the component model. </p> *************** *** 1222,1231 **** </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">TypeDefinitionCM</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</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="zprefix"><span class="symbol">"</span></span><span class="zi">x</span><span class="zprefix">,</span> <span class="zi">y</span> <span class="zinfix">:</span> <span class="zi">typeDefComps</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">name</span> <span class="zinfix">=</span> <span class="zi">y</span>.<span class="zi">name</span> <span class="zinfix"><span class="symbol">·<span></span> <span class="zi">x</span> <span class="zinfix">=</span> <span class="zi">y</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-ComponentModel2">ComponentModel2</a>.</span></span></div> <ul> ! <li><p>No two <a href="wsdl20.html#component-TypeDefinition">Type Definition</a> components have the same {<a href="wsdl20.html#property-TypeDefinition.name">name</a>} property.</p></li> </ul> </div> --- 1231,1242 ---- </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">TypeDefinitionCM</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</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="zprefix"><span class="symbol">"</span></span><span class="zi">x</span><span class="zprefix">,</span> <span class="zi">y</span> <span class="zinfix">:</span> <span class="zi">typeDefComps</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">name</span> <span class="zinfix">=</span> <span class="zi">y</span>.<span class="zi">name</span><span class="zinfix"><span class="mathb">.</span></span>/span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">system</span> <span class="zinfix">=</span> <span class="zi">y</span>.<span class="zi">system</span> <span class="zinfix"><span class="symbol">·</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">x</span> <span class="zinfix">=</span> <span class="zi">y</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-ComponentModel2">ComponentModel2</a>.</span></span></div> <ul> ! <li><p>No two <a href="wsdl20.html#component-TypeDefinition">Type Definition</a> components have the same {<a href="wsdl20.html#property-TypeDefinition.name">name</a>} ! and {<a href="wsdl20.html#property-TypeDefinition.system">system</a>} properties.</p> ! </li> </ul> </div> *************** *** 1803,1806 **** --- 1814,1818 ---- <p> The set of <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a> components contained by an + <a href="wsdl20.html#component-Interface">Interface</a> component is exactly the set of <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a> components that have that <a href="wsdl20.html#component-Interface">Interface</a> component as their parent. *************** *** 3823,3827 **** messages that participate in the pattern and assigns them unique message labels within the pattern (e.g. 'In', 'Out'). The purpose - of an <a href="wsdl20.html#component-InterfaceFaultReference">Interface Fault Reference</a> component is to associate an actual message type (XML element declaration or some other declaration (see --- 3835,3838 ---- *************** *** 9289,9292 **** --- 9300,9304 ---- of an <a href="wsdl20.html#component-Interface">Interface</a> component. </p> + </div> *************** *** 9506,9509 **** --- 9518,9522 ---- The WSDL 2.0 <code>import</code> <em>element information item</em> identifies namespaces used in foreign references. The existence of the WSDL 2.0 <code>import</code> <em>element information item</em> + signals that the WSDL 2.0 document may contain references to foreign components. The <code>wsdl:import</code> <em>element information item</em> is therefore like a forward declaration for other namespaces. *************** *** 10816,10819 **** --- 10829,10872 ---- </li> </ol> + + <a name="zed-xmlSchemaNamespaceURI"></a><div id="twisty-head-zed-xmlSchemaNamespaceURI" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-xmlSchemaNamespaceURI')">xmlSchemaNamespaceURI</a>...</div><div id="twisty-body-zed-xmlSchemaNamespaceURI" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-xmlSchemaNamespaceURI')">xmlSchemaNamespaceURI</a> [ <a onClick="showAll()" href="#zed-xmlSchemaNamespaceURI">show all</a> ] [ <a onClick="hideAll()" href="#zed-xmlSchemaNamespaceURI">hide all</a> ]<br> + <p> + Let <span class="zi">xmlSchemaNamespaceURI</span> be the namespace IRI for XML Schema: + </p> + + <table class="zaxdef"><col class="zaxdef1"><col class="zaxdef2"><tbody><tr><td class="zaxdeftext" colspan="2"><span class="zi">xmlSchemaNamespaceURI</span> <span class="zinfix">:</span> <span class="zi">AbsoluteURI</span></td></tr></tbody></table> + + <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-AbsoluteURI">AbsoluteURI</a>.</span></span></div> + + </div> + + <a name="zed-ElementDeclFragId"></a><div id="twisty-head-zed-ElementDeclFragId" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-ElementDeclFragId')">ElementDeclFragId</a>...</div><div id="twisty-body-zed-ElementDeclFragId" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-ElementDeclFragId')">ElementDeclFragId</a> [ <a onClick="showAll()" href="#zed-ElementDeclFragId">show all</a> ] [ <a onClick="hideAll()" href="#zed-ElementDeclFragId">hide all</a> ]<br> + <p> + Let + <span class="zi">ElementDeclFragId</span> + represent the fragment identifier for the + <a href="wsdl20.html#component-ElementDeclaration">Element Declaration</a> + component: + </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">ElementDeclFragId</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">element</span> <span class="zinfix">:</span> <span class="zi">QName</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">system</span> <span class="zinfix">:</span> <span class="zi">OPTIONAL</span>[<span class="zi">AbsoluteURI</span>]</span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">system</span><span class="zinfix"><span class="mathb">g</span></span>{<span class="zi">xmlSchemaNamespaceURI</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-QName">QName</a>, <a href="#zed-OPTIONAL">OPTIONAL</a>, <a href="#zed-AbsoluteURI">AbsoluteURI</a>, <a href="#zed-xmlSchemaNamespaceURI">xmlSchemaNamespaceURI</a>.</span></span></div> + + </div> + + <a name="zed-ElementDeclDesignator"></a><div id="twisty-head-zed-ElementDeclDesignator" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-ElementDeclDesignator')">ElementDeclDesignator</a>...</div><div id="twisty-body-zed-ElementDeclDesignator" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-ElementDeclDesignator')">ElementDeclDesignator</a> [ <a onClick="showAll()" href="#zed-ElementDeclDesignator">show all</a> ] [ <a onClick="hideAll()" href="#zed-ElementDeclDesignator">hide all</a> ]<br> + <p> + Let <span class="zi">ElementDeclDesignator</span> + express the association between an <a href="wsdl20.html#component-ElementDeclaration">Element Declaration</a> + component and the IRI reference formed + by a namespace IRI and an element declaration fragment identifier: + </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">ElementDeclDesignator</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">elementDeclComp</span> <span class="zinfix">:</span> <span class="zi">ElementDeclaration</span></span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">namespace</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">ElementDeclFragId</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zscheatext"><span class="zi">elementDeclComp</span><span class="zinfix"><span class="symbol">Î</span></span><span class="zi">elementDeclComps</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">elementDeclComp</span>.<span class="zi">name</span> <span class="zinfix">=</span> <span class="zi">element</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">elementDeclComp</span>.<span class="zi">system</span><span class="zinfix"><span class="symbol">Î</span></span>{<span class="zi">xmlSchemaNamespaceURI</span>}<span class="zinfix"><span class="mathb">4</span></span><span class="zi">system</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-ComponentModel">ComponentModel</a>, <a href="#zed-ElementDeclaration">ElementDeclaration</a>, <a href="#zed-AbsoluteURI">AbsoluteURI</a>, <a href="#zed-ElementDeclFragId">ElementDeclFragId</a>, <a href="#zed-xmlSchemaNamespaceURI">xmlSchemaNamespaceURI</a>.</span></span></div> + + </div> + </div> *************** *** 10849,10852 **** --- 10902,10934 ---- </li> </ol> + + <a name="zed-TypeDefFragId"></a><div id="twisty-head-zed-TypeDefFragId" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-TypeDefFragId')">TypeDefFragId</a>...</div><div id="twisty-body-zed-TypeDefFragId" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-TypeDefFragId')">TypeDefFragId</a> [ <a onClick="showAll()" href="#zed-TypeDefFragId">show all</a> ] [ <a onClick="hideAll()" href="#zed-TypeDefFragId">hide all</a> ]<br> + <p> + Let + <span class="zi">TypeDefFragId</span> + represent the fragment identifier for the + <a href="wsdl20.html#component-TypeDefinition">Type Definition</a> + component: + </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">TypeDefFragId</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">element</span> <span class="zinfix">:</span> <span class="zi">QName</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">system</span> <span class="zinfix">:</span> <span class="zi">OPTIONAL</span>[<span class="zi">AbsoluteURI</span>]</span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">system</span><span class="zinfix"><span class="mathb">g</span></span>{<span class="zi">xmlSchemaNamespaceURI</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-QName">QName</a>, <a href="#zed-OPTIONAL">OPTIONAL</a>, <a href="#zed-AbsoluteURI">AbsoluteURI</a>, <a href="#zed-xmlSchemaNamespaceURI">xmlSchemaNamespaceURI</a>.</span></span></div> + + </div> + + <a name="zed-TypeDefDesignator"></a><div id="twisty-head-zed-TypeDefDesignator" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-TypeDefDesignator')">TypeDefDesignator</a>...</div><div id="twisty-body-zed-TypeDefDesignator" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-TypeDefDesignator')">TypeDefDesignator</a> [ <a onClick="showAll()" href="#zed-TypeDefDesignator">show all</a> ] [ <a onClick="hideAll()" href="#zed-TypeDefDesignator">hide all</a> ]<br> + <p> + Let <span class="zi">TypeDefDesignator</span> + express the association between an <a href="wsdl20.html#component-ElementDeclaration">Element Declaration</a> + component and the IRI reference formed + by a namespace IRI and an type definition fragment identifier: + </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">TypeDefDesignator</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">typeDefComp</span> <span class="zinfix">:</span> <span class="zi">TypeDefinition</span></span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">namespace</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">TypeDefFragId</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span clss="zi">typeDefComp</span><span class="zinfix"><span class="symbol">Î</span></span><span class="zi">typeDefComps</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">typeDefComp</span>.<span class="zi">name</span> <span class="zinfix">=</span> <span class="zi">element</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">typeDefComp</span>.<span class="zi">system</span><span class="zinfix"><span class="symbol">Î</span></span>{<span class="zi">xmlSchemaNamespaceURI</span>}<span class="zinfix"><span class="mathb">4</span></span><span class="zi">system</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-ComponentModel">ComponentModel</a>, <a href="#zed-TypeDefinition">TypeDefinition</a>, <a href="#zed-AbsoluteURI">AbsoluteURI</a>, <a href="#zed-TypeDefFragId">TypeDefFragId</a>, <a href="#zed-xmlSchemaNamespaceURI">xmlSchemaNamespaceURI</a>.</span></span></div> + + </div> + </div> *************** *** 11989,11993 **** <div class="div1"> ! <h2><a name="N1698F"></a>D. Component Summary (Non-Normative)</h2> <p> <a href="#component-summary">Table D-1</a> --- 12071,12075 ---- <div class="div1"> ! <h2><a name="N16A69"></a>D. Component Summary (Non-Normative)</h2> <p> <a href="#component-summary">Table D-1</a> *************** *** 12069,12073 **** </td> <td rowspan="1" colspan="1"> ! {<a href="wsdl20.html#property-ElementDeclaration.name">name</a>} </td> </tr> --- 12151,12155 ---- </td> <td rowspan="1" colspan="1"> ! {<a href="wsdl20.html#property-ElementDeclaration.name">name</a>}, {<a href="wsdl20.html#property-ElementDeclaration.system">system</a>} </td> </tr> *************** *** 12149,12153 **** </td> <td rowspan="1" colspan="1"> ! {<a href="wsdl20.html#property-TypeDefinition.name">name</a>} </td> </tr> --- 12231,12235 ---- </td> <td rowspan="1" colspan="1"> ! {<a href="wsdl20.html#property-TypeDefinition.name">name</a>}, {<a href="wsdl20.html#property-TypeDefinition.system">system</a>} </td> </tr> *************** *** 12297,12300 **** --- 12379,12387 ---- </tr> <tr> + <td rowspan="1" colspan="1">system</td> + <td rowspan="1" colspan="1">Element Declaration.{<a href="wsdl20.html#property-ElementDeclaration.system">system</a>}, Type Definition.{<a href="wsdl20.html#property-TypeDefinition.system">system</a>} + </td> + </tr> + <tr> <td rowspan="1" colspan="1">type</td> <td rowspan="1" colspan="1">Binding.{<a href="wsdl20.html#property-Binding.type">type</a>} *************** *** 12596,12602 **** <tr> <td rowspan="1" colspan="1">20051113</td> <td rowspan="1" colspan="1">AGR</td> ! <td rowspan="1" colspan="1">Added Z Notation for fragment identifiers and component designators for Interface, Binding, and Service component families in Appendix A. </td> </tr> --- 12683,12698 ---- <tr> + <td rowspan="1" colspan="1">20051115</td> + <td rowspan="1" colspan="1">AGR</td> + <td rowspan="1" colspan="1">Added Z Notation for fragment identifiers and component designators for Element Declaration and Type Definition components in + <a href="#frag-ids">Appendix A - Fragment Identifiers</a>. + </td> + </tr> + + <tr> <td rowspan="1" colspan="1">20051113</td> <td rowspan="1" colspan="1">AGR</td> ! <td rowspan="1" colspan="1">Added Z Notation for fragment identifiers and component designators for Interface, Binding, and Service component families in ! <a href="#frag-ids">Appendix A - Fragment Identifiers</a>. </td> </tr> *************** *** 13318,13322 **** </tr> - <tr> <td rowspan="1" colspan="1">20050320</td> --- 13414,13417 ---- *************** *** 14418,14422 **** namespaces to <a href="#InterfaceOperation_details"><b>2.4.1 The Interface Operation Component</b></a></td> </tr> - <tr> <td rowspan="1" colspan="1">20030122</td> --- 14513,14516 ---- Index: wsdl20.tex =================================================================== RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.tex,v retrieving revision 1.90 retrieving revision 1.91 diff -C2 -d -r1.90 -r1.91 *** wsdl20.tex 14 Nov 2005 03:41:20 -0000 1.90 --- wsdl20.tex 15 Nov 2005 20:00:58 -0000 1.91 *************** *** 1379,1383 **** An Element Declaration component defines the name and content model of an \textit{element information item} such as that defined by an XML Schema global element declaration. ! It has a name property that is the QName of the \textit{element information item}. --- 1379,1385 ---- An Element Declaration component defines the name and content model of an \textit{element information item} such as that defined by an XML Schema global element declaration. ! It has a name property that is the QName of the \textit{element information item} ! and a system property that is the namespace IRI of the extension \textit{element information item}s ! for the type system, e.g. the namespace of XML Schema. *************** *** 1390,1393 **** --- 1392,1396 ---- \item Let $name$ be the QName defined by the [local name] and [namespace name] properties of the \textit{element information item}. + \item Let $system$ be the namespace IRI of the type system. \item Let $elementContentModel$ be the element content model that constrains the allowable contents of the [children] and [attribute] properties of the \textit{element information item}. *************** *** 1397,1404 **** Identifier \\ name : QName \\ elementContentModel : ElementContentModel \end{schema} ! \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-QName}{QName}, \hyperlink{zed-ElementContentModel}{ElementContentModel}.\end{itshape}\end{small}\end{quote} --- 1400,1408 ---- Identifier \\ name : QName \\ + system : AbsoluteURI \\ elementContentModel : ElementContentModel \end{schema} ! \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-QName}{QName}, \hyperlink{zed-AbsoluteURI}{AbsoluteURI}, \hyperlink{zed-ElementContentModel}{ElementContentModel}.\end{itshape}\end{small}\end{quote} *************** *** 1409,1413 **** Each Element Declaration component is uniquely ! identified by its name property within the component model. --- 1413,1418 ---- Each Element Declaration component is uniquely ! identified by the combination of its name ! and system properties within the component model. *************** *** 1422,1426 **** \where \forall x, y : elementDeclComps | \\ ! \t1 x.name = y.name @ x = y \end{schema} --- 1427,1433 ---- \where \forall x, y : elementDeclComps | \\ ! \t1 x.name = y.name \land \\ ! \t1 x.system = y.system @ \\ ! \t2 x = y \end{schema} *************** *** 1428,1432 **** \begin{itemize} ! \item No two Element Declaration components have the same name property. \end{itemize} --- 1435,1440 ---- \begin{itemize} ! \item No two Element Declaration components have the same name ! and system properties. \end{itemize} *************** *** 1435,1439 **** A Type Definition component defines the content model of an \textit{element information item} such as that defined by an XML Schema global type definition. ! It has a name property that is the QName of the type. --- 1443,1449 ---- A Type Definition component defines the content model of an \textit{element information item} such as that defined by an XML Schema global type definition. ! It has a name property that is the QName of the type ! and a system property that is the namespace IRI of the extension \textit{element information item}s ! for the type system, e.g. the namespace of XML Schema. *************** *** 1445,1448 **** --- 1455,1459 ---- \begin{itemize} \item Let $name$ be the QName of the type definition. + \item Let $system$ be the namespace IRI of the type system. \item Let $elementContentModel$ be the element content model that constrains the allowable contents of the [children] and [attribute] properties of the \textit{element information item} *************** *** 1453,1460 **** Identifier \\ name : QName \\ elementContentModel : ElementContentModel \end{schema} ! \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-QName}{QName}, \hyperlink{zed-ElementContentModel}{ElementContentModel}.\end{itshape}\end{small}\end{quote} --- 1464,1472 ---- Identifier \\ name : QName \\ + system : AbsoluteURI \\ elementContentModel : ElementContentModel \end{schema} ! \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-QName}{QName}, \hyperlink{zed-AbsoluteURI}{AbsoluteURI}, \hyperlink{zed-ElementContentModel}{ElementContentModel}.\end{itshape}\end{small}\end{quote} *************** *** 1465,1469 **** Each Type Definition component is uniquely ! identified by its name property within the component model. --- 1477,1482 ---- Each Type Definition component is uniquely ! identified by the combination of its name ! and system properties within the component model. *************** *** 1478,1482 **** \where \forall x, y : typeDefComps | \\ ! \t1 x.name = y.name @ x = y \end{schema} --- 1491,1497 ---- \where \forall x, y : typeDefComps | \\ ! \t1 x.name = y.name \land \\ ! \t1 x.system = y.system @ \\ ! \t2 x = y \end{schema} *************** *** 1484,1488 **** \begin{itemize} ! \item No two Type Definition components have the same name property. \end{itemize} --- 1499,1505 ---- \begin{itemize} ! \item No two Type Definition components have the same name ! and system properties. ! \end{itemize} *************** *** 2139,2142 **** --- 2156,2160 ---- The set of Interface Fault components contained by an + Interface component is exactly the set of Interface Fault components that have that Interface component as *************** *** 4374,4378 **** messages that participate in the pattern and assigns them unique message labels within the pattern (e.g. 'In', 'Out'). The purpose - of an Interface Fault Reference component is to associate an actual message type (XML element declaration or some other declaration (see --- 4392,4395 ---- *************** *** 10334,10337 **** --- 10351,10355 ---- of an Interface component. + *************** *** 10558,10561 **** --- 10576,10580 ---- The WSDL 2.0 \texttt{import} \textit{element information item} identifies namespaces used in foreign references. The existence of the WSDL 2.0 \texttt{import} \textit{element information item} + signals that the WSDL 2.0 document may contain references to foreign components. The \texttt{wsdl:import} \textit{element information item} is therefore like a forward declaration for other namespaces. *************** *** 11906,11909 **** --- 11925,11988 ---- \end{enumerate} + \hypertarget{zed-xmlSchemaNamespaceURI}{} + + + Let $xmlSchemaNamespaceURI$ be the namespace IRI for XML Schema: + + + \begin{axdef} + xmlSchemaNamespaceURI : AbsoluteURI + \end{axdef} + + \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-AbsoluteURI}{AbsoluteURI}.\end{itshape}\end{small}\end{quote} + + + + \hypertarget{zed-ElementDeclFragId}{} + + + Let + $ElementDeclFragId$ + represent the fragment identifier for the + Element Declaration + component: + + \begin{schema}{ElementDeclFragId} + element : QName \\ + system : OPTIONAL[AbsoluteURI] + \where + system \neq \{xmlSchemaNamespaceURI\} + \end{schema} + + \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-QName}{QName}, \hyperlink{zed-OPTIONAL}{OPTIONAL}, \hyperlink{zed-AbsoluteURI}{AbsoluteURI}, \hyperlink{zed-xmlSchemaNamespaceURI}{xmlSchemaNamespaceURI}.\end{itshape}\end{small}\end{quote} + + + + \hypertarget{zed-ElementDeclDesignator}{} + + + Let $ElementDeclDesignator$ + express the association between an Element Declaration + component and the IRI reference formed + by a namespace IRI and an element declaration fragment identifier: + + + \begin{schema}{ElementDeclDesignator} + ComponentModel \\ + elementDeclComp : ElementDeclaration + \also + namespace : AbsoluteURI \\ + ElementDeclFragId + \where + elementDeclComp \in elementDeclComps \\ + elementDeclComp.name = element \\ + elementDeclComp.system \in \{xmlSchemaNamespaceURI\} \cup system + \end{schema} + + \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ComponentModel}{ComponentModel}, \hyperlink{zed-ElementDeclaration}{ElementDeclaration}, \hyperlink{zed-AbsoluteURI}{AbsoluteURI}, \hyperlink{zed-ElementDeclFragId}{ElementDeclFragId}, \hyperlink{zed-xmlSchemaNamespaceURI}{xmlSchemaNamespaceURI}.\end{itshape}\end{small}\end{quote} + + + + \hypertarget{wsdl.typeDefinition}{} *************** *** 11939,11942 **** --- 12018,12067 ---- \end{enumerate} + + \hypertarget{zed-TypeDefFragId}{} + + + Let + $TypeDefFragId$ + represent the fragment identifier for the + Type Definition + component: + + \begin{schema}{TypeDefFragId} + element : QName \\ + system : OPTIONAL[AbsoluteURI] + \where + system \neq \{xmlSchemaNamespaceURI\} + \end{schema} + + \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-QName}{QName}, \hyperlink{zed-OPTIONAL}{OPTIONAL}, \hyperlink{zed-AbsoluteURI}{AbsoluteURI}, \hyperlink{zed-xmlSchemaNamespaceURI}{xmlSchemaNamespaceURI}.\end{itshape}\end{small}\end{quote} + + + + \hypertarget{zed-TypeDefDesignator}{} + + + Let $TypeDefDesignator$ + express the association between an Element Declaration + component and the IRI reference formed + by a namespace IRI and an type definition fragment identifier: + + + \begin{schema}{TypeDefDesignator} + ComponentModel \\ + typeDefComp : TypeDefinition + \also + namespace : AbsoluteURI \\ + TypeDefFragId + \where + typeDefComp \in typeDefComps \\ + typeDefComp.name = element \\ + typeDefComp.system \in \{xmlSchemaNamespaceURI\} \cup system + \end{schema} + + \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ComponentModel}{ComponentModel}, \hyperlink{zed-TypeDefinition}{TypeDefinition}, \hyperlink{zed-AbsoluteURI}{AbsoluteURI}, \hyperlink{zed-TypeDefFragId}{TypeDefFragId}, \hyperlink{zed-xmlSchemaNamespaceURI}{xmlSchemaNamespaceURI}.\end{itshape}\end{small}\end{quote} + + + *************** *** 13431,13435 **** & ! name \\ \hline --- 13556,13560 ---- & ! name, system \\ \hline *************** *** 13511,13515 **** & ! name \\ \hline --- 13636,13640 ---- & ! name, system \\ \hline *************** *** 13673,13676 **** --- 13798,13806 ---- \\ \hline + system& + Element Declaration.system, Type Definition.system + + \\ \hline + type& Binding.type *************** *** 13963,13969 **** 20051113& AGR& ! Added Z Notation for fragment identifiers and component designators for Interface, Binding, and Service component families in Appendix A. \\ \hline --- 14093,14108 ---- + 20051115& + AGR& + Added Z Notation for fragment identifiers and component designators for Element Declaration and Type Definition components in + \href{#frag-ids}{Appendix A - Fragment Identifiers}. + + \\ \hline + + 20051113& AGR& ! Added Z Notation for fragment identifiers and component designators for Interface, Binding, and Service component families in ! \href{#frag-ids}{Appendix A - Fragment Identifiers}. \\ \hline *************** *** 14685,14689 **** \\ \hline - 20050320& --- 14824,14827 ---- *************** *** 15785,15789 **** namespaces to \hyperlink{InterfaceOperation_details}{\textbf{\ref*{InterfaceOperation_details} The Interface Operation Component}} \\ \hline - 20030122& --- 15923,15926 ---- Index: component-table.xml =================================================================== RCS file: /sources/public/2002/ws/desc/wsdl20/component-table.xml,v retrieving revision 1.25 retrieving revision 1.26 diff -C2 -d -r1.25 -r1.26 *** component-table.xml 14 Nov 2005 03:41:21 -0000 1.25 --- component-table.xml 15 Nov 2005 20:00:58 -0000 1.26 *************** *** 90,94 **** </td> <td> ! <prop comp="Element Declaration">name</prop> </td> </tr> --- 90,94 ---- </td> <td> ! <prop comp="Element Declaration">name</prop>, <prop comp="Element Declaration">system</prop> </td> </tr> *************** *** 170,174 **** </td> <td> ! <prop comp="Type Definition">name</prop> </td> </tr> --- 170,174 ---- </td> <td> ! <prop comp="Type Definition">name</prop>, <prop comp="Type Definition">system</prop> </td> </tr> *************** *** 332,335 **** --- 332,340 ---- </tr> <tr> + <td>system</td> + <td>Element Declaration.<prop comp="Element Declaration">system</prop>, Type Definition.<prop comp="Type Definition">system</prop> + </td> + </tr> + <tr> <td>type</td> <td>Binding.<prop comp="Binding">type</prop> Index: wsdl20.xml =================================================================== RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.xml,v retrieving revision 1.360 retrieving revision 1.361 diff -C2 -d -r1.360 -r1.361 *** wsdl20.xml 14 Nov 2005 03:46:47 -0000 1.360 --- wsdl20.xml 15 Nov 2005 20:00:58 -0000 1.361 *************** *** 1364,1368 **** An <compdef>Element Declaration</compdef> component defines the name and content model of an &EII; such as that defined by an XML Schema global element declaration. ! It has a <propdef comp="Element Declaration">name</propdef> property that is the QName of the &EII;. </p> --- 1364,1370 ---- An <compdef>Element Declaration</compdef> component defines the name and content model of an &EII; such as that defined by an XML Schema global element declaration. ! It has a <propdef comp="Element Declaration">name</propdef> property that is the QName of the &EII; ! and a <propdef comp="Element Declaration">system</propdef> property that is the namespace IRI of the extension &EII;s ! for the type system, e.g. the namespace of XML Schema. </p> *************** *** 1374,1377 **** --- 1376,1380 ---- <item><p>Let <z:i>name</z:i> be the QName defined by the [local name] and [namespace name] properties of the &EII;.</p></item> + <item><p>Let <z:i>system</z:i> be the namespace IRI of the type system.</p></item> <item><p>Let <z:i>elementContentModel</z:i> be the element content model that constrains the allowable contents of the [children] and [attribute] properties of the &EII;.</p></item> *************** *** 1381,1388 **** Identifier <nl/> name : QName <nl/> elementContentModel : ElementContentModel </schema> ! <z:see names="QName ElementContentModel"/> </z:notation> --- 1384,1392 ---- Identifier <nl/> name : QName <nl/> + system : AbsoluteURI <nl/> elementContentModel : ElementContentModel </schema> ! <z:see names="QName AbsoluteURI ElementContentModel"/> </z:notation> *************** *** 1392,1396 **** <p> Each <comp>Element Declaration</comp> component is uniquely ! identified by its <prop comp="Element Declaration">name</prop> property within the component model. </p> --- 1396,1401 ---- <p> Each <comp>Element Declaration</comp> component is uniquely ! identified by the combination of its <prop comp="Element Declaration">name</prop> ! and <prop comp="Element Declaration">system</prop> properties within the component model. </p> *************** *** 1405,1409 **** <where/> <forall/> x, y : elementDeclComps | <nl/> ! <t1/> x.name = y.name @ x = y </schema> --- 1410,1416 ---- <where/> <forall/> x, y : elementDeclComps | <nl/> ! <t1/> x.name = y.name <land/> <nl/> ! <t1/> x.system = y.system @ <nl/> ! <t2/> x = y </schema> *************** *** 1411,1415 **** <ulist> ! <item><p>No two <comp>Element Declaration</comp> components have the same <prop comp="Element Declaration">name</prop> property.</p></item> </ulist> </z:notation> --- 1418,1423 ---- <ulist> ! <item><p>No two <comp>Element Declaration</comp> components have the same <prop comp="Element Declaration">name</prop> ! and <prop comp="Element Declaration">system</prop> properties.</p></item> </ulist> </z:notation> *************** *** 1418,1422 **** A <compdef>Type Definition</compdef> component defines the content model of an &EII; such as that defined by an XML Schema global type definition. ! It has a <propdef comp="Type Definition">name</propdef> property that is the QName of the type. </p> --- 1426,1432 ---- A <compdef>Type Definition</compdef> component defines the content model of an &EII; such as that defined by an XML Schema global type definition. ! It has a <propdef comp="Type Definition">name</propdef> property that is the QName of the type ! and a <propdef comp="Type Definition">system</propdef> property that is the namespace IRI of the extension &EII;s ! for the type system, e.g. the namespace of XML Schema. </p> *************** *** 1427,1430 **** --- 1437,1441 ---- <ulist> <item><p>Let <z:i>name</z:i> be the QName of the type definition.</p></item> + <item><p>Let <z:i>system</z:i> be the namespace IRI of the type system.</p></item> <item><p>Let <z:i>elementContentModel</z:i> be the element content model that constrains the allowable contents of the [children] and [attribute] properties of the &EII; *************** *** 1435,1442 **** Identifier <nl/> name : QName <nl/> elementContentModel : ElementContentModel </schema> ! <z:see names="QName ElementContentModel"/> </z:notation> --- 1446,1454 ---- Identifier <nl/> name : QName <nl/> + system : AbsoluteURI <nl/> elementContentModel : ElementContentModel </schema> ! <z:see names="QName AbsoluteURI ElementContentModel"/> </z:notation> *************** *** 1446,1450 **** <p> Each <comp>Type Definition</comp> component is uniquely ! identified by its <prop comp="Type Definition">name</prop> property within the component model. </p> --- 1458,1463 ---- <p> Each <comp>Type Definition</comp> component is uniquely ! identified by the combination of its <prop comp="Type Definition">name</prop> ! and <prop comp="Type Definition">system</prop> properties within the component model. </p> *************** *** 1459,1463 **** <where/> <forall/> x, y : typeDefComps | <nl/> ! <t1/> x.name = y.name @ x = y </schema> --- 1472,1478 ---- <where/> <forall/> x, y : typeDefComps | <nl/> ! <t1/> x.name = y.name <land/> <nl/> ! <t1/> x.system = y.system @ <nl/> ! <t2/> x = y </schema> *************** *** 1465,1469 **** <ulist> ! <item><p>No two <comp>Type Definition</comp> components have the same <prop comp="Type Definition">name</prop> property.</p></item> </ulist> </z:notation> --- 1480,1486 ---- <ulist> ! <item><p>No two <comp>Type Definition</comp> components have the same <prop comp="Type Definition">name</prop> ! and <prop comp="Type Definition">system</prop> properties.</p> ! </item> </ulist> </z:notation> *************** *** 11709,11712 **** --- 11726,11788 ---- </item> </olist> + + <z:notation name="xmlSchemaNamespaceURI"> + <p> + Let <z:i>xmlSchemaNamespaceURI</z:i> be the namespace IRI for XML Schema: + </p> + + <axdef xmlns="http://www.w3.org/2004/zml"> + xmlSchemaNamespaceURI : AbsoluteURI + </axdef> + + <z:see names="AbsoluteURI"/> + + </z:notation> + + <z:notation name="ElementDeclFragId"> + <p> + Let + <z:i>ElementDeclFragId</z:i> + represent the fragment identifier for the + <comp>Element Declaration</comp> + component: + </p> + <schema xmlns="http://www.w3.org/2004/zml" + name="ElementDeclFragId"> + element : QName <nl/> + system : OPTIONAL[AbsoluteURI] + <where/> + system <neq/> {xmlSchemaNamespaceURI} + </schema> + + <z:see names="QName OPTIONAL AbsoluteURI xmlSchemaNamespaceURI"/> + + </z:notation> + + <z:notation name="ElementDeclDesignator"> + <p> + Let <z:i>ElementDeclDesignator</z:i> + express the association between an <comp>Element Declaration</comp> + component and the IRI reference formed + by a namespace IRI and an element declaration fragment identifier: + </p> + + <schema xmlns="http://www.w3.org/2004/zml" + name="ElementDeclDesignator"> + ComponentModel <nl/> + elementDeclComp : ElementDeclaration + <also/> + namespace : AbsoluteURI <nl/> + ElementDeclFragId + <where/> + elementDeclComp <in/> elementDeclComps <nl/> + elementDeclComp.name = element <nl/> + elementDeclComp.system <in/> {xmlSchemaNamespaceURI} <cup/> system + </schema> + + <z:see names="ComponentModel ElementDeclaration AbsoluteURI ElementDeclFragId xmlSchemaNamespaceURI"/> + + </z:notation> + </div3> *************** *** 11741,11744 **** --- 11817,11866 ---- </item> </olist> + + <z:notation name="TypeDefFragId"> + <p> + Let + <z:i>TypeDefFragId</z:i> + represent the fragment identifier for the + <comp>Type Definition</comp> + component: + </p> + <schema xmlns="http://www.w3.org/2004/zml" + name="TypeDefFragId"> + element : QName <nl/> + system : OPTIONAL[AbsoluteURI] + <where/> + system <neq/> {xmlSchemaNamespaceURI} + </schema> + + <z:see names="QName OPTIONAL AbsoluteURI xmlSchemaNamespaceURI"/> + + </z:notation> + + <z:notation name="TypeDefDesignator"> + <p> + Let <z:i>TypeDefDesignator</z:i> + express the association between an <comp>Element Declaration</comp> + component and the IRI reference formed + by a namespace IRI and an type definition fragment identifier: + </p> + + <schema xmlns="http://www.w3.org/2004/zml" + name="TypeDefDesignator"> + ComponentModel <nl/> + typeDefComp : TypeDefinition + <also/> + namespace : AbsoluteURI <nl/> + TypeDefFragId + <where/> + typeDefComp <in/> typeDefComps <nl/> + typeDefComp.name = element <nl/> + typeDefComp.system <in/> {xmlSchemaNamespaceURI} <cup/> system + </schema> + + <z:see names="ComponentModel TypeDefinition AbsoluteURI TypeDefFragId xmlSchemaNamespaceURI"/> + + </z:notation> + </div3> *************** *** 13061,13064 **** --- 13183,13194 ---- <tr> + <td>20051115</td> + <td>AGR</td> + <td>Added Z Notation for fragment identifiers and component designators for Element Declaration and Type Definition components in + <loc href="#frag-ids">Appendix A - Fragment Identifiers</loc>. + </td> + </tr> + + <tr> <td>20051113</td> <td>AGR</td> Index: wsdl20-z.html =================================================================== RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20-z.html,v retrieving revision 1.80 retrieving revision 1.81 diff -C2 -d -r1.80 -r1.81 *** wsdl20-z.html 14 Nov 2005 03:41:21 -0000 1.80 --- wsdl20-z.html 15 Nov 2005 20:00:59 -0000 1.81 *************** *** 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="#N1698F">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="#N16A69">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="#N1698F">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="#N16A69">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"> *************** *** 1142,1146 **** An <a name="component-ElementDeclaration">Element Declaration</a> component defines the name and content model of an <em>element information item</em> such as that defined by an XML Schema global element declaration. ! It has a {<a name="property-ElementDeclaration.name">name</a>} property that is the QName of the <em>element information item</em>. </p> --- 1142,1148 ---- An <a name="component-ElementDeclaration">Element Declaration</a> component defines the name and content model of an <em>element information item</em> such as that defined by an XML Schema global element declaration. ! It has a {<a name="property-ElementDeclaration.name">name</a>} property that is the QName of the <em>element information item</em> ! and a {<a name="property-ElementDeclaration.system">system</a>} property that is the namespace IRI of the extension <em>element information item</em>s ! for the type system, e.g. the namespace of XML Schema. </p> *************** *** 1152,1162 **** <li><p>Let <span class="zi">name</span> be the QName defined by the [local name] and [namespace name] properties of the <em>element information item</em>.</p></li> <li><p>Let <span class="zi">elementContentModel</span> be the element content model that constrains the allowable contents of the [children] and [attribute] properties of the <em>element information item</em>.</p></li> </ul> ! <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">ElementDeclaration</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">Identifier</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">name</span> <span class="zinfix">:</span> <span class="zi">QName</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">elementContentModel</span> <span class="zinfix">:</span> <span class="zi">ElementContentModel</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-QName">QName</a>, <a href="#zed-ElementContentModel">ElementContentModel</a>.</span></span></div> </div> --- 1154,1165 ---- <li><p>Let <span class="zi">name</span> be the QName defined by the [local name] and [namespace name] properties of the <em>element information item</em>.</p></li> + <li><p>Let <span class="zi">system</span> be the namespace IRI of the type system.</p></li> <li><p>Let <span class="zi">elementContentModel</span> be the element content model that constrains the allowable contents of the [children] and [attribute] properties of the <em>element information item</em>.</p></li> </ul> ! <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">ElementDeclaration</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">Identifier</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">name</span> <span class="zinfix">:</span> <span class="zi">QName</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">system</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">elementContentModel</span> <span class="zinfix">:</span> <span class="zi">ElementContentModel</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-QName">QName</a>, <a href="#zed-AbsoluteURI">AbsoluteURI</a>, <a href="#zed-ElementContentModel">ElementContentModel</a>.</span></span></div> </div> *************** *** 1166,1170 **** <p> Each <a href="wsdl20.html#component-ElementDeclaration">Element Declaration</a> component is uniquely ! identified by its {<a href="wsdl20.html#property-ElementDeclaration.name">name</a>} property within the component model. </p> --- 1169,1174 ---- <p> Each <a href="wsdl20.html#component-ElementDeclaration">Element Declaration</a> component is uniquely ! identified by the combination of its {<a href="wsdl20.html#property-ElementDeclaration.name">name</a>} ! and {<a href="wsdl20.html#property-ElementDeclaration.system">system</a>} properties within the component model. </p> *************** *** 1175,1184 **** </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">ElementDeclarationCM</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</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="zprefix">∀</span><span class="zi">x</span><span class="zprefix">,</span> <span class="zi">y</span> <span class="zinfix">:</span> <span class="zi">elementDeclComps</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">name</span> <span class="zinfix">=</span> <span class="zi">y</span>.<span class="zi">name</span> <span class="zinfix">•</span> <span class="zi">x</span> <spn class="zinfix">=</span> <span class="zi">y</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-ComponentModel2">ComponentModel2</a>.</span></span></div> <ul> ! <li><p>No two <a href="wsdl20.html#component-ElementDeclaration">Element Declaration</a> components have the same {<a href="wsdl20.html#property-ElementDeclaration.name">name</a>} property.</p></li> </ul> </div> --- 1179,1189 ---- </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">ElementDeclarationCM</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</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="zprefix">∀</span><span class="zi">x</span><span class="zprefix">,</span> <span class="zi">y</span> <span class="zinfix">:</span> <span class="zi">elementDeclComps</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">name</span> <span class="zinfix">=</span> <span class="zi">y</span>.<span class="zi">name</span><span class="zinfix">∧</span></span></td></tr><tr><td class="zschmatext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">system</span> <span class="zinfix">=</span> <span class="zi">y</span>.<span class="zi">system</span> <span class="zinfix">•</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">x</span> <span class="zinfix">=</span> <span class="zi">y</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-ComponentModel2">ComponentModel2</a>.</span></span></div> <ul> ! <li><p>No two <a href="wsdl20.html#component-ElementDeclaration">Element Declaration</a> components have the same {<a href="wsdl20.html#property-ElementDeclaration.name">name</a>} ! and {<a href="wsdl20.html#property-ElementDeclaration.system">system</a>} properties.</p></li> </ul> </div> *************** *** 1187,1191 **** A <a name="component-TypeDefinition">Type Definition</a> component defines the content model of an <em>element information item</em> such as that defined by an XML Schema global type definition. ! It has a {<a name="property-TypeDefinition.name">name</a>} property that is the QName of the type. </p> --- 1192,1198 ---- A <a name="component-TypeDefinition">Type Definition</a> component defines the content model of an <em>element information item</em> such as that defined by an XML Schema global type definition. ! It has a {<a name="property-TypeDefinition.name">name</a>} property that is the QName of the type ! and a {<a name="property-TypeDefinition.system">system</a>} property that is the namespace IRI of the extension <em>element information item</em>s ! for the type system, e.g. the namespace of XML Schema. </p> *************** *** 1196,1199 **** --- 1203,1207 ---- <ul> <li><p>Let <span class="zi">name</span> be the QName of the type definition.</p></li> + <li><p>Let <span class="zi">system</span> be the namespace IRI of the type system.</p></li> <li><p>Let <span class="zi">elementContentModel</span> be the element content model that constrains the allowable contents of the [children] and [attribute] properties of the <em>element information item</em> *************** *** 1201,1207 **** </ul> ! <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">TypeDefinition</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">Identifier</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">name</span> <span class="zinfix">:</span> <span class="zi">QName</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">elementContentModel</span> <span class="zinfix">:</span> <span class="zi">ElementContentModel</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-QName">QName</a>, <a href="#zed-ElementContentModel">ElementContentModel</a>.</span></span></div> </div> --- 1209,1215 ---- </ul> ! <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">TypeDefinition</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">Identifier</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">name</span> <span class="zinfix">:</span> <span class="zi">QName</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">system</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">elementContentModel</span> <span class="zinfix">:</span> <span class="zi">ElementContentModel</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-QName">QName</a>, <a href="#zed-AbsoluteURI">AbsoluteURI</a>, <a href="#zed-ElementContentModel">ElementContentModel</a>.</span></span></div> </div> *************** *** 1211,1215 **** <p> Each <a href="wsdl20.html#component-TypeDefinition">Type Definition</a> component is uniquely ! identified by its {<a href="wsdl20.html#property-TypeDefinition.name">name</a>} property within the component model. </p> --- 1219,1224 ---- <p> Each <a href="wsdl20.html#component-TypeDefinition">Type Definition</a> component is uniquely ! identified by the combination of its {<a href="wsdl20.html#property-TypeDefinition.name">name</a>} ! and {<a href="wsdl20.html#property-TypeDefinition.system">system</a>} properties within the component model. </p> *************** *** 1220,1229 **** </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">TypeDefinitionCM</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</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="zprefix">∀</span><span class="zi">x</span><span class="zprefix">,</span> <span class="zi">y</span> <span class="zinfix">:</span> <span class="zi">typeDefComps</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">name</span> <span class="zinfix">=</span> <span class="zi">y</span>.<span class="zi">name</span> <span class="zinfix">•</span> <span class="zi">x</span> <span class"zinfix">=</span> <span class="zi">y</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-ComponentModel2">ComponentModel2</a>.</span></span></div> <ul> ! <li><p>No two <a href="wsdl20.html#component-TypeDefinition">Type Definition</a> components have the same {<a href="wsdl20.html#property-TypeDefinition.name">name</a>} property.</p></li> </ul> </div> --- 1229,1240 ---- </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">TypeDefinitionCM</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</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="zprefix">∀</span><span class="zi">x</span><span class="zprefix">,</span> <span class="zi">y</span> <span class="zinfix">:</span> <span class="zi">typeDefComps</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">name</span> <span class="zinfix">=</span> <span class="zi">y</span>.<span class="zi">name</span><span class="zinfix">∧</span></span></td></tr><tr><td class="zschematext"colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">system</span> <span class="zinfix">=</span> <span class="zi">y</span>.<span class="zi">system</span> <span class="zinfix">•</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">x</span> <span class="zinfix">=</span> <span class="zi">y</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-ComponentModel2">ComponentModel2</a>.</span></span></div> <ul> ! <li><p>No two <a href="wsdl20.html#component-TypeDefinition">Type Definition</a> components have the same {<a href="wsdl20.html#property-TypeDefinition.name">name</a>} ! and {<a href="wsdl20.html#property-TypeDefinition.system">system</a>} properties.</p> ! </li> </ul> </div> *************** *** 1801,1804 **** --- 1812,1816 ---- <p> The set of <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a> components contained by an + <a href="wsdl20.html#component-Interface">Interface</a> component is exactly the set of <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a> components that have that <a href="wsdl20.html#component-Interface">Interface</a> component as their parent. *************** *** 3813,3817 **** messages that participate in the pattern and assigns them unique message labels within the pattern (e.g. 'In', 'Out'). The purpose - of an <a href="wsdl20.html#component-InterfaceFaultReference">Interface Fault Reference</a> component is to associate an actual message type (XML element declaration or some other declaration (see --- 3825,3828 ---- *************** *** 9259,9262 **** --- 9270,9274 ---- of an <a href="wsdl20.html#component-Interface">Interface</a> component. </p> + </div> *************** *** 9476,9479 **** --- 9488,9492 ---- The WSDL 2.0 <code>import</code> <em>element information item</em> identifies namespaces used in foreign references. The existence of the WSDL 2.0 <code>import</code> <em>element information item</em> + signals that the WSDL 2.0 document may contain references to foreign components. The <code>wsdl:import</code> <em>element information item</em> is therefore like a forward declaration for other namespaces. *************** *** 10786,10789 **** --- 10799,10842 ---- </li> </ol> + + <a name="zed-xmlSchemaNamespaceURI"></a><div id="twisty-head-zed-xmlSchemaNamespaceURI" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-xmlSchemaNamespaceURI')">xmlSchemaNamespaceURI</a>...</div><div id="twisty-body-zed-xmlSchemaNamespaceURI" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-xmlSchemaNamespaceURI')">xmlSchemaNamespaceURI</a> [ <a onClick="showAll()" href="#zed-xmlSchemaNamespaceURI">show all</a> ] [ <a onClick="hideAll()" href="#zed-xmlSchemaNamespaceURI">hide all</a> ]<br> + <p> + Let <span class="zi">xmlSchemaNamespaceURI</span> be the namespace IRI for XML Schema: + </p> + + <table class="zaxdef"><col class="zaxdef1"><col class="zaxdef2"><tbody><tr><td class="zaxdeftext" colspan="2"><span class="zi">xmlSchemaNamespaceURI</span> <span class="zinfix">:</span> <span class="zi">AbsoluteURI</span></td></tr></tbody></table> + + <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-AbsoluteURI">AbsoluteURI</a>.</span></span></div> + + </div> + + <a name="zed-ElementDeclFragId"></a><div id="twisty-head-zed-ElementDeclFragId" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-ElementDeclFragId')">ElementDeclFragId</a>...</div><div id="twisty-body-zed-ElementDeclFragId" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-ElementDeclFragId')">ElementDeclFragId</a> [ <a onClick="showAll()" href="#zed-ElementDeclFragId">show all</a> ] [ <a onClick="hideAll()" href="#zed-ElementDeclFragId">hide all</a> ]<br> + <p> + Let + <span class="zi">ElementDeclFragId</span> + represent the fragment identifier for the + <a href="wsdl20.html#component-ElementDeclaration">Element Declaration</a> + component: + </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">ElementDeclFragId</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">element</span> <span class="zinfix">:</span> <span class="zi">QName</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">system</span> <span class="zinfix">:</span> <span class="zi">OPTIONAL</span>[<span class="zi">AbsoluteURI</span>]</span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">system</span><span class="zinfix">≠</span>{<span class="zi">xmlSchemaNamespaceURI</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-QName">QName</a>, <a href="#zed-OPTIONAL">OPTIONAL</a>, <a href="#zed-AbsoluteURI">AbsoluteURI</a>, <a href="#zed-xmlSchemaNamespaceURI">xmlSchemaNamespaceURI</a>.</span></span></div> + + </div> + + <a name="zed-ElementDeclDesignator"></a><div id="twisty-head-zed-ElementDeclDesignator" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-ElementDeclDesignator')">ElementDeclDesignator</a>...</div><div id="twisty-body-zed-ElementDeclDesignator" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-ElementDeclDesignator')">ElementDeclDesignator</a> [ <a onClick="showAll()" href="#zed-ElementDeclDesignator">show all</a> ] [ <a onClick="hideAll()" href="#zed-ElementDeclDesignator">hide all</a> ]<br> + <p> + Let <span class="zi">ElementDeclDesignator</span> + express the association between an <a href="wsdl20.html#component-ElementDeclaration">Element Declaration</a> + component and the IRI reference formed + by a namespace IRI and an element declaration fragment identifier: + </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">ElementDeclDesignator</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">elementDeclComp</span> <span class="zinfix">:</span> <span class="zi">ElementDeclaration</span></span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">namespace</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">ElementDeclFragId</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zscheatext"><span class="zi">elementDeclComp</span><span class="zinfix">∈</span><span class="zi">elementDeclComps</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">elementDeclComp</span>.<span class="zi">name</span> <span class="zinfix">=</span> <span class="zi">element</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">elementDeclComp</span>.<span class="zi">system</span><span class="zinfix">∈</span>{<span class="zi">xmlSchemaNamespaceURI</span>}<span class="zinfix">∪</span><span class="zi">system</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-ComponentModel">ComponentModel</a>, <a href="#zed-ElementDeclaration">ElementDeclaration</a>, <a href="#zed-AbsoluteURI">AbsoluteURI</a>, <a href="#zed-ElementDeclFragId">ElementDeclFragId</a>, <a href="#zed-xmlSchemaNamespaceURI">xmlSchemaNamespaceURI</a>.</span></span></div> + + </div> + </div> *************** *** 10819,10822 **** --- 10872,10904 ---- </li> </ol> + + <a name="zed-TypeDefFragId"></a><div id="twisty-head-zed-TypeDefFragId" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-TypeDefFragId')">TypeDefFragId</a>...</div><div id="twisty-body-zed-TypeDefFragId" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-TypeDefFragId')">TypeDefFragId</a> [ <a onClick="showAll()" href="#zed-TypeDefFragId">show all</a> ] [ <a onClick="hideAll()" href="#zed-TypeDefFragId">hide all</a> ]<br> + <p> + Let + <span class="zi">TypeDefFragId</span> + represent the fragment identifier for the + <a href="wsdl20.html#component-TypeDefinition">Type Definition</a> + component: + </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">TypeDefFragId</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">element</span> <span class="zinfix">:</span> <span class="zi">QName</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">system</span> <span class="zinfix">:</span> <span class="zi">OPTIONAL</span>[<span class="zi">AbsoluteURI</span>]</span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">system</span><span class="zinfix">≠</span>{<span class="zi">xmlSchemaNamespaceURI</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-QName">QName</a>, <a href="#zed-OPTIONAL">OPTIONAL</a>, <a href="#zed-AbsoluteURI">AbsoluteURI</a>, <a href="#zed-xmlSchemaNamespaceURI">xmlSchemaNamespaceURI</a>.</span></span></div> + + </div> + + <a name="zed-TypeDefDesignator"></a><div id="twisty-head-zed-TypeDefDesignator" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-TypeDefDesignator')">TypeDefDesignator</a>...</div><div id="twisty-body-zed-TypeDefDesignator" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-TypeDefDesignator')">TypeDefDesignator</a> [ <a onClick="showAll()" href="#zed-TypeDefDesignator">show all</a> ] [ <a onClick="hideAll()" href="#zed-TypeDefDesignator">hide all</a> ]<br> + <p> + Let <span class="zi">TypeDefDesignator</span> + express the association between an <a href="wsdl20.html#component-ElementDeclaration">Element Declaration</a> + component and the IRI reference formed + by a namespace IRI and an type definition fragment identifier: + </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">TypeDefDesignator</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">typeDefComp</span> <span class="zinfix">:</span> <span class="zi">TypeDefinition</span></span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">namespace</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">TypeDefFragId</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span clss="zi">typeDefComp</span><span class="zinfix">∈</span><span class="zi">typeDefComps</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">typeDefComp</span>.<span class="zi">name</span> <span class="zinfix">=</span> <span class="zi">element</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">typeDefComp</span>.<span class="zi">system</span><span class="zinfix">∈</span>{<span class="zi">xmlSchemaNamespaceURI</span>}<span class="zinfix">∪</span><span class="zi">system</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-ComponentModel">ComponentModel</a>, <a href="#zed-TypeDefinition">TypeDefinition</a>, <a href="#zed-AbsoluteURI">AbsoluteURI</a>, <a href="#zed-TypeDefFragId">TypeDefFragId</a>, <a href="#zed-xmlSchemaNamespaceURI">xmlSchemaNamespaceURI</a>.</span></span></div> + + </div> + </div> *************** *** 11959,11963 **** <div class="div1"> ! <h2><a name="N1698F"></a>D. Component Summary (Non-Normative)</h2> <p> <a href="#component-summary">Table D-1</a> --- 12041,12045 ---- <div class="div1"> ! <h2><a name="N16A69"></a>D. Component Summary (Non-Normative)</h2> <p> <a href="#component-summary">Table D-1</a> *************** *** 12039,12043 **** </td> <td rowspan="1" colspan="1"> ! {<a href="wsdl20.html#property-ElementDeclaration.name">name</a>} </td> </tr> --- 12121,12125 ---- </td> <td rowspan="1" colspan="1"> ! {<a href="wsdl20.html#property-ElementDeclaration.name">name</a>}, {<a href="wsdl20.html#property-ElementDeclaration.system">system</a>} </td> </tr> *************** *** 12119,12123 **** </td> <td rowspan="1" colspan="1"> ! {<a href="wsdl20.html#property-TypeDefinition.name">name</a>} </td> </tr> --- 12201,12205 ---- </td> <td rowspan="1" colspan="1"> ! {<a href="wsdl20.html#property-TypeDefinition.name">name</a>}, {<a href="wsdl20.html#property-TypeDefinition.system">system</a>} </td> </tr> *************** *** 12267,12270 **** --- 12349,12357 ---- </tr> <tr> + <td rowspan="1" colspan="1">system</td> + <td rowspan="1" colspan="1">Element Declaration.{<a href="wsdl20.html#property-ElementDeclaration.system">system</a>}, Type Definition.{<a href="wsdl20.html#property-TypeDefinition.system">system</a>} + </td> + </tr> + <tr> <td rowspan="1" colspan="1">type</td> <td rowspan="1" colspan="1">Binding.{<a href="wsdl20.html#property-Binding.type">type</a>} *************** *** 12566,12572 **** <tr> <td rowspan="1" colspan="1">20051113</td> <td rowspan="1" colspan="1">AGR</td> ! <td rowspan="1" colspan="1">Added Z Notation for fragment identifiers and component designators for Interface, Binding, and Service component families in Appendix A. </td> </tr> --- 12653,12668 ---- <tr> + <td rowspan="1" colspan="1">20051115</td> + <td rowspan="1" colspan="1">AGR</td> + <td rowspan="1" colspan="1">Added Z Notation for fragment identifiers and component designators for Element Declaration and Type Definition components in + <a href="#frag-ids">Appendix A - Fragment Identifiers</a>. + </td> + </tr> + + <tr> <td rowspan="1" colspan="1">20051113</td> <td rowspan="1" colspan="1">AGR</td> ! <td rowspan="1" colspan="1">Added Z Notation for fragment identifiers and component designators for Interface, Binding, and Service component families in ! <a href="#frag-ids">Appendix A - Fragment Identifiers</a>. </td> </tr> *************** *** 13288,13292 **** </tr> - <tr> <td rowspan="1" colspan="1">20050320</td> --- 13384,13387 ---- *************** *** 14388,14392 **** namespaces to <a href="#InterfaceOperation_details"><b>2.4.1 The Interface Operation Component</b></a></td> </tr> - <tr> <td rowspan="1" colspan="1">20030122</td> --- 14483,14486 ---- Index: wsdl20-defs.xml =================================================================== RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20-defs.xml,v retrieving revision 1.30 retrieving revision 1.31 diff -C2 -d -r1.30 -r1.31 *** wsdl20-defs.xml 14 Nov 2005 03:41:21 -0000 1.30 --- wsdl20-defs.xml 15 Nov 2005 20:00:59 -0000 1.31 *************** *** 20,24 **** --- 20,26 ---- <compdef comp="Endpoint"/> <propdef prop="name" comp="Element Declaration"/> + <propdef prop="system" comp="Element Declaration"/> <propdef prop="name" comp="Type Definition"/> + <propdef prop="system" comp="Type Definition"/> <propdef prop="parent" comp=""/> <propdef prop="interfaces" comp="Description"/> Index: wsdl20.html =================================================================== RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.html,v retrieving revision 1.248 retrieving revision 1.249 diff -C2 -d -r1.248 -r1.249 *** wsdl20.html 14 Nov 2005 03:41:22 -0000 1.248 --- wsdl20.html 15 Nov 2005 20:00:58 -0000 1.249 *************** *** 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="#N1698F">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="#N16A69">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="#N1698F">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="#N16A69">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"> *************** *** 684,688 **** An <a name="component-ElementDeclaration">Element Declaration</a> component defines the name and content model of an <em>element information item</em> such as that defined by an XML Schema global element declaration. ! It has a {<a name="property-ElementDeclaration.name">name</a>} property that is the QName of the <em>element information item</em>. </p> --- 684,690 ---- An <a name="component-ElementDeclaration">Element Declaration</a> component defines the name and content model of an <em>element information item</em> such as that defined by an XML Schema global element declaration. ! It has a {<a name="property-ElementDeclaration.name">name</a>} property that is the QName of the <em>element information item</em> ! and a {<a name="property-ElementDeclaration.system">system</a>} property that is the namespace IRI of the extension <em>element information item</em>s ! for the type system, e.g. the namespace of XML Schema. </p> *************** *** 694,698 **** A <a name="component-TypeDefinition">Type Definition</a> component defines the content model of an <em>element information item</em> such as that defined by an XML Schema global type definition. ! It has a {<a name="property-TypeDefinition.name">name</a>} property that is the QName of the type. </p> --- 696,702 ---- A <a name="component-TypeDefinition">Type Definition</a> component defines the content model of an <em>element information item</em> such as that defined by an XML Schema global type definition. ! It has a {<a name="property-TypeDefinition.name">name</a>} property that is the QName of the type ! and a {<a name="property-TypeDefinition.system">system</a>} property that is the namespace IRI of the extension <em>element information item</em>s ! for the type system, e.g. the namespace of XML Schema. </p> *************** *** 2695,2699 **** messages that participate in the pattern and assigns them unique message labels within the pattern (e.g. 'In', 'Out'). The purpose - of an <a href="wsdl20.html#component-InterfaceFaultReference">Interface Fault Reference</a> component is to associate an actual message type (XML element declaration or some other declaration (see --- 2699,2702 ---- *************** *** 6987,6990 **** --- 6990,6994 ---- of an <a href="wsdl20.html#component-Interface">Interface</a> component. </p> + </div> *************** *** 7204,7207 **** --- 7208,7212 ---- The WSDL 2.0 <code>import</code> <em>element information item</em> identifies namespaces used in foreign references. The existence of the WSDL 2.0 <code>import</code> <em>element information item</em> + signals that the WSDL 2.0 document may contain references to foreign components. The <code>wsdl:import</code> <em>element information item</em> is therefore like a forward declaration for other namespaces. *************** *** 8514,8517 **** --- 8519,8529 ---- </li> </ol> + + <a name="zed-xmlSchemaNamespaceURI"></a> + + <a name="zed-ElementDeclFragId"></a> + + <a name="zed-ElementDeclDesignator"></a> + </div> *************** *** 8547,8550 **** --- 8559,8567 ---- </li> </ol> + + <a name="zed-TypeDefFragId"></a> + + <a name="zed-TypeDefDesignator"></a> + </div> *************** *** 9385,9389 **** <div class="div1"> ! <h2><a name="N1698F"></a>D. Component Summary (Non-Normative)</h2> <p> <a href="#component-summary">Table D-1</a> --- 9402,9406 ---- <div class="div1"> ! <h2><a name="N16A69"></a>D. Component Summary (Non-Normative)</h2> <p> <a href="#component-summary">Table D-1</a> *************** *** 9465,9469 **** </td> <td rowspan="1" colspan="1"> ! {<a href="wsdl20.html#property-ElementDeclaration.name">name</a>} </td> </tr> --- 9482,9486 ---- </td> <td rowspan="1" colspan="1"> ! {<a href="wsdl20.html#property-ElementDeclaration.name">name</a>}, {<a href="wsdl20.html#property-ElementDeclaration.system">system</a>} </td> </tr> *************** *** 9545,9549 **** </td> <td rowspan="1" colspan="1"> ! {<a href="wsdl20.html#property-TypeDefinition.name">name</a>} </td> </tr> --- 9562,9566 ---- </td> <td rowspan="1" colspan="1"> ! {<a href="wsdl20.html#property-TypeDefinition.name">name</a>}, {<a href="wsdl20.html#property-TypeDefinition.system">system</a>} </td> </tr> *************** *** 9693,9696 **** --- 9710,9718 ---- </tr> <tr> + <td rowspan="1" colspan="1">system</td> + <td rowspan="1" colspan="1">Element Declaration.{<a href="wsdl20.html#property-ElementDeclaration.system">system</a>}, Type Definition.{<a href="wsdl20.html#property-TypeDefinition.system">system</a>} + </td> + </tr> + <tr> <td rowspan="1" colspan="1">type</td> <td rowspan="1" colspan="1">Binding.{<a href="wsdl20.html#property-Binding.type">type</a>} *************** *** 9992,9998 **** <tr> <td rowspan="1" colspan="1">20051113</td> <td rowspan="1" colspan="1">AGR</td> ! <td rowspan="1" colspan="1">Added Z Notation for fragment identifiers and component designators for Interface, Binding, and Service component families in Appendix A. </td> </tr> --- 10014,10029 ---- <tr> + <td rowspan="1" colspan="1">20051115</td> + <td rowspan="1" colspan="1">AGR</td> + <td rowspan="1" colspan="1">Added Z Notation for fragment identifiers and component designators for Element Declaration and Type Definition components in + <a href="#frag-ids">Appendix A - Fragment Identifiers</a>. + </td> + </tr> + + <tr> <td rowspan="1" colspan="1">20051113</td> <td rowspan="1" colspan="1">AGR</td> ! <td rowspan="1" colspan="1">Added Z Notation for fragment identifiers and component designators for Interface, Binding, and Service component families in ! <a href="#frag-ids">Appendix A - Fragment Identifiers</a>. </td> </tr> *************** *** 10714,10718 **** </tr> - <tr> <td rowspan="1" colspan="1">20050320</td> --- 10745,10748 ---- *************** *** 11814,11818 **** namespaces to <a href="#InterfaceOperation_details"><b>2.4.1 The Interface Operation Component</b></a></td> </tr> - <tr> <td rowspan="1" colspan="1">20030122</td> --- 11844,11847 ----
Received on Tuesday, 15 November 2005 20:01:26 UTC