2002/ws/desc/test-suite assertions.xml,1.1,1.2

Update of /sources/public/2002/ws/desc/test-suite
In directory hutz:/tmp/cvs-serv18001/test-suite

Modified Files:
	assertions.xml 
Log Message:
Added part, section, and subsection


Index: assertions.xml
===================================================================
RCS file: /sources/public/2002/ws/desc/test-suite/assertions.xml,v
retrieving revision 1.1
retrieving revision 1.2
diff -C 2 -d -r1.1 -r1.2
*** assertions.xml	6 Jul 2006 20:50:58 -0000	1.1
--- assertions.xml	7 Jul 2006 15:59:54 -0000	1.2
***************
*** 1,229 ****
  <?xml version="1.0" encoding="UTF-8"?>
  <assertions>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Import-0001" class="document">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 wsdl:importelement information item for that namespace (see ).</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="QName-0002" class="component">Furthermore, all QName references, whether to the same or to different namespaces MUST resolve to components (see ).</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Description-1201000" class="document">WSDL 2.0 definitions are represented in XML by one or more WSDL 2.0 Information Sets (Infosets), that is one or more descriptionelement information items.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="false" id="Description-1201001" class="component">The value of the targetNamespaceattribute information item SHOULD be dereferenceable.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="false" id="Description-1201002" class="component">It SHOULD resolve to a human or machine processable document that directly or indirectly defines the intended semantics of those components.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="false" id="Description-1201003" class="component">It MAY resolve to a WSDL 2.0 document that provides service description information for that namespace.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Description-1201004" class="document">If a WSDL 2.0 document is split into multiple WSDL 2.0 documents (which may be combined as needed via ), then the targetNamespaceattribute information item SHOULD resolve to a master WSDL 2.0 document that includes all the WSDL 2.0 documents needed for that service description.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Import-0003" class="document">Imported components have different target namespace values from the WSDL 2.0 document that is importing them.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Description-0024" class="component">Each WSDL 2.0 or type system component of the same kind MUST be uniquely identified by its qualified name.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Description-1201005" class="document">Zero or more element information items amongst its [children], in order as follows:</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Description-0025" class="document">Its value MUST be an absolute IRI (see ) and should be dereferenceable.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Types-1201006" class="component">Each XML Schema element declaration MUST have a unique QName.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Types-0026" class="component">Each XML Schema type definition MUST have a unique QName.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Interface-0027" class="component">To avoid circular definitions, an interface MUST NOT appear as an element of the set of interfaces it extends, either directly or indirectly.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="InterfaceFault-0028" class="component">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.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="InterfaceOperation-0029" class="component">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.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Interface-0030" class="component">For each Interface component in the interfaces property of a Description component, the name property MUST be unique.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Interface-0031" class="document">Its value, if present, MUST contain absolute IRIs (see ).</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="InterfaceFault-0032" class="component">For each Interface Fault component in the interface faults property of an Interface component, the name property must be unique.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="InterfaceFault-0033" class="component">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 ).</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="false" id="InterfaceFault-1203001" class="component">For the above reason, it is considered good practice to ensure, where necessary, that the local name of the name property of Interface Fault components within a namespace SHOULD be unique, thus allowing such derivation to occur without inadvertent error.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="InterfaceFault-1203000" class="document">If the elementattribute information item has a value then it MUST resolve to an Element Declaration component from the element declarations property of the Description component.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="InterfaceOperation-1204000" class="component">This xs:anyURI MUST be an absolute IRI (see ).</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="InterfaceOperation-1204001" class="component">These xs:anyURIs MUST be absolute IRIs (see ).</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="InterfaceOperation-0035" class="component">For each Interface Operation component in the interface operations property of an Interface component, the name property MUST be unique.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="InterfaceOperation-0036" class="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 ).</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="false" id="InterfaceOperation-1204005" class="component">For the above reason, it is considered good practice to ensure, where necessary, that the name property of Interface Operation components within a namespace SHOULD be unique, thus allowing such derivation to occur without inadvertent error.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="MEP-0037" class="component">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.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="InterfaceOperation-0038" class="component">An Interface Operation component MUST satisfy the specification defined by each operation style identified by its style property.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="InterfaceOperation-1204002" class="document">Its value MUST be an absolute IRI (see ).</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="InterfaceOperation-1204003" class="document">Its value MUST be an absolute IRI (see ).</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="MessageLabel-0039" class="component">The value of this property MUST match the name of a placeholder message defined by the message exchange pattern.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="InterfaceMessageReference-1205000" class="component">An xs:token with one of the values in or out, indicating whether the message is coming to the service or going from the service, respectively.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="InterfaceMessageReference-0040" class="component">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.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="InterfaceMessageReference-1205001" class="component">An xs:token with one of the values #any, #none, #other, or #element.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="InterfaceMessageReference-0041" class="component">When the message content model property has the value #any or #none the element declaration property MUST be empty.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="InterfaceMessageReference-0042" class="component">For each Interface Message Reference component in the interface message references property of an Interface Operation component, its message label property MUST be unique.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="InterfaceMessageReference-1205002" class="document">The type of the elementattribute information item is a union of xs:QName and xs:token where the allowed token values are #any, #none, or #other.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="MessageLabel-0004" class="document">The messageLabelattribute information item of an interface message reference element information item MUST be present if the message exchange pattern has more than one placeholder message with {direction} equal to the message direction.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="MessageLabel-0008" class="document">If the messageLabelattribute information item of an interface message reference element information item is present then its actual value MUST match the {message label} of some placeholder message with {direction} equal to the message direction.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="MessageLabel-0012" class="document">If the messageLabelattribute information item of an interface message reference element information item is absent then there MUST be a unique placeholder message with {direction} equal to the message direction.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="InterfaceMessageReference-1205003" class="document">If the elementattribute information item has a value then it MUST resolve to an Element Declaration component from the element declarations property of the Description component.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="InterfaceFaultReference-0043" class="component">The value of this property MUST match the name of a placeholder message defined by the message exchange pattern.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="InterfaceFaultReference-0044" class="component">The direction MUST be consistent with the direction implied by the fault propagation ruleset used in the message exchange pattern of the operation.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="InterfaceFaultReference-0045" class="component">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.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="InterfaceFaultReference-1206000" class="document">The messageLabelattribute information item MUST be present in the XML representation of an Interface Fault Reference component with a given direction if the message exchange pattern of the parent Interface Operation component has more than one fault with that direction.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="MessageLabel-0005" class="document">The messageLabelattribute information item of an interface fault reference element information item MUST be present if the message exchange pattern has more than one placeholder message with {direction} equal to the message direction.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="MessageLabel-0009" class="document">If the messageLabelattribute information item of an interface fault reference element information item is present then its actual value MUST match the {message label} of some placeholder message with {direction} equal to the message direction.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="MessageLabel-0013" class="document">If the messageLabelattribute information item of an interface fault reference element information item is absent then there MUST be a unique placeholder message with {direction} equal to the message direction.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="FeatureRef-0046" class="component">This xs:anyURI MUST be an absolute IRI as defined by .</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="false" id="Feature-1207001" class="component">This IRI SHOULD be dereferenceable to a document that directly or indirectly defines the meaning and use of the Feature that it identifies.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="FeatureRef-0047" class="component">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.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="PropertyRef-0048" class="component">This xs:anyURI MUST be an absolute IRI as defined by .</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Property-1208001" class="component">This IRI SHOULD be dereferenceable to a document that directly or indirectly defines the meaning and use of the Property that it identifies.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Property-0049" class="component">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 #value if the value property is not empty.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Property-0050" class="component">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.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Property-0051" class="component">All specified values MUST be equal and belong to each specified value set.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Binding-0054" class="component">If a Binding component specifies any operation-specific binding details (by including Binding Operation components) or any fault binding details (by including Binding Fault components) then it MUST specify an interface the Binding component applies to, so as to indicate which interface the operations come from.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Binding-0055" class="component">A Binding component that defines bindings for an Interface component MUST define bindings for all the operations of that Interface component.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Binding-0056" class="component">This xs:anyURI MUST be an absolute IRI as defined by .</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Binding-0057" class="component">For each Binding component in the bindings property of a Description component, the name property MUST be unique.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="BindingFault-0058" class="component">For each Binding Fault component in the binding faults property of a Binding component, the interface fault property MUST be unique.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="BindingOperation-0059" class="component">For each Binding Operation component in the binding operations property of a Binding component, the interface operation property MUST be unique.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="BindingMessageReference-0060" class="component">For each Binding Message Reference component in the binding message references property of a Binding Operation component, the interface message reference property MUST be unique.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="MessageLabel-0006" class="document">The messageLabelattribute information item of a binding message reference element information item MUST be present if the message exchange pattern has more than one placeholder message with {direction} equal to the message direction.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="MessageLabel-0010" class="document">If the messageLabelattribute information item of a binding message reference element information item is present then its actual value MUST match the {message label} of some placeholder message with {direction} equal to the message direction.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="MessageLabel-0014" class="document">If the messageLabelattribute information item of a binding message reference element information item is absent then there MUST be a unique placeholder message with {direction} equal to the message direction.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="BindingFaultReference-0061" class="component">For each Binding Fault Reference component in the binding fault references property of a Binding Operation component, the interface fault reference property MUST be unique.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="MessageLabel-0007" class="document">The messageLabelattribute information item of a binding fault reference element information item MUST be present if the message exchange pattern has more than one placeholder message with {direction} equal to the message direction.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="MessageLabel-0011" class="document">If the messageLabelattribute information item of a binding fault reference element information item is present then its actual value MUST match the {message label} of some placeholder message with {direction} equal to the message direction.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="MessageLabel-0015" class="document">If the messageLabelattribute information item of a binding fault reference element information item is absent then there MUST be a unique placeholder message with {direction} equal to the message direction.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="BindingFaultReference-0062" class="component">There MUST be an Interface Fault Reference component in the interface fault references of the Interface Operation being bound with message label equal to the effective message label and with interface fault equal to an Interface Fault component with name equal to the actual value of the refattribute information item.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Service-0063" class="component">For each Service component in the services property of a Description component, the name property MUST be unique.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Endpoint-0064" class="component">This xs:anyURI MUST be an absolute IRI as defined by .</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Endpoint-0065" class="component">For each Endpoint component in the endpoints property of a Service component, the name property MUST be unique.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Endpoint-0066" class="component">For each Endpoint component in the endpoints property of a Service component, the binding property MUST either be a Binding component with an unspecified interface property or a Binding component with an interface property equal to the interface property of the Service component.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Equivalence-0067" class="component">Extension properties which are not string values, sets of strings or references MUST describe their values' equivalence rules.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="QName-resolution-1219000" class="document">A Description component MUST NOT have such broken references.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Compare-URI-IRI-0068" class="component">When such absolute URIs and IRIs are being compared to determine equivalence (see ) they MUST be compared character-by-character as indicated in .</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Schema-0016" class="document">A WSDL 2.0 document MUST NOT refer to XML Schema components in a given namespace unless an xs:import or xs:schemaelement information item for that namespace is present or the namespace is the XML Schema namespace, http://www.w3.org/2001/XMLSchema, which contains built-in types as defined in XML Schema Part 2: Datatypes Second Edition .</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Schema-0017" class="document">The referenced schema MUST contain a targetNamespaceattribute information item on its xs:schemaelement information item.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Schema-0052" class="document">The value of the targetNamespaceattribute information item of the xs:schemaelement information item of an imported schema MUST equal the value of the namespace of the importelement information item in the importing WSDL 2.0 document.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Types-1300000" class="document">Every QName reference MUST resolve (see ).</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Types-1300001" class="document">When resolving QNames references for schema definitions, the namespace MUST be imported by the referring WSDL 2.0 document.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Types-1300002" class="document">Specifically components that the schema imports via xs:import are NOT referenceable.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Types-1300003" class="document">Similarly, components defined in an inlined XML schema are NOT automatically referenceable within WSDL 2.0 document that imported (using wsdl:import) the WSDL 2.0 document that inlines the schema (see for more details).</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Schema-0018" class="document">A WSDL 2.0 document MUST NOT define the same element or type in more than one inlined schema.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Schema-0019" class="document">The xs:schemaelement information item MUST contain a targetNamespaceattribute information item.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Types-0023" class="document">A specification of extension syntax for an alternative schema language MUST include the declaration of an element information item, intended to appear as a child of the wsdl:typeselement information item, which references, names, and locates the schema instance (an “import” element information item).</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Schema-0021" class="document">A specification of extension syntax for an alternative schema language MUST use a namespace that is different than the namespace of XML Schema.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Schema-0053" class="document">The namespace used for an alternate schema language MUST be an absolute IRI.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Types-1300005" class="document">The type of the wsdlx:interfaceattribute information item is an xs:QName that specifies the name property of an Interface component.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Types-1300006" class="document">The type of the wsdlx:bindingattribute information item is an xs:QName that specifies the name property of a Binding component.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Schema-0022" class="document">If wsdlx:interface and wsdlx:binding are used together then they MUST satisfy the same consistency rules that apply to the interface property of a Service component and the binding property of a nested Endpoint component, that is either the binding refers the interface of the service or the binding refers to no interface.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Include-1400000" class="document">The IRI indicated by location MUST resolve to a WSDL 2.0 document.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Include-0069" class="document">The actual value of the targetNamespaceattribute information item of the included WSDL 2.0 document MUST match the actual value of the targetNamespaceattribute information item of the descriptionelement information item which is the [parent] of the includeelement information item.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Import-0070" class="document">As with XML schema, any WSDL 2.0 document that references a foreign component MUST have a wsdl:importelement information item for the associated foreign namespace (but which does not necessarily provide a locationattribute information item that identifies the WSDL 2.0 document in which the referenced component is defined).</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Import-1400001" class="document">If a WSDL 2.0 document contains more than one wsdl:importelement information item for a given value of the namespaceattribute information item then they MUST provide different values for the locationattribute information item.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Import-0071" class="document">This value MUST NOT match the actual value of targetNamespaceattribute information item in the enclosing WSDL 2.0 document.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Import-0072" class="document">If the location attribute in the importelement information item is dereferencible then it MUST reference a WSDL 2.0 document and the actual value of the namespaceattribute information item MUST be identical to the actual value of the targetNamespaceattribute information item of the referenced WSDL 2.0 document.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="false" id="Extension-1600000" class="component">The meaning of an extension SHOULD be defined (directly or indirectly) in a document that is available at its namespace IRI.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Extensibility-0073" class="component">An extension that is NOT marked as mandatory MUST NOT invalidate the meaning of any part of the WSDL 2.0 document.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Extensibility-0074" class="component">If a WSDL 2.0 document declares an extension, Feature or Property as optional (i.e., NON-mandatory), then the Web service MUST NOT assume that the client supports that extension, Feature or Property, unless the Web service knows (through some other means) that the client has in fact elected to engage and support that extension, Feature or Property.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Extensibility-0075" class="component">Therefore, the Web service MUST support every extension, Feature or Property that is declared as optional in the WSDL 2.0 document, in addition to supporting every extension, Feature or Property that is declared as mandatory.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Location-0076" class="document">It MUST NOT appear on a wsdl:description element or any of its children/descendants.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Location-0077" class="component">Its actual value MUST be a list of pairs of IRIs; where the first IRI of a pair, which MUST be an absolute IRI as defined in , indicates a WSDL 2.0 (or 1.1) namespace name, and, the second a hint as to the location of a WSDL 2.0 document defining WSDL 2.0 components (or WSDL 1.1 elements ) for that namespace name.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Location-1700000" class="document">For each pair of IRIs, if the location IRI of the pair is dereferencible then it MUST reference a WSDL 2.0 (or 1.1) document whose target namespace is the namespace IRI of the pair.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="false" id="NodeIdentity-2200000" class="exchange">A node MAY be accessible via more than one physical address or transport.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="false" id="MEPDescriptiveness-2200001" class="exchange">by some prior agreement, another node and/or the service MAY send other messages (to each other or to other nodes) that are not described by the pattern.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="FaultPropagation-2200101" class="exchange">Nodes that generate faults MUST attempt to propagate the faults in accordance with the governing ruleset, but it is understood that any delivery of a network message is best effort, not guaranteed.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="FaultPropagation-2200102" class="exchange">When a fault is generated, the generating node MUST attempt to propagate the fault, and MUST do so in the direction and to the recipient specified by the ruleset.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="false" id="FaultPropagationModification-2200103" class="component">However, extensions or binding extensions MAY modify these rulesets.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="MEPTermination-2200104" class="exchange">Generation of a fault, regardless of ruleset, terminates the exchange.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="false" id="FaultReplacesMessage-2200201" class="exchange">Any message after the first in the pattern MAY be replaced with a fault message, which MUST have identical direction.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="FaultDelivery-2200202" class="exchange">The fault message MUST be delivered to the same target node as the message it replaces, unless otherwise specified by an extension or binding extension. If there is no path to this node, the fault MUST be discarded.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="false" id="MessageTriggersFault-2200301" class="exchange">Any message, including the first in the pattern, MAY trigger a fault message, which MUST have opposite direction.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="FaultDelivery-2200302" class="exchange">The fault message MUST be delivered to the originator of the triggering message, unless otherwise specified by an extension of binding extension. Any node MAY propagate a fault message, and MUST not do so more than once for each triggering message. If there is no path to the originator, the fault MUST be discarded.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="NoFaults-2200401" class="exchange">Faults MUST NOT be propagated.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="InOnlyComposition-2200501" class="component">This pattern consists of exactly one message as follows:</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="InOnlyFaults-2200502" class="exchange">This pattern uses the rule .</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="RobustInOnlyComposition-2200601" class="component">This pattern consists of exactly one message as follows:</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="RobustInOnlyFaults-2200602" class="exchange">This pattern uses the rule .</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="InOutComposition-2200701" class="component">This pattern consists of exactly two messages, in order, as follows:</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="InOutFaults-2200702" class="exchange">This pattern uses the rule .</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="InOptOutComposition-2200801" class="component">This pattern consists of one or two messages, in order, as follows:</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="InOptOutFaults-2200802" class="exchange">This pattern uses the rule .</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="OutOnlyComposition-2200901" class="component">This pattern consists of exactly one message as follows:</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="OutOnlyFaults-2200902" class="exchange">This pattern uses the rule .</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="RobustOutOnlyComposition-2201001" class="component">This pattern consists of exactly one message as follows:</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="RobustOutOnlyFaults-2201002" class="exchange">This pattern uses the rule .</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="OutInComposition-2201101" class="component">This pattern consists of exactly two messages, in order, as follows:</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="OutInFaults-2201102" class="exchange">This pattern uses the rule .</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="OutOptInComposition-2201201" class="component">This pattern consists of one or two messages, in order, as follows:</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="OutOptInFaults-2201202" class="exchange">This pattern uses the rule .</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="false" id="OperationSafety-2300001" class="component">However, an operation SHOULD be marked safe if it meets the criteria for a safe interaction defined in Section 3.4 of .</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="false" id="OperationSafety-2300002" class="document">An OPTIONAL safeattribute information item with the following Infoset properties:</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="RPCStyle-5007" class="component">If the RPC style is used by an Interface Operation component then its message exchange pattern property MUST have the value either http://www.w3.org/@@@@/@@/wsdl/in-only or http://www.w3.org/@@@@/@@/wsdl/in-out.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="RPCStyle-5008" class="component">The value of the message content model property for the Interface Message Reference components of the interface message references property MUST be #element.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="RPCStyle-5009" class="component">The content model of input and output element declaration elements MUST be defined using a complex type that contains a sequence from XML Schema.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="RPCStyle-5010" class="component">The input sequence MUST only contain elements and element wildcards.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="RPCStyle-5011" class="component">The input sequence MUST NOT contain more than one element wildcard.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="RPCStyle-5012" class="component">The element wildcard, if present, MUST appear after any elements.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="RPCStyle-5013" class="component">The output sequence MUST only contain elements.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="RPCStyle-5014" class="component">The sequence MUST contain only local element children.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="RPCStyle-5015" class="component">The local name of input element's QName MUST be the same as the Interface Operation component's name.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="RPCStyle-5016" class="component">Input and output elements MUST both be in the same namespace.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="RPCStyle-5017" class="component">The complex type that defines the body of an input or an output element MUST NOT contain any local attributes.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="RPCStyle-5018" class="component">If elements with the same qualified name appear as children of both the input and output elements, then they MUST both be declared using the same named type.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="RPCStyle-5019" class="component">The input or output sequence MUST NOT contain multiple children elements declared with the same name.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="WRPC-5020" class="component">Values for the second component MUST be chosen among the following four: "#in", "#out", "#inout" "#return".</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="WRPC-5021" class="component">The value of the first component of each pair (q, t) MUST be unique within the list.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="WRPC-5022" class="component">For each child element of the input and output messages of the operation, a pair (q, t) whose first component q is equal to the qualified name of that element MUST be present in the list, with the caveat that elements that appear with cardinality greater than one MUST be treated as a single element.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="WRPC-5023" class="component">For each pair (q, #in), there MUST be a child element of the input element with a name of q and there MUST NOT be a child element of the output element with the same name.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="WRPC-5024" class="component">For each pair (q, #out), there MUST be a child element of the output element with a name of q and there MUST NOT be a child element of the input element with the same name.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="WRPC-5025" class="component">For each pair (q, #inout), there MUST be a child element of the input element with a name of q and there MUST be a child element of the output element with the same name. Furthermore, those two elements MUST have the same type.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="WRPC-5026" class="component">For each pair (q, #return), there MUST be a child element of the output element with a name of q and there MUST NOT be a child element of the input element with the same name.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="WRPC-5027" class="document">Additionally, each even-numbered item (0, 2, 4, ...) in the list MUST be of type xs:QName and each odd-numbered item (1, 3, 5, ...) in the list MUST be of the subtype of xs:token described in the previous paragraph.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="IRIStyle-5028" class="component">When using this style, the value of the message content model property of the Interface Message Reference component corresponding to the initial message of the message exchange pattern MUST be #element.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="IRIStyle-5029" class="component">The sequence MUST only contain elements.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="IRIStyle-5030" class="component">The sequence MUST contain only local element children. These child elements MAY contain the nillable attribute.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="IRIStyle-5031" class="component">The localPart of the element's QName MUST be the same as the Interface Operation component's name.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="IRIStyle-5032" class="component">The complex type that defines the body of the element or its children elements MUST NOT contain any attributes.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="IRIStyle-5034" class="component">If the children elements of the sequence are defined using an XML Schema type, they MUST derive from xs:simpleType, and MUST NOT be of the type or derive from xs:QName, xs:NOTATION, xs:hexBinary or xs:base64Binary.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="MultipartStyle-5035" class="component">When using this style, the value of the message content model property of the Interface Message Reference component corresponding to the initial message of the message exchange pattern MUST be #element.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="MultipartStyle-5036" class="component">The sequence MUST only contain elements.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="MultipartStyle-5081" class="component">The sequence MUST contain only local element children. These child elements MAY contain the nillable attribute, and the attributes minOccurs and maxOccurs MUST have a value 1.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="MultipartStyle-5037" class="component">The localPart of the element's QName MUST be the same as the Interface Operation component's name.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="MultipartStyle-5038" class="component">The complex type that defines the body of the element or its children elements MUST NOT contain any attributes.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="MultipartStyle-5039" class="component">The sequence MUST NOT contain multiple children element declared with the same local name.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="SOAPBinding-5040" class="component">When formulating the SOAP envelope to be transmitted, the contents of the payload (i.e., the contents of the SOAP Body element information item of the SOAP envelope) MUST be what is defined by the corresponding Interface Message Reference component.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="SOAPBinding-5041" class="message">If the value is #none then the payload MUST be empty.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="SOAPBinding-2503001" class="message">If the value is #element then the payload MUST be the element information item identified by the element declaration property of the Interface Message Reference component.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="SOAPBinding-5042" class="component">If the Interface Message Reference component is declared using a non-XML type system (as considered in the Types section of ) then additional binding rules MUST be defined to indicate how to map those components into the SOAP envelope.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="SOAPBinding-5043" class="component">Every SOAP binding MUST indicate what version of SOAP is in use for the operations of the interface that this binding applies to.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="SOAPBinding-5044" class="component">Every SOAP binding MUST indicate what underlying protocol is in use.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="SOAPBindingFault-5045" class="component">For every Interface Fault component contained in an Interface component, a mapping to a SOAP Fault MUST be described.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="SOAPMEPDefault-5046" class="component">A xs:anyURI, which is an absolute IRI as defined by , to the Binding component.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="SOAPMEP-5047" class="component">A xs:anyURI, which is an absolute IRI as defined by , to the Binding Operation component.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="SOAPAction-5048" class="component">A xs:anyURI, which is an absolute IRI as defined by , to the Binding Operation component.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="SOAPModule-5049" class="component">A xs:anyURI, which is an absolute IRI as defined by .</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="SOAPHeaderBlock-5050" class="component">When its value is true, the SOAP header block MUST be decorated with a SOAP mustUnderstandattribute information item with a value of true; if so, the XML element declaration referenced by the element declaration property MUST allow this SOAP mustUnderstandattribute information item.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="SOAPHeaderBlock-5051" class="component">If the value is true, then the SOAP header block MUST be included in the message.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="SOAPHeaderBlock-5052" class="component">The value of the elementattribute information item MUST resolve to a global element declaration from the element declarations property of the Description component.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="SOAPMEPSelection-5053" class="component">For a given Interface Operation component, if there is a Binding Operation component whose interface operation property matches the component in question and its soap mep property has a value, then the SOAP MEP is the value of the soap mep property. Otherwise, the SOAP MEP is the value of the Binding component's soap mep default, if any. Otherwise, the Interface Operation component's message exchange pattern property MUST have the value http://www.w3.org/@@@@/@@/wsdl/in-out, and the SOAP MEP is the URI http://www.w3.org/2003/05/soap/mep/request-response/ identifying the SOAP Request-Response Message Exchange Pattern as defined in .</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="SOAPHTTPSelection-5054" class="component">This default binding rule is applicable when the value of the soap underlying protocol property of the Binding component is http://www.w3.org/2003/05/soap/bindings/HTTP/. If the SOAP MEP selected as specified above has the value http://www.w3.org/2003/05/soap/mep/request-response/ then the HTTP method used is POST. If the SOAP MEP selected has the value http://www.w3.org/2003/05/soap/mep/soap-response/ then the HTTP method used is GET.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="SOAPHTTPGeneration-5055" class="component">If the SOAP MEP selected is http://www.w3.org/2003/05/soap/mep/soap-response/ then the value of the SOAP http://www.w3.org/2003/05/soap/mep/ImmediateDestination property MUST be generated using the HTTP binding extension's rules for generating an IRI for HTTP GET (see ).</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPBinding-2600001" class="component">a Binding component MAY exist without indicating a specific Interface component that it applies to. In this case there MUST NOT be any Binding Operation or Binding Fault components present in the Binding component.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPBinding-5056" class="component">When formulating the HTTP message to be transmitted, the HTTP request method used MUST be selected using one of the following:</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPBinding-5057" class="component">When formulating the HTTP message to be transmitted, the contents of the payload (i.e. the contents of the HTTP message body) MUST be what is defined by the corresponding Interface Message Reference or Interface Fault components, serialized as specified by the serialization format used.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPBinding-5061" class="component">If the value is #none then the payload MUST be empty and the value of the corresponding serialization property (http input serialization or http output serialization) is ignored.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPBinding-5062" class="component">If the Interface Message Reference component or the Interface Fault component is declared using a non-XML type system (as considered in the Types section of ) then additional binding rules MUST be defined in an extension specification to indicate how to map those components into the HTTP envelope.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPBinding-2603001" class="component">The serialization rules for messages whose message content model is either #element or #any and for fault messages are as follows:</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPHeader-2606001" class="component">If the http headers property as defined in section exists and is not empty in a Binding Message Reference or Binding Fault component, HTTP headers conforming to each HTTP Header component contained in this http headers property MAY be serialized as follows:</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPHeader-5063" class="component">The HTTP binding MUST NOT set an HTTP header field corresponding to the value of the name property already set by another mechanism, such as the HTTP stack or another feature.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPHeader-2606002" class="component">If the value of an HTTP Header component's required property is true, the inclusion of this HTTP header field is REQUIRED</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPBindingOperation-2605001" class="component">The first is transmitted using an HTTP request, and the second is transmitted using the corresponding HTTP response.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPBindingOperation-5065" class="component">In cases where only one message is being sent, the message body of the HTTP response MUST be empty.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPBindingOperation-2605002" class="component">This IRI is combined with the base IRI specified in the address property of the Endpoint component to form the full IRI for the HTTP request to invoke the operation.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPBindingOperation-5066" class="component">It MUST contain an absolute or a relative IRI, i.e. it MUST NOT include a fragment identifier in the IRI.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPSerialization-5067" class="component">The value of the http input serialization, http output serialization and http fault serialization properties is similar to the value allowed for the Accept HTTP header defined by the HTTP 1.1 specification, Section 14.1 (see ) and MUST follow the production rules defined in that section except for the following:</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPBindingOperation-2605003" class="component">The value of the serialization format used for a message is a media type which MUST be covered by this range.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="false" id="HTTPBindingOperation-2604001" class="component">Wild cards (for example, application/*) SHOULD NOT be used in this attribute information item since they may lead to interoperability problems.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPHeader-5068" class="component">A Binding Message Reference or a Binding Fault component's http headers property MUST NOT contain multiple HTTP Header components with the same name property.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPHeader-5069" class="component">This type MUST be a simple type.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPHeader-5070" class="component">If the value is true, then the HTTP header field MUST be included in the message.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="false" id="HTTPBindingFault-2606003" class="component">The fault definition SHOULD agree with the definition of the HTTP error codes, as specified in section 8 of .</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPBindingFault-2607002" class="component">An integer value of this property identifies the error Status-Code as defined by that the service will use in case the fault is returned.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPSerialization-2608001" class="component">If the style property of the Interface Operation bound has a value of http://www.w3.org/@@@@/@@/wsdl/style/iri as defined in , and if the http location property of the Binding Operation component is present, the value of the http location property component is used as a template</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPSerialization-5071" class="component">The resulting IRI MUST be mapped to an URI for use in the HTTP Request as per section 3.1 "Mapping of IRIs to URIs" of the IRI specification .</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPSerialization-2607010" class="message">This element MUST NOT carry an xs:nil attribute whose value is true</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPSerialization-5073" class="component">Strings enclosed within single curly braces MUST be element names from the instance data of the input message.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPSerialization-2607011" class="component">If this format is used then the style property of Interface Operation component being bound MUST contain a value of http://www.w3.org/@@@@/@@/wsdl/style/iri as defined in , i.e. this serialization format may only be used to serialize the HTTP request corresponding to the initial message of an interface operation.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPSerialization-2608002" class="component">For the HTTP binding defined in this section (), application/x-www-form-urlencoded MAY be used as a serialization format for an input message (HTTP Request), but MUST NOT be used as a serialization format for an output or fault message (HTTP Response).</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPSerialization-2608003" class="component">If not all elements from the instance data are cited in the http location property, or if the property is not present on the Binding Operation component, then additional serialization rules apply.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPSerialization-2608004" class="component">For elements of the instance data not cited in the http location property, a query string is constructed as follows.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPQueryString-5074" class="component">The instance data MUST NOT contain elements with an xs:nil attribute whose value is true.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPSerialization-2608005" class="component">If the HTTP request method used does not allow HTTP message body (e.g. GET and DELETE), and if the value of the http location ignore uncited property is false, then the following rules apply.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPSerialization-2608007" class="component">If the HTTP request method used does allow an HTTP message body (e.g. POST and PUT), then the following rules apply.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPSerialization-2608008" class="component">The Content-Type HTTP header field must have the value application/x-www-form-urlencoded.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPSerialization-5075" class="component">The Content-Type HTTP header MUST have the value application/xml, or a media type compatible with application/xml as specified in section .</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPSerialization-2608009" class="component">this serialization format may only be used to serialize the HTTP request corresponding to the initial message of an interface operation.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPSerialization-5076" class="component">Specifically, for the HTTP binding defined in this section (), multipart/form-data MAY be used as a serialization format for an input message (HTTP Request), but MUST NOT be used as a serialization format for an output or fault message (HTTP Response).</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPSerialization-5077" class="component">The Content-Disposition header MUST have the value form-data, and its name parameter is the local name of the element.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPSerialization-5078" class="component">The Content-Type header MUST have the value:</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPSerialization-5079" class="component">The instance data MUST NOT contain elements with an xs:nil attribute whose value is true.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPAccessAuthentication-5080" class="component">If the http authentication scheme property is present, then this property MUST be present.</assertion>
  </assertions>
--- 1,229 ----
  <?xml version="1.0" encoding="UTF-8"?>
  <assertions>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Import-0001" class="document" part="1" section="2" subsection="01">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 wsdl:importelement information item for that namespace (see ).</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="QName-0002" class="component" part="1" section="2" subsection="01">Furthermore, all QName references, whether to the same or to different namespaces MUST resolve to components (see ).</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Description-1201000" class="document" part="1" section="2" subsection="01">WSDL 2.0 definitions are represented in XML by one or more WSDL 2.0 Information Sets (Infosets), that is one or more descriptionelement information items.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="false" id="Description-1201001" class="component" part="1" section="2" subsection="01">The value of the targetNamespaceattribute information item SHOULD be dereferenceable.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="false" id="Description-1201002" class="component" part="1" section="2" subsection="01">It SHOULD resolve to a human or machine processable document that directly or indirectly defines the intended semantics of those components.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="false" id="Description-1201003" class="component" part="1" section="2" subsection="01">It MAY resolve to a WSDL 2.0 document that provides service description information for that namespace.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Description-1201004" class="document" part="1" section="2" subsection="01">If a WSDL 2.0 document is split into multiple WSDL 2.0 documents (which may be combined as needed via ), then the targetNamespaceattribute information item SHOULD resolve to a master WSDL 2.0 document that includes all the WSDL 2.0 documents needed for that service description.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Import-0003" class="document" part="1" section="2" subsection="01">Imported components have different target namespace values from the WSDL 2.0 document that is importing them.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Description-0024" class="component" part="1" section="2" subsection="01">Each WSDL 2.0 or type system component of the same kind MUST be uniquely identified by its qualified name.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Description-1201005" class="document" part="1" section="2" subsection="01">Zero or more element information items amongst its [children], in order as follows:</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Description-0025" class="document" part="1" section="2" subsection="01">Its value MUST be an absolute IRI (see ) and should be dereferenceable.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Types-1201006" class="component" part="1" section="2" subsection="01">Each XML Schema element declaration MUST have a unique QName.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Types-0026" class="component" part="1" section="2" subsection="01">Each XML Schema type definition MUST have a unique QName.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Interface-0027" class="component" part="1" section="2" subsection="02">To avoid circular definitions, an interface MUST NOT appear as an element of the set of interfaces it extends, either directly or indirectly.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="InterfaceFault-0028" class="component" part="1" section="2" subsection="02">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.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="InterfaceOperation-0029" class="component" part="1" section="2" subsection="02">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.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Interface-0030" class="component" part="1" section="2" subsection="02">For each Interface component in the interfaces property of a Description component, the name property MUST be unique.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Interface-0031" class="document" part="1" section="2" subsection="02">Its value, if present, MUST contain absolute IRIs (see ).</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="InterfaceFault-0032" class="component" part="1" section="2" subsection="03">For each Interface Fault component in the interface faults property of an Interface component, the name property must be unique.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="InterfaceFault-0033" class="component" part="1" section="2" subsection="03">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 ).</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="false" id="InterfaceFault-1203001" class="component" part="1" section="2" subsection="03">For the above reason, it is considered good practice to ensure, where necessary, that the local name of the name property of Interface Fault components within a namespace SHOULD be unique, thus allowing such derivation to occur without inadvertent error.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="InterfaceFault-1203000" class="document" part="1" section="2" subsection="03">If the elementattribute information item has a value then it MUST resolve to an Element Declaration component from the element declarations property of the Description component.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="InterfaceOperation-1204000" class="component" part="1" section="2" subsection="04">This xs:anyURI MUST be an absolute IRI (see ).</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="InterfaceOperation-1204001" class="component" part="1" section="2" subsection="04">These xs:anyURIs MUST be absolute IRIs (see ).</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="InterfaceOperation-0035" class="component" part="1" section="2" subsection="04">For each Interface Operation component in the interface operations property of an Interface component, the name property MUST be unique.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="InterfaceOperation-0036" class="component" part="1" section="2" subsection="04">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 ).</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="false" id="InterfaceOperation-1204005" class="component" part="1" section="2" subsection="04">For the above reason, it is considered good practice to ensure, where necessary, that the name property of Interface Operation components within a namespace SHOULD be unique, thus allowing such derivation to occur without inadvertent error.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="MEP-0037" class="component" part="1" section="2" subsection="04">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.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="InterfaceOperation-0038" class="component" part="1" section="2" subsection="04">An Interface Operation component MUST satisfy the specification defined by each operation style identified by its style property.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="InterfaceOperation-1204002" class="document" part="1" section="2" subsection="04">Its value MUST be an absolute IRI (see ).</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="InterfaceOperation-1204003" class="document" part="1" section="2" subsection="04">Its value MUST be an absolute IRI (see ).</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="MessageLabel-0039" class="component" part="1" section="2" subsection="05">The value of this property MUST match the name of a placeholder message defined by the message exchange pattern.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="InterfaceMessageReference-1205000" class="component" part="1" section="2" subsection="05">An xs:token with one of the values in or out, indicating whether the message is coming to the service or going from the service, respectively.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="InterfaceMessageReference-0040" class="component" part="1" section="2" subsection="05">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.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="InterfaceMessageReference-1205001" class="component" part="1" section="2" subsection="05">An xs:token with one of the values #any, #none, #other, or #element.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="InterfaceMessageReference-0041" class="component" part="1" section="2" subsection="05">When the message content model property has the value #any or #none the element declaration property MUST be empty.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="InterfaceMessageReference-0042" class="component" part="1" section="2" subsection="05">For each Interface Message Reference component in the interface message references property of an Interface Operation component, its message label property MUST be unique.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="InterfaceMessageReference-1205002" class="document" part="1" section="2" subsection="05">The type of the elementattribute information item is a union of xs:QName and xs:token where the allowed token values are #any, #none, or #other.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="MessageLabel-0004" class="document" part="1" section="2" subsection="05">The messageLabelattribute information item of an interface message reference element information item MUST be present if the message exchange pattern has more than one placeholder message with {direction} equal to the message direction.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="MessageLabel-0008" class="document" part="1" section="2" subsection="05">If the messageLabelattribute information item of an interface message reference element information item is present then its actual value MUST match the {message label} of some placeholder message with {direction} equal to the message direction.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="MessageLabel-0012" class="document" part="1" section="2" subsection="05">If the messageLabelattribute information item of an interface message reference element information item is absent then there MUST be a unique placeholder message with {direction} equal to the message direction.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="InterfaceMessageReference-1205003" class="document" part="1" section="2" subsection="05">If the elementattribute information item has a value then it MUST resolve to an Element Declaration component from the element declarations property of the Description component.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="InterfaceFaultReference-0043" class="component" part="1" section="2" subsection="06">The value of this property MUST match the name of a placeholder message defined by the message exchange pattern.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="InterfaceFaultReference-0044" class="component" part="1" section="2" subsection="06">The direction MUST be consistent with the direction implied by the fault propagation ruleset used in the message exchange pattern of the operation.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="InterfaceFaultReference-0045" class="component" part="1" section="2" subsection="06">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.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="InterfaceFaultReference-1206000" class="document" part="1" section="2" subsection="06">The messageLabelattribute information item MUST be present in the XML representation of an Interface Fault Reference component with a given direction if the message exchange pattern of the parent Interface Operation component has more than one fault with that direction.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="MessageLabel-0005" class="document" part="1" section="2" subsection="06">The messageLabelattribute information item of an interface fault reference element information item MUST be present if the message exchange pattern has more than one placeholder message with {direction} equal to the message direction.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="MessageLabel-0009" class="document" part="1" section="2" subsection="06">If the messageLabelattribute information item of an interface fault reference element information item is present then its actual value MUST match the {message label} of some placeholder message with {direction} equal to the message direction.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="MessageLabel-0013" class="document" part="1" section="2" subsection="06">If the messageLabelattribute information item of an interface fault reference element information item is absent then there MUST be a unique placeholder message with {direction} equal to the message direction.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="FeatureRef-0046" class="component" part="1" section="2" subsection="07">This xs:anyURI MUST be an absolute IRI as defined by .</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="false" id="Feature-1207001" class="component" part="1" section="2" subsection="07">This IRI SHOULD be dereferenceable to a document that directly or indirectly defines the meaning and use of the Feature that it identifies.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="FeatureRef-0047" class="component" part="1" section="2" subsection="07">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.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="PropertyRef-0048" class="component" part="1" section="2" subsection="08">This xs:anyURI MUST be an absolute IRI as defined by .</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Property-1208001" class="component" part="1" section="2" subsection="08">This IRI SHOULD be dereferenceable to a document that directly or indirectly defines the meaning and use of the Property that it identifies.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Property-0049" class="component" part="1" section="2" subsection="08">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 #value if the value property is not empty.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Property-0050" class="component" part="1" section="2" subsection="08">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.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Property-0051" class="component" part="1" section="2" subsection="08">All specified values MUST be equal and belong to each specified value set.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Binding-0054" class="component" part="1" section="2" subsection="09">If a Binding component specifies any operation-specific binding details (by including Binding Operation components) or any fault binding details (by including Binding Fault components) then it MUST specify an interface the Binding component applies to, so as to indicate which interface the operations come from.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Binding-0055" class="component" part="1" section="2" subsection="09">A Binding component that defines bindings for an Interface component MUST define bindings for all the operations of that Interface component.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Binding-0056" class="component" part="1" section="2" subsection="09">This xs:anyURI MUST be an absolute IRI as defined by .</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Binding-0057" class="component" part="1" section="2" subsection="09">For each Binding component in the bindings property of a Description component, the name property MUST be unique.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="BindingFault-0058" class="component" part="1" section="2" subsection="10">For each Binding Fault component in the binding faults property of a Binding component, the interface fault property MUST be unique.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="BindingOperation-0059" class="component" part="1" section="2" subsection="11">For each Binding Operation component in the binding operations property of a Binding component, the interface operation property MUST be unique.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="BindingMessageReference-0060" class="component" part="1" section="2" subsection="12">For each Binding Message Reference component in the binding message references property of a Binding Operation component, the interface message reference property MUST be unique.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="MessageLabel-0006" class="document" part="1" section="2" subsection="12">The messageLabelattribute information item of a binding message reference element information item MUST be present if the message exchange pattern has more than one placeholder message with {direction} equal to the message direction.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="MessageLabel-0010" class="document" part="1" section="2" subsection="12">If the messageLabelattribute information item of a binding message reference element information item is present then its actual value MUST match the {message label} of some placeholder message with {direction} equal to the message direction.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="MessageLabel-0014" class="document" part="1" section="2" subsection="12">If the messageLabelattribute information item of a binding message reference element information item is absent then there MUST be a unique placeholder message with {direction} equal to the message direction.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="BindingFaultReference-0061" class="component" part="1" section="2" subsection="13">For each Binding Fault Reference component in the binding fault references property of a Binding Operation component, the interface fault reference property MUST be unique.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="MessageLabel-0007" class="document" part="1" section="2" subsection="13">The messageLabelattribute information item of a binding fault reference element information item MUST be present if the message exchange pattern has more than one placeholder message with {direction} equal to the message direction.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="MessageLabel-0011" class="document" part="1" section="2" subsection="13">If the messageLabelattribute information item of a binding fault reference element information item is present then its actual value MUST match the {message label} of some placeholder message with {direction} equal to the message direction.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="MessageLabel-0015" class="document" part="1" section="2" subsection="13">If the messageLabelattribute information item of a binding fault reference element information item is absent then there MUST be a unique placeholder message with {direction} equal to the message direction.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="BindingFaultReference-0062" class="component" part="1" section="2" subsection="13">There MUST be an Interface Fault Reference component in the interface fault references of the Interface Operation being bound with message label equal to the effective message label and with interface fault equal to an Interface Fault component with name equal to the actual value of the refattribute information item.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Service-0063" class="component" part="1" section="2" subsection="14">For each Service component in the services property of a Description component, the name property MUST be unique.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Endpoint-0064" class="component" part="1" section="2" subsection="15">This xs:anyURI MUST be an absolute IRI as defined by .</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Endpoint-0065" class="component" part="1" section="2" subsection="15">For each Endpoint component in the endpoints property of a Service component, the name property MUST be unique.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Endpoint-0066" class="component" part="1" section="2" subsection="15">For each Endpoint component in the endpoints property of a Service component, the binding property MUST either be a Binding component with an unspecified interface property or a Binding component with an interface property equal to the interface property of the Service component.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Equivalence-0067" class="component" part="1" section="2" subsection="17">Extension properties which are not string values, sets of strings or references MUST describe their values' equivalence rules.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="QName-resolution-1219000" class="document" part="1" section="2" subsection="19">A Description component MUST NOT have such broken references.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Compare-URI-IRI-0068" class="component" part="1" section="2" subsection="20">When such absolute URIs and IRIs are being compared to determine equivalence (see ) they MUST be compared character-by-character as indicated in .</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Schema-0016" class="document" part="1" section="3" subsection="01">A WSDL 2.0 document MUST NOT refer to XML Schema components in a given namespace unless an xs:import or xs:schemaelement information item for that namespace is present or the namespace is the XML Schema namespace, http://www.w3.org/2001/XMLSchema, which contains built-in types as defined in XML Schema Part 2: Datatypes Second Edition .</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Schema-0017" class="document" part="1" section="3" subsection="01">The referenced schema MUST contain a targetNamespaceattribute information item on its xs:schemaelement information item.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Schema-0052" class="document" part="1" section="3" subsection="01">The value of the targetNamespaceattribute information item of the xs:schemaelement information item of an imported schema MUST equal the value of the namespace of the importelement information item in the importing WSDL 2.0 document.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Types-1300000" class="document" part="1" section="3" subsection="01">Every QName reference MUST resolve (see ).</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Types-1300001" class="document" part="1" section="3" subsection="01">When resolving QNames references for schema definitions, the namespace MUST be imported by the referring WSDL 2.0 document.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Types-1300002" class="document" part="1" section="3" subsection="01">Specifically components that the schema imports via xs:import are NOT referenceable.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Types-1300003" class="document" part="1" section="3" subsection="01">Similarly, components defined in an inlined XML schema are NOT automatically referenceable within WSDL 2.0 document that imported (using wsdl:import) the WSDL 2.0 document that inlines the schema (see for more details).</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Schema-0018" class="document" part="1" section="3" subsection="01">A WSDL 2.0 document MUST NOT define the same element or type in more than one inlined schema.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Schema-0019" class="document" part="1" section="3" subsection="01">The xs:schemaelement information item MUST contain a targetNamespaceattribute information item.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Types-0023" class="document" part="1" section="3" subsection="02">A specification of extension syntax for an alternative schema language MUST include the declaration of an element information item, intended to appear as a child of the wsdl:typeselement information item, which references, names, and locates the schema instance (an “import” element information item).</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Schema-0021" class="document" part="1" section="3" subsection="02">A specification of extension syntax for an alternative schema language MUST use a namespace that is different than the namespace of XML Schema.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Schema-0053" class="document" part="1" section="3" subsection="02">The namespace used for an alternate schema language MUST be an absolute IRI.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Types-1300005" class="document" part="1" section="3" subsection="03">The type of the wsdlx:interfaceattribute information item is an xs:QName that specifies the name property of an Interface component.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Types-1300006" class="document" part="1" section="3" subsection="03">The type of the wsdlx:bindingattribute information item is an xs:QName that specifies the name property of a Binding component.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Schema-0022" class="document" part="1" section="3" subsection="03">If wsdlx:interface and wsdlx:binding are used together then they MUST satisfy the same consistency rules that apply to the interface property of a Service component and the binding property of a nested Endpoint component, that is either the binding refers the interface of the service or the binding refers to no interface.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Include-1400000" class="document" part="1" section="4" subsection="01">The IRI indicated by location MUST resolve to a WSDL 2.0 document.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Include-0069" class="document" part="1" section="4" subsection="01">The actual value of the targetNamespaceattribute information item of the included WSDL 2.0 document MUST match the actual value of the targetNamespaceattribute information item of the descriptionelement information item which is the [parent] of the includeelement information item.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Import-0070" class="document" part="1" section="4" subsection="02">As with XML schema, any WSDL 2.0 document that references a foreign component MUST have a wsdl:importelement information item for the associated foreign namespace (but which does not necessarily provide a locationattribute information item that identifies the WSDL 2.0 document in which the referenced component is defined).</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Import-1400001" class="document" part="1" section="4" subsection="02">If a WSDL 2.0 document contains more than one wsdl:importelement information item for a given value of the namespaceattribute information item then they MUST provide different values for the locationattribute information item.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Import-0071" class="document" part="1" section="4" subsection="02">This value MUST NOT match the actual value of targetNamespaceattribute information item in the enclosing WSDL 2.0 document.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Import-0072" class="document" part="1" section="4" subsection="02">If the location attribute in the importelement information item is dereferencible then it MUST reference a WSDL 2.0 document and the actual value of the namespaceattribute information item MUST be identical to the actual value of the targetNamespaceattribute information item of the referenced WSDL 2.0 document.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="false" id="Extension-1600000" class="component" part="1" section="6" subsection="00">The meaning of an extension SHOULD be defined (directly or indirectly) in a document that is available at its namespace IRI.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Extensibility-0073" class="component" part="1" section="6" subsection="01">An extension that is NOT marked as mandatory MUST NOT invalidate the meaning of any part of the WSDL 2.0 document.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Extensibility-0074" class="component" part="1" section="6" subsection="01">If a WSDL 2.0 document declares an extension, Feature or Property as optional (i.e., NON-mandatory), then the Web service MUST NOT assume that the client supports that extension, Feature or Property, unless the Web service knows (through some other means) that the client has in fact elected to engage and support that extension, Feature or Property.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Extensibility-0075" class="component" part="1" section="6" subsection="01">Therefore, the Web service MUST support every extension, Feature or Property that is declared as optional in the WSDL 2.0 document, in addition to supporting every extension, Feature or Property that is declared as mandatory.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Location-0076" class="document" part="1" section="7" subsection="00">It MUST NOT appear on a wsdl:description element or any of its children/descendants.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Location-0077" class="component" part="1" section="7" subsection="01">Its actual value MUST be a list of pairs of IRIs; where the first IRI of a pair, which MUST be an absolute IRI as defined in , indicates a WSDL 2.0 (or 1.1) namespace name, and, the second a hint as to the location of a WSDL 2.0 document defining WSDL 2.0 components (or WSDL 1.1 elements ) for that namespace name.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-20060327" required="true" id="Location-1700000" class="document" part="1" section="7" subsection="01">For each pair of IRIs, if the location IRI of the pair is dereferencible then it MUST reference a WSDL 2.0 (or 1.1) document whose target namespace is the namespace IRI of the pair.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="false" id="NodeIdentity-2200000" class="exchange" part="2" section="2" subsection="00">A node MAY be accessible via more than one physical address or transport.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="false" id="MEPDescriptiveness-2200001" class="exchange" part="2" section="2" subsection="00">by some prior agreement, another node and/or the service MAY send other messages (to each other or to other nodes) that are not described by the pattern.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="FaultPropagation-2200101" class="exchange" part="2" section="2" subsection="02">Nodes that generate faults MUST attempt to propagate the faults in accordance with the governing ruleset, but it is understood that any delivery of a network message is best effort, not guaranteed.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="FaultPropagation-2200102" class="exchange" part="2" section="2" subsection="02">When a fault is generated, the generating node MUST attempt to propagate the fault, and MUST do so in the direction and to the recipient specified by the ruleset.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="false" id="FaultPropagationModification-2200103" class="component" part="2" section="2" subsection="02">However, extensions or binding extensions MAY modify these rulesets.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="MEPTermination-2200104" class="exchange" part="2" section="2" subsection="02">Generation of a fault, regardless of ruleset, terminates the exchange.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="false" id="FaultReplacesMessage-2200201" class="exchange" part="2" section="2" subsection="02">Any message after the first in the pattern MAY be replaced with a fault message, which MUST have identical direction.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="FaultDelivery-2200202" class="exchange" part="2" section="2" subsection="02">The fault message MUST be delivered to the same target node as the message it replaces, unless otherwise specified by an extension or binding extension. If there is no path to this node, the fault MUST be discarded.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="false" id="MessageTriggersFault-2200301" class="exchange" part="2" section="2" subsection="02">Any message, including the first in the pattern, MAY trigger a fault message, which MUST have opposite direction.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="FaultDelivery-2200302" class="exchange" part="2" section="2" subsection="02">The fault message MUST be delivered to the originator of the triggering message, unless otherwise specified by an extension of binding extension. Any node MAY propagate a fault message, and MUST not do so more than once for each triggering message. If there is no path to the originator, the fault MUST be discarded.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="NoFaults-2200401" class="exchange" part="2" section="2" subsection="02">Faults MUST NOT be propagated.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="InOnlyComposition-2200501" class="component" part="2" section="2" subsection="03">This pattern consists of exactly one message as follows:</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="InOnlyFaults-2200502" class="exchange" part="2" section="2" subsection="03">This pattern uses the rule .</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="RobustInOnlyComposition-2200601" class="component" part="2" section="2" subsection="03">This pattern consists of exactly one message as follows:</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="RobustInOnlyFaults-2200602" class="exchange" part="2" section="2" subsection="03">This pattern uses the rule .</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="InOutComposition-2200701" class="component" part="2" section="2" subsection="03">This pattern consists of exactly two messages, in order, as follows:</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="InOutFaults-2200702" class="exchange" part="2" section="2" subsection="03">This pattern uses the rule .</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="InOptOutComposition-2200801" class="component" part="2" section="2" subsection="03">This pattern consists of one or two messages, in order, as follows:</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="InOptOutFaults-2200802" class="exchange" part="2" section="2" subsection="03">This pattern uses the rule .</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="OutOnlyComposition-2200901" class="component" part="2" section="2" subsection="03">This pattern consists of exactly one message as follows:</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="OutOnlyFaults-2200902" class="exchange" part="2" section="2" subsection="03">This pattern uses the rule .</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="RobustOutOnlyComposition-2201001" class="component" part="2" section="2" subsection="03">This pattern consists of exactly one message as follows:</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="RobustOutOnlyFaults-2201002" class="exchange" part="2" section="2" subsection="03">This pattern uses the rule .</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="OutInComposition-2201101" class="component" part="2" section="2" subsection="03">This pattern consists of exactly two messages, in order, as follows:</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="OutInFaults-2201102" class="exchange" part="2" section="2" subsection="03">This pattern uses the rule .</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="OutOptInComposition-2201201" class="component" part="2" section="2" subsection="03">This pattern consists of one or two messages, in order, as follows:</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="OutOptInFaults-2201202" class="exchange" part="2" section="2" subsection="03">This pattern uses the rule .</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="false" id="OperationSafety-2300001" class="component" part="2" section="3" subsection="01">However, an operation SHOULD be marked safe if it meets the criteria for a safe interaction defined in Section 3.4 of .</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="false" id="OperationSafety-2300002" class="document" part="2" section="3" subsection="01">An OPTIONAL safeattribute information item with the following Infoset properties:</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="RPCStyle-5007" class="component" part="2" section="4" subsection="01">If the RPC style is used by an Interface Operation component then its message exchange pattern property MUST have the value either http://www.w3.org/@@@@/@@/wsdl/in-only or http://www.w3.org/@@@@/@@/wsdl/in-out.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="RPCStyle-5008" class="component" part="2" section="4" subsection="01">The value of the message content model property for the Interface Message Reference components of the interface message references property MUST be #element.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="RPCStyle-5009" class="component" part="2" section="4" subsection="01">The content model of input and output element declaration elements MUST be defined using a complex type that contains a sequence from XML Schema.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="RPCStyle-5010" class="component" part="2" section="4" subsection="01">The input sequence MUST only contain elements and element wildcards.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="RPCStyle-5011" class="component" part="2" section="4" subsection="01">The input sequence MUST NOT contain more than one element wildcard.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="RPCStyle-5012" class="component" part="2" section="4" subsection="01">The element wildcard, if present, MUST appear after any elements.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="RPCStyle-5013" class="component" part="2" section="4" subsection="01">The output sequence MUST only contain elements.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="RPCStyle-5014" class="component" part="2" section="4" subsection="01">The sequence MUST contain only local element children.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="RPCStyle-5015" class="component" part="2" section="4" subsection="01">The local name of input element's QName MUST be the same as the Interface Operation component's name.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="RPCStyle-5016" class="component" part="2" section="4" subsection="01">Input and output elements MUST both be in the same namespace.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="RPCStyle-5017" class="component" part="2" section="4" subsection="01">The complex type that defines the body of an input or an output element MUST NOT contain any local attributes.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="RPCStyle-5018" class="component" part="2" section="4" subsection="01">If elements with the same qualified name appear as children of both the input and output elements, then they MUST both be declared using the same named type.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="RPCStyle-5019" class="component" part="2" section="4" subsection="01">The input or output sequence MUST NOT contain multiple children elements declared with the same name.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="WRPC-5020" class="component" part="2" section="4" subsection="01">Values for the second component MUST be chosen among the following four: "#in", "#out", "#inout" "#return".</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="WRPC-5021" class="component" part="2" section="4" subsection="01">The value of the first component of each pair (q, t) MUST be unique within the list.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="WRPC-5022" class="component" part="2" section="4" subsection="01">For each child element of the input and output messages of the operation, a pair (q, t) whose first component q is equal to the qualified name of that element MUST be present in the list, with the caveat that elements that appear with cardinality greater than one MUST be treated as a single element.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="WRPC-5023" class="component" part="2" section="4" subsection="01">For each pair (q, #in), there MUST be a child element of the input element with a name of q and there MUST NOT be a child element of the output element with the same name.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="WRPC-5024" class="component" part="2" section="4" subsection="01">For each pair (q, #out), there MUST be a child element of the output element with a name of q and there MUST NOT be a child element of the input element with the same name.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="WRPC-5025" class="component" part="2" section="4" subsection="01">For each pair (q, #inout), there MUST be a child element of the input element with a name of q and there MUST be a child element of the output element with the same name. Furthermore, those two elements MUST have the same type.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="WRPC-5026" class="component" part="2" section="4" subsection="01">For each pair (q, #return), there MUST be a child element of the output element with a name of q and there MUST NOT be a child element of the input element with the same name.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="WRPC-5027" class="document" part="2" section="4" subsection="01">Additionally, each even-numbered item (0, 2, 4, ...) in the list MUST be of type xs:QName and each odd-numbered item (1, 3, 5, ...) in the list MUST be of the subtype of xs:token described in the previous paragraph.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="IRIStyle-5028" class="component" part="2" section="4" subsection="02">When using this style, the value of the message content model property of the Interface Message Reference component corresponding to the initial message of the message exchange pattern MUST be #element.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="IRIStyle-5029" class="component" part="2" section="4" subsection="02">The sequence MUST only contain elements.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="IRIStyle-5030" class="component" part="2" section="4" subsection="02">The sequence MUST contain only local element children. These child elements MAY contain the nillable attribute.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="IRIStyle-5031" class="component" part="2" section="4" subsection="02">The localPart of the element's QName MUST be the same as the Interface Operation component's name.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="IRIStyle-5032" class="component" part="2" section="4" subsection="02">The complex type that defines the body of the element or its children elements MUST NOT contain any attributes.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="IRIStyle-5034" class="component" part="2" section="4" subsection="02">If the children elements of the sequence are defined using an XML Schema type, they MUST derive from xs:simpleType, and MUST NOT be of the type or derive from xs:QName, xs:NOTATION, xs:hexBinary or xs:base64Binary.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="MultipartStyle-5035" class="component" part="2" section="4" subsection="03">When using this style, the value of the message content model property of the Interface Message Reference component corresponding to the initial message of the message exchange pattern MUST be #element.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="MultipartStyle-5036" class="component" part="2" section="4" subsection="03">The sequence MUST only contain elements.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="MultipartStyle-5081" class="component" part="2" section="4" subsection="03">The sequence MUST contain only local element children. These child elements MAY contain the nillable attribute, and the attributes minOccurs and maxOccurs MUST have a value 1.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="MultipartStyle-5037" class="component" part="2" section="4" subsection="03">The localPart of the element's QName MUST be the same as the Interface Operation component's name.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="MultipartStyle-5038" class="component" part="2" section="4" subsection="03">The complex type that defines the body of the element or its children elements MUST NOT contain any attributes.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="MultipartStyle-5039" class="component" part="2" section="4" subsection="03">The sequence MUST NOT contain multiple children element declared with the same local name.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="SOAPBinding-5040" class="component" part="2" section="5" subsection="03">When formulating the SOAP envelope to be transmitted, the contents of the payload (i.e., the contents of the SOAP Body element information item of the SOAP envelope) MUST be what is defined by the corresponding Interface Message Reference component.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="SOAPBinding-5041" class="message" part="2" section="5" subsection="03">If the value is #none then the payload MUST be empty.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="SOAPBinding-2503001" class="message" part="2" section="5" subsection="03">If the value is #element then the payload MUST be the element information item identified by the element declaration property of the Interface Message Reference component.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="SOAPBinding-5042" class="component" part="2" section="5" subsection="03">If the Interface Message Reference component is declared using a non-XML type system (as considered in the Types section of ) then additional binding rules MUST be defined to indicate how to map those components into the SOAP envelope.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="SOAPBinding-5043" class="component" part="2" section="5" subsection="04">Every SOAP binding MUST indicate what version of SOAP is in use for the operations of the interface that this binding applies to.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="SOAPBinding-5044" class="component" part="2" section="5" subsection="05">Every SOAP binding MUST indicate what underlying protocol is in use.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="SOAPBindingFault-5045" class="component" part="2" section="5" subsection="06">For every Interface Fault component contained in an Interface component, a mapping to a SOAP Fault MUST be described.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="SOAPMEPDefault-5046" class="component" part="2" section="5" subsection="07">A xs:anyURI, which is an absolute IRI as defined by , to the Binding component.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="SOAPMEP-5047" class="component" part="2" section="5" subsection="07">A xs:anyURI, which is an absolute IRI as defined by , to the Binding Operation component.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="SOAPAction-5048" class="component" part="2" section="5" subsection="07">A xs:anyURI, which is an absolute IRI as defined by , to the Binding Operation component.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="SOAPModule-5049" class="component" part="2" section="5" subsection="08">A xs:anyURI, which is an absolute IRI as defined by .</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="SOAPHeaderBlock-5050" class="component" part="2" section="5" subsection="09">When its value is true, the SOAP header block MUST be decorated with a SOAP mustUnderstandattribute information item with a value of true; if so, the XML element declaration referenced by the element declaration property MUST allow this SOAP mustUnderstandattribute information item.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="SOAPHeaderBlock-5051" class="component" part="2" section="5" subsection="09">If the value is true, then the SOAP header block MUST be included in the message.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="SOAPHeaderBlock-5052" class="component" part="2" section="5" subsection="09">The value of the elementattribute information item MUST resolve to a global element declaration from the element declarations property of the Description component.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="SOAPMEPSelection-5053" class="component" part="2" section="5" subsection="10">For a given Interface Operation component, if there is a Binding Operation component whose interface operation property matches the component in question and its soap mep property has a value, then the SOAP MEP is the value of the soap mep property. Otherwise, the SOAP MEP is the value of the Binding component's soap mep default, if any. Otherwise, the Interface Operation component's message exchange pattern property MUST have the value http://www.w3.org/@@@@/@@/wsdl/in-out, and the SOAP MEP is the URI http://www.w3.org/2003/05/soap/mep/request-response/ identifying the SOAP Request-Response Message Exchange Pattern as defined in .</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="SOAPHTTPSelection-5054" class="component" part="2" section="5" subsection="10">This default binding rule is applicable when the value of the soap underlying protocol property of the Binding component is http://www.w3.org/2003/05/soap/bindings/HTTP/. If the SOAP MEP selected as specified above has the value http://www.w3.org/2003/05/soap/mep/request-response/ then the HTTP method used is POST. If the SOAP MEP selected has the value http://www.w3.org/2003/05/soap/mep/soap-response/ then the HTTP method used is GET.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="SOAPHTTPGeneration-5055" class="component" part="2" section="5" subsection="10">If the SOAP MEP selected is http://www.w3.org/2003/05/soap/mep/soap-response/ then the value of the SOAP http://www.w3.org/2003/05/soap/mep/ImmediateDestination property MUST be generated using the HTTP binding extension's rules for generating an IRI for HTTP GET (see ).</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPBinding-2600001" class="component" part="2" section="6" subsection="00">a Binding component MAY exist without indicating a specific Interface component that it applies to. In this case there MUST NOT be any Binding Operation or Binding Fault components present in the Binding component.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPBinding-5056" class="component" part="2" section="6" subsection="03">When formulating the HTTP message to be transmitted, the HTTP request method used MUST be selected using one of the following:</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPBinding-5057" class="component" part="2" section="6" subsection="03">When formulating the HTTP message to be transmitted, the contents of the payload (i.e. the contents of the HTTP message body) MUST be what is defined by the corresponding Interface Message Reference or Interface Fault components, serialized as specified by the serialization format used.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPBinding-5061" class="component" part="2" section="6" subsection="03">If the value is #none then the payload MUST be empty and the value of the corresponding serialization property (http input serialization or http output serialization) is ignored.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPBinding-5062" class="component" part="2" section="6" subsection="03">If the Interface Message Reference component or the Interface Fault component is declared using a non-XML type system (as considered in the Types section of ) then additional binding rules MUST be defined in an extension specification to indicate how to map those components into the HTTP envelope.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPBinding-2603001" class="component" part="2" section="6" subsection="03">The serialization rules for messages whose message content model is either #element or #any and for fault messages are as follows:</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPHeader-2606001" class="component" part="2" section="6" subsection="03">If the http headers property as defined in section exists and is not empty in a Binding Message Reference or Binding Fault component, HTTP headers conforming to each HTTP Header component contained in this http headers property MAY be serialized as follows:</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPHeader-5063" class="component" part="2" section="6" subsection="03">The HTTP binding MUST NOT set an HTTP header field corresponding to the value of the name property already set by another mechanism, such as the HTTP stack or another feature.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPHeader-2606002" class="component" part="2" section="6" subsection="03">If the value of an HTTP Header component's required property is true, the inclusion of this HTTP header field is REQUIRED</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPBindingOperation-2605001" class="component" part="2" section="6" subsection="04">The first is transmitted using an HTTP request, and the second is transmitted using the corresponding HTTP response.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPBindingOperation-5065" class="component" part="2" section="6" subsection="04">In cases where only one message is being sent, the message body of the HTTP response MUST be empty.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPBindingOperation-2605002" class="component" part="2" section="6" subsection="04">This IRI is combined with the base IRI specified in the address property of the Endpoint component to form the full IRI for the HTTP request to invoke the operation.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPBindingOperation-5066" class="component" part="2" section="6" subsection="04">It MUST contain an absolute or a relative IRI, i.e. it MUST NOT include a fragment identifier in the IRI.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPSerialization-5067" class="component" part="2" section="6" subsection="04">The value of the http input serialization, http output serialization and http fault serialization properties is similar to the value allowed for the Accept HTTP header defined by the HTTP 1.1 specification, Section 14.1 (see ) and MUST follow the production rules defined in that section except for the following:</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPBindingOperation-2605003" class="component" part="2" section="6" subsection="04">The value of the serialization format used for a message is a media type which MUST be covered by this range.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="false" id="HTTPBindingOperation-2604001" class="component" part="2" section="6" subsection="04">Wild cards (for example, application/*) SHOULD NOT be used in this attribute information item since they may lead to interoperability problems.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPHeader-5068" class="component" part="2" section="6" subsection="05">A Binding Message Reference or a Binding Fault component's http headers property MUST NOT contain multiple HTTP Header components with the same name property.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPHeader-5069" class="component" part="2" section="6" subsection="05">This type MUST be a simple type.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPHeader-5070" class="component" part="2" section="6" subsection="05">If the value is true, then the HTTP header field MUST be included in the message.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="false" id="HTTPBindingFault-2606003" class="component" part="2" section="6" subsection="06">The fault definition SHOULD agree with the definition of the HTTP error codes, as specified in section 8 of .</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPBindingFault-2607002" class="component" part="2" section="6" subsection="06">An integer value of this property identifies the error Status-Code as defined by that the service will use in case the fault is returned.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPSerialization-2608001" class="component" part="2" section="6" subsection="07">If the style property of the Interface Operation bound has a value of http://www.w3.org/@@@@/@@/wsdl/style/iri as defined in , and if the http location property of the Binding Operation component is present, the value of the http location property component is used as a template</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPSerialization-5071" class="component" part="2" section="6" subsection="07">The resulting IRI MUST be mapped to an URI for use in the HTTP Request as per section 3.1 "Mapping of IRIs to URIs" of the IRI specification .</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPSerialization-2607010" class="message" part="2" section="6" subsection="07">This element MUST NOT carry an xs:nil attribute whose value is true</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPSerialization-5073" class="component" part="2" section="6" subsection="07">Strings enclosed within single curly braces MUST be element names from the instance data of the input message.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPSerialization-2607011" class="component" part="2" section="6" subsection="07">If this format is used then the style property of Interface Operation component being bound MUST contain a value of http://www.w3.org/@@@@/@@/wsdl/style/iri as defined in , i.e. this serialization format may only be used to serialize the HTTP request corresponding to the initial message of an interface operation.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPSerialization-2608002" class="component" part="2" section="6" subsection="07">For the HTTP binding defined in this section (), application/x-www-form-urlencoded MAY be used as a serialization format for an input message (HTTP Request), but MUST NOT be used as a serialization format for an output or fault message (HTTP Response).</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPSerialization-2608003" class="component" part="2" section="6" subsection="07">If not all elements from the instance data are cited in the http location property, or if the property is not present on the Binding Operation component, then additional serialization rules apply.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPSerialization-2608004" class="component" part="2" section="6" subsection="07">For elements of the instance data not cited in the http location property, a query string is constructed as follows.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPQueryString-5074" class="component" part="2" section="6" subsection="07">The instance data MUST NOT contain elements with an xs:nil attribute whose value is true.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPSerialization-2608005" class="component" part="2" section="6" subsection="07">If the HTTP request method used does not allow HTTP message body (e.g. GET and DELETE), and if the value of the http location ignore uncited property is false, then the following rules apply.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPSerialization-2608007" class="component" part="2" section="6" subsection="07">If the HTTP request method used does allow an HTTP message body (e.g. POST and PUT), then the following rules apply.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPSerialization-2608008" class="component" part="2" section="6" subsection="07">The Content-Type HTTP header field must have the value application/x-www-form-urlencoded.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPSerialization-5075" class="component" part="2" section="6" subsection="07">The Content-Type HTTP header MUST have the value application/xml, or a media type compatible with application/xml as specified in section .</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPSerialization-2608009" class="component" part="2" section="6" subsection="07">this serialization format may only be used to serialize the HTTP request corresponding to the initial message of an interface operation.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPSerialization-5076" class="component" part="2" section="6" subsection="07">Specifically, for the HTTP binding defined in this section (), multipart/form-data MAY be used as a serialization format for an input message (HTTP Request), but MUST NOT be used as a serialization format for an output or fault message (HTTP Response).</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPSerialization-5077" class="component" part="2" section="6" subsection="07">The Content-Disposition header MUST have the value form-data, and its name parameter is the local name of the element.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPSerialization-5078" class="component" part="2" section="6" subsection="07">The Content-Type header MUST have the value:</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPSerialization-5079" class="component" part="2" section="6" subsection="07">The instance data MUST NOT contain elements with an xs:nil attribute whose value is true.</assertion>
! <assertion origin="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060327" required="true" id="HTTPAccessAuthentication-5080" class="component" part="2" section="6" subsection="10">If the http authentication scheme property is present, then this property MUST be present.</assertion>
  </assertions>

Received on Friday, 7 July 2006 18:04:18 UTC