- From: Arthur Ryman via cvs-syncmail <cvsmail@w3.org>
- Date: Mon, 21 Nov 2005 23:10:53 +0000
- To: public-ws-desc-eds@w3.org
Update of /sources/public/2002/ws/desc/wsdl20
In directory hutz:/tmp/cvs-serv17417/wsdl20
Modified Files:
component-assertion-table.xml wsdl20.tex wsdl20-z-ie.html
wsdl20-z.html wsdl20.html wsdl20-adjuncts.html wsdl20.xml
wsdl20-primer.html document-assertion-table.xml
Log Message:
Added assertions posted to mailing list: "types, description, interface, feature, and property assertions", Lawrence Mandel, 2005-11-17.
Index: wsdl20-adjuncts.html
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20-adjuncts.html,v
retrieving revision 1.115
retrieving revision 1.116
diff -C2 -d -r1.115 -r1.116
*** wsdl20-adjuncts.html 21 Nov 2005 20:04:28 -0000 1.115
--- wsdl20-adjuncts.html 21 Nov 2005 23:10:49 -0000 1.116
***************
*** 1,15 ****
! <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
! "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
! <html lang="en" xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
! <head>
! <meta name="generator" content=
! "HTML Tidy for Linux/x86 (vers 12 April 2005), see www.w3.org" />
! <meta http-equiv="Content-Type" content=
! "text/html; charset=utf-8" />
! <title>Web Services Description Language (WSDL) Version 2.0 Part 2:
! Adjuncts</title>
[...15031 lines suppressed...]
! <tr>
! <td rowspan="1" colspan="1">20020221</td>
! <td rowspan="1" colspan="1">JJM</td>
! <td rowspan="1" colspan="1">Renamed to "Part 2: Bindings"</td>
! </tr>
! <tr>
! <td rowspan="1" colspan="1">20020221</td>
! <td rowspan="1" colspan="1">JJM</td>
! <td rowspan="1" colspan="1">Created from http://www.w3.org/TR/2001/NOTE-wsdl-20010315</td>
! </tr>
! </tbody>
! </table><br>
! </div>
! </div>
!
!
!
! </div>
! </body></html>
\ No newline at end of file
Index: wsdl20-z-ie.html
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20-z-ie.html,v
retrieving revision 1.64
retrieving revision 1.65
diff -C2 -d -r1.64 -r1.65
*** wsdl20-z-ie.html 18 Nov 2005 21:38:06 -0000 1.64
--- wsdl20-z-ie.html 21 Nov 2005 23:10:48 -0000 1.65
***************
*** 45,49 ****
div.exampleHeader { font-weight: bold;
margin: 4px}
! </style><link href="zml.css" rel="stylesheet" type="text/css"><link type="text/css" rel="stylesheet" href="http://www.w3.org/StyleSheets/TR/base.css"><script src="twisty.js" language="JavaScript"></script><link type="" href="" title="" rel="alternate"><link href="#contents" rel="contents"></head><body>
<div class="head">
--- 45,51 ----
div.exampleHeader { font-weight: bold;
margin: 4px}
!
! th { color: #000000; background-color: #CCCC99; }
! </style><link href="zml.css" rel="stylesheet" type="text/css"><link type="text/css" rel="stylesheet" href="http://www.w3.org/StyleSheets/TR/base.css"><script src="twisty.js" language="JavaScript"></script><link type="" href="" title="" rel="alternate"><link href="#contents" rel="contents"></head><body>
<div class="head">
***************
*** 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="#N1717F">Component Summary</a> (Non-Normative)<br>E. <a href="#changelog">Part 1 Change Log</a> (Non-Normative)<br>F. <a href="#assertionsummary">Assertion Summry</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
--- 79,83 ----
<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="#N17208">Component Summary</a> (Non-Normative)<br>E. <a href="#changelog">Part 1 Change Log</a> (Non-Normative)<br>F. <a href="#assertionsummary">Assertion Summry</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="#N1717F">Component Summary</a> (Non-Normative)<br>E. <a href="#changelog">Part 1 Change Log</a> (Non-Normative)<br> E.1 <a href="#wsdl-changelog">WSDL 2.0 Specification Changs</a><br>F. <a href="#assertionsummary">Assertion Summary</a> (Non-Normative)<br></p></div><hr><div class="body">
<div class="div1">
--- 104,108 ----
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="#N17208">Component Summary</a> (Non-Normative)<br>E. <a href="#changelog">Part 1 Change Log</a> (Non-Normative)<br> E.1 <a href="#wsdl-changelog">WSDL 2.0 Specification Changs</a><br>F. <a href="#assertionsummary">Assertion Summary</a> (Non-Normative)<br></p></div><hr><div class="body">
<div class="div1">
***************
*** 1494,1500 ****
</p>
! <p>Each WSDL 2.0 or type system component MUST be uniquely
! identified by its qualified name. That is, if two distinct
! components of the same kind (<a href="wsdl20.html#component-Interface">Interface</a>, <a href="wsdl20.html#component-Binding">Binding</a>, etc.) are in
the same target namespace, then their QNames MUST be
unique. However, different kinds of components (e.g., an
--- 1496,1506 ----
</p>
! <p>
! <a name="Description-0024"></a><span style="background-color: pink;">
! Each WSDL 2.0 or type system component MUST be uniquely
! identified by its qualified name.
! </span><a href="#Description-0024-summary">†</a>
! That is, if two distinct components of the same kind (
! <a href="wsdl20.html#component-Interface">Interface</a>, <a href="wsdl20.html#component-Binding">Binding</a>, etc.) are in
the same target namespace, then their QNames MUST be
unique. However, different kinds of components (e.g., an
***************
*** 1622,1628 ****
<p>
The type of the <code>targetNamespace</code> <em>attribute information item</em> is
! <em>xs:anyURI</em>. Its value
MUST be an absolute IRI (see [<cite><a href="#RFC3987">IETF RFC 3987</a></cite>])
! and should be dereferenceable.
</p>
--- 1628,1635 ----
<p>
The type of the <code>targetNamespace</code> <em>attribute information item</em> is
! <em>xs:anyURI</em>.
! <a name="Description-0025"></a><span style="background-color: pink;">Its value
MUST be an absolute IRI (see [<cite><a href="#RFC3987">IETF RFC 3987</a></cite>])
! and should be dereferenceable.</span><a href="#Description-0025-summary">†</a>
</p>
***************
*** 1706,1710 ****
other type system which describes the [attributes]
and [children] properties of an <em>element information item</em>.
! It is an error if there are multiple type definitions for each QName.
</td>
</tr>
--- 1713,1717 ----
other type system which describes the [attributes]
and [children] properties of an <em>element information item</em>.
! <a name="Types-0026"></a><span style="background-color: pink;">It is an error if there are multiple type definitions for each QName.</span><a href="#Types-0026-summary">†</a>
</td>
</tr>
***************
*** 1728,1739 ****
operations.</p>
! <p> An interface can optionally extend one or more other
! interfaces. To avoid circular definitions, an
! interface MUST NOT appear as an element of the set of
! interfaces it extends, either directly or indirectly.
! The set of operations available in an interface includes all the operations defined by the
! interfaces it extends, along with any operations it directly
! defines. The operations directly defined on an interface are
! referred to as the <em>declared</em> operations of the interface.
In the process, operation components that are
equivalent per <a href="#compequiv"><b>2.17 Equivalence of Components</b></a> are treated as one.
--- 1735,1750 ----
operations.</p>
! <p>
! An interface can optionally extend one or more other interfaces.
! <a name="Interface-0027"></a><span style="background-color: pink;">
! To avoid circular definitions, an interface MUST NOT appear
! as an element of the set of interfaces it extends, either
! directly or indirectly.
! </span><a href="#Interface-0027-summary">†</a>
! The set of operations available in an interface includes all the
! operations defined by the interfaces it extends, along with any
! operations it directly defines. The operations directly defined
! on an interface are referred to as the
! <em>declared</em> operations of the interface.
In the process, operation components that are
equivalent per <a href="#compequiv"><b>2.17 Equivalence of Components</b></a> are treated as one.
***************
*** 1758,1769 ****
<li><p>{<a name="property-Interface.interfacefaults">interface faults</a>} OPTIONAL. The set of declared <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a>
components.
! The namespace name of the {<a href="wsdl20.html#property-InterfaceFault.name">name</a>} property of each <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a> in this set MUST be the
! same as the namespace name of the {<a href="wsdl20.html#property-Interface.name">name</a>} property of this <a href="wsdl20.html#component-Interface">Interface</a> component.
</p></li>
<li><p>{<a name="property-Interface.interfaceoperations">interface operations</a>} OPTIONAL. A set of declared <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a>
components.
! The namespace name of the {<a href="wsdl20.html#property-InterfaceOperation.name">name</a>} property of each <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> in this set MUST be the
! same as the namespace name of the {<a href="wsdl20.html#property-Interface.name">name</a>} property of this <a href="wsdl20.html#component-Interface">Interface</a> component.
</p></li>
--- 1769,1780 ----
<li><p>{<a name="property-Interface.interfacefaults">interface faults</a>} OPTIONAL. The set of declared <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a>
components.
! <a name="InterfaceFault-0028"></a><span style="background-color: pink;">The namespace name of the {<a href="wsdl20.html#property-InterfaceFault.name">name</a>} property of each <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a> in this set MUST be the
! same as the namespace name of the {<a href="wsdl20.html#property-Interface.name">name</a>} property of this <a href="wsdl20.html#component-Interface">Interface</a> component.</span><a href="#InterfaceFault-0028-summary">†</a>
</p></li>
<li><p>{<a name="property-Interface.interfaceoperations">interface operations</a>} OPTIONAL. A set of declared <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a>
components.
! <a name="InterfaceOperation-0029"></a><span style="background-color: pink;">The namespace name of the {<a href="wsdl20.html#property-InterfaceOperation.name">name</a>} property of each <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> in this set MUST be the
! same as the namespace name of the {<a href="wsdl20.html#property-Interface.name">name</a>} property of this <a href="wsdl20.html#component-Interface">Interface</a> component.</span><a href="#InterfaceOperation-0029-summary">†</a>
</p></li>
***************
*** 1822,1827 ****
</div>
! <p>For each <a href="wsdl20.html#component-Interface">Interface</a> component in the {<a href="wsdl20.html#property-Description.interfaces">interfaces</a>}
! property of a <a href="wsdl20.html#component-Description">Description</a> component, the {<a href="wsdl20.html#property-Interface.name">name</a>} property MUST be unique.
</p>
--- 1833,1838 ----
</div>
! <p><a name="Interface-0030"></a><span style="background-color: pink;">For each <a href="wsdl20.html#component-Interface">Interface</a> component in the {<a href="wsdl20.html#property-Description.interfaces">interfaces</a>}
! property of a <a href="wsdl20.html#component-Description">Description</a> component, the {<a href="wsdl20.html#property-Interface.name">name</a>} property MUST be unique.</span><a href="#Interface-0030-summary">†</a>
</p>
***************
*** 2161,2166 ****
<p>
The type of the <code>styleDefault</code> <em>attribute information item</em> is
! <em>list of xs:anyURI</em>. Its value, if present, MUST contain
! absolute IRIs (see [<cite><a href="#RFC3987">IETF RFC 3987</a></cite>]).
</p>
--- 2172,2178 ----
<p>
The type of the <code>styleDefault</code> <em>attribute information item</em> is
! <em>list of xs:anyURI</em>.
! <a name="Interface-0031"></a><span style="background-color: pink;">Its value, if present, MUST contain
! absolute IRIs (see [<cite><a href="#RFC3987">IETF RFC 3987</a></cite>]).</span><a href="#Interface-0031-summary">†</a>
</p>
***************
*** 2381,2389 ****
</div>
!
! <p>For each <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a> component in the {<a href="wsdl20.html#property-Interface.interfacefaults">interface faults</a>}
! property of an <a href="wsdl20.html#component-Interface">Interface</a> component, the {<a href="wsdl20.html#property-InterfaceFault.name">name</a>} property must be unique.</p>
!
! <p><a href="wsdl20.html#component-InterfaceFault">Interface Fault</a> components are uniquely identified by the
the QName of the enclosing <a href="wsdl20.html#component-Interface">Interface</a> component and QName of the
<a href="wsdl20.html#component-InterfaceFault">Interface Fault</a> component itself.</p>
--- 2393,2412 ----
</div>
!
! <p>
! <a name="InterfaceFault-0032"></a><span style="background-color: pink;">
! For each
! <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a>
! component in the
! {<a href="wsdl20.html#property-Interface.interfacefaults">interface faults</a>}
! property of an
! <a href="wsdl20.html#component-Interface">Interface</a>
! component, the
! {<a href="wsdl20.html#property-InterfaceFault.name">name</a>}
! property must be unique.
! </span><a href="#InterfaceFault-0032-summary">†</a>
! </p>
!
! <p><a href="wsdl20.html#component-InterfaceFault">Interface Fault</a> components are uniquely identified by the
the QName of the enclosing <a href="wsdl20.html#component-Interface">Interface</a> component and QName of the
<a href="wsdl20.html#component-InterfaceFault">Interface Fault</a> component itself.</p>
***************
*** 2444,2451 ****
</div>
! <p>In cases where, due to an interface extending one or more
! other interfaces, two or more <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a> components
! have the same value for their {<a href="wsdl20.html#property-InterfaceFault.name">name</a>}
! property, then the component models of those <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a> components MUST be equivalent (see <a href="#compequiv"><b>2.17 Equivalence of Components</b></a>). If the <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a> components are
equivalent then they are considered to collapse into a single
component. It is an error if two <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a>
--- 2467,2485 ----
</div>
! <p>
! <a name="InterfaceFault-0033"></a><span style="background-color: pink;">
! In cases where, due to an interface extending one or more other
! interfaces, two or more
! <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a>
! components have the same value for their
! {<a href="wsdl20.html#property-InterfaceFault.name">name</a>}
! property, then the component models of those
! <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a>
! components MUST be equivalent (see
! <a href="#compequiv"><b>2.17 Equivalence of Components</b></a>
! ).
! </span><a href="#InterfaceFault-0033-summary">†</a>
! If the
! <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a> components are
equivalent then they are considered to collapse into a single
component. It is an error if two <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a>
***************
*** 2800,2809 ****
</div>
! <p>For each <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component in the
! {<a href="wsdl20.html#property-Interface.interfaceoperations">interface operations</a>}
! property of an <a href="wsdl20.html#component-Interface">Interface</a> component, the
! {<a href="wsdl20.html#property-InterfaceOperation.name">name</a>} property MUST be unique.</p>
!
! <p><a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> components are uniquely identified by the
the QName of the enclosing <a href="wsdl20.html#component-Interface">Interface</a> component and QName of the
<a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component itself.</p>
--- 2834,2852 ----
</div>
! <p>
! <a name="InterfaceOperation-0035"></a><span style="background-color: pink;">
! For each
! <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a>
! component in the
! {<a href="wsdl20.html#property-Interface.interfaceoperations">interface operations</a>}
! property of an
! <a href="wsdl20.html#component-Interface">Interface</a>
! component, the
! {<a href="wsdl20.html#property-InterfaceOperation.name">name</a>}
! property MUST be unique.
! </span><a href="#InterfaceOperation-0035-summary">†</a>
! </p>
!
! <p><a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> components are uniquely identified by the
the QName of the enclosing <a href="wsdl20.html#component-Interface">Interface</a> component and QName of the
<a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component itself.</p>
***************
*** 2849,2857 ****
component.</p></div>
! <p>In cases where, due to an interface extending one or more
other interfaces, two or more <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> components
have the same value for their {<a href="wsdl20.html#property-InterfaceOperation.name">name</a>}
property, then the component models of those Interface
! Operation components MUST be equivalent (see <a href="#compequiv"><b>2.17 Equivalence of Components</b></a>). If the <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> components are
equivalent then they are considered to collapse into a single
component. It is an error if two Interface Operation
--- 2892,2902 ----
component.</p></div>
! <p>
! <a name="InterfaceOperation-0036"></a><span style="background-color: pink;">In cases where, due to an interface extending one or more
other interfaces, two or more <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> components
have the same value for their {<a href="wsdl20.html#property-InterfaceOperation.name">name</a>}
property, then the component models of those Interface
! Operation components MUST be equivalent (see <a href="#compequiv"><b>2.17 Equivalence of Components</b></a>).</span><a href="#InterfaceOperation-0036-summary">†</a>
! If the <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> components are
equivalent then they are considered to collapse into a single
component. It is an error if two Interface Operation
***************
*** 3060,3069 ****
identified by its
{<a href="wsdl20.html#property-InterfaceMessageReference.messagelabel">message label</a>}
! property. A message exchange pattern is uniquely
identified by an absolute IRI which is used as the value
of the
{<a href="wsdl20.html#property-InterfaceOperation.messageexchangepattern">message exchange pattern</a>} property of the <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a>
component, and it specifies the fault propagation ruleset
! that its faults obey.
</p>
--- 3105,3115 ----
identified by its
{<a href="wsdl20.html#property-InterfaceMessageReference.messagelabel">message label</a>}
! property.
! <a name="MEP-0037"></a><span style="background-color: pink;">A message exchange pattern is uniquely
identified by an absolute IRI which is used as the value
of the
{<a href="wsdl20.html#property-InterfaceOperation.messageexchangepattern">message exchange pattern</a>} property of the <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a>
component, and it specifies the fault propagation ruleset
! that its faults obey.</span><a href="#MEP-0037-summary">†</a>
</p>
***************
*** 3096,3102 ****
{<a href="wsdl20.html#property-InterfaceOperation.style">style</a>} property of
the <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component contains a set of zero or more IRIs that identify
! operation styles. An <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component MUST satisfy the specification
defined by each operation style identified by its
{<a href="wsdl20.html#property-InterfaceOperation.style">style</a>} property.
If no <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component can simultaneously satisfy all of the styles,
the document is invalid.</p>
--- 3142,3150 ----
{<a href="wsdl20.html#property-InterfaceOperation.style">style</a>} property of
the <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component contains a set of zero or more IRIs that identify
! operation styles.
! <a name="InterfaceOperation-0038"></a><span style="background-color: pink;">An <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component MUST satisfy the specification
defined by each operation style identified by its
{<a href="wsdl20.html#property-InterfaceOperation.style">style</a>} property.
+ </span><a href="#InterfaceOperation-0038-summary">†</a>
If no <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component can simultaneously satisfy all of the styles,
the document is invalid.</p>
***************
*** 3425,3431 ****
{<a href="wsdl20.html#property-InterfaceOperation.messageexchangepattern">message exchange pattern</a>} of the
<a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component this message is contained
! within. The value of this property MUST match the name of
a placeholder message defined by the message
! exchange pattern.</p></li>
<li><p>{<a name="property-InterfaceMessageReference.direction">direction</a>} REQUIRED. An <em>xs:token</em> with
--- 3473,3481 ----
{<a href="wsdl20.html#property-InterfaceOperation.messageexchangepattern">message exchange pattern</a>} of the
<a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component this message is contained
! within.
! <a name="MessageLabel-0039"></a><span style="background-color: pink;">The value of this property MUST match the name of
a placeholder message defined by the message
! exchange pattern.</span><a href="#MessageLabel-0039-summary">†</a>
! </p></li>
<li><p>{<a name="property-InterfaceMessageReference.direction">direction</a>} REQUIRED. An <em>xs:token</em> with
***************
*** 3433,3442 ****
whether the message is coming
to the service or going from the service,
! respectively. The direction MUST be the same as the
direction of the message identified by the
{<a href="wsdl20.html#property-InterfaceMessageReference.messagelabel">message label</a>} property in the
{<a href="wsdl20.html#property-InterfaceOperation.messageexchangepattern">message exchange pattern</a>} of the
<a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component this is
! contained within. </p></li>
<li><p>{<a name="property-InterfaceMessageReference.messagecontentmodel">message content model</a>} REQUIRED. An
--- 3483,3494 ----
whether the message is coming
to the service or going from the service,
! respectively.
! <a name="InterfaceMessageReference-0040"></a><span style="background-color: pink;">The direction MUST be the same as the
direction of the message identified by the
{<a href="wsdl20.html#property-InterfaceMessageReference.messagelabel">message label</a>} property in the
{<a href="wsdl20.html#property-InterfaceOperation.messageexchangepattern">message exchange pattern</a>} of the
<a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component this is
! contained within.</span><a href="#InterfaceMessageReference-0040-summary">†</a>
! </p></li>
<li><p>{<a name="property-InterfaceMessageReference.messagecontentmodel">message content model</a>} REQUIRED. An
***************
*** 3463,3471 ****
{<a href="wsdl20.html#property-Description.elementdeclarations">element declarations</a>} property of
the Description component. This element
! represents the content or “payload” of the message. When
the {<a href="wsdl20.html#property-InterfaceMessageReference.messagecontentmodel">message content model</a>} property has the value
<em>#any</em> or <em>#none</em> the
{<a href="wsdl20.html#property-InterfaceMessageReference.elementdeclaration">element declaration</a>}
! property MUST be empty.</p> </li>
<li><p>{<a name="property-InterfaceMessageReference.features">features</a>} OPTIONAL. A set of <a href="wsdl20.html#component-Feature">Feature</a> components.</p></li>
--- 3515,3525 ----
{<a href="wsdl20.html#property-Description.elementdeclarations">element declarations</a>} property of
the Description component. This element
! represents the content or “payload” of the message.
! <a name="InterfaceMessageReference-0041"></a><span style="background-color: pink;">When
the {<a href="wsdl20.html#property-InterfaceMessageReference.messagecontentmodel">message content model</a>} property has the value
<em>#any</em> or <em>#none</em> the
{<a href="wsdl20.html#property-InterfaceMessageReference.elementdeclaration">element declaration</a>}
! property MUST be empty.</span><a href="#InterfaceMessageReference-0041-summary">†</a>
! </p> </li>
<li><p>{<a name="property-InterfaceMessageReference.features">features</a>} OPTIONAL. A set of <a href="wsdl20.html#component-Feature">Feature</a> components.</p></li>
***************
*** 3532,3539 ****
</div>
! <p> For each <a href="wsdl20.html#component-InterfaceMessageReference">Interface Message Reference</a> component in the
{<a href="wsdl20.html#property-InterfaceOperation.interfacemessagereferences">interface message references</a>} property of an
<a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component, its
! {<a href="wsdl20.html#property-InterfaceMessageReference.messagelabel">message label</a>} property MUST be unique.</p>
<a name="zed-InterfaceMessageReferenceKey"></a><div id="twisty-head-zed-InterfaceMessageReferenceKey" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-InterfaceMessageReferenceKey')">InterfaceMessageReferenceKey</a>...</div><div id="twisty-body-zed-InterfaceMessageReferenceKey" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-InterfaceMessageReferenceKey')">InterfaceMessageReferenceKey</a> [ <a onClick="showAll()" href="#zed-InterfaceMessageReferenceKey">show all</a> ] [ <a onClick="hideAll()" href="#zed-InterfaceMessageReferenceKey">hide all</a> ]<br>
--- 3586,3595 ----
</div>
! <p>
! <a name="InterfaceMessageReference-0042"></a><span style="background-color: pink;">For each <a href="wsdl20.html#component-InterfaceMessageReference">Interface Message Reference</a> component in the
{<a href="wsdl20.html#property-InterfaceOperation.interfacemessagereferences">interface message references</a>} property of an
<a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component, its
! {<a href="wsdl20.html#property-InterfaceMessageReference.messagelabel">message label</a>} property MUST be unique.</span><a href="#InterfaceMessageReference-0042-summary">†</a>
! </p>
<a name="zed-InterfaceMessageReferenceKey"></a><div id="twisty-head-zed-InterfaceMessageReferenceKey" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-InterfaceMessageReferenceKey')">InterfaceMessageReferenceKey</a>...</div><div id="twisty-body-zed-InterfaceMessageReferenceKey" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-InterfaceMessageReferenceKey')">InterfaceMessageReferenceKey</a> [ <a onClick="showAll()" href="#zed-InterfaceMessageReferenceKey">show all</a> ] [ <a onClick="hideAll()" href="#zed-InterfaceMessageReferenceKey">hide all</a> ]<br>
***************
*** 3912,3918 ****
{<a href="wsdl20.html#property-InterfaceOperation.messageexchangepattern">message exchange pattern</a>} property of the
<a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component
! it is contained within. The value of this property MUST
match the name of a placeholder message defined by the
! message exchange pattern.</p></li>
<li><p>{<a name="property-InterfaceFaultReference.direction">direction</a>} REQUIRED. A <em>xs:token</em> with
--- 3968,3976 ----
{<a href="wsdl20.html#property-InterfaceOperation.messageexchangepattern">message exchange pattern</a>} property of the
<a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component
! it is contained within.
! <a name="InterfaceFaultReference-0043"></a><span style="background-color: pink;">The value of this property MUST
match the name of a placeholder message defined by the
! message exchange pattern.</span><a href="#InterfaceFaultReference-0043-summary">†</a>
! </p></li>
<li><p>{<a name="property-InterfaceFaultReference.direction">direction</a>} REQUIRED. A <em>xs:token</em> with
***************
*** 3920,3926 ****
<em>out</em>, indicating whether the fault is coming
to the service or going from the service,
! respectively. The direction MUST be consistent with the
direction implied by the fault propagation ruleset used in the message
! exchange pattern of the operation. For example, if the
ruleset <em>fault-replaces-message</em> is used, then a fault
that refers to an outgoing message would have a
--- 3978,3986 ----
<em>out</em>, indicating whether the fault is coming
to the service or going from the service,
! respectively.
! <a name="InterfaceFaultReference-0044"></a><span style="background-color: pink;">The direction MUST be consistent with the
direction implied by the fault propagation ruleset used in the message
! exchange pattern of the operation.</span><a href="#InterfaceFaultReference-0044-summary">†</a>
! For example, if the
ruleset <em>fault-replaces-message</em> is used, then a fault
that refers to an outgoing message would have a
***************
*** 3974,3983 ****
<p>
! For each <a href="wsdl20.html#component-InterfaceFaultReference">Interface Fault Reference</a> component in the
{<a href="wsdl20.html#property-InterfaceOperation.interfacefaultreferences">interface fault references</a>} property of an
<a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a>
component, the combination of its
{<a href="wsdl20.html#property-InterfaceFaultReference.interfacefault">interface fault</a>} and
! {<a href="wsdl20.html#property-InterfaceFaultReference.messagelabel">message label</a>} properties MUST be unique.
</p>
--- 4034,4043 ----
<p>
! <a name="InterfaceFaultReference-0045"></a><span style="background-color: pink;">For each <a href="wsdl20.html#component-InterfaceFaultReference">Interface Fault Reference</a> component in the
{<a href="wsdl20.html#property-InterfaceOperation.interfacefaultreferences">interface fault references</a>} property of an
<a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a>
component, the combination of its
{<a href="wsdl20.html#property-InterfaceFaultReference.interfacefault">interface fault</a>} and
! {<a href="wsdl20.html#property-InterfaceFaultReference.messagelabel">message label</a>} properties MUST be unique.</span><a href="#InterfaceFaultReference-0045-summary">†</a>
</p>
***************
*** 4374,4379 ****
<ul>
<li><p>{<a name="property-Feature.ref">ref</a>} REQUIRED. An <em>xs:anyURI</em>.
! This <em>xs:anyURI</em> MUST be an absolute IRI
! as defined by [<cite><a href="#RFC3987">IETF RFC 3987</a></cite>]. This IRI SHOULD be
dereferenceable to a document that directly or indirectly defines
the meaning and use of the <a href="wsdl20.html#component-Feature">Feature</a> that it identifies.</p></li>
--- 4434,4440 ----
<ul>
<li><p>{<a name="property-Feature.ref">ref</a>} REQUIRED. An <em>xs:anyURI</em>.
! <a name="FeatureRef-0046"></a><span style="background-color: pink;">This <em>xs:anyURI</em> MUST be an absolute IRI
! as defined by [<cite><a href="#RFC3987">IETF RFC 3987</a></cite>]. </span><a href="#FeatureRef-0046-summary">†</a>
! This IRI SHOULD be
dereferenceable to a document that directly or indirectly defines
the meaning and use of the <a href="wsdl20.html#component-Feature">Feature</a> that it identifies.</p></li>
***************
*** 4423,4427 ****
<p>
! The {<a href="wsdl20.html#property-Feature.ref">ref</a>} property of a <a href="wsdl20.html#component-Feature">Feature</a> component MUST be unique
within the
{<a href="wsdl20.html#property-.features">features</a>} property of an
--- 4484,4488 ----
<p>
! <a name="FeatureRef-0047"></a><span style="background-color: pink;">The {<a href="wsdl20.html#property-Feature.ref">ref</a>} property of a <a href="wsdl20.html#component-Feature">Feature</a> component MUST be unique
within the
{<a href="wsdl20.html#property-.features">features</a>} property of an
***************
*** 4430,4434 ****
<a href="wsdl20.html#component-Binding">Binding</a>, <a href="wsdl20.html#component-BindingFault">Binding Fault</a>, <a href="wsdl20.html#component-BindingOperation">Binding Operation</a>,
<a href="wsdl20.html#component-BindingMessageReference">Binding Message Reference</a>, <a href="wsdl20.html#component-BindingFaultReference">Binding Fault Reference</a>,
! <a href="wsdl20.html#component-Service">Service</a>, or <a href="wsdl20.html#component-Endpoint">Endpoint</a> component.
</p>
--- 4491,4495 ----
<a href="wsdl20.html#component-Binding">Binding</a>, <a href="wsdl20.html#component-BindingFault">Binding Fault</a>, <a href="wsdl20.html#component-BindingOperation">Binding Operation</a>,
<a href="wsdl20.html#component-BindingMessageReference">Binding Message Reference</a>, <a href="wsdl20.html#component-BindingFaultReference">Binding Fault Reference</a>,
! <a href="wsdl20.html#component-Service">Service</a>, or <a href="wsdl20.html#component-Endpoint">Endpoint</a> component.</span><a href="#FeatureRef-0047-summary">†</a>
</p>
***************
*** 4968,4981 ****
<p>The properties of the <a name="component-Property">Property</a> component are as follows:</p>
<ul>
! <li><p>{<a name="property-Property.ref">ref</a>} REQUIRED. An <em>xs:anyURI</em>. This
! <em>xs:anyURI</em> MUST be an absolute IRI as defined by [<cite><a href="#RFC3987">IETF RFC 3987</a></cite>]. This IRI SHOULD be dereferenceable to a
document that directly or indirectly defines the meaning
and use of the Property that it identifies.</p></li>
! <li><p>{<a name="property-Property.valueconstraint">value constraint</a>} OPTIONAL. A reference to a
<a href="wsdl20.html#component-TypeDefinition">Type Definition</a> component in the {<a href="wsdl20.html#property-Description.typedefinitions">type definitions</a>} property of
the <a href="wsdl20.html#component-Description">Description</a> component constraining the
! value of the Property, or the token <em>#value</em> if
! the {<a href="wsdl20.html#property-Property.value">value</a>} property is not empty.</p></li>
<li><p>{<a name="property-Property.value">value</a>} OPTIONAL. The value of the Property, an
--- 5029,5046 ----
<p>The properties of the <a name="component-Property">Property</a> component are as follows:</p>
<ul>
! <li><p>{<a name="property-Property.ref">ref</a>} REQUIRED. An <em>xs:anyURI</em>.
! <a name="PropertyRef-0048"></a><span style="background-color: pink;">This
! <em>xs:anyURI</em> MUST be an absolute IRI as defined by [<cite><a href="#RFC3987">IETF RFC 3987</a></cite>].</span><a href="#PropertyRef-0048-summary">†</a>
! This IRI SHOULD be dereferenceable to a
document that directly or indirectly defines the meaning
and use of the Property that it identifies.</p></li>
! <li><p>{<a name="property-Property.valueconstraint">value constraint</a>} OPTIONAL.
! <a name="Property-0049"></a><span style="background-color: pink;">A reference to a
<a href="wsdl20.html#component-TypeDefinition">Type Definition</a> component in the {<a href="wsdl20.html#property-Description.typedefinitions">type definitions</a>} property of
the <a href="wsdl20.html#component-Description">Description</a> component constraining the
! value of the <a href="wsdl20.html#component-Property">Property</a>, or the token <em>#value</em> if
! the {<a href="wsdl20.html#property-Property.value">value</a>} property is not empty.</span><a href="#Property-0049-summary">†</a>
! </p></li>
<li><p>{<a name="property-Property.value">value</a>} OPTIONAL. The value of the Property, an
***************
*** 5054,5058 ****
<p>
! The {<a href="wsdl20.html#property-Property.ref">ref</a>} property of a <a href="wsdl20.html#component-Property">Property</a> component MUST be unique
within the {<a href="wsdl20.html#property-.properties">properties</a>} property of an
<a href="wsdl20.html#component-Interface">Interface</a>, <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a>, <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a>,
--- 5119,5123 ----
<p>
! <a name="Property-0050"></a><span style="background-color: pink;">The {<a href="wsdl20.html#property-Property.ref">ref</a>} property of a <a href="wsdl20.html#component-Property">Property</a> component MUST be unique
within the {<a href="wsdl20.html#property-.properties">properties</a>} property of an
<a href="wsdl20.html#component-Interface">Interface</a>, <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a>, <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a>,
***************
*** 5060,5064 ****
<a href="wsdl20.html#component-Binding">Binding</a>, <a href="wsdl20.html#component-BindingFault">Binding Fault</a>, <a href="wsdl20.html#component-BindingOperation">Binding Operation</a>,
<a href="wsdl20.html#component-BindingMessageReference">Binding Message Reference</a>, <a href="wsdl20.html#component-BindingFaultReference">Binding Fault Reference</a>,
! <a href="wsdl20.html#component-Service">Service</a>, or <a href="wsdl20.html#component-Endpoint">Endpoint</a> component.
</p>
--- 5125,5129 ----
<a href="wsdl20.html#component-Binding">Binding</a>, <a href="wsdl20.html#component-BindingFault">Binding Fault</a>, <a href="wsdl20.html#component-BindingOperation">Binding Operation</a>,
<a href="wsdl20.html#component-BindingMessageReference">Binding Message Reference</a>, <a href="wsdl20.html#component-BindingFaultReference">Binding Fault Reference</a>,
! <a href="wsdl20.html#component-Service">Service</a>, or <a href="wsdl20.html#component-Endpoint">Endpoint</a> component.</span><a href="#Property-0050-summary">†</a>
</p>
***************
*** 5394,5398 ****
However, it is in general feasible to test specified values for either equality
or membership in value sets.
! All specified values MUST be equal and belong to each specified value set.
</p>
--- 5459,5463 ----
However, it is in general feasible to test specified values for either equality
or membership in value sets.
! <a name="Property-0051"></a><span style="background-color: pink;">All specified values MUST be equal and belong to each specified value set.</span><a href="#Property-0051-summary">†</a>
</p>
***************
*** 9668,9672 ****
<p>A [namespace name] which has no value.</p>
</li>
-
</ul>
<p>The <code>namespace</code> <em>attribute information item</em> is of type
--- 9733,9736 ----
***************
*** 12671,12675 ****
<div class="div1">
! <h2><a name="N1717F"></a>D. Component Summary (Non-Normative)</h2>
<p>
<a href="#component-summary">Table D-1</a>
--- 12735,12739 ----
<div class="div1">
! <h2><a name="N17208"></a>D. Component Summary (Non-Normative)</h2>
<p>
<a href="#component-summary">Table D-1</a>
***************
*** 13030,13033 ****
--- 13094,13108 ----
<tr>
+ <td rowspan="1" colspan="1">20051121</td>
+ <td rowspan="1" colspan="1">AGR</td>
+ <td rowspan="1" colspan="1">
+ Added assertions posted to mailing list:
+ <a href="http://lists.w3.org/Archives/Public/www-ws-desc/2005Nov/0053.html">
+ "types, description, interface, feature, and property assertions", Lawrence Mandel, 2005-11-17.
+ </a>
+ </td>
+ </tr>
+
+ <tr>
<td rowspan="1" colspan="1">20051118</td>
<td rowspan="1" colspan="1">AGR</td>
***************
*** 13035,13039 ****
Added assertions posted to mailing list:
<a href="http://lists.w3.org/Archives/Public/www-ws-desc/2005Nov/0037.html">
! types assertions, Lawrence Mandel, 2005-11-15.
</a>
</td>
--- 13110,13114 ----
Added assertions posted to mailing list:
<a href="http://lists.w3.org/Archives/Public/www-ws-desc/2005Nov/0037.html">
! "types assertions", Lawrence Mandel, 2005-11-15.
</a>
</td>
***************
*** 13531,13535 ****
<tr>
<td rowspan="1" colspan="1">20050513</td>
-
<td rowspan="1" colspan="1">JJM</td>
<td rowspan="1" colspan="1"><a href="http://www.w3.org/2002/ws/desc/4/lc-issues/issues.html#LC18">LC18</a>:
--- 13606,13609 ----
***************
*** 15218,15222 ****
</div>
! <div class="div1">
<h2><a name="assertionsummary"></a>F. Assertion Summary (Non-Normative)</h2>
--- 15292,15296 ----
</div>
!
<h2><a name="assertionsummary"></a>F. Assertion Summary (Non-Normative)</h2>
***************
*** 15242,15245 ****
--- 15316,15327 ----
<tr>
<td rowspan="1" colspan="1">
+ <a href="#Description-0025" name="Description-0025-summary">Description-0025</a>
+ </td>
+ <td rowspan="1" colspan="1">Its value
+ MUST be an absolute IRI (see [<cite><a href="#RFC3987">IETF RFC 3987</a></cite>])
+ and should be dereferenceable.</td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
<a href="#Import-0001" name="Import-0001-summary">Import-0001</a>
</td>
***************
*** 15265,15268 ****
--- 15347,15357 ----
<tr>
<td rowspan="1" colspan="1">
+ <a href="#Interface-0031" name="Interface-0031-summary">Interface-0031</a>
+ </td>
+ <td rowspan="1" colspan="1">Its value, if present, MUST contain
+ absolute IRIs (see [<cite><a href="#RFC3987">IETF RFC 3987</a></cite>]).</td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
<a href="#MessageLabel-0004" name="MessageLabel-0004-summary">MessageLabel-0004</a>
</td>
***************
*** 15537,15540 ****
--- 15626,15869 ----
<tr>
<td rowspan="1" colspan="1">
+ <a href="#Description-0024" name="Description-0024-summary">Description-0024</a>
+ </td>
+ <td rowspan="1" colspan="1">
+ Each WSDL 2.0 or type system component MUST be uniquely
+ identified by its qualified name.
+ </td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
+ <a href="#FeatureRef-0046" name="FeatureRef-0046-summary">FeatureRef-0046</a>
+ </td>
+ <td rowspan="1" colspan="1">This <em>xs:anyURI</em> MUST be an absolute IRI
+ as defined by [<cite><a href="#RFC3987">IETF RFC 3987</a></cite>]. </td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
+ <a href="#FeatureRef-0047" name="FeatureRef-0047-summary">FeatureRef-0047</a>
+ </td>
+ <td rowspan="1" colspan="1">The {<a href="wsdl20.html#property-Feature.ref">ref</a>} property of a <a href="wsdl20.html#component-Feature">Feature</a> component MUST be unique
+ within the
+ {<a href="wsdl20.html#property-.features">features</a>} property of an
+ <a href="wsdl20.html#component-Interface">Interface</a>, <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a>, <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a>,
+ <a href="wsdl20.html#component-InterfaceMessageReference">Interface Message Reference</a>, <a href="wsdl20.html#component-InterfaceFaultReference">Interface Fault Reference</a>,
+ <a href="wsdl20.html#component-Binding">Binding</a>, <a href="wsdl20.html#component-BindingFault">Binding Fault</a>, <a href="wsdl20.html#component-BindingOperation">Binding Operation</a>,
+ <a href="wsdl20.html#component-BindingMessageReference">Binding Message Reference</a>, <a href="wsdl20.html#component-BindingFaultReference">Binding Fault Reference</a>,
+ <a href="wsdl20.html#component-Service">Service</a>, or <a href="wsdl20.html#component-Endpoint">Endpoint</a> component.</td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
+ <a href="#Interface-0027" name="Interface-0027-summary">Interface-0027</a>
+ </td>
+ <td rowspan="1" colspan="1">
+ To avoid circular definitions, an interface MUST NOT appear
+ as an element of the set of interfaces it extends, either
+ directly or indirectly.
+ </td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
+ <a href="#Interface-0030" name="Interface-0030-summary">Interface-0030</a>
+ </td>
+ <td rowspan="1" colspan="1">For each <a href="wsdl20.html#component-Interface">Interface</a> component in the {<a href="wsdl20.html#property-Description.interfaces">interfaces</a>}
+ property of a <a href="wsdl20.html#component-Description">Description</a> component, the {<a href="wsdl20.html#property-Interface.name">name</a>} property MUST be unique.</td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
+ <a href="#InterfaceFault-0028" name="InterfaceFault-0028-summary">InterfaceFault-0028</a>
+ </td>
+ <td rowspan="1" colspan="1">The namespace name of the {<a href="wsdl20.html#property-InterfaceFault.name">name</a>} property of each <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a> in this set MUST be the
+ same as the namespace name of the {<a href="wsdl20.html#property-Interface.name">name</a>} property of this <a href="wsdl20.html#component-Interface">Interface</a> component.</td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
+ <a href="#InterfaceFault-0032" name="InterfaceFault-0032-summary">InterfaceFault-0032</a>
+ </td>
+ <td rowspan="1" colspan="1">
+ For each
+ <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a>
+ component in the
+ {<a href="wsdl20.html#property-Interface.interfacefaults">interface faults</a>}
+ property of an
+ <a href="wsdl20.html#component-Interface">Interface</a>
+ component, the
+ {<a href="wsdl20.html#property-InterfaceFault.name">name</a>}
+ property must be unique.
+ </td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
+ <a href="#InterfaceFault-0033" name="InterfaceFault-0033-summary">InterfaceFault-0033</a>
+ </td>
+ <td rowspan="1" colspan="1">
+ In cases where, due to an interface extending one or more other
+ interfaces, two or more
+ <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a>
+ components have the same value for their
+ {<a href="wsdl20.html#property-InterfaceFault.name">name</a>}
+ property, then the component models of those
+ <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a>
+ components MUST be equivalent (see
+ <a href="#compequiv"><b>2.17 Equivalence of Components</b></a>
+ ).
+ </td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
+ <a href="#InterfaceFaultReference-0043" name="InterfaceFaultReference-0043-summary">InterfaceFaultReference-0043</a>
+ </td>
+ <td rowspan="1" colspan="1">The value of this property MUST
+ match the name of a placeholder message defined by the
+ message exchange pattern.</td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
+ <a href="#InterfaceFaultReference-0044" name="InterfaceFaultReference-0044-summary">InterfaceFaultReference-0044</a>
+ </td>
+ <td rowspan="1" colspan="1">The direction MUST be consistent with the
+ direction implied by the fault propagation ruleset used in the message
+ exchange pattern of the operation.</td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
+ <a href="#InterfaceFaultReference-0045" name="InterfaceFaultReference-0045-summary">InterfaceFaultReference-0045</a>
+ </td>
+ <td rowspan="1" colspan="1">For each <a href="wsdl20.html#component-InterfaceFaultReference">Interface Fault Reference</a> component in the
+ {<a href="wsdl20.html#property-InterfaceOperation.interfacefaultreferences">interface fault references</a>} property of an
+ <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a>
+ component, the combination of its
+ {<a href="wsdl20.html#property-InterfaceFaultReference.interfacefault">interface fault</a>} and
+ {<a href="wsdl20.html#property-InterfaceFaultReference.messagelabel">message label</a>} properties MUST be unique.</td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
+ <a href="#InterfaceMessageReference-0040" name="InterfaceMessageReference-0040-summary">InterfaceMessageReference-0040</a>
+ </td>
+ <td rowspan="1" colspan="1">The direction MUST be the same as the
+ direction of the message identified by the
+ {<a href="wsdl20.html#property-InterfaceMessageReference.messagelabel">message label</a>} property in the
+ {<a href="wsdl20.html#property-InterfaceOperation.messageexchangepattern">message exchange pattern</a>} of the
+ <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component this is
+ contained within.</td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
+ <a href="#InterfaceMessageReference-0041" name="InterfaceMessageReference-0041-summary">InterfaceMessageReference-0041</a>
+ </td>
+ <td rowspan="1" colspan="1">When
+ the {<a href="wsdl20.html#property-InterfaceMessageReference.messagecontentmodel">message content model</a>} property has the value
+ <em>#any</em> or <em>#none</em> the
+ {<a href="wsdl20.html#property-InterfaceMessageReference.elementdeclaration">element declaration</a>}
+ property MUST be empty.</td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
+ <a href="#InterfaceMessageReference-0042" name="InterfaceMessageReference-0042-summary">InterfaceMessageReference-0042</a>
+ </td>
+ <td rowspan="1" colspan="1">For each <a href="wsdl20.html#component-InterfaceMessageReference">Interface Message Reference</a> component in the
+ {<a href="wsdl20.html#property-InterfaceOperation.interfacemessagereferences">interface message references</a>} property of an
+ <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component, its
+ {<a href="wsdl20.html#property-InterfaceMessageReference.messagelabel">message label</a>} property MUST be unique.</td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
+ <a href="#InterfaceOperation-0029" name="InterfaceOperation-0029-summary">InterfaceOperation-0029</a>
+ </td>
+ <td rowspan="1" colspan="1">The namespace name of the {<a href="wsdl20.html#property-InterfaceOperation.name">name</a>} property of each <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> in this set MUST be the
+ same as the namespace name of the {<a href="wsdl20.html#property-Interface.name">name</a>} property of this <a href="wsdl20.html#component-Interface">Interface</a> component.</td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
+ <a href="#InterfaceOperation-0035" name="InterfaceOperation-0035-summary">InterfaceOperation-0035</a>
+ </td>
+ <td rowspan="1" colspan="1">
+ For each
+ <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a>
+ component in the
+ {<a href="wsdl20.html#property-Interface.interfaceoperations">interface operations</a>}
+ property of an
+ <a href="wsdl20.html#component-Interface">Interface</a>
+ component, the
+ {<a href="wsdl20.html#property-InterfaceOperation.name">name</a>}
+ property MUST be unique.
+ </td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
+ <a href="#InterfaceOperation-0036" name="InterfaceOperation-0036-summary">InterfaceOperation-0036</a>
+ </td>
+ <td rowspan="1" colspan="1">In cases where, due to an interface extending one or more
+ other interfaces, two or more <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> components
+ have the same value for their {<a href="wsdl20.html#property-InterfaceOperation.name">name</a>}
+ property, then the component models of those Interface
+ Operation components MUST be equivalent (see <a href="#compequiv"><b>2.17 Equivalence of Components</b></a>).</td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
+ <a href="#InterfaceOperation-0038" name="InterfaceOperation-0038-summary">InterfaceOperation-0038</a>
+ </td>
+ <td rowspan="1" colspan="1">An <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component MUST satisfy the specification
+ defined by each operation style identified by its
+ {<a href="wsdl20.html#property-InterfaceOperation.style">style</a>} property.
+ </td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
+ <a href="#MEP-0037" name="MEP-0037-summary">MEP-0037</a>
+ </td>
+ <td rowspan="1" colspan="1">A message exchange pattern is uniquely
+ identified by an absolute IRI which is used as the value
+ of the
+ {<a href="wsdl20.html#property-InterfaceOperation.messageexchangepattern">message exchange pattern</a>} property of the <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a>
+ component, and it specifies the fault propagation ruleset
+ that its faults obey.</td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
+ <a href="#MessageLabel-0039" name="MessageLabel-0039-summary">MessageLabel-0039</a>
+ </td>
+ <td rowspan="1" colspan="1">The value of this property MUST match the name of
+ a placeholder message defined by the message
+ exchange pattern.</td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
+ <a href="#Property-0049" name="Property-0049-summary">Property-0049</a>
+ </td>
+ <td rowspan="1" colspan="1">A reference to a
+ <a href="wsdl20.html#component-TypeDefinition">Type Definition</a> component in the {<a href="wsdl20.html#property-Description.typedefinitions">type definitions</a>} property of
+ the <a href="wsdl20.html#component-Description">Description</a> component constraining the
+ value of the <a href="wsdl20.html#component-Property">Property</a>, or the token <em>#value</em> if
+ the {<a href="wsdl20.html#property-Property.value">value</a>} property is not empty.</td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
+ <a href="#Property-0050" name="Property-0050-summary">Property-0050</a>
+ </td>
+ <td rowspan="1" colspan="1">The {<a href="wsdl20.html#property-Property.ref">ref</a>} property of a <a href="wsdl20.html#component-Property">Property</a> component MUST be unique
+ within the {<a href="wsdl20.html#property-.properties">properties</a>} property of an
+ <a href="wsdl20.html#component-Interface">Interface</a>, <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a>, <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a>,
+ <a href="wsdl20.html#component-InterfaceMessageReference">Interface Message Reference</a>, <a href="wsdl20.html#component-InterfaceFaultReference">Interface Fault Reference</a>,
+ <a href="wsdl20.html#component-Binding">Binding</a>, <a href="wsdl20.html#component-BindingFault">Binding Fault</a>, <a href="wsdl20.html#component-BindingOperation">Binding Operation</a>,
+ <a href="wsdl20.html#component-BindingMessageReference">Binding Message Reference</a>, <a href="wsdl20.html#component-BindingFaultReference">Binding Fault Reference</a>,
+ <a href="wsdl20.html#component-Service">Service</a>, or <a href="wsdl20.html#component-Endpoint">Endpoint</a> component.</td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
+
+ <a href="#Property-0051" name="Property-0051-summary">Property-0051</a>
+ </td>
+ <td rowspan="1" colspan="1">All specified values MUST be equal and belong to each specified value set.</td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
+ <a href="#PropertyRef-0048" name="PropertyRef-0048-summary">PropertyRef-0048</a>
+ </td>
+ <td rowspan="1" colspan="1">This
+ <em>xs:anyURI</em> MUST be an absolute IRI as defined by [<cite><a href="#RFC3987">IETF RFC 3987</a></cite>].</td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
<a href="#QName-0002" name="QName-0002-summary">QName-0002</a>
</td>
***************
*** 15545,15553 ****
).</td>
</tr>
</tbody>
</table><br>
! </div>
</div>
--- 15874,15888 ----
).</td>
</tr>
+ <tr>
+ <td rowspan="1" colspan="1">
+ <a href="#Types-0026" name="Types-0026-summary">Types-0026</a>
+ </td>
+ <td rowspan="1" colspan="1">It is an error if there are multiple type definitions for each QName.</td>
+ </tr>
</tbody>
</table><br>
!
</div>
Index: wsdl20.tex
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.tex,v
retrieving revision 1.98
retrieving revision 1.99
diff -C2 -d -r1.98 -r1.99
*** wsdl20.tex 18 Nov 2005 21:38:06 -0000 1.98
--- wsdl20.tex 21 Nov 2005 23:10:48 -0000 1.99
***************
*** 1869,1875 ****
! Each WSDL 2.0 or type system component MUST be uniquely
! identified by its qualified name. That is, if two distinct
! components of the same kind (Interface, Binding, etc.) are in
the same target namespace, then their QNames MUST be
unique. However, different kinds of components (e.g., an
--- 1869,1879 ----
!
!
! Each WSDL 2.0 or type system component MUST be uniquely
! identified by its qualified name.
!
! That is, if two distinct components of the same kind (
! Interface, Binding, etc.) are in
the same target namespace, then their QNames MUST be
unique. However, different kinds of components (e.g., an
***************
*** 1998,2002 ****
The type of the \texttt{targetNamespace} \textit{attribute information item} is
! \textit{xs:anyURI}. Its value
MUST be an absolute IRI (see \hyperlink{RFC3987}{[\textit{IETF RFC 3987}]})
and should be dereferenceable.
--- 2002,2007 ----
The type of the \texttt{targetNamespace} \textit{attribute information item} is
! \textit{xs:anyURI}.
! Its value
MUST be an absolute IRI (see \hyperlink{RFC3987}{[\textit{IETF RFC 3987}]})
and should be dereferenceable.
***************
*** 2107,2118 ****
operations.
! An interface can optionally extend one or more other
! interfaces. To avoid circular definitions, an
! interface MUST NOT appear as an element of the set of
! interfaces it extends, either directly or indirectly.
! The set of operations available in an interface includes all the operations defined by the
! interfaces it extends, along with any operations it directly
! defines. The operations directly defined on an interface are
! referred to as the \textit{declared} operations of the interface.
In the process, operation components that are
equivalent per \hyperlink{compequiv}{\textbf{\ref*{compequiv} Equivalence of Components}} are treated as one.
--- 2112,2127 ----
operations.
!
! An interface can optionally extend one or more other interfaces.
!
! To avoid circular definitions, an interface MUST NOT appear
! as an element of the set of interfaces it extends, either
! directly or indirectly.
!
! The set of operations available in an interface includes all the
! operations defined by the interfaces it extends, along with any
! operations it directly defines. The operations directly defined
! on an interface are referred to as the
! \textit{declared} operations of the interface.
In the process, operation components that are
equivalent per \hyperlink{compequiv}{\textbf{\ref*{compequiv} Equivalence of Components}} are treated as one.
***************
*** 2626,2630 ****
The type of the \texttt{styleDefault} \textit{attribute information item} is
! \textit{list of xs:anyURI}. Its value, if present, MUST contain
absolute IRIs (see \hyperlink{RFC3987}{[\textit{IETF RFC 3987}]}).
--- 2635,2640 ----
The type of the \texttt{styleDefault} \textit{attribute information item} is
! \textit{list of xs:anyURI}.
! Its value, if present, MUST contain
absolute IRIs (see \hyperlink{RFC3987}{[\textit{IETF RFC 3987}]}).
***************
*** 2861,2869 ****
! For each Interface Fault component in the interface faults
! property of an Interface component, the name property must be unique.
!
! Interface Fault components are uniquely identified by the
the QName of the enclosing Interface component and QName of the
Interface Fault component itself.
--- 2871,2890 ----
+
!
! For each
! Interface Fault
! component in the
! interface faults
! property of an
! Interface
! component, the
! name
! property must be unique.
!
!
!
! Interface Fault components are uniquely identified by the
the QName of the enclosing Interface component and QName of the
Interface Fault component itself.
***************
*** 2931,2939 ****
! In cases where, due to an interface extending one or more
! other interfaces, two or more Interface Fault components
! have the same value for their name
! property, then the component models of those Interface
! Fault components MUST be equivalent (see \hyperlink{compequiv}{\textbf{\ref*{compequiv} Equivalence of Components}}). If the Interface Fault components are
equivalent then they are considered to collapse into a single
component. It is an error if two Interface Fault
--- 2952,2970 ----
!
!
! In cases where, due to an interface extending one or more other
! interfaces, two or more
! Interface Fault
! components have the same value for their
! name
! property, then the component models of those
! Interface Fault
! components MUST be equivalent (see
! \hyperlink{compequiv}{\textbf{\ref*{compequiv} Equivalence of Components}}
! ).
!
! If the
! Interface Fault components are
equivalent then they are considered to collapse into a single
component. It is an error if two Interface Fault
***************
*** 3322,3331 ****
! For each Interface Operation component in the
! interface operations
! property of an Interface component, the
! name property MUST be unique.
!
! Interface Operation components are uniquely identified by the
the QName of the enclosing Interface component and QName of the
Interface Operation component itself.
--- 3353,3371 ----
!
!
! For each
! Interface Operation
! component in the
! interface operations
! property of an
! Interface
! component, the
! name
! property MUST be unique.
!
!
!
! Interface Operation components are uniquely identified by the
the QName of the enclosing Interface component and QName of the
Interface Operation component itself.
***************
*** 3378,3386 ****
component.
In cases where, due to an interface extending one or more
other interfaces, two or more Interface Operation components
have the same value for their name
property, then the component models of those Interface
! Operation components MUST be equivalent (see \hyperlink{compequiv}{\textbf{\ref*{compequiv} Equivalence of Components}}). If the Interface Operation components are
equivalent then they are considered to collapse into a single
component. It is an error if two Interface Operation
--- 3418,3428 ----
component.
+
In cases where, due to an interface extending one or more
other interfaces, two or more Interface Operation components
have the same value for their name
property, then the component models of those Interface
! Operation components MUST be equivalent (see \hyperlink{compequiv}{\textbf{\ref*{compequiv} Equivalence of Components}}).
! If the Interface Operation components are
equivalent then they are considered to collapse into a single
component. It is an error if two Interface Operation
***************
*** 3637,3641 ****
message label
! property. A message exchange pattern is uniquely
identified by an absolute IRI which is used as the value
of the
--- 3679,3684 ----
message label
! property.
! A message exchange pattern is uniquely
identified by an absolute IRI which is used as the value
of the
***************
*** 3688,3694 ****
style property of
the Interface Operation component contains a set of zero or more IRIs that identify
! operation styles. An Interface Operation component MUST satisfy the specification
defined by each operation style identified by its
style property.
If no Interface Operation component can simultaneously satisfy all of the styles,
the document is invalid.
--- 3731,3739 ----
style property of
the Interface Operation component contains a set of zero or more IRIs that identify
! operation styles.
! An Interface Operation component MUST satisfy the specification
defined by each operation style identified by its
style property.
+
If no Interface Operation component can simultaneously satisfy all of the styles,
the document is invalid.
***************
*** 4022,4028 ****
message exchange pattern of the
Interface Operation component this message is contained
! within. The value of this property MUST match the name of
a placeholder message defined by the message
exchange pattern.
\item direction REQUIRED. An \textit{xs:token} with
--- 4067,4075 ----
message exchange pattern of the
Interface Operation component this message is contained
! within.
! The value of this property MUST match the name of
a placeholder message defined by the message
exchange pattern.
+
\item direction REQUIRED. An \textit{xs:token} with
***************
*** 4030,4034 ****
whether the message is coming
to the service or going from the service,
! respectively. The direction MUST be the same as the
direction of the message identified by the
message label property in the
--- 4077,4082 ----
whether the message is coming
to the service or going from the service,
! respectively.
! The direction MUST be the same as the
direction of the message identified by the
message label property in the
***************
*** 4036,4039 ****
--- 4084,4088 ----
Interface Operation component this is
contained within.
+
\item message content model REQUIRED. An
***************
*** 4060,4068 ****
element declarations property of
the Description component. This element
! represents the content or ``payload'' of the message. When
the message content model property has the value
\textit{\#any} or \textit{\#none} the
element declaration
! property MUST be empty.
\item features OPTIONAL. A set of Feature components.
--- 4109,4119 ----
element declarations property of
the Description component. This element
! represents the content or ``payload'' of the message.
! When
the message content model property has the value
\textit{\#any} or \textit{\#none} the
element declaration
! property MUST be empty.
!
\item features OPTIONAL. A set of Feature components.
***************
*** 4151,4158 ****
! For each Interface Message Reference component in the
interface message references property of an
Interface Operation component, its
message label property MUST be unique.
\hypertarget{zed-InterfaceMessageReferenceKey}{}
--- 4202,4211 ----
!
! For each Interface Message Reference component in the
interface message references property of an
Interface Operation component, its
message label property MUST be unique.
+
\hypertarget{zed-InterfaceMessageReferenceKey}{}
***************
*** 4546,4552 ****
message exchange pattern property of the
Interface Operation component
! it is contained within. The value of this property MUST
match the name of a placeholder message defined by the
message exchange pattern.
\item direction REQUIRED. A \textit{xs:token} with
--- 4599,4607 ----
message exchange pattern property of the
Interface Operation component
! it is contained within.
! The value of this property MUST
match the name of a placeholder message defined by the
message exchange pattern.
+
\item direction REQUIRED. A \textit{xs:token} with
***************
*** 4554,4560 ****
\textit{out}, indicating whether the fault is coming
to the service or going from the service,
! respectively. The direction MUST be consistent with the
direction implied by the fault propagation ruleset used in the message
! exchange pattern of the operation. For example, if the
ruleset \textit{fault-replaces-message} is used, then a fault
that refers to an outgoing message would have a
--- 4609,4617 ----
\textit{out}, indicating whether the fault is coming
to the service or going from the service,
! respectively.
! The direction MUST be consistent with the
direction implied by the fault propagation ruleset used in the message
! exchange pattern of the operation.
! For example, if the
ruleset \textit{fault-replaces-message} is used, then a fault
that refers to an outgoing message would have a
***************
*** 5048,5052 ****
\item ref REQUIRED. An \textit{xs:anyURI}.
This \textit{xs:anyURI} MUST be an absolute IRI
! as defined by \hyperlink{RFC3987}{[\textit{IETF RFC 3987}]}. This IRI SHOULD be
dereferenceable to a document that directly or indirectly defines
the meaning and use of the Feature that it identifies.
--- 5105,5110 ----
\item ref REQUIRED. An \textit{xs:anyURI}.
This \textit{xs:anyURI} MUST be an absolute IRI
! as defined by \hyperlink{RFC3987}{[\textit{IETF RFC 3987}]}.
! This IRI SHOULD be
dereferenceable to a document that directly or indirectly defines
the meaning and use of the Feature that it identifies.
***************
*** 5683,5696 ****
The properties of the Property component are as follows:
\begin{itemize}
! \item ref REQUIRED. An \textit{xs:anyURI}. This
! \textit{xs:anyURI} MUST be an absolute IRI as defined by \hyperlink{RFC3987}{[\textit{IETF RFC 3987}]}. This IRI SHOULD be dereferenceable to a
document that directly or indirectly defines the meaning
and use of the Property that it identifies.
! \item value constraint OPTIONAL. A reference to a
Type Definition component in the type definitions property of
the Description component constraining the
value of the Property, or the token \textit{\#value} if
the value property is not empty.
\item value OPTIONAL. The value of the Property, an
--- 5741,5758 ----
The properties of the Property component are as follows:
\begin{itemize}
! \item ref REQUIRED. An \textit{xs:anyURI}.
! This
! \textit{xs:anyURI} MUST be an absolute IRI as defined by \hyperlink{RFC3987}{[\textit{IETF RFC 3987}]}.
! This IRI SHOULD be dereferenceable to a
document that directly or indirectly defines the meaning
and use of the Property that it identifies.
! \item value constraint OPTIONAL.
! A reference to a
Type Definition component in the type definitions property of
the Description component constraining the
value of the Property, or the token \textit{\#value} if
the value property is not empty.
+
\item value OPTIONAL. The value of the Property, an
***************
*** 9392,9396 ****
ComponentModel2
\where
-
\forall x, y : endpointComps | \\
\t1 x.parent = y.parent \land \\
--- 9454,9457 ----
***************
*** 10804,10808 ****
A [namespace name] which has no value.
-
\end{itemize}
The \texttt{namespace} \textit{attribute information item} is of type
--- 10865,10868 ----
***************
*** 14805,14808 ****
--- 14865,14879 ----
+ 20051121&
+ AGR&
+
+ Added assertions posted to mailing list:
+ \href{http://lists.w3.org/Archives/Public/www-ws-desc/2005Nov/0053.html}{
+ "types, description, interface, feature, and property assertions", Lawrence Mandel, 2005-11-17.
+ }
+
+ \\ \hline
+
+
20051118&
AGR&
***************
*** 14810,14814 ****
Added assertions posted to mailing list:
\href{http://lists.w3.org/Archives/Public/www-ws-desc/2005Nov/0037.html}{
! types assertions, Lawrence Mandel, 2005-11-15.
}
--- 14881,14885 ----
Added assertions posted to mailing list:
\href{http://lists.w3.org/Archives/Public/www-ws-desc/2005Nov/0037.html}{
! "types assertions", Lawrence Mandel, 2005-11-15.
}
***************
*** 15306,15310 ****
20050513&
-
JJM&
\href{http://www.w3.org/2002/ws/desc/4/lc-issues/issues.html#LC18}{LC18}:
--- 15377,15380 ----
***************
*** 17017,17020 ****
--- 17087,17098 ----
&
+ Its value
+ MUST be an absolute IRI (see \hyperlink{RFC3987}{[\textit{IETF RFC 3987}]})
+ and should be dereferenceable.
+ \\ \hline
+
+
+
+ &
However, any WSDL 2.0 document that contains component
***************
*** 17040,17043 ****
--- 17118,17128 ----
&
+ Its value, if present, MUST contain
+ absolute IRIs (see \hyperlink{RFC3987}{[\textit{IETF RFC 3987}]}).
+ \\ \hline
+
+
+
+ &
The
***************
*** 17309,17312 ****
--- 17394,17639 ----
&
+ Each WSDL 2.0 or type system component MUST be uniquely
+ identified by its qualified name.
+
+ \\ \hline
+
+
+
+ &
+ This \textit{xs:anyURI} MUST be an absolute IRI
+ as defined by \hyperlink{RFC3987}{[\textit{IETF RFC 3987}]}.
+ \\ \hline
+
+
+
+ &
+ The ref property of a Feature component MUST be unique
+ within the
+ features property of an
+ Interface, Interface Fault, Interface Operation,
+ Interface Message Reference, Interface Fault Reference,
+ Binding, Binding Fault, Binding Operation,
+ Binding Message Reference, Binding Fault Reference,
+ Service, or Endpoint component.
+ \\ \hline
+
+
+
+ &
+
+ To avoid circular definitions, an interface MUST NOT appear
+ as an element of the set of interfaces it extends, either
+ directly or indirectly.
+
+ \\ \hline
+
+
+
+ &
+ For each Interface component in the interfaces
+ property of a Description component, the name property MUST be unique.
+ \\ \hline
+
+
+
+ &
+ The namespace name of the name property of each Interface Fault in this set MUST be the
+ same as the namespace name of the name property of this Interface component.
+ \\ \hline
+
+
+
+ &
+
+ For each
+ Interface Fault
+ component in the
+ interface faults
+ property of an
+ Interface
+ component, the
+ name
+ property must be unique.
+
+ \\ \hline
+
+
+
+ &
+
+ In cases where, due to an interface extending one or more other
+ interfaces, two or more
+ Interface Fault
+ components have the same value for their
+ name
+ property, then the component models of those
+ Interface Fault
+ components MUST be equivalent (see
+ \hyperlink{compequiv}{\textbf{\ref*{compequiv} Equivalence of Components}}
+ ).
+
+ \\ \hline
+
+
+
+ &
+ The value of this property MUST
+ match the name of a placeholder message defined by the
+ message exchange pattern.
+ \\ \hline
+
+
+
+ &
+ The direction MUST be consistent with the
+ direction implied by the fault propagation ruleset used in the message
+ exchange pattern of the operation.
+ \\ \hline
+
+
+
+ &
+ For each Interface Fault Reference component in the
+ interface fault references property of an
+ Interface Operation
+ component, the combination of its
+ interface fault and
+ message label properties MUST be unique.
+ \\ \hline
+
+
+
+ &
+ The direction MUST be the same as the
+ direction of the message identified by the
+ message label property in the
+ message exchange pattern of the
+ Interface Operation component this is
+ contained within.
+ \\ \hline
+
+
+
+ &
+ When
+ the message content model property has the value
+ \textit{\#any} or \textit{\#none} the
+ element declaration
+ property MUST be empty.
+ \\ \hline
+
+
+
+ &
+ For each Interface Message Reference component in the
+ interface message references property of an
+ Interface Operation component, its
+ message label property MUST be unique.
+ \\ \hline
+
+
+
+ &
+ The namespace name of the name property of each Interface Operation in this set MUST be the
+ same as the namespace name of the name property of this Interface component.
+ \\ \hline
+
+
+
+ &
+
+ For each
+ Interface Operation
+ component in the
+ interface operations
+ property of an
+ Interface
+ component, the
+ name
+ property MUST be unique.
+
+ \\ \hline
+
+
+
+ &
+ In cases where, due to an interface extending one or more
+ other interfaces, two or more Interface Operation components
+ have the same value for their name
+ property, then the component models of those Interface
+ Operation components MUST be equivalent (see \hyperlink{compequiv}{\textbf{\ref*{compequiv} Equivalence of Components}}).
+ \\ \hline
+
+
+
+ &
+ An Interface Operation component MUST satisfy the specification
+ defined by each operation style identified by its
+ style property.
+
+ \\ \hline
+
+
+
+ &
+ A message exchange pattern is uniquely
+ identified by an absolute IRI which is used as the value
+ of the
+
+ message exchange pattern
+ property of the Interface Operation
+ component, and it specifies the fault propagation ruleset
+ that its faults obey.
+ \\ \hline
+
+
+
+ &
+ The value of this property MUST match the name of
+ a placeholder message defined by the message
+ exchange pattern.
+ \\ \hline
+
+
+
+ &
+ A reference to a
+ Type Definition component in the type definitions property of
+ the Description component constraining the
+ value of the Property, or the token \textit{\#value} if
+ the value property is not empty.
+ \\ \hline
+
+
+
+ &
+ The ref property of a Property component MUST be unique
+ within the properties property of an
+ Interface, Interface Fault, Interface Operation,
+ Interface Message Reference, Interface Fault Reference,
+ Binding, Binding Fault, Binding Operation,
+ Binding Message Reference, Binding Fault Reference,
+ Service, or Endpoint component.
+ \\ \hline
+
+
+
+
+ &
+ All specified values MUST be equal and belong to each specified value set.
+ \\ \hline
+
+
+
+ &
+ This
+ \textit{xs:anyURI} MUST be an absolute IRI as defined by \hyperlink{RFC3987}{[\textit{IETF RFC 3987}]}.
+ \\ \hline
+
+
+
+ &
+
Furthermore, all QName references, whether to the same or
to different namespaces MUST resolve to components (see
***************
*** 17314,17317 ****
--- 17641,17650 ----
).
\\ \hline
+
+
+
+ &
+ It is an error if there are multiple type definitions for each QName.
+ \\ \hline
\end{longtable}
Index: component-assertion-table.xml
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/component-assertion-table.xml,v
retrieving revision 1.4
retrieving revision 1.5
diff -C2 -d -r1.4 -r1.5
*** component-assertion-table.xml 27 Oct 2005 18:07:57 -0000 1.4
--- component-assertion-table.xml 21 Nov 2005 23:10:48 -0000 1.5
***************
*** 7,10 ****
--- 7,251 ----
<tr>
<td>
+ <assert-summary ref="Description-0024"/>
+ </td>
+ <td>
+ Each WSDL 2.0 or type system component MUST be uniquely
+ identified by its qualified name.
+ </td>
+ </tr>
+ <tr>
+ <td>
+ <assert-summary ref="FeatureRef-0046"/>
+ </td>
+ <td>This <emph>xs:anyURI</emph> MUST be an absolute IRI
+ as defined by <bibref ref="RFC3987"/>. </td>
+ </tr>
+ <tr>
+ <td>
+ <assert-summary ref="FeatureRef-0047"/>
+ </td>
+ <td>The <prop comp="Feature">ref</prop> property of a <comp>Feature</comp> component MUST be unique
+ within the
+ <prop comp="">features</prop> property of an
+ <comp>Interface</comp>, <comp>Interface Fault</comp>, <comp>Interface Operation</comp>,
+ <comp>Interface Message Reference</comp>, <comp>Interface Fault Reference</comp>,
+ <comp>Binding</comp>, <comp>Binding Fault</comp>, <comp>Binding Operation</comp>,
+ <comp>Binding Message Reference</comp>, <comp>Binding Fault Reference</comp>,
+ <comp>Service</comp>, or <comp>Endpoint</comp> component.</td>
+ </tr>
+ <tr>
+ <td>
+ <assert-summary ref="Interface-0027"/>
+ </td>
+ <td>
+ To avoid circular definitions, an interface MUST NOT appear
+ as an element of the set of interfaces it extends, either
+ directly or indirectly.
+ </td>
+ </tr>
+ <tr>
+ <td>
+ <assert-summary ref="Interface-0030"/>
+ </td>
+ <td>For each <comp>Interface</comp> component in the <prop comp="Description">interfaces</prop>
+ property of a <comp>Description</comp> component, the <prop comp="Interface">name</prop> property MUST be unique.</td>
+ </tr>
+ <tr>
+ <td>
+ <assert-summary ref="InterfaceFault-0028"/>
+ </td>
+ <td>The namespace name of the <prop comp="Interface Fault">name</prop> property of each <comp>Interface Fault</comp> in this set MUST be the
+ same as the namespace name of the <prop comp="Interface">name</prop> property of this <comp>Interface</comp> component.</td>
+ </tr>
+ <tr>
+ <td>
+ <assert-summary ref="InterfaceFault-0032"/>
+ </td>
+ <td>
+ For each
+ <comp>Interface Fault</comp>
+ component in the
+ <prop comp="Interface">interface faults</prop>
+ property of an
+ <comp>Interface</comp>
+ component, the
+ <prop comp="Interface Fault">name</prop>
+ property must be unique.
+ </td>
+ </tr>
+ <tr>
+ <td>
+ <assert-summary ref="InterfaceFault-0033"/>
+ </td>
+ <td>
+ In cases where, due to an interface extending one or more other
+ interfaces, two or more
+ <comp>Interface Fault</comp>
+ components have the same value for their
+ <prop comp="Interface Fault">name</prop>
+ property, then the component models of those
+ <comp>Interface Fault</comp>
+ components MUST be equivalent (see
+ <specref ref="compequiv"/>
+ ).
+ </td>
+ </tr>
+ <tr>
+ <td>
+ <assert-summary ref="InterfaceFaultReference-0043"/>
+ </td>
+ <td>The value of this property MUST
+ match the name of a placeholder message defined by the
+ message exchange pattern.</td>
+ </tr>
+ <tr>
+ <td>
+ <assert-summary ref="InterfaceFaultReference-0044"/>
+ </td>
+ <td>The direction MUST be consistent with the
+ direction implied by the fault propagation ruleset used in the message
+ exchange pattern of the operation.</td>
+ </tr>
+ <tr>
+ <td>
+ <assert-summary ref="InterfaceFaultReference-0045"/>
+ </td>
+ <td>For each <comp>Interface Fault Reference</comp> component in the
+ <prop comp="Interface Operation">interface fault references</prop> property of an
+ <comp>Interface Operation</comp>
+ component, the combination of its
+ <prop comp="Interface Fault Reference">interface fault</prop> and
+ <prop comp="Interface Fault Reference">message label</prop> properties MUST be unique.</td>
+ </tr>
+ <tr>
+ <td>
+ <assert-summary ref="InterfaceMessageReference-0040"/>
+ </td>
+ <td>The direction MUST be the same as the
+ direction of the message identified by the
+ <prop comp="Interface Message Reference">message label</prop> property in the
+ <prop comp="Interface Operation">message exchange pattern</prop> of the
+ <comp>Interface Operation</comp> component this is
+ contained within.</td>
+ </tr>
+ <tr>
+ <td>
+ <assert-summary ref="InterfaceMessageReference-0041"/>
+ </td>
+ <td>When
+ the <prop comp="Interface Message Reference">message content model</prop> property has the value
+ <emph>#any</emph> or <emph>#none</emph> the
+ <prop comp="Interface Message Reference">element declaration</prop>
+ property MUST be empty.</td>
+ </tr>
+ <tr>
+ <td>
+ <assert-summary ref="InterfaceMessageReference-0042"/>
+ </td>
+ <td>For each <comp>Interface Message Reference</comp> component in the
+ <prop comp="Interface Operation">interface message references</prop> property of an
+ <comp>Interface Operation</comp> component, its
+ <prop comp="Interface Message Reference">message label</prop> property MUST be unique.</td>
+ </tr>
+ <tr>
+ <td>
+ <assert-summary ref="InterfaceOperation-0029"/>
+ </td>
+ <td>The namespace name of the <prop comp="Interface Operation">name</prop> property of each <comp>Interface Operation</comp> in this set MUST be the
+ same as the namespace name of the <prop comp="Interface">name</prop> property of this <comp>Interface</comp> component.</td>
+ </tr>
+ <tr>
+ <td>
+ <assert-summary ref="InterfaceOperation-0035"/>
+ </td>
+ <td>
+ For each
+ <comp>Interface Operation</comp>
+ component in the
+ <prop comp="Interface">interface operations</prop>
+ property of an
+ <comp>Interface</comp>
+ component, the
+ <prop comp="Interface Operation">name</prop>
+ property MUST be unique.
+ </td>
+ </tr>
+ <tr>
+ <td>
+ <assert-summary ref="InterfaceOperation-0036"/>
+ </td>
+ <td>In cases where, due to an interface extending one or more
+ other interfaces, two or more <comp>Interface Operation</comp> components
+ have the same value for their <prop comp="Interface Operation">name</prop>
+ property, then the component models of those Interface
+ Operation components MUST be equivalent (see <specref ref="compequiv"/>).</td>
+ </tr>
+ <tr>
+ <td>
+ <assert-summary ref="InterfaceOperation-0038"/>
+ </td>
+ <td>An <comp>Interface Operation</comp> component MUST satisfy the specification
+ defined by each operation style identified by its
+ <prop comp="Interface Operation">style</prop> property.
+ </td>
+ </tr>
+ <tr>
+ <td>
+ <assert-summary ref="MEP-0037"/>
+ </td>
+ <td>A message exchange pattern is uniquely
+ identified by an absolute IRI which is used as the value
+ of the
+ <prop comp="Interface Operation">
+ message exchange pattern
+ </prop> property of the <comp>Interface Operation</comp>
+ component, and it specifies the fault propagation ruleset
+ that its faults obey.</td>
+ </tr>
+ <tr>
+ <td>
+ <assert-summary ref="MessageLabel-0039"/>
+ </td>
+ <td>The value of this property MUST match the name of
+ a placeholder message defined by the message
+ exchange pattern.</td>
+ </tr>
+ <tr>
+ <td>
+ <assert-summary ref="Property-0049"/>
+ </td>
+ <td>A reference to a
+ <comp>Type Definition</comp> component in the <prop comp="Description">type definitions</prop> property of
+ the <comp>Description</comp> component constraining the
+ value of the <comp>Property</comp>, or the token <emph>#value</emph> if
+ the <prop comp="Property">value</prop> property is not empty.</td>
+ </tr>
+ <tr>
+ <td>
+ <assert-summary ref="Property-0050"/>
+ </td>
+ <td>The <prop comp="Property">ref</prop> property of a <comp>Property</comp> component MUST be unique
+ within the <prop comp="">properties</prop> property of an
+ <comp>Interface</comp>, <comp>Interface Fault</comp>, <comp>Interface Operation</comp>,
+ <comp>Interface Message Reference</comp>, <comp>Interface Fault Reference</comp>,
+ <comp>Binding</comp>, <comp>Binding Fault</comp>, <comp>Binding Operation</comp>,
+ <comp>Binding Message Reference</comp>, <comp>Binding Fault Reference</comp>,
+ <comp>Service</comp>, or <comp>Endpoint</comp> component.</td>
+ </tr>
+ <tr>
+ <td>
+ <assert-summary ref="Property-0051"/>
+ </td>
+ <td>All specified values MUST be equal and belong to each specified value set.</td>
+ </tr>
+ <tr>
+ <td>
+ <assert-summary ref="PropertyRef-0048"/>
+ </td>
+ <td>This
+ <emph>xs:anyURI</emph> MUST be an absolute IRI as defined by <bibref ref="RFC3987"/>.</td>
+ </tr>
+ <tr>
+ <td>
<assert-summary ref="QName-0002"/>
</td>
***************
*** 15,17 ****
--- 256,264 ----
).</td>
</tr>
+ <tr>
+ <td>
+ <assert-summary ref="Types-0026"/>
+ </td>
+ <td>It is an error if there are multiple type definitions for each QName.</td>
+ </tr>
</tbody>
Index: wsdl20.xml
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.xml,v
retrieving revision 1.374
retrieving revision 1.375
diff -C2 -d -r1.374 -r1.375
*** wsdl20.xml 18 Nov 2005 21:38:08 -0000 1.374
--- wsdl20.xml 21 Nov 2005 23:10:50 -0000 1.375
***************
*** 1845,1851 ****
</p>
! <p>Each WSDL 2.0 or type system component MUST be uniquely
! identified by its qualified name. That is, if two distinct
! components of the same kind (<comp>Interface</comp>, <comp>Binding</comp>, etc.) are in
the same target namespace, then their QNames MUST be
unique. However, different kinds of components (e.g., an
--- 1845,1855 ----
</p>
! <p>
! <assert class="component" id="Description-0024">
! Each WSDL 2.0 or type system component MUST be uniquely
! identified by its qualified name.
! </assert>
! That is, if two distinct components of the same kind (
! <comp>Interface</comp>, <comp>Binding</comp>, etc.) are in
the same target namespace, then their QNames MUST be
unique. However, different kinds of components (e.g., an
***************
*** 1979,1985 ****
<p>
The type of the <att>targetNamespace</att> &AII; is
! <emph>xs:anyURI</emph>. Its value
MUST be an absolute IRI (see <bibref ref="RFC3987"/>)
! and should be dereferenceable.
</p>
--- 1983,1990 ----
<p>
The type of the <att>targetNamespace</att> &AII; is
! <emph>xs:anyURI</emph>.
! <assert class="document" id="Description-0025">Its value
MUST be an absolute IRI (see <bibref ref="RFC3987"/>)
! and should be dereferenceable.</assert>
</p>
***************
*** 2066,2070 ****
other type system which describes the [attributes]
and [children] properties of an &EII;.
! It is an error if there are multiple type definitions for each QName.
</td>
</tr>
--- 2071,2075 ----
other type system which describes the [attributes]
and [children] properties of an &EII;.
! <assert class="component" id="Types-0026">It is an error if there are multiple type definitions for each QName.</assert>
</td>
</tr>
***************
*** 2086,2097 ****
operations.</p>
! <p> An interface can optionally extend one or more other
! interfaces. To avoid circular definitions, an
! interface MUST NOT appear as an element of the set of
! interfaces it extends, either directly or indirectly.
! The set of operations available in an interface includes all the operations defined by the
! interfaces it extends, along with any operations it directly
! defines. The operations directly defined on an interface are
! referred to as the <emph>declared</emph> operations of the interface.
In the process, operation components that are
equivalent per <specref ref="compequiv"/> are treated as one.
--- 2091,2106 ----
operations.</p>
! <p>
! An interface can optionally extend one or more other interfaces.
! <assert class="component" id="Interface-0027">
! To avoid circular definitions, an interface MUST NOT appear
! as an element of the set of interfaces it extends, either
! directly or indirectly.
! </assert>
! The set of operations available in an interface includes all the
! operations defined by the interfaces it extends, along with any
! operations it directly defines. The operations directly defined
! on an interface are referred to as the
! <emph>declared</emph> operations of the interface.
In the process, operation components that are
equivalent per <specref ref="compequiv"/> are treated as one.
***************
*** 2116,2127 ****
<item><p><propdef comp="Interface">interface faults</propdef> OPTIONAL. The set of declared <comp>Interface Fault</comp>
components.
! The namespace name of the <prop comp="Interface Fault">name</prop> property of each <comp>Interface Fault</comp> in this set MUST be the
! same as the namespace name of the <prop comp="Interface">name</prop> property of this <comp>Interface</comp> component.
</p></item>
<item><p><propdef comp="Interface">interface operations</propdef> OPTIONAL. A set of declared <comp>Interface Operation</comp>
components.
! The namespace name of the <prop comp="Interface Operation">name</prop> property of each <comp>Interface Operation</comp> in this set MUST be the
! same as the namespace name of the <prop comp="Interface">name</prop> property of this <comp>Interface</comp> component.
</p></item>
--- 2125,2136 ----
<item><p><propdef comp="Interface">interface faults</propdef> OPTIONAL. The set of declared <comp>Interface Fault</comp>
components.
! <assert class="component" id="InterfaceFault-0028">The namespace name of the <prop comp="Interface Fault">name</prop> property of each <comp>Interface Fault</comp> in this set MUST be the
! same as the namespace name of the <prop comp="Interface">name</prop> property of this <comp>Interface</comp> component.</assert>
</p></item>
<item><p><propdef comp="Interface">interface operations</propdef> OPTIONAL. A set of declared <comp>Interface Operation</comp>
components.
! <assert class="component" id="InterfaceOperation-0029">The namespace name of the <prop comp="Interface Operation">name</prop> property of each <comp>Interface Operation</comp> in this set MUST be the
! same as the namespace name of the <prop comp="Interface">name</prop> property of this <comp>Interface</comp> component.</assert>
</p></item>
***************
*** 2202,2207 ****
</z:notation>
! <p>For each <comp>Interface</comp> component in the <prop comp="Description">interfaces</prop>
! property of a <comp>Description</comp> component, the <prop comp="Interface">name</prop> property MUST be unique.
</p>
--- 2211,2216 ----
</z:notation>
! <p><assert class="component" id="Interface-0030">For each <comp>Interface</comp> component in the <prop comp="Description">interfaces</prop>
! property of a <comp>Description</comp> component, the <prop comp="Interface">name</prop> property MUST be unique.</assert>
</p>
***************
*** 2597,2602 ****
<p>
The type of the <att>styleDefault</att> &AII; is
! <emph>list of xs:anyURI</emph>. Its value, if present, MUST contain
! absolute IRIs (see <bibref ref="RFC3987"/>).
</p>
--- 2606,2612 ----
<p>
The type of the <att>styleDefault</att> &AII; is
! <emph>list of xs:anyURI</emph>.
! <assert class="document" id="Interface-0031">Its value, if present, MUST contain
! absolute IRIs (see <bibref ref="RFC3987"/>).</assert>
</p>
***************
*** 2826,2834 ****
</z:notation>
!
! <p>For each <comp>Interface Fault</comp> component in the <prop comp="Interface">interface faults</prop>
! property of an <comp>Interface</comp> component, the <prop comp="Interface Fault">name</prop> property must be unique.</p>
!
! <p><comp>Interface Fault</comp> components are uniquely identified by the
the QName of the enclosing <comp>Interface</comp> component and QName of the
<comp>Interface Fault</comp> component itself.</p>
--- 2836,2855 ----
</z:notation>
!
! <p>
! <assert class="component" id="InterfaceFault-0032">
! For each
! <comp>Interface Fault</comp>
! component in the
! <prop comp="Interface">interface faults</prop>
! property of an
! <comp>Interface</comp>
! component, the
! <prop comp="Interface Fault">name</prop>
! property must be unique.
! </assert>
! </p>
!
! <p><comp>Interface Fault</comp> components are uniquely identified by the
the QName of the enclosing <comp>Interface</comp> component and QName of the
<comp>Interface Fault</comp> component itself.</p>
***************
*** 2895,2904 ****
</note>
! <p>In cases where, due to an interface extending one or more
! other interfaces, two or more <comp>Interface Fault</comp> components
! have the same value for their <prop comp="Interface Fault">name</prop>
! property, then the component models of those <comp>Interface
! Fault</comp> components MUST be equivalent (see <specref
! ref='compequiv' />). If the <comp>Interface Fault</comp> components are
equivalent then they are considered to collapse into a single
component. It is an error if two <comp>Interface Fault</comp>
--- 2916,2934 ----
</note>
! <p>
! <assert class="component" id="InterfaceFault-0033">
! In cases where, due to an interface extending one or more other
! interfaces, two or more
! <comp>Interface Fault</comp>
! components have the same value for their
! <prop comp="Interface Fault">name</prop>
! property, then the component models of those
! <comp>Interface Fault</comp>
! components MUST be equivalent (see
! <specref ref='compequiv' />
! ).
! </assert>
! If the
! <comp>Interface Fault</comp> components are
equivalent then they are considered to collapse into a single
component. It is an error if two <comp>Interface Fault</comp>
***************
*** 3280,3289 ****
</z:notation>
! <p>For each <comp>Interface Operation</comp> component in the
! <prop comp="Interface">interface operations</prop>
! property of an <comp>Interface</comp> component, the
! <prop comp="Interface Operation">name</prop> property MUST be unique.</p>
!
! <p><comp>Interface Operation</comp> components are uniquely identified by the
the QName of the enclosing <comp>Interface</comp> component and QName of the
<comp>Interface Operation</comp> component itself.</p>
--- 3310,3328 ----
</z:notation>
! <p>
! <assert class="component" id="InterfaceOperation-0035">
! For each
! <comp>Interface Operation</comp>
! component in the
! <prop comp="Interface">interface operations</prop>
! property of an
! <comp>Interface</comp>
! component, the
! <prop comp="Interface Operation">name</prop>
! property MUST be unique.
! </assert>
! </p>
!
! <p><comp>Interface Operation</comp> components are uniquely identified by the
the QName of the enclosing <comp>Interface</comp> component and QName of the
<comp>Interface Operation</comp> component itself.</p>
***************
*** 3335,3344 ****
component.</p></note>
! <p>In cases where, due to an interface extending one or more
other interfaces, two or more <comp>Interface Operation</comp> components
have the same value for their <prop comp="Interface Operation">name</prop>
property, then the component models of those Interface
Operation components MUST be equivalent (see <specref
! ref='compequiv' />). If the <comp>Interface Operation</comp> components are
equivalent then they are considered to collapse into a single
component. It is an error if two Interface Operation
--- 3374,3385 ----
component.</p></note>
! <p>
! <assert class="component" id="InterfaceOperation-0036">In cases where, due to an interface extending one or more
other interfaces, two or more <comp>Interface Operation</comp> components
have the same value for their <prop comp="Interface Operation">name</prop>
property, then the component models of those Interface
Operation components MUST be equivalent (see <specref
! ref='compequiv' />).</assert>
! If the <comp>Interface Operation</comp> components are
equivalent then they are considered to collapse into a single
component. It is an error if two Interface Operation
***************
*** 3588,3592 ****
message label
</prop>
! property. A message exchange pattern is uniquely
identified by an absolute IRI which is used as the value
of the
--- 3629,3634 ----
message label
</prop>
! property.
! <assert class="component" id="MEP-0037">A message exchange pattern is uniquely
identified by an absolute IRI which is used as the value
of the
***************
*** 3595,3599 ****
</prop> property of the <comp>Interface Operation</comp>
component, and it specifies the fault propagation ruleset
! that its faults obey.
</p>
--- 3637,3641 ----
</prop> property of the <comp>Interface Operation</comp>
component, and it specifies the fault propagation ruleset
! that its faults obey.</assert>
</p>
***************
*** 3636,3642 ****
<prop comp="Interface Operation">style</prop> property of
the <comp>Interface Operation</comp> component contains a set of zero or more IRIs that identify
! operation styles. An <comp>Interface Operation</comp> component MUST satisfy the specification
defined by each operation style identified by its
<prop comp="Interface Operation">style</prop> property.
If no <comp>Interface Operation</comp> component can simultaneously satisfy all of the styles,
the document is invalid.</p>
--- 3678,3686 ----
<prop comp="Interface Operation">style</prop> property of
the <comp>Interface Operation</comp> component contains a set of zero or more IRIs that identify
! operation styles.
! <assert class="component" id="InterfaceOperation-0038">An <comp>Interface Operation</comp> component MUST satisfy the specification
defined by each operation style identified by its
<prop comp="Interface Operation">style</prop> property.
+ </assert>
If no <comp>Interface Operation</comp> component can simultaneously satisfy all of the styles,
the document is invalid.</p>
***************
*** 3974,3980 ****
<prop comp="Interface Operation">message exchange pattern</prop> of the
<comp>Interface Operation</comp> component this message is contained
! within. The value of this property MUST match the name of
a placeholder message defined by the message
! exchange pattern.</p></item>
<item><p><propdef comp="Interface Message Reference">direction</propdef> REQUIRED. An <emph>xs:token</emph> with
--- 4018,4026 ----
<prop comp="Interface Operation">message exchange pattern</prop> of the
<comp>Interface Operation</comp> component this message is contained
! within.
! <assert class="component" id="MessageLabel-0039">The value of this property MUST match the name of
a placeholder message defined by the message
! exchange pattern.</assert>
! </p></item>
<item><p><propdef comp="Interface Message Reference">direction</propdef> REQUIRED. An <emph>xs:token</emph> with
***************
*** 3982,3991 ****
whether the message is coming
to the service or going from the service,
! respectively. The direction MUST be the same as the
direction of the message identified by the
<prop comp="Interface Message Reference">message label</prop> property in the
<prop comp="Interface Operation">message exchange pattern</prop> of the
<comp>Interface Operation</comp> component this is
! contained within. </p></item>
<item><p><propdef comp="Interface Message Reference">message content model</propdef> REQUIRED. An
--- 4028,4039 ----
whether the message is coming
to the service or going from the service,
! respectively.
! <assert class="component" id="InterfaceMessageReference-0040">The direction MUST be the same as the
direction of the message identified by the
<prop comp="Interface Message Reference">message label</prop> property in the
<prop comp="Interface Operation">message exchange pattern</prop> of the
<comp>Interface Operation</comp> component this is
! contained within.</assert>
! </p></item>
<item><p><propdef comp="Interface Message Reference">message content model</propdef> REQUIRED. An
***************
*** 4012,4020 ****
<prop comp="Description">element declarations</prop> property of
the Description component. This element
! represents the content or “payload” of the message. When
the <prop comp="Interface Message Reference">message content model</prop> property has the value
<emph>#any</emph> or <emph>#none</emph> the
<prop comp="Interface Message Reference">element declaration</prop>
! property MUST be empty.</p> </item>
<item><p><propdef comp="Interface Message Reference">features</propdef> OPTIONAL. A set of <comp>Feature</comp> components.</p></item>
--- 4060,4070 ----
<prop comp="Description">element declarations</prop> property of
the Description component. This element
! represents the content or “payload” of the message.
! <assert class="component" id="InterfaceMessageReference-0041">When
the <prop comp="Interface Message Reference">message content model</prop> property has the value
<emph>#any</emph> or <emph>#none</emph> the
<prop comp="Interface Message Reference">element declaration</prop>
! property MUST be empty.</assert>
! </p> </item>
<item><p><propdef comp="Interface Message Reference">features</propdef> OPTIONAL. A set of <comp>Feature</comp> components.</p></item>
***************
*** 4099,4106 ****
</z:notation>
! <p> For each <comp>Interface Message Reference</comp> component in the
<prop comp="Interface Operation">interface message references</prop> property of an
<comp>Interface Operation</comp> component, its
! <prop comp="Interface Message Reference">message label</prop> property MUST be unique.</p>
<z:notation name="InterfaceMessageReferenceKey">
--- 4149,4158 ----
</z:notation>
! <p>
! <assert class="component" id="InterfaceMessageReference-0042">For each <comp>Interface Message Reference</comp> component in the
<prop comp="Interface Operation">interface message references</prop> property of an
<comp>Interface Operation</comp> component, its
! <prop comp="Interface Message Reference">message label</prop> property MUST be unique.</assert>
! </p>
<z:notation name="InterfaceMessageReferenceKey">
***************
*** 4483,4489 ****
<prop comp="Interface Operation">message exchange pattern</prop> property of the
<comp>Interface Operation</comp> component
! it is contained within. The value of this property MUST
match the name of a placeholder message defined by the
! message exchange pattern.</p></item>
<item><p><propdef comp="Interface Fault Reference">direction</propdef> REQUIRED. A <emph>xs:token</emph> with
--- 4535,4543 ----
<prop comp="Interface Operation">message exchange pattern</prop> property of the
<comp>Interface Operation</comp> component
! it is contained within.
! <assert class="component" id="InterfaceFaultReference-0043">The value of this property MUST
match the name of a placeholder message defined by the
! message exchange pattern.</assert>
! </p></item>
<item><p><propdef comp="Interface Fault Reference">direction</propdef> REQUIRED. A <emph>xs:token</emph> with
***************
*** 4491,4497 ****
<emph>out</emph>, indicating whether the fault is coming
to the service or going from the service,
! respectively. The direction MUST be consistent with the
direction implied by the fault propagation ruleset used in the message
! exchange pattern of the operation. For example, if the
ruleset <emph>fault-replaces-message</emph> is used, then a fault
that refers to an outgoing message would have a
--- 4545,4553 ----
<emph>out</emph>, indicating whether the fault is coming
to the service or going from the service,
! respectively.
! <assert class="component" id="InterfaceFaultReference-0044">The direction MUST be consistent with the
direction implied by the fault propagation ruleset used in the message
! exchange pattern of the operation.</assert>
! For example, if the
ruleset <emph>fault-replaces-message</emph> is used, then a fault
that refers to an outgoing message would have a
***************
*** 4556,4565 ****
<p>
! For each <comp>Interface Fault Reference</comp> component in the
<prop comp="Interface Operation">interface fault references</prop> property of an
<comp>Interface Operation</comp>
component, the combination of its
<prop comp="Interface Fault Reference">interface fault</prop> and
! <prop comp="Interface Fault Reference">message label</prop> properties MUST be unique.
</p>
--- 4612,4621 ----
<p>
! <assert class="component" id="InterfaceFaultReference-0045">For each <comp>Interface Fault Reference</comp> component in the
<prop comp="Interface Operation">interface fault references</prop> property of an
<comp>Interface Operation</comp>
component, the combination of its
<prop comp="Interface Fault Reference">interface fault</prop> and
! <prop comp="Interface Fault Reference">message label</prop> properties MUST be unique.</assert>
</p>
***************
*** 4970,4975 ****
<ulist>
<item><p><propdef comp="Feature">ref</propdef> REQUIRED. An <emph>xs:anyURI</emph>.
! This <emph>xs:anyURI</emph> MUST be an absolute IRI
! as defined by <bibref ref="RFC3987"/>. This IRI SHOULD be
dereferenceable to a document that directly or indirectly defines
the meaning and use of the <comp>Feature</comp> that it identifies.</p></item>
--- 5026,5032 ----
<ulist>
<item><p><propdef comp="Feature">ref</propdef> REQUIRED. An <emph>xs:anyURI</emph>.
! <assert class="component" id="FeatureRef-0046">This <emph>xs:anyURI</emph> MUST be an absolute IRI
! as defined by <bibref ref="RFC3987"/>. </assert>
! This IRI SHOULD be
dereferenceable to a document that directly or indirectly defines
the meaning and use of the <comp>Feature</comp> that it identifies.</p></item>
***************
*** 5029,5033 ****
<p>
! The <prop comp="Feature">ref</prop> property of a <comp>Feature</comp> component MUST be unique
within the
<prop comp="">features</prop> property of an
--- 5086,5090 ----
<p>
! <assert class="component" id="FeatureRef-0047">The <prop comp="Feature">ref</prop> property of a <comp>Feature</comp> component MUST be unique
within the
<prop comp="">features</prop> property of an
***************
*** 5036,5040 ****
<comp>Binding</comp>, <comp>Binding Fault</comp>, <comp>Binding Operation</comp>,
<comp>Binding Message Reference</comp>, <comp>Binding Fault Reference</comp>,
! <comp>Service</comp>, or <comp>Endpoint</comp> component.
</p>
--- 5093,5097 ----
<comp>Binding</comp>, <comp>Binding Fault</comp>, <comp>Binding Operation</comp>,
<comp>Binding Message Reference</comp>, <comp>Binding Fault Reference</comp>,
! <comp>Service</comp>, or <comp>Endpoint</comp> component.</assert>
</p>
***************
*** 5590,5604 ****
<p>The properties of the <compdef>Property</compdef> component are as follows:</p>
<ulist>
! <item><p><propdef comp="Property">ref</propdef> REQUIRED. An <emph>xs:anyURI</emph>. This
<emph>xs:anyURI</emph> MUST be an absolute IRI as defined by <bibref
! ref="RFC3987"/>. This IRI SHOULD be dereferenceable to a
document that directly or indirectly defines the meaning
and use of the Property that it identifies.</p></item>
! <item><p><propdef comp="Property">value constraint</propdef> OPTIONAL. A reference to a
<comp>Type Definition</comp> component in the <prop comp="Description">type definitions</prop> property of
the <comp>Description</comp> component constraining the
! value of the Property, or the token <emph>#value</emph> if
! the <prop comp="Property">value</prop> property is not empty.</p></item>
<item><p><propdef comp="Property">value</propdef> OPTIONAL. The value of the Property, an
--- 5647,5665 ----
<p>The properties of the <compdef>Property</compdef> component are as follows:</p>
<ulist>
! <item><p><propdef comp="Property">ref</propdef> REQUIRED. An <emph>xs:anyURI</emph>.
! <assert class="component" id="PropertyRef-0048">This
<emph>xs:anyURI</emph> MUST be an absolute IRI as defined by <bibref
! ref="RFC3987"/>.</assert>
! This IRI SHOULD be dereferenceable to a
document that directly or indirectly defines the meaning
and use of the Property that it identifies.</p></item>
! <item><p><propdef comp="Property">value constraint</propdef> OPTIONAL.
! <assert class="component" id="Property-0049">A reference to a
<comp>Type Definition</comp> component in the <prop comp="Description">type definitions</prop> property of
the <comp>Description</comp> component constraining the
! value of the <comp>Property</comp>, or the token <emph>#value</emph> if
! the <prop comp="Property">value</prop> property is not empty.</assert>
! </p></item>
<item><p><propdef comp="Property">value</propdef> OPTIONAL. The value of the Property, an
***************
*** 5696,5700 ****
<p>
! The <prop comp="Property">ref</prop> property of a <comp>Property</comp> component MUST be unique
within the <prop comp="">properties</prop> property of an
<comp>Interface</comp>, <comp>Interface Fault</comp>, <comp>Interface Operation</comp>,
--- 5757,5761 ----
<p>
! <assert class="component" id="Property-0050">The <prop comp="Property">ref</prop> property of a <comp>Property</comp> component MUST be unique
within the <prop comp="">properties</prop> property of an
<comp>Interface</comp>, <comp>Interface Fault</comp>, <comp>Interface Operation</comp>,
***************
*** 5702,5706 ****
<comp>Binding</comp>, <comp>Binding Fault</comp>, <comp>Binding Operation</comp>,
<comp>Binding Message Reference</comp>, <comp>Binding Fault Reference</comp>,
! <comp>Service</comp>, or <comp>Endpoint</comp> component.
</p>
--- 5763,5767 ----
<comp>Binding</comp>, <comp>Binding Fault</comp>, <comp>Binding Operation</comp>,
<comp>Binding Message Reference</comp>, <comp>Binding Fault Reference</comp>,
! <comp>Service</comp>, or <comp>Endpoint</comp> component.</assert>
</p>
***************
*** 6057,6061 ****
However, it is in general feasible to test specified values for either equality
or membership in value sets.
! All specified values MUST be equal and belong to each specified value set.
</p>
--- 6118,6122 ----
However, it is in general feasible to test specified values for either equality
or membership in value sets.
! <assert class="component" id="Property-0051">All specified values MUST be equal and belong to each specified value set.</assert>
</p>
***************
*** 14089,14092 ****
--- 14150,14165 ----
<tr>
+ <td>20051121</td>
+ <td>AGR</td>
+ <td>
+ Added assertions posted to mailing list:
+ <loc
+ href="http://lists.w3.org/Archives/Public/www-ws-desc/2005Nov/0053.html">
+ "types, description, interface, feature, and property assertions", Lawrence Mandel, 2005-11-17.
+ </loc>
+ </td>
+ </tr>
+
+ <tr>
<td>20051118</td>
<td>AGR</td>
***************
*** 14095,14099 ****
<loc
href="http://lists.w3.org/Archives/Public/www-ws-desc/2005Nov/0037.html">
! types assertions, Lawrence Mandel, 2005-11-15.
</loc>
</td>
--- 14168,14172 ----
<loc
href="http://lists.w3.org/Archives/Public/www-ws-desc/2005Nov/0037.html">
! "types assertions", Lawrence Mandel, 2005-11-15.
</loc>
</td>
Index: document-assertion-table.xml
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/document-assertion-table.xml,v
retrieving revision 1.6
retrieving revision 1.7
diff -C2 -d -r1.6 -r1.7
*** document-assertion-table.xml 18 Nov 2005 21:38:08 -0000 1.6
--- document-assertion-table.xml 21 Nov 2005 23:10:50 -0000 1.7
***************
*** 7,10 ****
--- 7,18 ----
<tr>
<td>
+ <assert-summary ref="Description-0025"/>
+ </td>
+ <td>Its value
+ MUST be an absolute IRI (see <bibref ref="RFC3987"/>)
+ and should be dereferenceable.</td>
+ </tr>
+ <tr>
+ <td>
<assert-summary ref="Import-0001"/>
</td>
***************
*** 30,33 ****
--- 38,48 ----
<tr>
<td>
+ <assert-summary ref="Interface-0031"/>
+ </td>
+ <td>Its value, if present, MUST contain
+ absolute IRIs (see <bibref ref="RFC3987"/>).</td>
+ </tr>
+ <tr>
+ <td>
<assert-summary ref="MessageLabel-0004"/>
</td>
Index: wsdl20-z.html
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20-z.html,v
retrieving revision 1.88
retrieving revision 1.89
diff -C2 -d -r1.88 -r1.89
*** wsdl20-z.html 18 Nov 2005 21:38:06 -0000 1.88
--- wsdl20-z.html 21 Nov 2005 23:10:48 -0000 1.89
***************
*** 45,49 ****
div.exampleHeader { font-weight: bold;
margin: 4px}
! </style><link href="zml.css" rel="stylesheet" type="text/css"><link type="text/css" rel="stylesheet" href="http://www.w3.org/StyleSheets/TR/base.css"><script src="twisty.js" language="JavaScript"></script><link type="" href="" title="" rel="alternate"><link href="#contents" rel="contents"></head><body>
<div class="head">
--- 45,51 ----
div.exampleHeader { font-weight: bold;
margin: 4px}
!
! th { color: #000000; background-color: #CCCC99; }
! </style><link href="zml.css" rel="stylesheet" type="text/css"><link type="text/css" rel="stylesheet" href="http://www.w3.org/StyleSheets/TR/base.css"><script src="twisty.js" language="JavaScript"></script><link type="" href="" title="" rel="alternate"><link href="#contents" rel="contents"></head><body>
<div class="head">
***************
*** 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="#N1717F">Component Summary</a> (Non-Normative)<br>E. <a href="#changelog">Part 1 Change Log</a> (Non-Normative)<br>F. <a href="#assertionsummary">Assertion Summry</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
--- 79,83 ----
<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="#N17208">Component Summary</a> (Non-Normative)<br>E. <a href="#changelog">Part 1 Change Log</a> (Non-Normative)<br>F. <a href="#assertionsummary">Assertion Summry</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="#N1717F">Component Summary</a> (Non-Normative)<br>E. <a href="#changelog">Part 1 Change Log</a> (Non-Normative)<br> E.1 <a href="#wsdl-changelog">WSDL 2.0 Specification Changs</a><br>F. <a href="#assertionsummary">Assertion Summary</a> (Non-Normative)<br></p></div><hr><div class="body">
<div class="div1">
--- 104,108 ----
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="#N17208">Component Summary</a> (Non-Normative)<br>E. <a href="#changelog">Part 1 Change Log</a> (Non-Normative)<br> E.1 <a href="#wsdl-changelog">WSDL 2.0 Specification Changs</a><br>F. <a href="#assertionsummary">Assertion Summary</a> (Non-Normative)<br></p></div><hr><div class="body">
<div class="div1">
***************
*** 1492,1498 ****
</p>
! <p>Each WSDL 2.0 or type system component MUST be uniquely
! identified by its qualified name. That is, if two distinct
! components of the same kind (<a href="wsdl20.html#component-Interface">Interface</a>, <a href="wsdl20.html#component-Binding">Binding</a>, etc.) are in
the same target namespace, then their QNames MUST be
unique. However, different kinds of components (e.g., an
--- 1494,1504 ----
</p>
! <p>
! <a name="Description-0024"></a><span style="background-color: pink;">
! Each WSDL 2.0 or type system component MUST be uniquely
! identified by its qualified name.
! </span><a href="#Description-0024-summary">†</a>
! That is, if two distinct components of the same kind (
! <a href="wsdl20.html#component-Interface">Interface</a>, <a href="wsdl20.html#component-Binding">Binding</a>, etc.) are in
the same target namespace, then their QNames MUST be
unique. However, different kinds of components (e.g., an
***************
*** 1620,1626 ****
<p>
The type of the <code>targetNamespace</code> <em>attribute information item</em> is
! <em>xs:anyURI</em>. Its value
MUST be an absolute IRI (see [<cite><a href="#RFC3987">IETF RFC 3987</a></cite>])
! and should be dereferenceable.
</p>
--- 1626,1633 ----
<p>
The type of the <code>targetNamespace</code> <em>attribute information item</em> is
! <em>xs:anyURI</em>.
! <a name="Description-0025"></a><span style="background-color: pink;">Its value
MUST be an absolute IRI (see [<cite><a href="#RFC3987">IETF RFC 3987</a></cite>])
! and should be dereferenceable.</span><a href="#Description-0025-summary">†</a>
</p>
***************
*** 1704,1708 ****
other type system which describes the [attributes]
and [children] properties of an <em>element information item</em>.
! It is an error if there are multiple type definitions for each QName.
</td>
</tr>
--- 1711,1715 ----
other type system which describes the [attributes]
and [children] properties of an <em>element information item</em>.
! <a name="Types-0026"></a><span style="background-color: pink;">It is an error if there are multiple type definitions for each QName.</span><a href="#Types-0026-summary">†</a>
</td>
</tr>
***************
*** 1726,1737 ****
operations.</p>
! <p> An interface can optionally extend one or more other
! interfaces. To avoid circular definitions, an
! interface MUST NOT appear as an element of the set of
! interfaces it extends, either directly or indirectly.
! The set of operations available in an interface includes all the operations defined by the
! interfaces it extends, along with any operations it directly
! defines. The operations directly defined on an interface are
! referred to as the <em>declared</em> operations of the interface.
In the process, operation components that are
equivalent per <a href="#compequiv"><b>2.17 Equivalence of Components</b></a> are treated as one.
--- 1733,1748 ----
operations.</p>
! <p>
! An interface can optionally extend one or more other interfaces.
! <a name="Interface-0027"></a><span style="background-color: pink;">
! To avoid circular definitions, an interface MUST NOT appear
! as an element of the set of interfaces it extends, either
! directly or indirectly.
! </span><a href="#Interface-0027-summary">†</a>
! The set of operations available in an interface includes all the
! operations defined by the interfaces it extends, along with any
! operations it directly defines. The operations directly defined
! on an interface are referred to as the
! <em>declared</em> operations of the interface.
In the process, operation components that are
equivalent per <a href="#compequiv"><b>2.17 Equivalence of Components</b></a> are treated as one.
***************
*** 1756,1767 ****
<li><p>{<a name="property-Interface.interfacefaults">interface faults</a>} OPTIONAL. The set of declared <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a>
components.
! The namespace name of the {<a href="wsdl20.html#property-InterfaceFault.name">name</a>} property of each <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a> in this set MUST be the
! same as the namespace name of the {<a href="wsdl20.html#property-Interface.name">name</a>} property of this <a href="wsdl20.html#component-Interface">Interface</a> component.
</p></li>
<li><p>{<a name="property-Interface.interfaceoperations">interface operations</a>} OPTIONAL. A set of declared <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a>
components.
! The namespace name of the {<a href="wsdl20.html#property-InterfaceOperation.name">name</a>} property of each <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> in this set MUST be the
! same as the namespace name of the {<a href="wsdl20.html#property-Interface.name">name</a>} property of this <a href="wsdl20.html#component-Interface">Interface</a> component.
</p></li>
--- 1767,1778 ----
<li><p>{<a name="property-Interface.interfacefaults">interface faults</a>} OPTIONAL. The set of declared <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a>
components.
! <a name="InterfaceFault-0028"></a><span style="background-color: pink;">The namespace name of the {<a href="wsdl20.html#property-InterfaceFault.name">name</a>} property of each <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a> in this set MUST be the
! same as the namespace name of the {<a href="wsdl20.html#property-Interface.name">name</a>} property of this <a href="wsdl20.html#component-Interface">Interface</a> component.</span><a href="#InterfaceFault-0028-summary">†</a>
</p></li>
<li><p>{<a name="property-Interface.interfaceoperations">interface operations</a>} OPTIONAL. A set of declared <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a>
components.
! <a name="InterfaceOperation-0029"></a><span style="background-color: pink;">The namespace name of the {<a href="wsdl20.html#property-InterfaceOperation.name">name</a>} property of each <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> in this set MUST be the
! same as the namespace name of the {<a href="wsdl20.html#property-Interface.name">name</a>} property of this <a href="wsdl20.html#component-Interface">Interface</a> component.</span><a href="#InterfaceOperation-0029-summary">†</a>
</p></li>
***************
*** 1820,1825 ****
</div>
! <p>For each <a href="wsdl20.html#component-Interface">Interface</a> component in the {<a href="wsdl20.html#property-Description.interfaces">interfaces</a>}
! property of a <a href="wsdl20.html#component-Description">Description</a> component, the {<a href="wsdl20.html#property-Interface.name">name</a>} property MUST be unique.
</p>
--- 1831,1836 ----
</div>
! <p><a name="Interface-0030"></a><span style="background-color: pink;">For each <a href="wsdl20.html#component-Interface">Interface</a> component in the {<a href="wsdl20.html#property-Description.interfaces">interfaces</a>}
! property of a <a href="wsdl20.html#component-Description">Description</a> component, the {<a href="wsdl20.html#property-Interface.name">name</a>} property MUST be unique.</span><a href="#Interface-0030-summary">†</a>
</p>
***************
*** 2157,2162 ****
<p>
The type of the <code>styleDefault</code> <em>attribute information item</em> is
! <em>list of xs:anyURI</em>. Its value, if present, MUST contain
! absolute IRIs (see [<cite><a href="#RFC3987">IETF RFC 3987</a></cite>]).
</p>
--- 2168,2174 ----
<p>
The type of the <code>styleDefault</code> <em>attribute information item</em> is
! <em>list of xs:anyURI</em>.
! <a name="Interface-0031"></a><span style="background-color: pink;">Its value, if present, MUST contain
! absolute IRIs (see [<cite><a href="#RFC3987">IETF RFC 3987</a></cite>]).</span><a href="#Interface-0031-summary">†</a>
</p>
***************
*** 2377,2385 ****
</div>
!
! <p>For each <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a> component in the {<a href="wsdl20.html#property-Interface.interfacefaults">interface faults</a>}
! property of an <a href="wsdl20.html#component-Interface">Interface</a> component, the {<a href="wsdl20.html#property-InterfaceFault.name">name</a>} property must be unique.</p>
!
! <p><a href="wsdl20.html#component-InterfaceFault">Interface Fault</a> components are uniquely identified by the
the QName of the enclosing <a href="wsdl20.html#component-Interface">Interface</a> component and QName of the
<a href="wsdl20.html#component-InterfaceFault">Interface Fault</a> component itself.</p>
--- 2389,2408 ----
</div>
!
! <p>
! <a name="InterfaceFault-0032"></a><span style="background-color: pink;">
! For each
! <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a>
! component in the
! {<a href="wsdl20.html#property-Interface.interfacefaults">interface faults</a>}
! property of an
! <a href="wsdl20.html#component-Interface">Interface</a>
! component, the
! {<a href="wsdl20.html#property-InterfaceFault.name">name</a>}
! property must be unique.
! </span><a href="#InterfaceFault-0032-summary">†</a>
! </p>
!
! <p><a href="wsdl20.html#component-InterfaceFault">Interface Fault</a> components are uniquely identified by the
the QName of the enclosing <a href="wsdl20.html#component-Interface">Interface</a> component and QName of the
<a href="wsdl20.html#component-InterfaceFault">Interface Fault</a> component itself.</p>
***************
*** 2440,2447 ****
</div>
! <p>In cases where, due to an interface extending one or more
! other interfaces, two or more <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a> components
! have the same value for their {<a href="wsdl20.html#property-InterfaceFault.name">name</a>}
! property, then the component models of those <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a> components MUST be equivalent (see <a href="#compequiv"><b>2.17 Equivalence of Components</b></a>). If the <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a> components are
equivalent then they are considered to collapse into a single
component. It is an error if two <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a>
--- 2463,2481 ----
</div>
! <p>
! <a name="InterfaceFault-0033"></a><span style="background-color: pink;">
! In cases where, due to an interface extending one or more other
! interfaces, two or more
! <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a>
! components have the same value for their
! {<a href="wsdl20.html#property-InterfaceFault.name">name</a>}
! property, then the component models of those
! <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a>
! components MUST be equivalent (see
! <a href="#compequiv"><b>2.17 Equivalence of Components</b></a>
! ).
! </span><a href="#InterfaceFault-0033-summary">†</a>
! If the
! <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a> components are
equivalent then they are considered to collapse into a single
component. It is an error if two <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a>
***************
*** 2794,2803 ****
</div>
! <p>For each <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component in the
! {<a href="wsdl20.html#property-Interface.interfaceoperations">interface operations</a>}
! property of an <a href="wsdl20.html#component-Interface">Interface</a> component, the
! {<a href="wsdl20.html#property-InterfaceOperation.name">name</a>} property MUST be unique.</p>
!
! <p><a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> components are uniquely identified by the
the QName of the enclosing <a href="wsdl20.html#component-Interface">Interface</a> component and QName of the
<a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component itself.</p>
--- 2828,2846 ----
</div>
! <p>
! <a name="InterfaceOperation-0035"></a><span style="background-color: pink;">
! For each
! <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a>
! component in the
! {<a href="wsdl20.html#property-Interface.interfaceoperations">interface operations</a>}
! property of an
! <a href="wsdl20.html#component-Interface">Interface</a>
! component, the
! {<a href="wsdl20.html#property-InterfaceOperation.name">name</a>}
! property MUST be unique.
! </span><a href="#InterfaceOperation-0035-summary">†</a>
! </p>
!
! <p><a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> components are uniquely identified by the
the QName of the enclosing <a href="wsdl20.html#component-Interface">Interface</a> component and QName of the
<a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component itself.</p>
***************
*** 2843,2851 ****
component.</p></div>
! <p>In cases where, due to an interface extending one or more
other interfaces, two or more <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> components
have the same value for their {<a href="wsdl20.html#property-InterfaceOperation.name">name</a>}
property, then the component models of those Interface
! Operation components MUST be equivalent (see <a href="#compequiv"><b>2.17 Equivalence of Components</b></a>). If the <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> components are
equivalent then they are considered to collapse into a single
component. It is an error if two Interface Operation
--- 2886,2896 ----
component.</p></div>
! <p>
! <a name="InterfaceOperation-0036"></a><span style="background-color: pink;">In cases where, due to an interface extending one or more
other interfaces, two or more <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> components
have the same value for their {<a href="wsdl20.html#property-InterfaceOperation.name">name</a>}
property, then the component models of those Interface
! Operation components MUST be equivalent (see <a href="#compequiv"><b>2.17 Equivalence of Components</b></a>).</span><a href="#InterfaceOperation-0036-summary">†</a>
! If the <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> components are
equivalent then they are considered to collapse into a single
component. It is an error if two Interface Operation
***************
*** 3052,3061 ****
identified by its
{<a href="wsdl20.html#property-InterfaceMessageReference.messagelabel">message label</a>}
! property. A message exchange pattern is uniquely
identified by an absolute IRI which is used as the value
of the
{<a href="wsdl20.html#property-InterfaceOperation.messageexchangepattern">message exchange pattern</a>} property of the <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a>
component, and it specifies the fault propagation ruleset
! that its faults obey.
</p>
--- 3097,3107 ----
identified by its
{<a href="wsdl20.html#property-InterfaceMessageReference.messagelabel">message label</a>}
! property.
! <a name="MEP-0037"></a><span style="background-color: pink;">A message exchange pattern is uniquely
identified by an absolute IRI which is used as the value
of the
{<a href="wsdl20.html#property-InterfaceOperation.messageexchangepattern">message exchange pattern</a>} property of the <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a>
component, and it specifies the fault propagation ruleset
! that its faults obey.</span><a href="#MEP-0037-summary">†</a>
</p>
***************
*** 3088,3094 ****
{<a href="wsdl20.html#property-InterfaceOperation.style">style</a>} property of
the <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component contains a set of zero or more IRIs that identify
! operation styles. An <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component MUST satisfy the specification
defined by each operation style identified by its
{<a href="wsdl20.html#property-InterfaceOperation.style">style</a>} property.
If no <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component can simultaneously satisfy all of the styles,
the document is invalid.</p>
--- 3134,3142 ----
{<a href="wsdl20.html#property-InterfaceOperation.style">style</a>} property of
the <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component contains a set of zero or more IRIs that identify
! operation styles.
! <a name="InterfaceOperation-0038"></a><span style="background-color: pink;">An <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component MUST satisfy the specification
defined by each operation style identified by its
{<a href="wsdl20.html#property-InterfaceOperation.style">style</a>} property.
+ </span><a href="#InterfaceOperation-0038-summary">†</a>
If no <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component can simultaneously satisfy all of the styles,
the document is invalid.</p>
***************
*** 3417,3423 ****
{<a href="wsdl20.html#property-InterfaceOperation.messageexchangepattern">message exchange pattern</a>} of the
<a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component this message is contained
! within. The value of this property MUST match the name of
a placeholder message defined by the message
! exchange pattern.</p></li>
<li><p>{<a name="property-InterfaceMessageReference.direction">direction</a>} REQUIRED. An <em>xs:token</em> with
--- 3465,3473 ----
{<a href="wsdl20.html#property-InterfaceOperation.messageexchangepattern">message exchange pattern</a>} of the
<a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component this message is contained
! within.
! <a name="MessageLabel-0039"></a><span style="background-color: pink;">The value of this property MUST match the name of
a placeholder message defined by the message
! exchange pattern.</span><a href="#MessageLabel-0039-summary">†</a>
! </p></li>
<li><p>{<a name="property-InterfaceMessageReference.direction">direction</a>} REQUIRED. An <em>xs:token</em> with
***************
*** 3425,3434 ****
whether the message is coming
to the service or going from the service,
! respectively. The direction MUST be the same as the
direction of the message identified by the
{<a href="wsdl20.html#property-InterfaceMessageReference.messagelabel">message label</a>} property in the
{<a href="wsdl20.html#property-InterfaceOperation.messageexchangepattern">message exchange pattern</a>} of the
<a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component this is
! contained within. </p></li>
<li><p>{<a name="property-InterfaceMessageReference.messagecontentmodel">message content model</a>} REQUIRED. An
--- 3475,3486 ----
whether the message is coming
to the service or going from the service,
! respectively.
! <a name="InterfaceMessageReference-0040"></a><span style="background-color: pink;">The direction MUST be the same as the
direction of the message identified by the
{<a href="wsdl20.html#property-InterfaceMessageReference.messagelabel">message label</a>} property in the
{<a href="wsdl20.html#property-InterfaceOperation.messageexchangepattern">message exchange pattern</a>} of the
<a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component this is
! contained within.</span><a href="#InterfaceMessageReference-0040-summary">†</a>
! </p></li>
<li><p>{<a name="property-InterfaceMessageReference.messagecontentmodel">message content model</a>} REQUIRED. An
***************
*** 3455,3463 ****
{<a href="wsdl20.html#property-Description.elementdeclarations">element declarations</a>} property of
the Description component. This element
! represents the content or “payload” of the message. When
the {<a href="wsdl20.html#property-InterfaceMessageReference.messagecontentmodel">message content model</a>} property has the value
<em>#any</em> or <em>#none</em> the
{<a href="wsdl20.html#property-InterfaceMessageReference.elementdeclaration">element declaration</a>}
! property MUST be empty.</p> </li>
<li><p>{<a name="property-InterfaceMessageReference.features">features</a>} OPTIONAL. A set of <a href="wsdl20.html#component-Feature">Feature</a> components.</p></li>
--- 3507,3517 ----
{<a href="wsdl20.html#property-Description.elementdeclarations">element declarations</a>} property of
the Description component. This element
! represents the content or “payload” of the message.
! <a name="InterfaceMessageReference-0041"></a><span style="background-color: pink;">When
the {<a href="wsdl20.html#property-InterfaceMessageReference.messagecontentmodel">message content model</a>} property has the value
<em>#any</em> or <em>#none</em> the
{<a href="wsdl20.html#property-InterfaceMessageReference.elementdeclaration">element declaration</a>}
! property MUST be empty.</span><a href="#InterfaceMessageReference-0041-summary">†</a>
! </p> </li>
<li><p>{<a name="property-InterfaceMessageReference.features">features</a>} OPTIONAL. A set of <a href="wsdl20.html#component-Feature">Feature</a> components.</p></li>
***************
*** 3524,3531 ****
</div>
! <p> For each <a href="wsdl20.html#component-InterfaceMessageReference">Interface Message Reference</a> component in the
{<a href="wsdl20.html#property-InterfaceOperation.interfacemessagereferences">interface message references</a>} property of an
<a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component, its
! {<a href="wsdl20.html#property-InterfaceMessageReference.messagelabel">message label</a>} property MUST be unique.</p>
<a name="zed-InterfaceMessageReferenceKey"></a><div id="twisty-head-zed-InterfaceMessageReferenceKey" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-InterfaceMessageReferenceKey')">InterfaceMessageReferenceKey</a>...</div><div id="twisty-body-zed-InterfaceMessageReferenceKey" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-InterfaceMessageReferenceKey')">InterfaceMessageReferenceKey</a> [ <a onClick="showAll()" href="#zed-InterfaceMessageReferenceKey">show all</a> ] [ <a onClick="hideAll()" href="#zed-InterfaceMessageReferenceKey">hide all</a> ]<br>
--- 3578,3587 ----
</div>
! <p>
! <a name="InterfaceMessageReference-0042"></a><span style="background-color: pink;">For each <a href="wsdl20.html#component-InterfaceMessageReference">Interface Message Reference</a> component in the
{<a href="wsdl20.html#property-InterfaceOperation.interfacemessagereferences">interface message references</a>} property of an
<a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component, its
! {<a href="wsdl20.html#property-InterfaceMessageReference.messagelabel">message label</a>} property MUST be unique.</span><a href="#InterfaceMessageReference-0042-summary">†</a>
! </p>
<a name="zed-InterfaceMessageReferenceKey"></a><div id="twisty-head-zed-InterfaceMessageReferenceKey" class="twisty-head"><img src="images/left-twisty-13.png" alt="" class="twisty-icon"><a onclick="show('zed-InterfaceMessageReferenceKey')">InterfaceMessageReferenceKey</a>...</div><div id="twisty-body-zed-InterfaceMessageReferenceKey" class="twisty-body"><img src="images/down-twisty-13.png" alt="" class="twisty-icon"><a onclick="hide('zed-InterfaceMessageReferenceKey')">InterfaceMessageReferenceKey</a> [ <a onClick="showAll()" href="#zed-InterfaceMessageReferenceKey">show all</a> ] [ <a onClick="hideAll()" href="#zed-InterfaceMessageReferenceKey">hide all</a> ]<br>
***************
*** 3902,3908 ****
{<a href="wsdl20.html#property-InterfaceOperation.messageexchangepattern">message exchange pattern</a>} property of the
<a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component
! it is contained within. The value of this property MUST
match the name of a placeholder message defined by the
! message exchange pattern.</p></li>
<li><p>{<a name="property-InterfaceFaultReference.direction">direction</a>} REQUIRED. A <em>xs:token</em> with
--- 3958,3966 ----
{<a href="wsdl20.html#property-InterfaceOperation.messageexchangepattern">message exchange pattern</a>} property of the
<a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component
! it is contained within.
! <a name="InterfaceFaultReference-0043"></a><span style="background-color: pink;">The value of this property MUST
match the name of a placeholder message defined by the
! message exchange pattern.</span><a href="#InterfaceFaultReference-0043-summary">†</a>
! </p></li>
<li><p>{<a name="property-InterfaceFaultReference.direction">direction</a>} REQUIRED. A <em>xs:token</em> with
***************
*** 3910,3916 ****
<em>out</em>, indicating whether the fault is coming
to the service or going from the service,
! respectively. The direction MUST be consistent with the
direction implied by the fault propagation ruleset used in the message
! exchange pattern of the operation. For example, if the
ruleset <em>fault-replaces-message</em> is used, then a fault
that refers to an outgoing message would have a
--- 3968,3976 ----
<em>out</em>, indicating whether the fault is coming
to the service or going from the service,
! respectively.
! <a name="InterfaceFaultReference-0044"></a><span style="background-color: pink;">The direction MUST be consistent with the
direction implied by the fault propagation ruleset used in the message
! exchange pattern of the operation.</span><a href="#InterfaceFaultReference-0044-summary">†</a>
! For example, if the
ruleset <em>fault-replaces-message</em> is used, then a fault
that refers to an outgoing message would have a
***************
*** 3964,3973 ****
<p>
! For each <a href="wsdl20.html#component-InterfaceFaultReference">Interface Fault Reference</a> component in the
{<a href="wsdl20.html#property-InterfaceOperation.interfacefaultreferences">interface fault references</a>} property of an
<a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a>
component, the combination of its
{<a href="wsdl20.html#property-InterfaceFaultReference.interfacefault">interface fault</a>} and
! {<a href="wsdl20.html#property-InterfaceFaultReference.messagelabel">message label</a>} properties MUST be unique.
</p>
--- 4024,4033 ----
<p>
! <a name="InterfaceFaultReference-0045"></a><span style="background-color: pink;">For each <a href="wsdl20.html#component-InterfaceFaultReference">Interface Fault Reference</a> component in the
{<a href="wsdl20.html#property-InterfaceOperation.interfacefaultreferences">interface fault references</a>} property of an
<a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a>
component, the combination of its
{<a href="wsdl20.html#property-InterfaceFaultReference.interfacefault">interface fault</a>} and
! {<a href="wsdl20.html#property-InterfaceFaultReference.messagelabel">message label</a>} properties MUST be unique.</span><a href="#InterfaceFaultReference-0045-summary">†</a>
</p>
***************
*** 4362,4367 ****
<ul>
<li><p>{<a name="property-Feature.ref">ref</a>} REQUIRED. An <em>xs:anyURI</em>.
! This <em>xs:anyURI</em> MUST be an absolute IRI
! as defined by [<cite><a href="#RFC3987">IETF RFC 3987</a></cite>]. This IRI SHOULD be
dereferenceable to a document that directly or indirectly defines
the meaning and use of the <a href="wsdl20.html#component-Feature">Feature</a> that it identifies.</p></li>
--- 4422,4428 ----
<ul>
<li><p>{<a name="property-Feature.ref">ref</a>} REQUIRED. An <em>xs:anyURI</em>.
! <a name="FeatureRef-0046"></a><span style="background-color: pink;">This <em>xs:anyURI</em> MUST be an absolute IRI
! as defined by [<cite><a href="#RFC3987">IETF RFC 3987</a></cite>]. </span><a href="#FeatureRef-0046-summary">†</a>
! This IRI SHOULD be
dereferenceable to a document that directly or indirectly defines
the meaning and use of the <a href="wsdl20.html#component-Feature">Feature</a> that it identifies.</p></li>
***************
*** 4411,4415 ****
<p>
! The {<a href="wsdl20.html#property-Feature.ref">ref</a>} property of a <a href="wsdl20.html#component-Feature">Feature</a> component MUST be unique
within the
{<a href="wsdl20.html#property-.features">features</a>} property of an
--- 4472,4476 ----
<p>
! <a name="FeatureRef-0047"></a><span style="background-color: pink;">The {<a href="wsdl20.html#property-Feature.ref">ref</a>} property of a <a href="wsdl20.html#component-Feature">Feature</a> component MUST be unique
within the
{<a href="wsdl20.html#property-.features">features</a>} property of an
***************
*** 4418,4422 ****
<a href="wsdl20.html#component-Binding">Binding</a>, <a href="wsdl20.html#component-BindingFault">Binding Fault</a>, <a href="wsdl20.html#component-BindingOperation">Binding Operation</a>,
<a href="wsdl20.html#component-BindingMessageReference">Binding Message Reference</a>, <a href="wsdl20.html#component-BindingFaultReference">Binding Fault Reference</a>,
! <a href="wsdl20.html#component-Service">Service</a>, or <a href="wsdl20.html#component-Endpoint">Endpoint</a> component.
</p>
--- 4479,4483 ----
<a href="wsdl20.html#component-Binding">Binding</a>, <a href="wsdl20.html#component-BindingFault">Binding Fault</a>, <a href="wsdl20.html#component-BindingOperation">Binding Operation</a>,
<a href="wsdl20.html#component-BindingMessageReference">Binding Message Reference</a>, <a href="wsdl20.html#component-BindingFaultReference">Binding Fault Reference</a>,
! <a href="wsdl20.html#component-Service">Service</a>, or <a href="wsdl20.html#component-Endpoint">Endpoint</a> component.</span><a href="#FeatureRef-0047-summary">†</a>
</p>
***************
*** 4954,4967 ****
<p>The properties of the <a name="component-Property">Property</a> component are as follows:</p>
<ul>
! <li><p>{<a name="property-Property.ref">ref</a>} REQUIRED. An <em>xs:anyURI</em>. This
! <em>xs:anyURI</em> MUST be an absolute IRI as defined by [<cite><a href="#RFC3987">IETF RFC 3987</a></cite>]. This IRI SHOULD be dereferenceable to a
document that directly or indirectly defines the meaning
and use of the Property that it identifies.</p></li>
! <li><p>{<a name="property-Property.valueconstraint">value constraint</a>} OPTIONAL. A reference to a
<a href="wsdl20.html#component-TypeDefinition">Type Definition</a> component in the {<a href="wsdl20.html#property-Description.typedefinitions">type definitions</a>} property of
the <a href="wsdl20.html#component-Description">Description</a> component constraining the
! value of the Property, or the token <em>#value</em> if
! the {<a href="wsdl20.html#property-Property.value">value</a>} property is not empty.</p></li>
<li><p>{<a name="property-Property.value">value</a>} OPTIONAL. The value of the Property, an
--- 5015,5032 ----
<p>The properties of the <a name="component-Property">Property</a> component are as follows:</p>
<ul>
! <li><p>{<a name="property-Property.ref">ref</a>} REQUIRED. An <em>xs:anyURI</em>.
! <a name="PropertyRef-0048"></a><span style="background-color: pink;">This
! <em>xs:anyURI</em> MUST be an absolute IRI as defined by [<cite><a href="#RFC3987">IETF RFC 3987</a></cite>].</span><a href="#PropertyRef-0048-summary">†</a>
! This IRI SHOULD be dereferenceable to a
document that directly or indirectly defines the meaning
and use of the Property that it identifies.</p></li>
! <li><p>{<a name="property-Property.valueconstraint">value constraint</a>} OPTIONAL.
! <a name="Property-0049"></a><span style="background-color: pink;">A reference to a
<a href="wsdl20.html#component-TypeDefinition">Type Definition</a> component in the {<a href="wsdl20.html#property-Description.typedefinitions">type definitions</a>} property of
the <a href="wsdl20.html#component-Description">Description</a> component constraining the
! value of the <a href="wsdl20.html#component-Property">Property</a>, or the token <em>#value</em> if
! the {<a href="wsdl20.html#property-Property.value">value</a>} property is not empty.</span><a href="#Property-0049-summary">†</a>
! </p></li>
<li><p>{<a name="property-Property.value">value</a>} OPTIONAL. The value of the Property, an
***************
*** 5040,5044 ****
<p>
! The {<a href="wsdl20.html#property-Property.ref">ref</a>} property of a <a href="wsdl20.html#component-Property">Property</a> component MUST be unique
within the {<a href="wsdl20.html#property-.properties">properties</a>} property of an
<a href="wsdl20.html#component-Interface">Interface</a>, <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a>, <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a>,
--- 5105,5109 ----
<p>
! <a name="Property-0050"></a><span style="background-color: pink;">The {<a href="wsdl20.html#property-Property.ref">ref</a>} property of a <a href="wsdl20.html#component-Property">Property</a> component MUST be unique
within the {<a href="wsdl20.html#property-.properties">properties</a>} property of an
<a href="wsdl20.html#component-Interface">Interface</a>, <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a>, <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a>,
***************
*** 5046,5050 ****
<a href="wsdl20.html#component-Binding">Binding</a>, <a href="wsdl20.html#component-BindingFault">Binding Fault</a>, <a href="wsdl20.html#component-BindingOperation">Binding Operation</a>,
<a href="wsdl20.html#component-BindingMessageReference">Binding Message Reference</a>, <a href="wsdl20.html#component-BindingFaultReference">Binding Fault Reference</a>,
! <a href="wsdl20.html#component-Service">Service</a>, or <a href="wsdl20.html#component-Endpoint">Endpoint</a> component.
</p>
--- 5111,5115 ----
<a href="wsdl20.html#component-Binding">Binding</a>, <a href="wsdl20.html#component-BindingFault">Binding Fault</a>, <a href="wsdl20.html#component-BindingOperation">Binding Operation</a>,
<a href="wsdl20.html#component-BindingMessageReference">Binding Message Reference</a>, <a href="wsdl20.html#component-BindingFaultReference">Binding Fault Reference</a>,
! <a href="wsdl20.html#component-Service">Service</a>, or <a href="wsdl20.html#component-Endpoint">Endpoint</a> component.</span><a href="#Property-0050-summary">†</a>
</p>
***************
*** 5378,5382 ****
However, it is in general feasible to test specified values for either equality
or membership in value sets.
! All specified values MUST be equal and belong to each specified value set.
</p>
--- 5443,5447 ----
However, it is in general feasible to test specified values for either equality
or membership in value sets.
! <a name="Property-0051"></a><span style="background-color: pink;">All specified values MUST be equal and belong to each specified value set.</span><a href="#Property-0051-summary">†</a>
</p>
***************
*** 9638,9642 ****
<p>A [namespace name] which has no value.</p>
</li>
-
</ul>
<p>The <code>namespace</code> <em>attribute information item</em> is of type
--- 9703,9706 ----
***************
*** 12641,12645 ****
<div class="div1">
! <h2><a name="N1717F"></a>D. Component Summary (Non-Normative)</h2>
<p>
<a href="#component-summary">Table D-1</a>
--- 12705,12709 ----
<div class="div1">
! <h2><a name="N17208"></a>D. Component Summary (Non-Normative)</h2>
<p>
<a href="#component-summary">Table D-1</a>
***************
*** 13000,13003 ****
--- 13064,13078 ----
<tr>
+ <td rowspan="1" colspan="1">20051121</td>
+ <td rowspan="1" colspan="1">AGR</td>
+ <td rowspan="1" colspan="1">
+ Added assertions posted to mailing list:
+ <a href="http://lists.w3.org/Archives/Public/www-ws-desc/2005Nov/0053.html">
+ "types, description, interface, feature, and property assertions", Lawrence Mandel, 2005-11-17.
+ </a>
+ </td>
+ </tr>
+
+ <tr>
<td rowspan="1" colspan="1">20051118</td>
<td rowspan="1" colspan="1">AGR</td>
***************
*** 13005,13009 ****
Added assertions posted to mailing list:
<a href="http://lists.w3.org/Archives/Public/www-ws-desc/2005Nov/0037.html">
! types assertions, Lawrence Mandel, 2005-11-15.
</a>
</td>
--- 13080,13084 ----
Added assertions posted to mailing list:
<a href="http://lists.w3.org/Archives/Public/www-ws-desc/2005Nov/0037.html">
! "types assertions", Lawrence Mandel, 2005-11-15.
</a>
</td>
***************
*** 13501,13505 ****
<tr>
<td rowspan="1" colspan="1">20050513</td>
-
<td rowspan="1" colspan="1">JJM</td>
<td rowspan="1" colspan="1"><a href="http://www.w3.org/2002/ws/desc/4/lc-issues/issues.html#LC18">LC18</a>:
--- 13576,13579 ----
***************
*** 15188,15192 ****
</div>
! <div class="div1">
<h2><a name="assertionsummary"></a>F. Assertion Summary (Non-Normative)</h2>
--- 15262,15266 ----
</div>
!
<h2><a name="assertionsummary"></a>F. Assertion Summary (Non-Normative)</h2>
***************
*** 15212,15215 ****
--- 15286,15297 ----
<tr>
<td rowspan="1" colspan="1">
+ <a href="#Description-0025" name="Description-0025-summary">Description-0025</a>
+ </td>
+ <td rowspan="1" colspan="1">Its value
+ MUST be an absolute IRI (see [<cite><a href="#RFC3987">IETF RFC 3987</a></cite>])
+ and should be dereferenceable.</td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
<a href="#Import-0001" name="Import-0001-summary">Import-0001</a>
</td>
***************
*** 15235,15238 ****
--- 15317,15327 ----
<tr>
<td rowspan="1" colspan="1">
+ <a href="#Interface-0031" name="Interface-0031-summary">Interface-0031</a>
+ </td>
+ <td rowspan="1" colspan="1">Its value, if present, MUST contain
+ absolute IRIs (see [<cite><a href="#RFC3987">IETF RFC 3987</a></cite>]).</td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
<a href="#MessageLabel-0004" name="MessageLabel-0004-summary">MessageLabel-0004</a>
</td>
***************
*** 15507,15510 ****
--- 15596,15839 ----
<tr>
<td rowspan="1" colspan="1">
+ <a href="#Description-0024" name="Description-0024-summary">Description-0024</a>
+ </td>
+ <td rowspan="1" colspan="1">
+ Each WSDL 2.0 or type system component MUST be uniquely
+ identified by its qualified name.
+ </td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
+ <a href="#FeatureRef-0046" name="FeatureRef-0046-summary">FeatureRef-0046</a>
+ </td>
+ <td rowspan="1" colspan="1">This <em>xs:anyURI</em> MUST be an absolute IRI
+ as defined by [<cite><a href="#RFC3987">IETF RFC 3987</a></cite>]. </td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
+ <a href="#FeatureRef-0047" name="FeatureRef-0047-summary">FeatureRef-0047</a>
+ </td>
+ <td rowspan="1" colspan="1">The {<a href="wsdl20.html#property-Feature.ref">ref</a>} property of a <a href="wsdl20.html#component-Feature">Feature</a> component MUST be unique
+ within the
+ {<a href="wsdl20.html#property-.features">features</a>} property of an
+ <a href="wsdl20.html#component-Interface">Interface</a>, <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a>, <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a>,
+ <a href="wsdl20.html#component-InterfaceMessageReference">Interface Message Reference</a>, <a href="wsdl20.html#component-InterfaceFaultReference">Interface Fault Reference</a>,
+ <a href="wsdl20.html#component-Binding">Binding</a>, <a href="wsdl20.html#component-BindingFault">Binding Fault</a>, <a href="wsdl20.html#component-BindingOperation">Binding Operation</a>,
+ <a href="wsdl20.html#component-BindingMessageReference">Binding Message Reference</a>, <a href="wsdl20.html#component-BindingFaultReference">Binding Fault Reference</a>,
+ <a href="wsdl20.html#component-Service">Service</a>, or <a href="wsdl20.html#component-Endpoint">Endpoint</a> component.</td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
+ <a href="#Interface-0027" name="Interface-0027-summary">Interface-0027</a>
+ </td>
+ <td rowspan="1" colspan="1">
+ To avoid circular definitions, an interface MUST NOT appear
+ as an element of the set of interfaces it extends, either
+ directly or indirectly.
+ </td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
+ <a href="#Interface-0030" name="Interface-0030-summary">Interface-0030</a>
+ </td>
+ <td rowspan="1" colspan="1">For each <a href="wsdl20.html#component-Interface">Interface</a> component in the {<a href="wsdl20.html#property-Description.interfaces">interfaces</a>}
+ property of a <a href="wsdl20.html#component-Description">Description</a> component, the {<a href="wsdl20.html#property-Interface.name">name</a>} property MUST be unique.</td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
+ <a href="#InterfaceFault-0028" name="InterfaceFault-0028-summary">InterfaceFault-0028</a>
+ </td>
+ <td rowspan="1" colspan="1">The namespace name of the {<a href="wsdl20.html#property-InterfaceFault.name">name</a>} property of each <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a> in this set MUST be the
+ same as the namespace name of the {<a href="wsdl20.html#property-Interface.name">name</a>} property of this <a href="wsdl20.html#component-Interface">Interface</a> component.</td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
+ <a href="#InterfaceFault-0032" name="InterfaceFault-0032-summary">InterfaceFault-0032</a>
+ </td>
+ <td rowspan="1" colspan="1">
+ For each
+ <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a>
+ component in the
+ {<a href="wsdl20.html#property-Interface.interfacefaults">interface faults</a>}
+ property of an
+ <a href="wsdl20.html#component-Interface">Interface</a>
+ component, the
+ {<a href="wsdl20.html#property-InterfaceFault.name">name</a>}
+ property must be unique.
+ </td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
+ <a href="#InterfaceFault-0033" name="InterfaceFault-0033-summary">InterfaceFault-0033</a>
+ </td>
+ <td rowspan="1" colspan="1">
+ In cases where, due to an interface extending one or more other
+ interfaces, two or more
+ <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a>
+ components have the same value for their
+ {<a href="wsdl20.html#property-InterfaceFault.name">name</a>}
+ property, then the component models of those
+ <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a>
+ components MUST be equivalent (see
+ <a href="#compequiv"><b>2.17 Equivalence of Components</b></a>
+ ).
+ </td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
+ <a href="#InterfaceFaultReference-0043" name="InterfaceFaultReference-0043-summary">InterfaceFaultReference-0043</a>
+ </td>
+ <td rowspan="1" colspan="1">The value of this property MUST
+ match the name of a placeholder message defined by the
+ message exchange pattern.</td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
+ <a href="#InterfaceFaultReference-0044" name="InterfaceFaultReference-0044-summary">InterfaceFaultReference-0044</a>
+ </td>
+ <td rowspan="1" colspan="1">The direction MUST be consistent with the
+ direction implied by the fault propagation ruleset used in the message
+ exchange pattern of the operation.</td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
+ <a href="#InterfaceFaultReference-0045" name="InterfaceFaultReference-0045-summary">InterfaceFaultReference-0045</a>
+ </td>
+ <td rowspan="1" colspan="1">For each <a href="wsdl20.html#component-InterfaceFaultReference">Interface Fault Reference</a> component in the
+ {<a href="wsdl20.html#property-InterfaceOperation.interfacefaultreferences">interface fault references</a>} property of an
+ <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a>
+ component, the combination of its
+ {<a href="wsdl20.html#property-InterfaceFaultReference.interfacefault">interface fault</a>} and
+ {<a href="wsdl20.html#property-InterfaceFaultReference.messagelabel">message label</a>} properties MUST be unique.</td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
+ <a href="#InterfaceMessageReference-0040" name="InterfaceMessageReference-0040-summary">InterfaceMessageReference-0040</a>
+ </td>
+ <td rowspan="1" colspan="1">The direction MUST be the same as the
+ direction of the message identified by the
+ {<a href="wsdl20.html#property-InterfaceMessageReference.messagelabel">message label</a>} property in the
+ {<a href="wsdl20.html#property-InterfaceOperation.messageexchangepattern">message exchange pattern</a>} of the
+ <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component this is
+ contained within.</td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
+ <a href="#InterfaceMessageReference-0041" name="InterfaceMessageReference-0041-summary">InterfaceMessageReference-0041</a>
+ </td>
+ <td rowspan="1" colspan="1">When
+ the {<a href="wsdl20.html#property-InterfaceMessageReference.messagecontentmodel">message content model</a>} property has the value
+ <em>#any</em> or <em>#none</em> the
+ {<a href="wsdl20.html#property-InterfaceMessageReference.elementdeclaration">element declaration</a>}
+ property MUST be empty.</td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
+ <a href="#InterfaceMessageReference-0042" name="InterfaceMessageReference-0042-summary">InterfaceMessageReference-0042</a>
+ </td>
+ <td rowspan="1" colspan="1">For each <a href="wsdl20.html#component-InterfaceMessageReference">Interface Message Reference</a> component in the
+ {<a href="wsdl20.html#property-InterfaceOperation.interfacemessagereferences">interface message references</a>} property of an
+ <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component, its
+ {<a href="wsdl20.html#property-InterfaceMessageReference.messagelabel">message label</a>} property MUST be unique.</td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
+ <a href="#InterfaceOperation-0029" name="InterfaceOperation-0029-summary">InterfaceOperation-0029</a>
+ </td>
+ <td rowspan="1" colspan="1">The namespace name of the {<a href="wsdl20.html#property-InterfaceOperation.name">name</a>} property of each <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> in this set MUST be the
+ same as the namespace name of the {<a href="wsdl20.html#property-Interface.name">name</a>} property of this <a href="wsdl20.html#component-Interface">Interface</a> component.</td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
+ <a href="#InterfaceOperation-0035" name="InterfaceOperation-0035-summary">InterfaceOperation-0035</a>
+ </td>
+ <td rowspan="1" colspan="1">
+ For each
+ <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a>
+ component in the
+ {<a href="wsdl20.html#property-Interface.interfaceoperations">interface operations</a>}
+ property of an
+ <a href="wsdl20.html#component-Interface">Interface</a>
+ component, the
+ {<a href="wsdl20.html#property-InterfaceOperation.name">name</a>}
+ property MUST be unique.
+ </td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
+ <a href="#InterfaceOperation-0036" name="InterfaceOperation-0036-summary">InterfaceOperation-0036</a>
+ </td>
+ <td rowspan="1" colspan="1">In cases where, due to an interface extending one or more
+ other interfaces, two or more <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> components
+ have the same value for their {<a href="wsdl20.html#property-InterfaceOperation.name">name</a>}
+ property, then the component models of those Interface
+ Operation components MUST be equivalent (see <a href="#compequiv"><b>2.17 Equivalence of Components</b></a>).</td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
+ <a href="#InterfaceOperation-0038" name="InterfaceOperation-0038-summary">InterfaceOperation-0038</a>
+ </td>
+ <td rowspan="1" colspan="1">An <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component MUST satisfy the specification
+ defined by each operation style identified by its
+ {<a href="wsdl20.html#property-InterfaceOperation.style">style</a>} property.
+ </td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
+ <a href="#MEP-0037" name="MEP-0037-summary">MEP-0037</a>
+ </td>
+ <td rowspan="1" colspan="1">A message exchange pattern is uniquely
+ identified by an absolute IRI which is used as the value
+ of the
+ {<a href="wsdl20.html#property-InterfaceOperation.messageexchangepattern">message exchange pattern</a>} property of the <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a>
+ component, and it specifies the fault propagation ruleset
+ that its faults obey.</td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
+ <a href="#MessageLabel-0039" name="MessageLabel-0039-summary">MessageLabel-0039</a>
+ </td>
+ <td rowspan="1" colspan="1">The value of this property MUST match the name of
+ a placeholder message defined by the message
+ exchange pattern.</td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
+ <a href="#Property-0049" name="Property-0049-summary">Property-0049</a>
+ </td>
+ <td rowspan="1" colspan="1">A reference to a
+ <a href="wsdl20.html#component-TypeDefinition">Type Definition</a> component in the {<a href="wsdl20.html#property-Description.typedefinitions">type definitions</a>} property of
+ the <a href="wsdl20.html#component-Description">Description</a> component constraining the
+ value of the <a href="wsdl20.html#component-Property">Property</a>, or the token <em>#value</em> if
+ the {<a href="wsdl20.html#property-Property.value">value</a>} property is not empty.</td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
+ <a href="#Property-0050" name="Property-0050-summary">Property-0050</a>
+ </td>
+ <td rowspan="1" colspan="1">The {<a href="wsdl20.html#property-Property.ref">ref</a>} property of a <a href="wsdl20.html#component-Property">Property</a> component MUST be unique
+ within the {<a href="wsdl20.html#property-.properties">properties</a>} property of an
+ <a href="wsdl20.html#component-Interface">Interface</a>, <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a>, <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a>,
+ <a href="wsdl20.html#component-InterfaceMessageReference">Interface Message Reference</a>, <a href="wsdl20.html#component-InterfaceFaultReference">Interface Fault Reference</a>,
+ <a href="wsdl20.html#component-Binding">Binding</a>, <a href="wsdl20.html#component-BindingFault">Binding Fault</a>, <a href="wsdl20.html#component-BindingOperation">Binding Operation</a>,
+ <a href="wsdl20.html#component-BindingMessageReference">Binding Message Reference</a>, <a href="wsdl20.html#component-BindingFaultReference">Binding Fault Reference</a>,
+ <a href="wsdl20.html#component-Service">Service</a>, or <a href="wsdl20.html#component-Endpoint">Endpoint</a> component.</td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
+
+ <a href="#Property-0051" name="Property-0051-summary">Property-0051</a>
+ </td>
+ <td rowspan="1" colspan="1">All specified values MUST be equal and belong to each specified value set.</td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
+ <a href="#PropertyRef-0048" name="PropertyRef-0048-summary">PropertyRef-0048</a>
+ </td>
+ <td rowspan="1" colspan="1">This
+ <em>xs:anyURI</em> MUST be an absolute IRI as defined by [<cite><a href="#RFC3987">IETF RFC 3987</a></cite>].</td>
+ </tr>
+ <tr>
+ <td rowspan="1" colspan="1">
<a href="#QName-0002" name="QName-0002-summary">QName-0002</a>
</td>
***************
*** 15515,15523 ****
).</td>
</tr>
</tbody>
</table><br>
! </div>
</div>
--- 15844,15858 ----
).</td>
</tr>
+ <tr>
+ <td rowspan="1" colspan="1">
+ <a href="#Types-0026" name="Types-0026-summary">Types-0026</a>
+ </td>
+ <td rowspan="1" colspan="1">It is an error if there are multiple type definitions for each QName.</td>
+ </tr>
</tbody>
</table><br>
!
</div>
Index: wsdl20.html
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.html,v
retrieving revision 1.256
retrieving revision 1.257
diff -C2 -d -r1.256 -r1.257
*** wsdl20.html 18 Nov 2005 21:38:08 -0000 1.256
--- wsdl20.html 21 Nov 2005 23:10:49 -0000 1.257
***************
*** 45,49 ****
div.exampleHeader { font-weight: bold;
margin: 4px}
! </style><link type="text/css" rel="stylesheet" href="http://www.w3.org/StyleSheets/TR/base.css"><link type="" href="" title="" rel="alternate"><link href="#contents" rel="contents"></head><body>
<div class="head">
--- 45,51 ----
div.exampleHeader { font-weight: bold;
margin: 4px}
!
! th { color: #000000; background-color: #CCCC99; }
! </style><link type="text/css" rel="stylesheet" href="http://www.w3.org/StyleSheets/TR/base.css"><link type="" href="" title="" rel="alternate"><link href="#contents" rel="contents"></head><body>
<div class="head">
***************
*** 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="#N1717F">Component Summary</a> (Non-Normative)<br>E. <a href="#changelog">Part 1 Change Log</a> (Non-Normative)<br>F. <a href="#assertionsummary">Assertion Summry</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
--- 79,83 ----
<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="#N17208">Component Summary</a> (Non-Normative)<br>E. <a href="#changelog">Part 1 Change Log</a> (Non-Normative)<br></p></div><hr><div class="toc">
<h2><a name="contents">Table of Contents</a></h2><p class="toc">1. <a href="#intro">Introduction</a><br> 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="#N1717F">Component Summary</a> (Non-Normative)<br>E. <a href="#changelog">Part 1 Change Log</a> (Non-Normative)<br> E.1 <a href="#wsdl-changelog">WSDL 2.0 Specification Changs</a><br>F. <a href="#assertionsummary">Assertion Summary</a> (Non-Normative)<br></p></div><hr><div class="body">
<div class="div1">
--- 104,108 ----
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="#N17208">Component Summary</a> (Non-Normative)<br>E. <a href="#changelog">Part 1 Change Log</a> (Non-Normative)<br> E.1 <a href="#wsdl-changelog">WSDL 2.0 Specification Changs</a><br>F. <a href="#assertionsummary">Assertion Summary</a> (Non-Normative)<br></p></div><hr><div class="body">
<div class="div1">
***************
*** 842,848 ****
</p>
! <p>Each WSDL 2.0 or type system component MUST be uniquely
! identified by its qualified name. That is, if two distinct
! components of the same kind (<a href="wsdl20.html#component-Interface">Interface</a>, <a href="wsdl20.html#component-Binding">Binding</a>, etc.) are in
the same target namespace, then their QNames MUST be
unique. However, different kinds of components (e.g., an
--- 844,854 ----
</p>
! <p>
!
! Each WSDL 2.0 or type system component MUST be uniquely
! identified by its qualified name.
!
! That is, if two distinct components of the same kind (
! <a href="wsdl20.html#component-Interface">Interface</a>, <a href="wsdl20.html#component-Binding">Binding</a>, etc.) are in
the same target namespace, then their QNames MUST be
unique. However, different kinds of components (e.g., an
***************
*** 970,974 ****
<p>
The type of the <code>targetNamespace</code> <em>attribute information item</em> is
! <em>xs:anyURI</em>. Its value
MUST be an absolute IRI (see [<cite><a href="#RFC3987">IETF RFC 3987</a></cite>])
and should be dereferenceable.
--- 976,981 ----
<p>
The type of the <code>targetNamespace</code> <em>attribute information item</em> is
! <em>xs:anyURI</em>.
! Its value
MUST be an absolute IRI (see [<cite><a href="#RFC3987">IETF RFC 3987</a></cite>])
and should be dereferenceable.
***************
*** 1076,1087 ****
operations.</p>
! <p> An interface can optionally extend one or more other
! interfaces. To avoid circular definitions, an
! interface MUST NOT appear as an element of the set of
! interfaces it extends, either directly or indirectly.
! The set of operations available in an interface includes all the operations defined by the
! interfaces it extends, along with any operations it directly
! defines. The operations directly defined on an interface are
! referred to as the <em>declared</em> operations of the interface.
In the process, operation components that are
equivalent per <a href="#compequiv"><b>2.17 Equivalence of Components</b></a> are treated as one.
--- 1083,1098 ----
operations.</p>
! <p>
! An interface can optionally extend one or more other interfaces.
!
! To avoid circular definitions, an interface MUST NOT appear
! as an element of the set of interfaces it extends, either
! directly or indirectly.
!
! The set of operations available in an interface includes all the
! operations defined by the interfaces it extends, along with any
! operations it directly defines. The operations directly defined
! on an interface are referred to as the
! <em>declared</em> operations of the interface.
In the process, operation components that are
equivalent per <a href="#compequiv"><b>2.17 Equivalence of Components</b></a> are treated as one.
***************
*** 1309,1313 ****
<p>
The type of the <code>styleDefault</code> <em>attribute information item</em> is
! <em>list of xs:anyURI</em>. Its value, if present, MUST contain
absolute IRIs (see [<cite><a href="#RFC3987">IETF RFC 3987</a></cite>]).
</p>
--- 1320,1325 ----
<p>
The type of the <code>styleDefault</code> <em>attribute information item</em> is
! <em>list of xs:anyURI</em>.
! Its value, if present, MUST contain
absolute IRIs (see [<cite><a href="#RFC3987">IETF RFC 3987</a></cite>]).
</p>
***************
*** 1499,1507 ****
<a name="zed-InterfaceFaultRI"></a>
!
! <p>For each <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a> component in the {<a href="wsdl20.html#property-Interface.interfacefaults">interface faults</a>}
! property of an <a href="wsdl20.html#component-Interface">Interface</a> component, the {<a href="wsdl20.html#property-InterfaceFault.name">name</a>} property must be unique.</p>
!
! <p><a href="wsdl20.html#component-InterfaceFault">Interface Fault</a> components are uniquely identified by the
the QName of the enclosing <a href="wsdl20.html#component-Interface">Interface</a> component and QName of the
<a href="wsdl20.html#component-InterfaceFault">Interface Fault</a> component itself.</p>
--- 1511,1530 ----
<a name="zed-InterfaceFaultRI"></a>
!
! <p>
!
! For each
! <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a>
! component in the
! {<a href="wsdl20.html#property-Interface.interfacefaults">interface faults</a>}
! property of an
! <a href="wsdl20.html#component-Interface">Interface</a>
! component, the
! {<a href="wsdl20.html#property-InterfaceFault.name">name</a>}
! property must be unique.
!
! </p>
!
! <p><a href="wsdl20.html#component-InterfaceFault">Interface Fault</a> components are uniquely identified by the
the QName of the enclosing <a href="wsdl20.html#component-Interface">Interface</a> component and QName of the
<a href="wsdl20.html#component-InterfaceFault">Interface Fault</a> component itself.</p>
***************
*** 1543,1550 ****
</div>
! <p>In cases where, due to an interface extending one or more
! other interfaces, two or more <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a> components
! have the same value for their {<a href="wsdl20.html#property-InterfaceFault.name">name</a>}
! property, then the component models of those <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a> components MUST be equivalent (see <a href="#compequiv"><b>2.17 Equivalence of Components</b></a>). If the <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a> components are
equivalent then they are considered to collapse into a single
component. It is an error if two <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a>
--- 1566,1584 ----
</div>
! <p>
!
! In cases where, due to an interface extending one or more other
! interfaces, two or more
! <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a>
! components have the same value for their
! {<a href="wsdl20.html#property-InterfaceFault.name">name</a>}
! property, then the component models of those
! <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a>
! components MUST be equivalent (see
! <a href="#compequiv"><b>2.17 Equivalence of Components</b></a>
! ).
!
! If the
! <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a> components are
equivalent then they are considered to collapse into a single
component. It is an error if two <a href="wsdl20.html#component-InterfaceFault">Interface Fault</a>
***************
*** 1835,1844 ****
<a name="zed-InterfaceOperationRI"></a>
! <p>For each <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component in the
! {<a href="wsdl20.html#property-Interface.interfaceoperations">interface operations</a>}
! property of an <a href="wsdl20.html#component-Interface">Interface</a> component, the
! {<a href="wsdl20.html#property-InterfaceOperation.name">name</a>} property MUST be unique.</p>
!
! <p><a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> components are uniquely identified by the
the QName of the enclosing <a href="wsdl20.html#component-Interface">Interface</a> component and QName of the
<a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component itself.</p>
--- 1869,1887 ----
<a name="zed-InterfaceOperationRI"></a>
! <p>
!
! For each
! <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a>
! component in the
! {<a href="wsdl20.html#property-Interface.interfaceoperations">interface operations</a>}
! property of an
! <a href="wsdl20.html#component-Interface">Interface</a>
! component, the
! {<a href="wsdl20.html#property-InterfaceOperation.name">name</a>}
! property MUST be unique.
!
! </p>
!
! <p><a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> components are uniquely identified by the
the QName of the enclosing <a href="wsdl20.html#component-Interface">Interface</a> component and QName of the
<a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component itself.</p>
***************
*** 1864,1872 ****
component.</p></div>
! <p>In cases where, due to an interface extending one or more
other interfaces, two or more <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> components
have the same value for their {<a href="wsdl20.html#property-InterfaceOperation.name">name</a>}
property, then the component models of those Interface
! Operation components MUST be equivalent (see <a href="#compequiv"><b>2.17 Equivalence of Components</b></a>). If the <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> components are
equivalent then they are considered to collapse into a single
component. It is an error if two Interface Operation
--- 1907,1917 ----
component.</p></div>
! <p>
! In cases where, due to an interface extending one or more
other interfaces, two or more <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> components
have the same value for their {<a href="wsdl20.html#property-InterfaceOperation.name">name</a>}
property, then the component models of those Interface
! Operation components MUST be equivalent (see <a href="#compequiv"><b>2.17 Equivalence of Components</b></a>).
! If the <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> components are
equivalent then they are considered to collapse into a single
component. It is an error if two Interface Operation
***************
*** 1982,1986 ****
identified by its
{<a href="wsdl20.html#property-InterfaceMessageReference.messagelabel">message label</a>}
! property. A message exchange pattern is uniquely
identified by an absolute IRI which is used as the value
of the
--- 2027,2032 ----
identified by its
{<a href="wsdl20.html#property-InterfaceMessageReference.messagelabel">message label</a>}
! property.
! A message exchange pattern is uniquely
identified by an absolute IRI which is used as the value
of the
***************
*** 2006,2012 ****
{<a href="wsdl20.html#property-InterfaceOperation.style">style</a>} property of
the <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component contains a set of zero or more IRIs that identify
! operation styles. An <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component MUST satisfy the specification
defined by each operation style identified by its
{<a href="wsdl20.html#property-InterfaceOperation.style">style</a>} property.
If no <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component can simultaneously satisfy all of the styles,
the document is invalid.</p>
--- 2052,2060 ----
{<a href="wsdl20.html#property-InterfaceOperation.style">style</a>} property of
the <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component contains a set of zero or more IRIs that identify
! operation styles.
! An <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component MUST satisfy the specification
defined by each operation style identified by its
{<a href="wsdl20.html#property-InterfaceOperation.style">style</a>} property.
+
If no <a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component can simultaneously satisfy all of the styles,
the document is invalid.</p>
***************
*** 2335,2341 ****
{<a href="wsdl20.html#property-InterfaceOperation.messageexchangepattern">message exchange pattern</a>} of the
<a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component this message is contained
! within. The value of this property MUST match the name of
a placeholder message defined by the message
! exchange pattern.</p></li>
<li><p>{<a name="property-InterfaceMessageReference.direction">direction</a>} REQUIRED. An <em>xs:token</em> with
--- 2383,2391 ----
{<a href="wsdl20.html#property-InterfaceOperation.messageexchangepattern">message exchange pattern</a>} of the
<a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component this message is contained
! within.
! The value of this property MUST match the name of
a placeholder message defined by the message
! exchange pattern.
! </p></li>
<li><p>{<a name="property-InterfaceMessageReference.direction">direction</a>} REQUIRED. An <em>xs:token</em> with
***************
*** 2343,2352 ****
whether the message is coming
to the service or going from the service,
! respectively. The direction MUST be the same as the
direction of the message identified by the
{<a href="wsdl20.html#property-InterfaceMessageReference.messagelabel">message label</a>} property in the
{<a href="wsdl20.html#property-InterfaceOperation.messageexchangepattern">message exchange pattern</a>} of the
<a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component this is
! contained within. </p></li>
<li><p>{<a name="property-InterfaceMessageReference.messagecontentmodel">message content model</a>} REQUIRED. An
--- 2393,2404 ----
whether the message is coming
to the service or going from the service,
! respectively.
! The direction MUST be the same as the
direction of the message identified by the
{<a href="wsdl20.html#property-InterfaceMessageReference.messagelabel">message label</a>} property in the
{<a href="wsdl20.html#property-InterfaceOperation.messageexchangepattern">message exchange pattern</a>} of the
<a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component this is
! contained within.
! </p></li>
<li><p>{<a name="property-InterfaceMessageReference.messagecontentmodel">message content model</a>} REQUIRED. An
***************
*** 2373,2381 ****
{<a href="wsdl20.html#property-Description.elementdeclarations">element declarations</a>} property of
the Description component. This element
! represents the content or “payload” of the message. When
the {<a href="wsdl20.html#property-InterfaceMessageReference.messagecontentmodel">message content model</a>} property has the value
<em>#any</em> or <em>#none</em> the
{<a href="wsdl20.html#property-InterfaceMessageReference.elementdeclaration">element declaration</a>}
! property MUST be empty.</p> </li>
<li><p>{<a name="property-InterfaceMessageReference.features">features</a>} OPTIONAL. A set of <a href="wsdl20.html#component-Feature">Feature</a> components.</p></li>
--- 2425,2435 ----
{<a href="wsdl20.html#property-Description.elementdeclarations">element declarations</a>} property of
the Description component. This element
! represents the content or “payload” of the message.
! When
the {<a href="wsdl20.html#property-InterfaceMessageReference.messagecontentmodel">message content model</a>} property has the value
<em>#any</em> or <em>#none</em> the
{<a href="wsdl20.html#property-InterfaceMessageReference.elementdeclaration">element declaration</a>}
! property MUST be empty.
! </p> </li>
<li><p>{<a name="property-InterfaceMessageReference.features">features</a>} OPTIONAL. A set of <a href="wsdl20.html#component-Feature">Feature</a> components.</p></li>
***************
*** 2397,2404 ****
<a name="zed-InterfaceMessageReferenceRI"></a>
! <p> For each <a href="wsdl20.html#component-InterfaceMessageReference">Interface Message Reference</a> component in the
{<a href="wsdl20.html#property-InterfaceOperation.interfacemessagereferences">interface message references</a>} property of an
<a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component, its
! {<a href="wsdl20.html#property-InterfaceMessageReference.messagelabel">message label</a>} property MUST be unique.</p>
<a name="zed-InterfaceMessageReferenceKey"></a>
--- 2451,2460 ----
<a name="zed-InterfaceMessageReferenceRI"></a>
! <p>
! For each <a href="wsdl20.html#component-InterfaceMessageReference">Interface Message Reference</a> component in the
{<a href="wsdl20.html#property-InterfaceOperation.interfacemessagereferences">interface message references</a>} property of an
<a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component, its
! {<a href="wsdl20.html#property-InterfaceMessageReference.messagelabel">message label</a>} property MUST be unique.
! </p>
<a name="zed-InterfaceMessageReferenceKey"></a>
***************
*** 2743,2749 ****
{<a href="wsdl20.html#property-InterfaceOperation.messageexchangepattern">message exchange pattern</a>} property of the
<a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component
! it is contained within. The value of this property MUST
match the name of a placeholder message defined by the
! message exchange pattern.</p></li>
<li><p>{<a name="property-InterfaceFaultReference.direction">direction</a>} REQUIRED. A <em>xs:token</em> with
--- 2799,2807 ----
{<a href="wsdl20.html#property-InterfaceOperation.messageexchangepattern">message exchange pattern</a>} property of the
<a href="wsdl20.html#component-InterfaceOperation">Interface Operation</a> component
! it is contained within.
! The value of this property MUST
match the name of a placeholder message defined by the
! message exchange pattern.
! </p></li>
<li><p>{<a name="property-InterfaceFaultReference.direction">direction</a>} REQUIRED. A <em>xs:token</em> with
***************
*** 2751,2757 ****
<em>out</em>, indicating whether the fault is coming
to the service or going from the service,
! respectively. The direction MUST be consistent with the
direction implied by the fault propagation ruleset used in the message
! exchange pattern of the operation. For example, if the
ruleset <em>fault-replaces-message</em> is used, then a fault
that refers to an outgoing message would have a
--- 2809,2817 ----
<em>out</em>, indicating whether the fault is coming
to the service or going from the service,
! respectively.
! The direction MUST be consistent with the
direction implied by the fault propagation ruleset used in the message
! exchange pattern of the operation.
! For example, if the
ruleset <em>fault-replaces-message</em> is used, then a fault
that refers to an outgoing message would have a
***************
*** 3109,3113 ****
<li><p>{<a name="property-Feature.ref">ref</a>} REQUIRED. An <em>xs:anyURI</em>.
This <em>xs:anyURI</em> MUST be an absolute IRI
! as defined by [<cite><a href="#RFC3987">IETF RFC 3987</a></cite>]. This IRI SHOULD be
dereferenceable to a document that directly or indirectly defines
the meaning and use of the <a href="wsdl20.html#component-Feature">Feature</a> that it identifies.</p></li>
--- 3169,3174 ----
<li><p>{<a name="property-Feature.ref">ref</a>} REQUIRED. An <em>xs:anyURI</em>.
This <em>xs:anyURI</em> MUST be an absolute IRI
! as defined by [<cite><a href="#RFC3987">IETF RFC 3987</a></cite>].
! This IRI SHOULD be
dereferenceable to a document that directly or indirectly defines
the meaning and use of the <a href="wsdl20.html#component-Feature">Feature</a> that it identifies.</p></li>
***************
*** 3603,3616 ****
<p>The properties of the <a name="component-Property">Property</a> component are as follows:</p>
<ul>
! <li><p>{<a name="property-Property.ref">ref</a>} REQUIRED. An <em>xs:anyURI</em>. This
! <em>xs:anyURI</em> MUST be an absolute IRI as defined by [<cite><a href="#RFC3987">IETF RFC 3987</a></cite>]. This IRI SHOULD be dereferenceable to a
document that directly or indirectly defines the meaning
and use of the Property that it identifies.</p></li>
! <li><p>{<a name="property-Property.valueconstraint">value constraint</a>} OPTIONAL. A reference to a
<a href="wsdl20.html#component-TypeDefinition">Type Definition</a> component in the {<a href="wsdl20.html#property-Description.typedefinitions">type definitions</a>} property of
the <a href="wsdl20.html#component-Description">Description</a> component constraining the
! value of the Property, or the token <em>#value</em> if
! the {<a href="wsdl20.html#property-Property.value">value</a>} property is not empty.</p></li>
<li><p>{<a name="property-Property.value">value</a>} OPTIONAL. The value of the Property, an
--- 3664,3681 ----
<p>The properties of the <a name="component-Property">Property</a> component are as follows:</p>
<ul>
! <li><p>{<a name="property-Property.ref">ref</a>} REQUIRED. An <em>xs:anyURI</em>.
! This
! <em>xs:anyURI</em> MUST be an absolute IRI as defined by [<cite><a href="#RFC3987">IETF RFC 3987</a></cite>].
! This IRI SHOULD be dereferenceable to a
document that directly or indirectly defines the meaning
and use of the Property that it identifies.</p></li>
! <li><p>{<a name="property-Property.valueconstraint">value constraint</a>} OPTIONAL.
! A reference to a
<a href="wsdl20.html#component-TypeDefinition">Type Definition</a> component in the {<a href="wsdl20.html#property-Description.typedefinitions">type definitions</a>} property of
the <a href="wsdl20.html#component-Description">Description</a> component constraining the
! value of the <a href="wsdl20.html#component-Property">Property</a>, or the token <em>#value</em> if
! the {<a href="wsdl20.html#property-Property.value">value</a>} property is not empty.
! </p></li>
<li><p>{<a name="property-Property.value">value</a>} OPTIONAL. The value of the Property, an
***************
*** 7325,7329 ****
<p>A [namespace name] which has no value.</p>
</li>
-
</ul>
<p>The <code>namespace</code> <em>attribute information item</em> is of type
--- 7390,7393 ----
***************
*** 9518,9522 ****
<div class="div1">
! <h2><a name="N1717F"></a>D. Component Summary (Non-Normative)</h2>
<p>
<a href="#component-summary">Table D-1</a>
--- 9582,9586 ----
<div class="div1">
! <h2><a name="N17208"></a>D. Component Summary (Non-Normative)</h2>
<p>
<a href="#component-summary">Table D-1</a>
***************
*** 9877,9880 ****
--- 9941,9955 ----
<tr>
+ <td rowspan="1" colspan="1">20051121</td>
+ <td rowspan="1" colspan="1">AGR</td>
+ <td rowspan="1" colspan="1">
+ Added assertions posted to mailing list:
+ <a href="http://lists.w3.org/Archives/Public/www-ws-desc/2005Nov/0053.html">
+ "types, description, interface, feature, and property assertions", Lawrence Mandel, 2005-11-17.
+ </a>
+ </td>
+ </tr>
+
+ <tr>
<td rowspan="1" colspan="1">20051118</td>
<td rowspan="1" colspan="1">AGR</td>
***************
*** 9882,9886 ****
Added assertions posted to mailing list:
<a href="http://lists.w3.org/Archives/Public/www-ws-desc/2005Nov/0037.html">
! types assertions, Lawrence Mandel, 2005-11-15.
</a>
</td>
--- 9957,9961 ----
Added assertions posted to mailing list:
<a href="http://lists.w3.org/Archives/Public/www-ws-desc/2005Nov/0037.html">
! "types assertions", Lawrence Mandel, 2005-11-15.
</a>
</td>
***************
*** 10378,10382 ****
<tr>
<td rowspan="1" colspan="1">20050513</td>
-
<td rowspan="1" colspan="1">JJM</td>
<td rowspan="1" colspan="1"><a href="http://www.w3.org/2002/ws/desc/4/lc-issues/issues.html#LC18">LC18</a>:
--- 10453,10456 ----
***************
*** 12065,12400 ****
</div>
! <div class="div1">
!
! <h2><a name="assertionsummary"></a>F. Assertion Summary (Non-Normative)</h2>
! <p>
! This appendix summarizes assertions about WSDL 2.0 documents and
! components that are not enforced by the WSDL 2.0 schema. Each assertion
! is assigned a unique identifier which WSDL 2.0 processors may
! use to report errors.
! </p>
!
! <a name="document-assertion-summary"></a><br><table width="100%" border="1">
! <caption>Table F-1.
! Summary of Assertions about WSDL 2.0 Documents
! </caption>
! <col width="20%" span="1">
! <col width="80%" span="1">
!
! <tbody>
! <tr>
! <th rowspan="1" colspan="1">Id</th>
! <th rowspan="1" colspan="1">Assertion</th>
! </tr>
! <tr>
! <td rowspan="1" colspan="1">
! <a href="#Import-0001" name="Import-0001-summary">Import-0001</a>
! </td>
! <td rowspan="1" colspan="1">
! However, any WSDL 2.0 document that contains component
! definitions that refer by QName to WSDL 2.0 components
! that belong to a different namespace MUST contain a
! <code>wsdl:import</code>
! <em>element information item</em>
! for that namespace (see
! <a href="#imports"><b>4.2 Importing Descriptions</b></a>
! ).</td>
! </tr>
! <tr>
! <td rowspan="1" colspan="1">
! <a href="#Import-0003" name="Import-0003-summary">Import-0003</a>
! </td>
! <td rowspan="1" colspan="1">
! Imported components have different target namespace
! values from the
! WSDL 2.0 document that is importing them.</td>
! </tr>
! <tr>
! <td rowspan="1" colspan="1">
! <a href="#MessageLabel-0004" name="MessageLabel-0004-summary">MessageLabel-0004</a>
! </td>
! <td rowspan="1" colspan="1">
! The
! <code>messageLabel</code>
! <em>attribute information item</em>
! of an interface message reference
! <em>element information item</em>
! MUST be present if the message exchange pattern has more
! than one placeholder message with {direction} equal to the
! message direction.
! </td>
! </tr>
! <tr>
! <td rowspan="1" colspan="1">
! <a href="#MessageLabel-0005" name="MessageLabel-0005-summary">MessageLabel-0005</a>
! </td>
! <td rowspan="1" colspan="1">
! The
! <code>messageLabel</code>
! <em>attribute information item</em>
! of an interface fault reference
! <em>element information item</em>
! MUST be present if the message exchange pattern has more
! than one placeholder message with {direction} equal to the
! message direction.
! </td>
! </tr>
! <tr>
! <td rowspan="1" colspan="1">
! <a href="#MessageLabel-0006" name="MessageLabel-0006-summary">MessageLabel-0006</a>
! </td>
! <td rowspan="1" colspan="1">
! The
! <code>messageLabel</code>
! <em>attribute information item</em>
! of a binding message reference
! <em>element information item</em>
! MUST be present if the message exchange pattern has more
! than one placeholder message with {direction} equal to the
! message direction.
! </td>
! </tr>
! <tr>
! <td rowspan="1" colspan="1">
! <a href="#MessageLabel-0007" name="MessageLabel-0007-summary">MessageLabel-0007</a>
! </td>
! <td rowspan="1" colspan="1">
! The
! <code>messageLabel</code>
! <em>attribute information item</em>
! of a binding fault reference
! <em>element information item</em>
! MUST be present if the message exchange pattern has more
! than one placeholder message with {direction} equal to the
! message direction.
! </td>
! </tr>
! <tr>
! <td rowspan="1" colspan="1">
! <a href="#MessageLabel-0008" name="MessageLabel-0008-summary">MessageLabel-0008</a>
! </td>
! <td rowspan="1" colspan="1">
! If the
! <code>messageLabel</code>
! <em>attribute information item</em>
! of an interface message reference
! <em>element information item</em>
! is present then its actual value MUST match the {message
! label} of some placeholder message with {direction} equal
! to the message direction.
! </td>
! </tr>
! <tr>
! <td rowspan="1" colspan="1">
! <a href="#MessageLabel-0009" name="MessageLabel-0009-summary">MessageLabel-0009</a>
! </td>
! <td rowspan="1" colspan="1">
! If the
! <code>messageLabel</code>
! <em>attribute information item</em>
! of an interface fault reference
! <em>element information item</em>
! is present then its actual value MUST match the {message
! label} of some placeholder message with {direction} equal
! to the message direction.
! </td>
! </tr>
! <tr>
! <td rowspan="1" colspan="1">
! <a href="#MessageLabel-0010" name="MessageLabel-0010-summary">MessageLabel-0010</a>
! </td>
! <td rowspan="1" colspan="1">
! If the
! <code>messageLabel</code>
! <em>attribute information item</em>
! of a binding message reference
! <em>element information item</em>
! is present then its actual value MUST match the {message
! label} of some placeholder message with {direction} equal
! to the message direction.
! </td>
! </tr>
! <tr>
! <td rowspan="1" colspan="1">
! <a href="#MessageLabel-0011" name="MessageLabel-0011-summary">MessageLabel-0011</a>
! </td>
! <td rowspan="1" colspan="1">
! If the
! <code>messageLabel</code>
! <em>attribute information item</em>
! of a binding fault reference
! <em>element information item</em>
! is present then its actual value MUST match the {message
! label} of some placeholder message with {direction} equal
! to the message direction.
! </td>
! </tr>
! <tr>
! <td rowspan="1" colspan="1">
! <a href="#MessageLabel-0012" name="MessageLabel-0012-summary">MessageLabel-0012</a>
! </td>
! <td rowspan="1" colspan="1">
! If the
! <code>messageLabel</code>
! <em>attribute information item</em>
! of an interface message reference
! <em>element information item</em>
! is absent then there MUST be a unique placeholder message
! with {direction} equal to the message direction.
! </td>
! </tr>
! <tr>
! <td rowspan="1" colspan="1">
! <a href="#MessageLabel-0013" name="MessageLabel-0013-summary">MessageLabel-0013</a>
! </td>
! <td rowspan="1" colspan="1">
! If the
! <code>messageLabel</code>
! <em>attribute information item</em>
! of an interface fault reference
! <em>element information item</em>
! is absent then there MUST be a unique placeholder message
! with {direction} equal to the message direction.
! </td>
! </tr>
! <tr>
! <td rowspan="1" colspan="1">
! <a href="#MessageLabel-0014" name="MessageLabel-0014-summary">MessageLabel-0014</a>
! </td>
! <td rowspan="1" colspan="1">
! If the
! <code>messageLabel</code>
! <em>attribute information item</em>
! of a binding message reference
! <em>element information item</em>
! is absent then there MUST be a unique placeholder message
! with {direction} equal to the message direction.
! </td>
! </tr>
! <tr>
! <td rowspan="1" colspan="1">
! <a href="#MessageLabel-0015" name="MessageLabel-0015-summary">MessageLabel-0015</a>
! </td>
! <td rowspan="1" colspan="1">
! If the
! <code>messageLabel</code>
! <em>attribute information item</em>
! of a binding fault reference
! <em>element information item</em>
! is absent then there MUST be a unique placeholder message
! with {direction} equal to the message direction.
! </td>
! </tr>
! <tr>
! <td rowspan="1" colspan="1">
! <a href="#Schema-0016" name="Schema-0016-summary">Schema-0016</a>
! </td>
! <td rowspan="1" colspan="1">A WSDL 2.0 document MUST NOT refer to XML Schema components in a given
! namespace unless an <code>xs:import</code> or <code>xs:schema</code> <em>element information item</em> for that namespace is
! present or the namespace is the XML Schema namespace which contains
! built-in types as defined in XML Schema Part 2: Datatypes Second Edition [<cite><a href="#XMLSchemaP2">XML Schema: Datatypes</a></cite>].</td>
! </tr>
! <tr>
! <td rowspan="1" colspan="1">
! <a href="#Schema-0017" name="Schema-0017-summary">Schema-0017</a>
! </td>
! <td rowspan="1" colspan="1">The referenced schema MUST contain
! a <code>targetNamespace</code> <em>attribute information item</em> on
! its <code>xs:schema</code> <em>element information item</em>.</td>
! </tr>
! <tr>
! <td rowspan="1" colspan="1">
! <a href="#Schema-0018" name="Schema-0018-summary">Schema-0018</a>
! </td>
! <td rowspan="1" colspan="1">A WSDL 2.0 document MUST NOT define the same element or type
! in more than one inlined schema.</td>
! </tr>
! <tr>
! <td rowspan="1" colspan="1">
! <a href="#Schema-0019" name="Schema-0019-summary">Schema-0019</a>
! </td>
! <td rowspan="1" colspan="1"> The <code>xs:schema</code> <em>element information item</em> MUST contain a <code>targetNamespace</code> <em>attribute information item</em>.</td>
! </tr>
! <tr>
! <td rowspan="1" colspan="1">
! <a href="#Schema-0020" name="Schema-0020-summary">Schema-0020</a>
! </td>
! <td rowspan="1" colspan="1">An <code>element</code>
! <em>attribute information item</em> MUST NOT refer to a global <code>xs:simpleType</code> or
! <code>xs:complexType</code> definition.</td>
! </tr>
! <tr>
! <td rowspan="1" colspan="1">
! <a href="#Schema-0021" name="Schema-0021-summary">Schema-0021</a>
! </td>
! <td rowspan="1" colspan="1">A specification of extension syntax for an alternative schema language MUST use a namespace that
! is different than the namespace of XML Schema.</td>
! </tr>
! <tr>
! <td rowspan="1" colspan="1">
! <a href="#Schema-0022" name="Schema-0022-summary">Schema-0022</a>
! </td>
! <td rowspan="1" colspan="1">If
! <code>wsdlx:interface</code> and <code>wsdlx:binding</code>
! are used together then they MUST satisfy the same consistency
! rules that apply to the {<a href="wsdl20.html#property-Service.interface">interface</a>} property of a <a href="wsdl20.html#component-Service">Service</a>
! component and the {<a href="wsdl20.html#property-Endpoint.binding">binding</a>} property of a nested <a href="wsdl20.html#component-Endpoint">Endpoint</a>
! component, that is either the binding refers the interface of the service or the binding refers to no interface.</td>
! </tr>
! <tr>
! <td rowspan="1" colspan="1">
! <a href="#Schema-0052" name="Schema-0052-summary">Schema-0052</a>
! </td>
! <td rowspan="1" colspan="1">The value of the <code>targetNamespace</code> <em>attribute information item</em>
! of the <code>xs:schema</code> <em>element information item</em> of an imported schema MUST equal the value of the
! <code>namespace</code> of the <code>import</code> <em>element information item</em> in the importing WSDL 2.0 document.</td>
! </tr>
! <tr>
! <td rowspan="1" colspan="1">
! <a href="#Schema-0053" name="Schema-0053-summary">Schema-0053</a>
! </td>
! <td rowspan="1" colspan="1">The namespace used for an alternate schema language MUST be an absolute IRI.</td>
! </tr>
! <tr>
! <td rowspan="1" colspan="1">
! <a href="#Types-0023" name="Types-0023-summary">Types-0023</a>
! </td>
! <td rowspan="1" colspan="1">A specification of extension syntax
! for an alternative schema language MUST include the declaration of an <em>element information item</em>,
! intended to appear as a child of the <code>wsdl:types</code> <em>element information item</em>, which
! references, names, and locates the schema instance (an “import”
! <em>element information item</em>).</td>
! </tr>
! </tbody>
!
! </table><br>
!
! <a name="component-assertion-summary"></a><br><table width="100%" border="1">
! <caption>Table F-2.
! Summary of Assertions about WSDL 2.0 Components
! </caption>
! <col width="20%" span="1">
! <col width="80%" span="1">
!
! <tbody>
! <tr>
! <th rowspan="1" colspan="1">Id</th>
! <th rowspan="1" colspan="1">Assertion</th>
! </tr>
! <tr>
! <td rowspan="1" colspan="1">
! <a href="#QName-0002" name="QName-0002-summary">QName-0002</a>
! </td>
! <td rowspan="1" colspan="1">
! Furthermore, all QName references, whether to the same or
! to different namespaces MUST resolve to components (see
! <a href="#qnameres"><b>2.19 QName resolution</b></a>
! ).</td>
! </tr>
! </tbody>
!
! </table><br>
!
! </div>
</div>
--- 12139,12143 ----
</div>
!
</div>
Index: wsdl20-primer.html
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20-primer.html,v
retrieving revision 1.124
retrieving revision 1.125
diff -C2 -d -r1.124 -r1.125
*** wsdl20-primer.html 18 Nov 2005 21:38:08 -0000 1.124
--- wsdl20-primer.html 21 Nov 2005 23:10:50 -0000 1.125
***************
*** 45,49 ****
div.exampleHeader { font-weight: bold;
margin: 4px}
! </style><link type="text/css" rel="stylesheet" href="http://www.w3.org/StyleSheets/TR/base.css"><link type="" href="" title="" rel="alternate"><link href="#contents" rel="contents"></head><body>
<div class="head">
<h1>Web Services Description Language (WSDL) Version 2.0 Part 0: Primer</h1>
--- 45,51 ----
div.exampleHeader { font-weight: bold;
margin: 4px}
!
! th { color: #000000; background-color: #CCCC99; }
! </style><link type="text/css" rel="stylesheet" href="http://www.w3.org/StyleSheets/TR/base.css"><link type="" href="" title="" rel="alternate"><link href="#contents" rel="contents"></head><body>
<div class="head">
<h1>Web Services Description Language (WSDL) Version 2.0 Part 0: Primer</h1>
Received on Monday, 21 November 2005 23:11:19 UTC