<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE spec PUBLIC "-//W3C//DTD Specification V2.2+WSDL//EN" "xmlspec.dtd">
<!--
/*
 * Copyright © 2006 World Wide Web Consortium,
 *
 * (Massachusetts Institute of Technology, European Research Consortium for
 * Informatics and Mathematics, Keio University). All Rights Reserved. This
 * work is distributed under the W3C® Document License [1] in the hope that
 * it will be useful, but WITHOUT ANY WARRANTY; without even the implied
 * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
 *
 * [1] http://www.w3.org/Consortium/Legal/2002/copyright-documents-20021231
 */
    -->
<!-- $Id: wsdl20-adjuncts.xml,v 1.3 2006/01/05 20:52:02 plehegar Exp $ -->
<?xml-stylesheet type='text/xsl' href='xmlspec-wsdl.xsl'?><spec xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:z="http://www.w3.org/2004/zml" w3c-doctype="cr" role="public">
  <header>
    <title>Web Services Description Language (WSDL) Version 2.0 Part 2: Adjuncts</title>
    <w3c-designation>http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060106</w3c-designation>
    <w3c-doctype>W3C Candidate Recommendation</w3c-doctype>
    <pubdate>
      <day>6</day>
      <month>January</month>
      <year>2006</year>
    </pubdate>
    <publoc>
      <loc href="http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060106" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://www.w3.org/TR/2006/CR-wsdl20-adjuncts-20060106</loc>
    </publoc>
    <altlocs>
	<loc role="pdf" href="wsdl20-adjuncts.pdf" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">PDF</loc>
	<loc role="postscript" href="wsdl20-adjuncts.ps" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">PostScript</loc>
	<loc role="xml" href="wsdl20-adjuncts.xml" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">XML</loc>
	<loc role="plain" href="wsdl20-adjuncts.txt" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">plain text</loc>
    </altlocs>
    <prevlocs>
      <loc href="http://www.w3.org/TR/2005/WD-wsdl20-adjuncts-20050803" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://www.w3.org/TR/2005/WD-wsdl20-adjuncts-20050803</loc>
    </prevlocs>
    <latestloc>
      <loc href="http://www.w3.org/TR/wsdl20-adjuncts" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://www.w3.org/TR/wsdl20-adjuncts</loc>
    </latestloc>
    <authlist>
      <author>
	<name>Roberto Chinnici</name>
	<affiliation>Sun Microsystems</affiliation>
      </author>
      <author>
        <name>Hugo Haas</name>
        <affiliation>W3C</affiliation>
      </author>
      <author>
	<name>Amelia A. Lewis</name>
	<affiliation>TIBCO Software</affiliation>
      </author>
      <author>
	<name>Jean-Jacques Moreau</name>
        <affiliation>Canon</affiliation>
      </author>
      <author>
        <name>David Orchard</name>
        <affiliation>BEA Systems</affiliation>
      </author>
      <author>
        <name>Sanjiva Weerawarana</name>
        <affiliation>WSO2</affiliation>
      </author>
    </authlist>
    <abstract>
      <p>
	WSDL is an XML format for describing network services as a set
	of endpoints operating on messages containing either
	document-oriented or procedure-oriented information.
	Web Services Description Language (WSDL) Version 2.0 Part 2: Adjuncts defines predefined extensions for use in WSDL 2.0:
      </p>
      <ulist>
	<item><p>Message exchange patterns</p></item>
	<item><p>Operation styles</p></item>
	<item><p>Binding Extensions</p></item>
      </ulist>
      <p>
	This
	specification depends on WSDL Version 2.0 <bibref ref="WSDL-PART1"/>.
      </p>
    </abstract>
    
<status id="Status">

  <p>
    <emph>This section describes the status of this document at the time
    of its publication. Other documents may supersede this document. A
    list of current W3C publications and the latest revision of this
    technical report can be found in the <loc href="http://www.w3.org/TR/" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">W3C technical reports index</loc> at
    http://www.w3.org/TR/.</emph>
  </p>

   <p>
      This is the <loc href="http://www.w3.org/2005/10/Process-20051014/tr.html#RecsCR" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">W3C
      Candidate Recommendation</loc> of Web Services Description Language (WSDL) Version 2.0 Part 2: Adjuncts for
      review by W3C Members and other interested parties. It has been
      produced by the <loc href="http://www.w3.org/2002/ws/desc/" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">Web
      Services Description Working Group</loc>, which is part of the
      <loc href="http://www.w3.org/2002/ws/Activity" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">W3C Web Services
      Activity</loc>. The publication of this document signifies a <loc href="http://www.w3.org/2005/10/Process-20051014/tr.html#cfi" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">call
      for implementations</loc> of this specification. This specification
      will remain a Candidate Recommendation at least until 15 March
   2006.</p>

    <p>
      This Working Draft addresses all the comments received during
      the second Last Call review period on the WSDL 2.0
      drafts. The detailed disposition of the comments received
      can be found in the <loc href="http://www.w3.org/2002/ws/desc/5/lc-issues/" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">Last Call issues list</loc>.
      A <loc href="wsdl20-adjuncts-diff.html" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">diff-marked version against the
      previous version of this document</loc> is available. For a
      detailed list of changes since the last publication of this
      document, please refer to appendix <specref ref="changelog"/>.
    </p>

    <!-- One-way MEP addition -->
    <!--
    <p>
      The Working Group would like to add a defaulting rule for
      one-way message exchange patterns in the SOAP 1.2 binding
      defined in section <specref ref="soap12-defaults"/> (see <loc
      href='#one-way-mep-default'>editorial note</loc>) before it
      publishes a Proposed Recommendation of this document if a SOAP
      1.2 one-way message exchange pattern becomes available. Feedback
      is welcome on this topic.
    </p>
    -->

    <p>The Working Group plans to submit
    this specification for consideration as a <loc href="http://www.w3.org/2005/10/Process-20051014/tr.html#RecsPR" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">W3C
    Proposed Recommendation</loc> if the following exit criteria have
    been met:
  </p>

  <ulist>
    <item>
      <p>
        Two interoperable implementations of all the
        features, both mandatory and optional, of the specifications
        have been produced.
      </p>
    </item>
    <item>
      <p>
        The Working Group releases a test suite along with an <loc href="http://www.w3.org/2002/ws/desc/5/impl-report/" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">implementation
        report</loc>.
      </p>
    </item>
  </ulist>

  <p>The following features defined in this specification are considered <loc href="http://www.w3.org/2005/10/Process-20051014/tr.html#at-risk-feature" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">at risk</loc>:</p>
  <ulist>
    <item>
      <p>
	Serialization of the instance data in parts of the HTTP request IRI
	(section <specref ref="_http_location_template"/>): feedback is sought on this topic
      </p>
    </item>
    <item>
      <p>
	Definition of the Robust In-Only, In-Optional-Out, Out-Only,
	Robust Out-Only, Out-In, Out-Optional-In message exchange
	pattern (in section <specref ref="patterns"/>): the Working
	Group is intending to remove those definitions from the
	specification if it does not have evidence of their use
      </p>
    </item>
  </ulist>

    <p>Implementers are encouraged to <loc href="http://www.w3.org/2005/10/Process-20051014/tr.html#cfi" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">provide feedback</loc> by
    15 March 2006.
      Comments on this document are to be sent to the public <loc href="mailto:public-ws-desc-comments@w3.org" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">public-ws-desc-comments@w3.org</loc>
      mailing list (<loc href="http://lists.w3.org/Archives/Public/public-ws-desc-comments/" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">public
      archive</loc>).
    </p>

    <p>
    Issues about this document are recorded in the <loc href="http://www.w3.org/2002/ws/desc/5/cr-issues/" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">Candidate Recommendation
    issues list</loc> maintained by the Working Group. A list of <loc href="http://www.w3.org/2002/ws/desc/5/07/objections.html" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">formal
    objections</loc> against the set of WSDL 2.0 Working Drafts is
    also available.
    </p>

    <!-- Boilerplate -->

    <p>
      Publication as a Candidate Recommendation does not imply endorsement by the W3C
      Membership. This is a draft document and may be updated, replaced or
      obsoleted by other documents at any time. It is inappropriate to
      cite this document as other than work in progress.
    </p>

    <p>
      This document has been produced under the <loc href="http://www.w3.org/TR/2002/NOTE-patent-practice-20020124" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">24
      January 2002 Current Patent Practice</loc> as amended by the
      <loc href="http://www.w3.org/2004/02/05-pp-transition" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">W3C
      Patent Policy Transition Procedure</loc>.  Patent disclosures
      relevant to this specification may be found on the Working
      Group's <loc href="http://www.w3.org/2002/ws/desc/2/04/24-IPR-statements.html" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">patent
      disclosure page</loc>. An individual who has actual knowledge of
      a patent which the individual believes contains Essential
      Claim(s) with respect to this specification should disclose the
      information in accordance with <loc href="http://www.w3.org/Consortium/Patent-Policy-20040205/#sec-Disclosure" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">section
      6 of the W3C Patent Policy</loc>.
    </p>

</status>


    <langusage>
      <language id="en">English</language>
    </langusage>
    <revisiondesc>
      <p>Last Modified: $Date: 2006/01/05 20:52:02 $ CET</p>
    </revisiondesc>
  </header>
  <body>

    <!-- *************************************************************** -->

    <div1 id="intro">
      <head>Introduction</head>
      <p> The Web Services Description Language WSDL Version 2.0 (WSDL)
<bibref ref="WSDL-PART1"/> defines an XML language
for describing network services as collections of communication
endpoints capable of exchanging messages. WSDL service definitions
provide documentation for distributed systems and serve as a recipe
for automating the details involved in applications
communication. This document defines extensions for the WSDL 2.0
      language:</p>
      <ulist>
	<item><p>Message exchange patterns: <specref ref="meps"/></p></item>
	<item><p>Operation safety declaration: <specref ref="ext"/></p></item>
	<item><p>Operation styles: <specref ref="styles"/></p></item>
	<item><p>Binding extensions:</p>
	<ulist>
	  <item><p>A SOAP 1.2 <bibref ref="SOAP12-PART1"/> binding extension:
	  <specref ref="soap-binding"/></p></item>
	  <item><p>An HTTP/1.1 <bibref ref="RFC2616"/> binding extension:
	  <specref ref="http-binding"/></p></item>
	</ulist>
	</item>
      </ulist>

      <p> WSDL 2.0 Primer <bibref ref="WSDL-PART0"/> is a non-normative
document intended to provide an easily understandable tutorial on the
features of the WSDL Version 2.0 specifications.  </p>
      <p> The Core Language <bibref ref="WSDL-PART1"/> of the WSDL 2.0
specification describes the core elements of the WSDL language. </p>
      <!-- +++++++++ -->
      <div2 id="notcon">
        <head>Notational Conventions</head>
        <p>The keywords "MUST", "MUST NOT", "REQUIRED", "SHALL", "SHALL NOT",
"SHOULD", "SHOULD NOT", "RECOMMENDED", "MAY", and "OPTIONAL" in this
document are to be interpreted as described in RFC2119 <bibref ref="RFC2119"/>.</p>
        <p>This specification uses a number of namespace prefixes throughout;
they are listed in <specref ref="tabprefns"/>. Note that the choice of
any namespace prefix is arbitrary and not semantically significant
(see <bibref ref="XMLInfoSet"/>).</p>
        <table border="1" summary="Mapping of prefixes used in this document to their&#13;&#10;  associated namespace name" id="tabprefns">
          <caption>Prefixes and Namespaces used in this specification</caption>
          <tbody>
            <tr>
              <th rowspan="1" colspan="1">Prefix</th>
              <th rowspan="1" colspan="1">Namespace</th>
              <th rowspan="1" colspan="1">Notes</th>
            </tr>
            <tr>
              <td rowspan="1" colspan="1">wsdl</td>
              <td rowspan="1" colspan="1">
                <attval>http://www.w3.org/2006/01/wsdl</attval>
              </td>
              <td rowspan="1" colspan="1">
		This namespace is defined in <bibref ref="WSDL-PART1"/>.
		A normative XML Schema <bibref ref="XMLSchemaP1"/>,
        <bibref ref="XMLSchemaP2"/> document for the
        <attval>http://www.w3.org/2006/01/wsdl</attval>
        namespace can be found at <loc href="http://www.w3.org/2006/01/wsdl" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://www.w3.org/2006/01/wsdl</loc>. This namespace is used as
	      the default namespace throughout this specification.</td>
            </tr>
            <tr>
              <td rowspan="1" colspan="1">wsdlx</td>
              <td rowspan="1" colspan="1">
                <attval>http://www.w3.org/2006/01/wsdl-extensions</attval>
              </td>
              <td rowspan="1" colspan="1">
		This specification extends in section <specref ref="ext"/> the
		<attval>http://www.w3.org/2006/01/wsdl-extensions</attval> namespace defined in <bibref ref="WSDL-PART1"/>.
		A normative XML Schema <bibref ref="XMLSchemaP1"/>,
        <bibref ref="XMLSchemaP2"/> document for the
        <attval>http://www.w3.org/2006/01/wsdl-extensions</attval>
        namespace can be found at <loc href="http://www.w3.org/2006/01/wsdl-extensions" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://www.w3.org/2006/01/wsdl-extensions</loc>.</td>
            </tr>
            <tr>
              <td rowspan="1" colspan="1">wsoap</td>
              <td rowspan="1" colspan="1">
                <attval>http://www.w3.org/2006/01/wsdl/soap</attval>
              </td>
              <td rowspan="1" colspan="1">Defined by this
	      specification. A normative XML Schema <bibref ref="XMLSchemaP1"/>,
            <bibref ref="XMLSchemaP2"/> document for the
            <attval>http://www.w3.org/2006/01/wsdl/soap</attval>
            namespace can be found at <loc href="http://www.w3.org/2006/01/wsdl/soap" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://www.w3.org/2006/01/wsdl/soap</loc>.</td>
            </tr>
            <tr>
              <td rowspan="1" colspan="1">whttp</td>
              <td rowspan="1" colspan="1">
                <attval>http://www.w3.org/2006/01/wsdl/http</attval>
              </td>
              <td rowspan="1" colspan="1">Defined by this
	      specification. A normative XML Schema <bibref ref="XMLSchemaP1"/>,
            <bibref ref="XMLSchemaP2"/> document for the
            <attval>http://www.w3.org/2006/01/wsdl/http</attval>
            namespace can be found at <loc href="http://www.w3.org/2006/01/wsdl/http" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://www.w3.org/2006/01/wsdl/http</loc>.</td>
            </tr>
            <tr>
              <td rowspan="1" colspan="1">wrpc</td>
              <td rowspan="1" colspan="1">
                <attval>http://www.w3.org/2006/01/wsdl/rpc</attval>
              </td>
              <td rowspan="1" colspan="1">Defined by this
	      specification. A normative XML Schema <bibref ref="XMLSchemaP1"/>,
            <bibref ref="XMLSchemaP2"/> document for the
            <attval>http://www.w3.org/2006/01/wsdl/rpc</attval>
            namespace can be found at <loc href="http://www.w3.org/2006/01/wsdl/rpc" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://www.w3.org/2006/01/wsdl/rpc</loc>.</td>
            </tr>
            <tr>
              <td rowspan="1" colspan="1">xs</td>
              <td rowspan="1" colspan="1">
                <attval>http://www.w3.org/2001/XMLSchema</attval>
              </td>
              <td rowspan="1" colspan="1">Defined in the W3C XML Schema
          specification <bibref ref="XMLSchemaP1"/>, <bibref ref="XMLSchemaP2"/>.</td>
            </tr>
          </tbody>
        </table>
        <p>Namespace names of the general form
<attval>http://example.org/...</attval> and
<attval>http://example.com/...</attval> represent application or
context-dependent URIs <bibref ref="RFC3986"/>.</p>
        <p>All parts of this specification are normative, with the EXCEPTION
of pseudo-schemas, examples, and sections explicitly marked as
"Non-Normative".  Pseudo-schemas are provided for each component,
before the description of this component. They provide visual help for
the XML <bibref ref="XML10"/> serialization. The <xspecref href="http://www.w3.org/TR/2006/CR-wsdl20-20060106#bnfpseudoschemas" xlink:type="simple" xlink:show="new" xlink:actuate="onRequest">syntax of BNF
	pseudo-schemas</xspecref> is the same as the one used in <bibref ref="WSDL-PART1"/>.</p>
      </div2>
    </div1>

    <!-- *************************************************************** -->

<div1 id="meps">
<head>Predefined Message Exchange Patterns</head>

<p>
Web Services Description Language (WSDL) message exchange patterns (hereafter simply
'patterns') define the sequence and cardinality of abstract messages listed in 
an operation.  Message exchange patterns also define which other nodes send 
messages to, and receive messages from, the service implementing the operation.
</p>

<p>
A <emph>node</emph> is an agent (<xspecref href="http://www.w3.org/TR/2004/NOTE-ws-arch-20040211/#agent" xlink:type="simple" xlink:show="new" xlink:actuate="onRequest">section 2.3.2.2
Agent of the Web Services Architecture</xspecref> <bibref ref="wsarch"/>) that can transmit and/or receive message(s) 
described in WSDL description(s) and process them.
</p>
<note>
    <p>A node may be accessible via more than one physical address or transport.</p>
</note>

<p>
WSDL message exchange patterns describe the interaction at the abstract 
(interface) level, which may be distinct from the pattern used by the 
underlying protocol binding (e.g. SOAP Message Exchange
Patterns; section <specref ref="soap12-defaults"/> contains the
binding rules for the selection of a SOAP 1.2 message exchange
pattern based on the WSDL message exchange pattern in use for the SOAP
binding extension defined in this specification in section <specref ref="soap-binding"/>).
</p>

<p>
By design, WSDL message exchange patterns abstract out specific message types.
Patterns identify placeholders for messages, and placeholders are
associated with specific message types by the operation using the
pattern. 
</p>

<p>
Unless explicitly stated otherwise, WSDL message exchange patterns also
abstract out binding-specific information like timing between
messages, whether the pattern is synchronous or asynchronous, and
whether the message are sent over a single or multiple channels.
</p>

<p>
Like interfaces and operations, WSDL message exchange patterns do not
exhaustively describe the set of messages exchanged between a service
and other nodes; 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. For instance, even though a pattern
may define a single message sent from a service to one other node, the
Web Service may multicast that message to other nodes.
</p>

<p>
To maximize reuse, WSDL message exchange patterns identify a minimal contract
between other parties and Web Services, and contain only information
that is relevant to both the Web Service and another party.
</p>

<p>This specification defines several message exchange patterns for
use with <emph>WSDL Version 2.0 Part 1: Core Language</emph> <bibref ref="WSDL-PART1"/>.</p>

<div2 id="mep-template">
<head>Template for Message Exchange Patterns</head>

<p>New Message Exchange Patterns may be defined by any organization able and
willing to do so.  It is recommended that the patterns use the general
template provided here, after examination of existing predefined patterns.</p>

<div3 id="template-sample">
<head>Pattern Name</head>

<p>This pattern consists of [number] message[s, in order] as follows:</p>

<p>[enumeration, specifying, for each message] A[n optional] message:</p>
<olist>
  <item><p>indicated by a <comp>Interface Message Reference</comp> component whose
<prop comp="Interface Message Reference">message label</prop> is
<attval>[label]</attval> and <prop comp="Interface Message Reference">direction</prop> is <attval>[direction]</attval></p></item>
  <item><p>[received from|sent to] ['some' if first mention] node [node
identifier]</p></item>
</olist>

<p>This pattern uses the rule [fault ruleset reference].</p>

<p>An operation using this message exchange pattern has a
<prop comp="Interface Operation">message exchange pattern</prop>
property with the value <attval>[pattern IRI]</attval>.</p>

<p>Note: In the template, the bracketed items indicate a replacement operation.
Substitute the correct terms for each bracketed item.</p>

<p>Note: the "received from" and "sent to" are always from the point of
view of the service, and participating nodes other than the service are
implicitly identified as the originators of or destinations for
messages in the exchange.</p>

</div3>

</div2>

<div2 id="fault-rules">
<head>Fault Propagation Rules</head>

<p>WSDL patterns specify their fault propagation model using standard
rulesets to indicate where faults may occur.  The most common patterns
for fault propagation are defined here, and referenced by patterns later in
the document.  "Propagation" is defined as a best-effort attempt to transmit
the fault message to its designated recipient.</p>

<p>WSDL patterns specify propagation of faults, not their generation.  
Nodes which generate a fault 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.  The 
rulesets establish the direction of the fault message and the fault 
recipient, they do not provide reliability or other delivery guarantees. 
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.  However, extensions or binding extensions
MAY modify these rulesets.  For example, WS-Addressing <bibref ref="WSA-Core"/>
defines a "FaultTo" address for messages, which is used in lieu of the recipient
nominated by the ruleset.</p> 

<p>Generation of a fault, regardless of ruleset, terminates the exchange.</p>

<p>Binding extensions, features, or extension specifications may override the 
semantics of a fault propagation ruleset, but this practice is strongly 
discouraged.</p> 

<div3 id="fault-replacement">
<head>Fault Replaces Message</head>

<p>
	<assert class="component" id="FaultReplacesMessage-5000">
		Any message after the first in the pattern MAY be replaced with
		a fault message, which MUST have identical direction.
	</assert>
	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.
</p>

<p>This fault propagation rule is identified by the following URI: <code>http://www.w3.org/2006/01/wsdl/fault-replaces-message</code></p>

</div3>

<div3 id="fault-trigger">
<head>Message Triggers Fault</head>

<p>
	<assert class="component" id="MessageTriggersFault-5001">
		Any message, including the first in the pattern, MAY trigger a
		fault message, which MUST have opposite direction.
	</assert>
	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.
</p>

<p>This fault propagation rule is identified by the following URI: <code>http://www.w3.org/2006/01/wsdl/message-triggers-fault</code></p>

</div3>

<div3 id="no-fault">
<head>No Faults</head>
<p>
	<assert class="component" id="NoFaults-5002">
		Faults MUST NOT be propagated.
	</assert>
</p>

<p>This fault propagation rule is identified by the following URI: <code>http://www.w3.org/2006/01/wsdl/no-faults</code></p>

</div3>

</div2>

<div2 id="patterns">
<head>Message Exchange Patterns</head>

<p>WSDL patterns are described in terms of the WSDL component model,
specifically the <comp>Interface Message Reference</comp>
and <comp>Interface Fault Reference</comp> components. </p>

<div3 id="in-only">
<head>In-Only</head>
<p>
This pattern consists of exactly one message as follows:
</p>
<olist>
  <item>
    <p>
A message:
    </p>
    <ulist>
      <item>
        <p>
indicated by a <comp>Interface Message Reference</comp> component
whose <prop comp="Interface Message Reference">message label</prop>
is <attval>In</attval> and <prop comp="Interface Message Reference">direction</prop> is <attval>in</attval>
        </p>
      </item>
      <item>
        <p>
received from some node N
        </p>
      </item>
    </ulist>
  </item>
</olist>

<p>This pattern uses the rule <specref ref="no-fault"/>.</p>
<p>
An operation using this message exchange pattern has a
<prop comp="Interface Operation">message exchange pattern</prop> property with
the value <attval>http://www.w3.org/2006/01/wsdl/in-only</attval>.
</p>
</div3>

<div3 id="robust-in-only">
<head>Robust In-Only</head>
<p>This pattern consists of exactly one message as follows:</p>
<olist>
  <item><p>A message:</p>
    <ulist>
      <item><p>indicated by a <comp>Interface Message Reference</comp> component whose
<prop comp="Interface Message Reference">message label</prop> is <attval>In</attval> and
<prop comp="Interface Message Reference">direction</prop> is <attval>in</attval></p></item>
      <item><p>received from some node N</p></item>
    </ulist>
  </item>
</olist>
<p>This pattern uses the rule <specref ref="fault-trigger"/>.</p>
<p>An operation using this message exchange pattern has a
<prop comp="Interface Operation">message exchange pattern</prop> property with
the value <attval>http://www.w3.org/2006/01/wsdl/robust-in-only</attval>.</p>
</div3>

<div3 id="in-out">
<head>In-Out</head>
<p>This pattern consists of exactly two messages, in order, as follows:</p>
<olist>
  <item>
    <p>
A message:
    </p>
    <ulist>
      <item>
        <p>
indicated by a <comp>Interface Message Reference</comp> component
whose <prop comp="Interface Message Reference">message label</prop>
is <attval>In</attval> and <prop comp="Interface Message Reference">direction</prop> is <attval>in</attval>
        </p>
      </item>
      <item>
        <p>
received from some node N
        </p>
      </item>
    </ulist>
  </item>
  <item>
    <p>
A message:
    </p>
    <ulist>
      <item>
        <p>
indicated by a <comp>Interface Message Reference</comp> component
whose <prop comp="Interface Message Reference">message label</prop>
is <attval>Out</attval> and <prop comp="Interface Message Reference">direction</prop> is <attval>out</attval>
        </p>
      </item>
      <item>
        <p>
sent to node N
        </p>
      </item>
    </ulist>
  </item>
</olist>
<p>This pattern uses the rule <specref ref="fault-replacement"/>.</p>
<p>
An operation using this message exchange pattern has
a <prop comp="Interface Operation">message exchange pattern</prop> property with
the value <attval>http://www.w3.org/2006/01/wsdl/in-out</attval>.
</p>
</div3>

<div3 id="in-opt-out">
<head>In-Optional-Out</head>
<p>This pattern consists of one or two messages, in order, as
follows:</p>
<olist>
  <item><p>A message:</p>
    <ulist>
      <item><p>indicated by a <comp>Interface Message Reference</comp> component whose
<prop comp="Interface Message Reference">message label</prop> is <attval>In</attval> and
<prop comp="Interface Message Reference">direction</prop> is <attval>in</attval></p></item>
      <item><p>received from some node N</p></item>
    </ulist>
  </item>
  <item><p>An optional message:</p>
    <ulist>
      <item><p>indicated by a <comp>Interface Message Reference</comp> component whose
<prop comp="Interface Message Reference">message label</prop> is <attval>Out</attval> and
<prop comp="Interface Message Reference">direction</prop> is <attval>out</attval></p></item>
      <item><p>sent to node N</p></item>
    </ulist>
  </item>
</olist>
<p>This pattern uses the rule <specref ref="fault-trigger"/>.</p>
<p>An operation using this message exchange pattern has
a <prop comp="Interface Operation">message exchange pattern</prop> property
with the value <attval>http://www.w3.org/2006/01/wsdl/in-opt-out</attval>.</p>
</div3>

<div3 id="out-only">
<head>Out-Only</head>
<p>This pattern consists of exactly one message as follows:</p>
<olist>
  <item>
    <p>
A message:
    </p>
    <ulist>
      <item>
        <p>
indicated by a <comp>Interface Message Reference</comp> component
whose <prop comp="Interface Message Reference">message label</prop>
is <attval>Out </attval> and <prop comp="Interface Message Reference">direction</prop> is <attval>out</attval>
        </p>
      </item>
      <item>
        <p>
sent to some node N
        </p>
      </item>
    </ulist>
  </item>
</olist>
<p>This pattern uses the rule <specref ref="no-fault"/>.</p>
<p>
An operation using this message exchange pattern has
a <prop comp="Interface Operation">message exchange pattern</prop> property with
the value <attval>http://www.w3.org/2006/01/wsdl/out-only</attval>.
</p>
</div3>

<div3 id="robust-out-only">
<head>Robust Out-Only</head>
<p>This pattern consists of exactly one message as follows:</p>
<olist>
  <item><p>message:</p>
    <ulist>
      <item><p>indicated by a <comp>Interface Message Reference</comp> component whose
<prop comp="Interface Message Reference">message label</prop> is <attval>Out</attval> and
<prop comp="Interface Message Reference">direction</prop> is <attval>out</attval></p></item>
      <item><p>sent to some node N</p></item>
    </ulist>
  </item>
</olist>
<p>This pattern uses the rule <specref ref="fault-trigger"/>.</p>
<p>An operation using this message exchange pattern has
a <prop comp="Interface Operation">message exchange pattern</prop> property with
the value <attval>http://www.w3.org/2006/01/wsdl/robust-out-only</attval>.</p>
</div3>

<div3 id="out-in">
<head>Out-In</head>
<p>This pattern consists of exactly two messages, in order, as follows:</p>
<olist>
  <item>
    <p>
A message:
    </p>
    <ulist>
      <item>
        <p>
indicated by a <comp>Interface Message Reference</comp> component
whose <prop comp="Interface Message Reference">message label</prop>
is <attval>Out</attval> and <prop comp="Interface Message Reference">direction</prop> is <attval>out</attval>
        </p>
      </item>
      <item>
        <p>
sent to some node N
        </p>
      </item>
    </ulist>
  </item>
  <item>
    <p>
A message:
    </p>
    <ulist>
      <item>
        <p>
indicated by a <comp>Interface Message Reference</comp> component
whose <prop comp="Interface Message Reference">message label</prop>
is <attval>In</attval> and <prop comp="Interface Message Reference">direction</prop> is <attval>in</attval>
        </p>
      </item>
      <item>
        <p>
sent from node N
        </p>
      </item>
    </ulist>
  </item>
</olist>
<p>This pattern uses the rule <specref ref="fault-replacement"/>.</p>
<p>
An operation using this message exchange pattern has
a <prop comp="Interface Operation">message exchange pattern</prop> property with
the value <attval>http://www.w3.org/2006/01/wsdl/out-in</attval>.
</p>
</div3>

<div3 id="out-opt-in">
<head>Out-Optional-In</head>
<p>This pattern consists of one or two messages, in order, as
follows:</p>
<olist>
  <item><p>A message:</p>
    <ulist>
      <item><p>indicated by a <comp>Interface Message Reference</comp> component whose
<prop comp="Interface Message Reference">message label</prop> is <attval>Out</attval> and
<prop comp="Interface Message Reference">direction</prop> is <attval>out</attval></p></item>
      <item><p>sent to some node N</p></item>
    </ulist>
  </item>
  <item><p>An optional message:</p>
    <ulist>
      <item><p>indicated by a <comp>Interface Message Reference</comp> component whose
<prop comp="Interface Message Reference">message label</prop> is <attval>In</attval> and
<prop comp="Interface Message Reference">direction</prop> is <attval>in</attval></p></item>
      <item><p>sent from node N</p></item>
    </ulist>
  </item>
</olist>
<p>This pattern uses the rule <specref ref="fault-trigger"/>.</p>
<p>An operation using this message exchange pattern has
a <prop comp="Interface Operation">message exchange pattern</prop> property with
the value <attval>http://www.w3.org/2006/01/wsdl/out-opt-in</attval>.</p>
</div3>

</div2><!-- message exchange patterns -->

<div2 id="mep-sec-sec">
  <head>Security Considerations</head>

<p>Note that many of the message exchange patterns defined above describe
responses to an initial message (either a normal response message or a
fault.)</p>

<p>Such responses may be used in attempts to disrupt, attack, or map a
network, host, or services. When such responses are directed to an
address other than that originating the initial message, the source of
an attack may be obscured, or blame laid on a third party, or may
enable or exacerbate denial-of-service attacks.</p>

<p>Security mechanisms addressing such attacks may prevent the
delivery of response messages to the receiving node. Conformance to
the message exchange pattern is measured prior to the application of
these security mechanisms.</p>
</div2>

</div1><!-- section on meps -->

    <!-- *************************************************************** -->

    <div1 id="ext">
      <head>Predefined Extensions</head>

      <div2 id="safety">
	<head>Operation safety</head>

	<p>
	  This section defines an extension to WSDL 2.0 <bibref ref="WSDL-PART1"/> which allows to mark an operation as a
	  safe interaction, as defined in <xspecref href="http://www.w3.org/TR/2004/REC-webarch-20041215/#safe-interaction" xlink:type="simple" xlink:show="new" xlink:actuate="onRequest">section
	  3.4. Safe Interactions</xspecref> of <bibref ref="webarch"/>.
	</p>

	<p>
	  This extension MAY be used for setting defaults in bindings,
	  such as in an HTTP binding per this specification (see
	  <specref ref="http-operation-decl-mapping"/>).
	</p>

        <div3 id="safety-decl-relate">
          <head>Relationship to WSDL Component Model</head>

	  <p>The safety extension adds the following property to the
	  <comp>Interface Operation</comp> component model (as defined in <bibref ref="WSDL-PART1"/>):</p>
	  
	  <ulist>
	    <item><p><propdef comp="Interface Operation">safety</propdef> REQUIRED. An <emph>xs:boolean</emph>
	    indicating whether the operation is asserted to be safe
	    for users of the described service to invoke.  If this
	    property is <attval>false</attval>, then no assertion has been made about
	    the safety of the operation, thus the operation MAY or MAY
	    NOT be safe.  However, an operation SHOULD be marked safe
	    if it meets the criteria for a safe interaction defined in
	    Section 3.5 of <bibref ref="webarch"/>.</p></item>
	  </ulist>
	</div3>

        <div3 id="safety-decl-xml">
          <head>XML Representation</head>
	  <eg xml:space="preserve">&lt;description&gt;
 &lt;interface&gt;
   &lt;operation name="<emph>xs:NCName</emph>" pattern="<emph>xs:anyURI</emph>"
              <b>wsdlx:safe</b>="<emph>xs:boolean</emph>"? &gt;
  &lt;/operation&gt;
 &lt;/interface&gt;
&lt;/description&gt;</eg>

	  <p>The XML representation for the safety extension is an
	  <emph>attribute information item</emph> with the following Infoset properties: </p>
	  <ulist>
	    <item>
	      <p>An OPTIONAL <att>safe</att>
	      <emph>attribute information item</emph> with the following
	      Infoset properties:</p>
                  <ulist>
                    <item>
		      <p>A [local name] of <att>safe</att>
                      </p>
                    </item>
		    <item>
		      <p>A [namespace name] of <attval>http://www.w3.org/2006/01/wsdl-extensions</attval>
		      </p>
		    </item>
		    <item>
		      <p>A type of <emph>xs:boolean</emph></p>
		    </item>
                  </ulist>
                </item>
	  </ulist>

	</div3>

	<div3 id="safety-decl-mapping">
          <head>Mapping from XML Representation to Component Properties</head>
          <p>See <specref ref="tab_safety_Mapping"/>.</p>

          <table border="1" id="tab_safety_Mapping">
            <caption>Mapping from XML Representation to Interface Operation component Extension Properties</caption>
            <tbody>
              <tr>
                <th rowspan="1" colspan="1">Property</th>
                <th rowspan="1" colspan="1">Value</th>
              </tr>
	      <tr>
		<td rowspan="1" colspan="1"><prop comp="Interface Operation">safety</prop></td>
		<td rowspan="1" colspan="1">
		  The actual value of the <att>safe</att> <emph>attribute information item</emph>, if
		  present, otherwise the value <attval>false</attval>.
		</td>
	      </tr>
	    </tbody>
	  </table>
	</div3>

      </div2>

    </div1>

    <!-- *************************************************************** -->

    <div1 id="styles">
      <head>Predefined Operation Styles</head>

        <p>
	This section defines <xspecref href="http://www.w3.org/TR/2006/CR-wsdl20-20060106#InterfaceOperationStyle" xlink:type="simple" xlink:show="new" xlink:actuate="onRequest">operation
	styles</xspecref> that can be used to place constraints on
        <comp>Interface Operation</comp> components, in particular
	with respect to the format of the messages they refer to.
	The serialization formats defined in section
	<specref ref="_http_serialization"/> require bound
	<comp>Interface Operation</comp> components to have one
	or more of the styles defined in this section.
      </p>

      <div2 id="RPCStyle">
    	<head>RPC Style</head>
	
	 <p>The RPC style is selected by assigning to an <comp>Interface
	 Operation</comp> component's <prop comp="Interface Operation">style</prop>
	 property the value <attval>http://www.w3.org/2006/01/wsdl/style/rpc</attval>.</p>
	
	 <p>In order to conform with the specification for the RPC style,
         an <comp>Interface Operation</comp> component MUST obey the constraints listed
         below. Furthermore, if the <att>wrpc:signature</att> extension is
         used, the corresponding <emph>attribute information item</emph> MUST be valid according to the schema
         for the extension and additionally MUST obey the constraints listed
         in <specref ref="InterfaceOperation_RPC_Signature_Definition"/>
         and <specref ref="InterfaceOperation_RPC_Signature_XMLRep"/>.</p>

	 <p>The RPC style MUST NOT be used for <comp>Interface Operation</comp>
	 components whose <prop comp="Interface Operation">message exchange pattern</prop>
	 property has a value other than <attval>http://www.w3.org/2006/01/wsdl/in-only</attval> or <attval>http://www.w3.org/2006/01/wsdl/in-out</attval>.</p>
	
         <p>The RPC style places restrictions for Remote Procedure
         Call-types of interactions. When this value is used, the
         associated messages MUST conform to the rules below,
         described using XML Schema <bibref ref="XMLSchemaP1"/>.  Note
         that operations containing messages described by other type
         systems may also indicate use of the RPC style, as long as
         they are constructed in such a way as to follow these
         rules.</p>
	
	 <p>If the <comp>Interface Operation</comp> component uses a
	 <prop comp="Interface Operation">message exchange pattern</prop> for which there is no output
	 element, i.e. <attval>http://www.w3.org/2006/01/wsdl/in-only</attval>, then the conditions
	 stated below that refer to output elements MUST be considered
	 to be implicitly satisfied.</p>
	
	 <ulist>
	
	   <item><p>The value of the <prop comp="Interface Message Reference">message content model</prop> property for the
	   <comp>Interface Message Reference</comp> components of the
	   <prop comp="Interface Operation">interface message
	   references</prop> property MUST be
	   <attval>#element</attval>.</p></item>
	
	   <item><p> The content model of input and output
       <prop comp="Interface Message Reference">element declaration</prop>
	   elements MUST be defined using a complex type that contains a
	   sequence from XML Schema.</p></item>
	
	   <item><p> The input sequence MUST only contain elements and element wildcards.
           It MUST NOT contain other structures such as xs:choice. The input sequence
           MUST NOT contain more than one element wildcard. The element wildcard, if
           present, MUST appear after any elements.</p></item>

           <item><p>The output sequence MUST only contain elements. It MUST NOT contain
           other structures such as xs:choice.</p></item>
	
	   <item><p>The sequence MUST contain only local element
	   children. Note that these child elements MAY contain the
	   following attributes: nillable, minOccurs and
	   maxOccurs.</p></item>
	
	   <item><p>The local name of input element's QName MUST be
	   the same as the <comp>Interface Operation</comp> component's
	   name.</p></item>
	
	   <item><p>Input and output elements MUST both be in the
	   same namespace.</p></item>
	
	   <item><p> The complex type that defines the body of an
	   input or an output element MUST NOT contain any local
	   attributes. Extension attributes are allowed for purposes
           of managing the message infrastructure (e.g. adding identifiers
           to facilitate digitally signing the contents of the message).
           They must not be considered as part of the application data
           that is conveyed by the message. Therefore, they are never
           included in an RPC signature (see <specref ref="InterfaceOperation_RPC_Signature_Definition"/>).
           </p></item>
	
	   <item><p> 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.</p></item>
	
	   <item><p>The input or output sequence MUST NOT contain
	   multiple children elements declared with the same
	   name.</p></item>
	
	  </ulist>
    <div3 id="InterfaceOperation_RPC_Signature_Definition">
      <head><att>wrpc:signature</att> Extension</head>
	
	<p>The <att>wrpc:signature</att> extension <emph>attribute information item</emph> MAY be used in conjunction with
	the RPC style to describe the exact signature of the function represented
	by an operation that uses the RPC style.</p>
    
	<p>When present, the <att>wrpc:signature</att> extension contributes the following
	property to the <comp>Interface Operation</comp> component it is applied to:</p>
       <ulist>
	<item><p><propdef comp="Interface Operation">rpc signature</propdef> REQUIRED. A list of pairs <emph>(q, t)</emph>
	whose first component is of type <emph>xs:QName</emph> and whose second component is of type
	<emph>xs:token</emph>.
	Values for the second component MUST be chosen among the following four:
	"#in", "#out", "#inout" "#return".</p></item>
	
	</ulist>
	<p>
	The value of the <prop comp="Interface Operation">rpc signature</prop> property MUST satisfy the following conditions:
	</p>
	<ulist>
	  <item><p>The value of the first component of each pair <emph>(q, t)</emph> MUST
	  be unique within the list.</p></item>
	  <item><p>For each child element of the input and output messages of the operation,
	  a pair <emph>(q, t)</emph> whose first component <emph>q</emph> 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.</p></item>
	  <item><p>For each pair <emph>(q, #in)</emph>, there MUST be a child element of the
	  input element with a name of <emph>q</emph> and there MUST NOT be a child element
	  of the output element with the same name.</p></item>
	  <item><p>For each pair <emph>(q, #out)</emph>, there MUST be a child element of the
	  output element with a name of <emph>q</emph> and there MUST NOT be a child element
	  of the input element with the same name.</p></item>
	  <item><p>For each pair <emph>(q, #inout)</emph>, there MUST be a child element of the
	  input element with a name of <emph>q</emph> and there MUST be a child element
	  of the output element with the same name. Furthermore, those two elements MUST
	  have the same type.</p></item>
	  <item><p>For each pair <emph>(q, #return)</emph>, there MUST be a child element of the
	  output element with a name of <emph>q</emph> and there MUST NOT be a child element
	  of the input element with the same name.</p></item>
	</ulist>
	<p>
	The function signature defined by a <att>wrpc:signature</att> extension is
	determined as follows:
        </p>
	<olist>
	  <item><p>Start with the value of the <prop comp="Interface Operation">rpc signature</prop> property, a (possibly empty)
	  list of pairs of this form:</p>
	  <p>    <emph>[(q0, t0), (q1, t1), ...]</emph></p></item>
	  <item><p>Filter the elements of this list into two lists, the first one <emph>(L1)</emph>
	     comprising pairs
	     whose <emph>t</emph> component is one of <emph>{#in, #out, #inout}</emph>,
	     the second <emph>(L2)</emph> pairs
	     whose <emph>t</emph> component is <emph>#return</emph>.
             During the composition of <emph>L1</emph> and <emph>L2</emph>,
             the relative order of members in the original list MUST
             be preserved.</p>
	     <p>For ease of visualization, let's denote the two lists as</p>
	     <p>    (L1)    <emph>[(a0, u0), (a1, u1),...]</emph></p>
	     <p>and</p>
	     <p>    (L2)    <emph>[(r0, #return), (r1, #return),...]</emph></p>
	     <p>respectively.</p></item>
	  <item><p>Then, if the input sequence ends with an element wildcard, the formal
                signature of the function is</p>
	     <p>    <emph>f([d0] a0, [d1] a1, ..., rest) =&gt; (r0, r1, ...)</emph></p>
             <p>where <emph>rest</emph> is a formal parameter representing the elements in the
                input message matched by the element wildcard.</p>
             <p>Otherwise the formal signature of the function is</p>
	     <p>    <emph>f([d0] a0, [d1] a1, ...) =&gt; (r0, r1, ...)</emph></p>
	     <p>i.e.</p>
	     <p>
	       <ulist>
		 <item><p>the list of formal arguments to the function is <emph>[a0, a1, ...]</emph>;
		 </p></item>
		 <item><p>the direction <emph>d</emph> of each formal argument <emph>a</emph> is one of
		 <emph>[in]</emph>, <emph>[out]</emph>, <emph>[inout]</emph>,
		 determined according to the value of its corresponding <emph>u</emph> token;
		 </p></item>
		 <item><p>the list of formal return parameters of the function is
		   <emph>[r0, r1, ...]</emph>;</p></item>
		 <item><p>each formal argument and formal return parameter is typed
		 according to the type of the child element identified by it
		 (unique per the conditions given above).</p></item>
	       </ulist>
	     </p>
	    </item>
	</olist>

	<note>
	    <p>The <att>wrpc:signature</att> extension allows the specification
            of multiple return values for an operation. Several popular programming
            languages support multiple return values for a function. Moreover, for
            languages which do not, the burden on implementors should be small,
            as typically multiple return values will be mapped to a single
            return value of a structure type (or its closest language-specific
            equivalent). </p>
	</note>

	</div3>

      <div3 id="InterfaceOperation_RPC_Signature_XMLRep">
        <head>XML Representation of the <att>wrpc:signature</att> Extension</head>
          <p>
	  The XML representation for the RPC signature extension is an
	  <emph>attribute information item</emph> with the following Infoset properties:
	  </p>
	  <ulist>
	      <item><p>A [local name] of <att>signature</att></p></item>
	      <item><p>A [namespace name] of "http://www.w3.org/2006/01/wsdl/rpc"</p></item>
	  </ulist>
	  <p>
	  The type of the <att>name</att> <emph>attribute information item</emph> is a list type whose item type is
	  the union of the <emph>xs:QName</emph> type and the subtype of
	  the <emph>xs:token</emph> type restricted to the following
	  four values: "#in", "#out", "#inout",
	  "#return".
          See <specref ref="rpc-signature-xsd"/> for an excerpt from the
          normative schema definition of this type.
	  </p>
	  <p>Additionally, each even-numbered item (0, 2, 4, ...) in the list
	  MUST be of type <emph>xs:QName</emph> and each odd-numbered item (1, 3, 5, ...)
	  in the list MUST be of the subtype of <emph>xs:token</emph> described in the
	  previous paragraph.
	  </p>
	  <p/>
          <p>
	    <example id="rpc-signature-xsd">
	    <head>Definition of the wrpc:signature extension</head>
	    <eg xml:space="preserve">
&lt;xs:attribute name="signature" type="wrpc:signatureType"/&gt;

&lt;xs:simpleType name="signatureType"&gt;
  &lt;xs:list itemType="wrpc:signatureItemType"/&gt;
&lt;/xs:simpleType&gt;

&lt;xs:simpleType name="signatureItemType"&gt;
  &lt;xs:union memberTypes="xs:QName wrpc:directionToken"/&gt;
&lt;/xs:simpleType&gt;

&lt;xs:simpleType name="directionToken"&gt;
  &lt;xs:restriction base="xs:token"&gt;
    &lt;xs:enumeration value="#in"/&gt;
    &lt;xs:enumeration value="#out"/&gt;
    &lt;xs:enumeration value="#inout"/&gt;
    &lt;xs:enumeration value="#return"/&gt;
  &lt;/xs:restriction&gt;
&lt;/xs:simpleType&gt;
	  
	   </eg>
	   </example>
          </p>
      </div3>

    <div3 id="InterfaceOperation_RPC_Signature_Mapping">
	  <head><att>wrpc:signature </att>Extension Mapping To Properties of an
	  Interface Operation component</head>

	  <p>A <att>wrpc:signature</att> extension <emph>attribute information item</emph> is mapped to the following
	  property of the <comp>Interface Operation</comp> component defined by its [owner].</p>

	  <table border="1" id="tab_InterfaceOperation_RPC_Signature_Mapping">
	    <caption>Mapping of a <att>wrpc:signature</att> Extension to Interface Operation component Properties</caption>
		<col width="20%" span="1"/>
  		<col width="80%" span="1"/>
	    <tbody>
		  <tr>
		    <th rowspan="1" colspan="1">Property</th>
		    <th rowspan="1" colspan="1">Value</th>
		  </tr>
		  <tr>
		    <td rowspan="1" colspan="1"><prop comp="Interface Operation">rpc signature</prop></td>
			<td rowspan="1" colspan="1"> A list of <emph>(xs:QName, xs:token)</emph> pairs formed
			by grouping the items present in the actual value of the
			<att>wrpc:signature</att> <emph>attribute information item</emph> in the order in which they appear
			there.</td>
		  </tr>
		</tbody>
	  </table>

    </div3>
      
    </div2>



        <div2 id="_operation_iri_style">
          <head>IRI Style</head>
          <p>
	  The IRI style is selected by assigning the <comp>Interface
	  Operation</comp> component's <prop comp="Interface Operation">style</prop> property the value
	  <attval>http://www.w3.org/2006/01/wsdl/style/iri</attval>.
	  </p>

	   <p>When using this style, the value of the <prop comp="Interface Message Reference">message content
	   model</prop> property of the <comp>Interface Message
	   Reference</comp> component corresponding to the initial
	   message of the message exchange pattern MUST be
	   <attval>#element</attval>.</p>
	
          <p>
	  Use of this value indicates that XML Schema <bibref ref="XMLSchemaP1"/> was used to define the schema of the
	  <prop comp="Interface Message Reference">element declaration</prop>
	  property of the <comp>Interface Message
	  Reference</comp> component of the <comp>Interface Operation</comp> component
	  corresponding to the initial message of the message exchange
	  pattern. This schema MUST adhere to the rules below:
	</p>
          <ulist>
            <item>
              <p>
	      The content model of this element
	      is defined using a complex type that contains a
	      sequence from XML Schema.
	    </p>
            </item>
            <item>
              <p>
	      The sequence MUST only contain elements. It MUST NOT
	      contain other structures such as xs:choice.
	    </p>
            </item>
            <item>
              <p>
	      The sequence MUST contain only local element
	      children. These child elements MAY contain the
	      <att>nillable</att> attribute, and the attributes
	      <att>minOccurs</att> and <att>maxOccurs</att> MUST have
	      a value <code>0</code> or <code>1</code>.
	    </p>
            </item>
            <item>
              <p>
	      The localPart of the element's QName MUST be the same
	      as the <comp>Interface Operation</comp> component's
	      <prop comp="Interface Operation">name</prop>.
	    </p>
            </item>
            <item>
              <p>
	      The complex type that defines the body of the 
	      element or its children elements MUST NOT contain any
	      attributes.
	    </p>
            </item>
            <item>
              <p>
	      The sequence MUST NOT contain multiple children
	      elements declared with the same local name.
	    </p>
            </item>
            <item>
              <p>
	      If the children elements of the sequence are
	      defined using an XML Schema type, they MUST derive from
	      <code>xs:simpleType</code>, and MUST NOT be of the type
	      or derive from <code>xs:QName</code>,
	      <code>xs:NOTATION</code>, <code>xs:hexBinary</code> or
	      <code>xs:base64Binary</code>.
	    </p>
            </item>
          </ulist>
        </div2>
        <div2 id="_operation_multipart_style">
          <head>Multipart style</head>
          <p>
	  The Multipart style is selected by assigning the <comp>Interface
	  Operation</comp> component's <prop comp="Interface Operation">style</prop> property the value
	  <attval>http://www.w3.org/2006/01/wsdl/style/multipart</attval>.
	</p>

	   <p>When using this style, the value of the <prop comp="Interface Message Reference">message content
	   model</prop> property of the <comp>Interface Message
	   Reference</comp> component corresponding to the initial
	   message of the message exchange pattern MUST be
	   <attval>#element</attval>.</p>
	
          <p>
	  Use of this value indicates that XML Schema <bibref ref="XMLSchemaP1"/> was used to define the schema of the
	  <prop comp="Interface Message Reference">element declaration</prop>
	  property of the <comp>Interface Message
	  Reference</comp> component of the <comp>Interface Operation</comp> component
	  corresponding to the initial message of the message exchange
	  pattern. This schema MUST adhere to the rules below:
	</p>
          <ulist>
            <item>
              <p>
	      The content model of this element
	      is defined using a complex type that contains a
	      sequence from XML Schema.
	    </p>
            </item>
            <item>
              <p>
	      The sequence MUST only contain elements. It MUST NOT
	      contain other structures such as xs:choice.
	    </p>
            </item>
            <item>
              <p>
	      The sequence MUST contain only local element
	      children. These child elements MAY contain the
	      <att>nillable</att> attribute, and the attributes
	      <att>minOccurs</att> and <att>maxOccurs</att> MUST have
	      a value <code>1</code>.
	    </p>
            </item>
            <item>
              <p>
	      The localPart of the element's QName MUST be the same
	      as the <comp>Interface Operation</comp> component's
	      <prop comp="Interface Operation">name</prop>.
	    </p>
            </item>
            <item>
              <p>
	      The complex type that defines the body of the 
	      element or its children elements MUST NOT contain any
	      attributes.
	    </p>
            </item>
            <item>
              <p>
	      The sequence MUST NOT contain multiple children
	      element declared with the same local name.
	    </p>
            </item>
          </ulist>
        </div2>

    </div1>

    <!-- *************************************************************** -->

    <div1 id="soap-binding">
      <head>WSDL SOAP Binding Extension</head> 

      <p>The SOAP binding extension described in this section is SOAP version
      independent ("1.2" as well as other versions) and an extension
      for <bibref ref="WSDL-PART1"/> to enable Web Services
      applications to use SOAP. This
      binding extension extends WSDL 2.0 by adding properties to the <xspecref href="http://www.w3.org/TR/2006/CR-wsdl20-20060106#Binding" xlink:type="simple" xlink:show="new" xlink:actuate="onRequest">Binding
      component</xspecref> as defined in <bibref ref="WSDL-PART1"/>. In addition, an XML Infoset representation
      for these additional properties is provided, along with a
      mapping from that representation to the various component
      properties.</p>

      <p>As allowed in <bibref ref="WSDL-PART1"/>, a <comp>Binding</comp> component
      MAY exist without indicating a specific <comp>Interface</comp>
      component that it applies to. In this case, there MUST
      NOT be any <comp>Binding Operation</comp> or
      <comp>Binding Fault</comp> components present in the <comp>Binding</comp>
      component.</p>

      <p>The SOAP binding extension is designed with the objective of minimizing
      what needs to be explicitly declared for common cases. This is
      achieved by defining a set of default rules which apply for all
      <comp>Interface Operation</comp> components of an <comp>Interface</comp> component, unless
      specifically overridden on a per Interface Operation basis. Thus,
      if a given <comp>Interface Operation</comp> component is not referred to
      specifically, then all the default rules apply for that
      component. That is, per the requirements of <bibref ref="WSDL-PART1"/>, all operations of an <comp>Interface</comp> component are
      bound according to this binding extension.</p>

      <p>A subset of the HTTP properties specified in the HTTP binding extension
      defined in section <specref ref="http-binding"/> may be
      expressed in a SOAP binding when the SOAP binding uses HTTP as
      the underlying protocol, for example, when the value of the
      <prop comp="Binding">soap underlying protocol</prop> property of the <comp>Binding</comp> component is
      <attval>http://www.w3.org/2003/05/soap/bindings/HTTP/</attval>.  The properties that are
      allowed are the ones that describe the underlying protocol:</p>

      <ulist>
	<item><p><prop comp="Binding">http version</prop> on <comp>Binding</comp> components, as defined in <specref ref="http-version-decl"/></p></item>
	<item><p><prop comp="Binding Operation">http location</prop> on <comp>Binding Operation</comp> components, as defined in <specref ref="http-operation-decl"/></p></item>
	<item><p><prop comp="Binding Message Reference">http headers</prop> on <comp>Binding Message Reference</comp> and <comp>Binding Fault</comp> components, as defined in <specref ref="http-headers-decl"/></p></item>
	<item><p><prop comp="Binding">http transfer
	coding default</prop> on <comp>Binding</comp> and <comp>Binding Operation</comp> components, <prop comp="Binding Message Reference">http transfer
	coding</prop> on <comp>Binding Message Reference</comp> and <comp>Binding Fault</comp> components, as defined in <specref ref="http-transfer-coding-decl"/></p></item>
	<item><p><prop comp="Binding">http cookies</prop> on <comp>Binding</comp> components, as defined in <specref ref="http-cookies-decl"/></p></item>
	<item><p><prop comp="Endpoint">http authentication scheme</prop> and
	<prop comp="Endpoint">http authentication realm</prop> on <comp>Endpoint</comp> components, as defined in <specref ref="http-auth-decl"/></p></item>
      </ulist>

      <!-- +++++++++ -->

      <div2 id="soap-syntax">
        <head>XML Syntax Summary (Non-Normative)</head>

        <eg xml:space="preserve">
&lt;description&gt;
  &lt;binding name="<emph>xs:NCName</emph>" interface="<emph>xs:QName</emph>"?
           type="<emph>http://www.w3.org/2006/01/wsdl/soap</emph>"
           whttp:version="<emph>xs:string</emph>"??
           whttp:transferCodingDefault="<emph>xs:string</emph>"??
           <b>wsoap:version</b>="<emph>xs:string</emph>"?
           <b>wsoap:protocol</b>="<emph>xs:anyURI</emph>"
           <b>wsoap:mepDefault</b>="<emph>xs:anyURI</emph>"? &gt;
    &lt;documentation /&gt;*

    &lt;<b>wsoap:module</b> ref="<emph>xs:anyURI</emph>" required="<emph>xs:boolean</emph>"? &gt;
      &lt;documentation /&gt;*
    &lt;/<b>wsoap:module</b>&gt;*
    
    &lt;fault ref="<emph>xs:QName</emph>"
           <b>wsoap:code</b>="<emph>union of xs:QName, xs:token</emph>"?
           <b>wsoap:subcodes</b>="<emph>list of xs:QName</emph>"?
           whttp:transferCoding="<emph>xs:string</emph>"?? &gt;

      &lt;documentation /&gt;*

      &lt;<b>wsoap:module</b> ... /&gt;*
      &lt;<b>wsoap:header</b> element="<emph>xs:QName</emph>" mustUnderstand="xs:boolean"?
                    required="<emph>xs:boolean</emph>"? &gt;
        &lt;documentation /&gt;*
      &lt;/<b>wsoap:header</b>&gt;*
      &lt;<b>whttp:header</b> ... /&gt;*??

      [ &lt;feature /&gt; | &lt;property /&gt; ]*
    &lt;/fault&gt;*

    &lt;operation ref="<emph>xs:QName</emph>" 
               whttp:location="<emph>xs:anyURI</emph>"??
               whttp:transferCodingDefault="<emph>xs:string</emph>"?? &gt;
               <b>wsoap:mep</b>="<emph>xs:anyURI</emph>"?
               <b>wsoap:action</b>="<emph>xs:anyURI</emph>"? &gt;

      &lt;documentation /&gt;*

      &lt;<b>wsoap:module</b> ... /&gt;*

      &lt;input messageLabel="<emph>xs:NCName</emph>"?
             whttp:transferCoding="<emph>xs:string</emph>"?? &gt;
        &lt;documentation /&gt;*
        &lt;<b>wsoap:module</b> ... /&gt;*
        &lt;<b>wsoap:header</b> ... /&gt;*
	&lt;<b>whttp:header</b> ... /&gt;*??
        [ &lt;feature /&gt; | &lt;property /&gt; ]*
      &lt;/input&gt;*

      &lt;output messageLabel="<emph>xs:NCName</emph>"?
             whttp:transferCoding="<emph>xs:string</emph>"?? &gt;
        &lt;documentation /&gt;*
        &lt;<b>wsoap:module</b> ... /&gt;*
        &lt;<b>wsoap:header</b> ... /&gt;*
	&lt;<b>whttp:header</b> ... /&gt;*??
        [ &lt;feature /&gt; | &lt;property /&gt; ]*
      &lt;/output&gt;*

      &lt;infault ref="<emph>xs:QName</emph>"
                  messageLabel="<emph>xs:NCName</emph>"?&gt;
        &lt;documentation /&gt;*
        &lt;<b>wsoap:module</b> ... /&gt;*
        [ &lt;feature /&gt; | &lt;property /&gt; ]*
      &lt;/infault&gt;*

      &lt;outfault ref="<emph>xs:QName</emph>"
                   messageLabel="<emph>xs:NCName</emph>"?&gt;
        &lt;documentation /&gt;*
        &lt;<b>wsoap:module</b> ... /&gt;*
        [ &lt;feature /&gt; | &lt;property /&gt; ]*
      &lt;/outfault&gt;*

      [ &lt;feature /&gt; | &lt;property /&gt; ]*

    &lt;/operation&gt;*

    [ &lt;feature /&gt; | &lt;property /&gt; ]*

  &lt;/binding&gt;

  &lt;service&gt;
    &lt;endpoint name="<emph>xs:NCName</emph>" binding="<emph>xs:QName</emph>" address="<emph>xs:anyURI</emph>"?
              whttp:authenticationType="<emph>xs:token</emph>"?? 
              whttp:authenticationRealm="<emph>xs:string</emph>"?? &gt;
      &lt;documentation /&gt;*
      [ &lt;feature /&gt; | &lt;property /&gt; ]*
    &lt;/endpoint&gt;
    [ &lt;feature /&gt; | &lt;property /&gt; ]*
  &lt;/service&gt;
&lt;/description&gt;
</eg>

<note><p>The double question marks ("<code>??</code>") after the
attributes in the <att>whttp</att> namespace indicates that those
optional attributes only make sense when the SOAP binding uses
HTTP as the underlying protocol, for example, when the value of the
<att>wsoap:protocol</att> attribute is
<attval>http://www.w3.org/2003/05/soap/bindings/HTTP/</attval>.</p></note>

      </div2>

      <!-- +++++++++ -->

      <div2 id="soap-binding-decl">
        <head>Identifying the use of the SOAP Binding</head>

        <p>A <comp>Binding</comp> component (defined in <bibref ref="WSDL-PART1"/>)
        is identified as a SOAP binding by assigning the value
        <attval>http://www.w3.org/2006/01/wsdl/soap</attval> to the <prop comp="Binding">type</prop> property of
        the <comp>Binding</comp> component.</p>
      </div2>

      <!-- +++++++++ -->

      <div2 id="soap-defaults">
        <head>SOAP Binding Rules</head>

	<ulist>
	  <item>
          <p><emph>Payload Construction.</emph> When formulating
          the SOAP envelope to be transmitted, the contents of the
          payload (i.e., the contents of the SOAP Body <emph>element information item</emph>
          of the SOAP envelope) MUST be what is defined by the
          corresponding <comp>Interface Message Reference</comp> component. This is subject
	  to optimization by a feature that is in use which may affect
          serialization, such as MTOM <bibref ref="MTOM"/>. The
          following binding rules MUST be adhered to:</p>

          <ulist>
            <item><p>If the value of the
            <prop comp="Interface Message Reference">message content model</prop>
            property of the <comp>Interface Message Reference</comp> component is <attval>#any</attval> then
            the payload MAY be any one XML element.</p></item>

            <item><p>If the value is <attval>#none</attval> then the
            payload MUST be empty.</p></item>

            <item><p>If the value is <attval>#element</attval> then the
            payload will be the <emph>element information item</emph> identified by the
            <prop comp="Interface Message Reference">element declaration</prop>
            property of the <comp>Interface Message Reference</comp> component.</p></item>
 
            <item> <p>If the <comp>Interface Message Reference</comp> component is declared
            using a non-XML type system (as considered in the Types
            section of <bibref ref="WSDL-PART1"/>) then additional
            binding rules MUST be defined to indicate how to map those
            components into the SOAP envelope. </p></item>
          </ulist>
          
          <note><p>This SOAP binding extension only allows one single element in
          SOAP body.</p></note>

	  </item>
	  <item>
	  
          <p><emph>SOAP Header Construction.</emph> If the
          <prop comp="Binding Message Reference">soap headers</prop> property as defined in section <specref ref="soap-headers-decl"/> exists and is not empty in a
          <comp>Binding Message Reference</comp> or <comp>Binding Fault</comp> component, <emph>element information item</emph>
          conforming to the element declaration of a <comp>SOAP Header Block</comp>
          component's <prop comp="SOAP Header Block">element declaration</prop> property, in the
          <prop comp="Binding Message Reference">soap headers</prop> property,
          MAY be turned into a SOAP header block for
          the corresponding message.</p>

	  <p>If the value of the <comp>SOAP Header Block</comp>
	  component's <prop comp="SOAP Header Block">required</prop>
	  property is <attval>true</attval>, the inclusion of this
	  SOAP header block is REQUIRED, otherwise it is OPTIONAL.</p>

	  <p>And, if the <comp>SOAP Header Block</comp> component's
	  <prop comp="SOAP Header Block">mustUnderstand</prop> property 
	  is present and its value is <attval>true</attval>, that 
	  particular SOAP header block should be
	  marked with a <att>mustUnderstand</att> <emph>attribute information item</emph> with a value
	  of <attval>true</attval> or <attval>1</attval> as per the
	  SOAP specification.</p>

	  <p>SOAP header blocks other than the ones declared in the
	  <prop comp="Binding Message Reference">soap headers</prop> property may be present at run-time, such as
	  the SOAP header blocks resulting from SOAP modules declared
	  as explained in section <specref ref="soap-module-decl"/>.</p>

	  </item>
	</ulist>
      </div2>

      <!-- +++++++++ -->

      <div2 id="soap-version">
        <head>Specifying the SOAP Version</head>

        <div3 id="soap-version-description">
          <head>Description</head>

          <p>Every SOAP binding MUST indicate what version of SOAP is in use
          for the operations of the interface that this binding applies to.</p>
          
          <p>By default, SOAP 1.2 <bibref ref="SOAP12-PART1"/> is used.</p>
        </div3>

        <div3 id="soap-version-relate">
          <head>Relationship to WSDL Component Model</head>

          <p>The SOAP protocol specification adds the following
          property to the WSDL component model (as defined in <bibref ref="WSDL-PART1"/>):</p>

          <ulist>
            <item><p><propdef comp="Binding">soap version</propdef> REQUIRED. A <emph>xs:string</emph>, to the <comp>Binding</comp>
            component.</p></item>
          </ulist>

        </div3>

        <div3 id="soap-version-decl-xml">
          <head>XML Representation</head>

          <eg xml:space="preserve">&lt;description&gt;
  &lt;binding  name="<emph>xs:NCName</emph>" interface="<emph>xs:QName</emph>"? type="<emph>xs:anyURI</emph>"
            <b>wsoap:version</b>="<emph>xs:string</emph>"? &gt;
    ...
  &lt;/binding&gt;
&lt;/description&gt;
</eg>
          <p>The XML representation for specifying the SOAP version
          is an optional <emph>attribute information item</emph> with the following Infoset properties: </p>

          <ulist>
            <item>
              <p>A [local name] of <el>version</el>
              </p>
            </item>
            <item>
              <p>A [namespace name] of
  <attval>http://www.w3.org/2006/01/wsdl/soap</attval>
              </p>
            </item>
            <item>
	            <p>A type of <emph>xs:string</emph></p>
	          </item>
          </ulist>
        </div3>

        <div3 id="soap-version-decl-mapping">
          <head>Mapping from XML Representation to Component properties</head>

          <p>See <specref ref="tab_SOAP_version_Mapping"/>.</p>

          <table border="1" id="tab_SOAP_version_Mapping">
            <caption>Mapping from XML Representation to Binding component Extension
            Properties</caption>
            <tbody>
              <tr>
                <th rowspan="1" colspan="1">Property</th>
                <th rowspan="1" colspan="1">Value</th>
              </tr>
              <tr>
                <td rowspan="1" colspan="1"><prop comp="Binding">soap version</prop></td>
                <td rowspan="1" colspan="1">The actual value of the <att>wsoap:version</att>
                  <emph>attribute information item</emph> if present, otherwise <attval>1.2</attval>.
                  </td>
              </tr>
            </tbody>
          </table>
        </div3>
      </div2>

      <!-- +++++++++ -->

      <div2 id="soap-protocol">
        <head>Specifying the SOAP Underlying Protocol</head>

        <div3 id="soap-protocol-description">
          <head>Description</head>


          <p>Every SOAP binding MUST indicate what underlying protocol is in
          use.</p>

        </div3>

        <div3 id="soap-protocol-relate">
          <head>Relationship to WSDL Component Model</head>

          <p>The SOAP protocol specification adds the following
          property to the WSDL component model (as defined in <bibref ref="WSDL-PART1"/>):</p>

          <ulist>
            <item><p><propdef comp="Binding">soap underlying protocol</propdef> REQUIRED. A
	    <emph>xs:anyURI</emph>, which is an absolute IRI as defined by
            <bibref ref="RFC3987"/>, to the <comp>Binding</comp>
            component.</p></item>
          </ulist>

        </div3>

        <div3 id="soap-binding-decl-xml">
          <head>XML Representation</head>

          <eg xml:space="preserve">&lt;description&gt;
  &lt;binding  name="<emph>xs:NCName</emph>" interface="<emph>xs:QName</emph>"? type="<emph>xs:anyURI</emph>"
            <b>wsoap:protocol</b>="<emph>xs:anyURI</emph>" &gt;
    ...
  &lt;/binding&gt;
&lt;/description&gt;
</eg>
          <p>The XML representation for specifying the SOAP protocol
          is a REQUIRED <emph>attribute information item</emph> with the following Infoset properties: </p>

          <ulist>
            <item>
              <p>A [local name] of <el>protocol</el>
              </p>
            </item>
            <item>
			  <p>A [namespace name] of
  				<attval>http://www.w3.org/2006/01/wsdl/soap</attval>
			  </p>
            </item>
	    <item>
	      <p>A type of <emph>xs:anyURI</emph></p>
	    </item>
          </ulist>
        </div3>

        <div3 id="soap-binding-decl-mapping">
          <head>Mapping from XML Representation to Component Properties</head>

          <p>See <specref ref="tab_SOAP_Binding_Mapping"/>.</p>

          <table border="1" id="tab_SOAP_Binding_Mapping">
            <caption>Mapping from XML Representation to Binding component Extension
            Properties</caption>
            <tbody>
              <tr>
                <th rowspan="1" colspan="1">Property</th>
                <th rowspan="1" colspan="1">Value</th>
              </tr>
              <tr>
                <td rowspan="1" colspan="1"><prop comp="Binding">soap underlying protocol</prop></td>
                <td rowspan="1" colspan="1">The actual value of the <att>wsoap:protocol</att>
                  <emph>attribute information item</emph>.</td>
              </tr>
            </tbody>
          </table>
        </div3>
      </div2>

      <!-- +++++++++ -->

      <div2 id="soap-fault-decl">
        <head>Binding Faults</head>

        <div3 id="soap-fault-decl-description">
          <head>Description</head>

          <p>For every <comp>Interface Fault</comp> component contained in an
          <comp>Interface</comp> component, a mapping to a SOAP Fault must be
          described. This binding extension specification allows the user to
          indicate the SOAP fault code and subcodes that are
          transmitted for a given <comp>Interface Fault</comp> component.</p>
        </div3>

        <div3 id="soap-fault-decl-relate">
          <head>Relationship to WSDL Component Model</head>

          <p>The SOAP Fault binding extension adds the following
          properties to the WSDL component model (as defined in <bibref ref="WSDL-PART1"/>):</p>

          <ulist>
            <item><p><propdef comp="Binding Fault">soap fault code</propdef> REQUIRED. A union of <emph>xs:QName</emph> and
		  <emph>xs:token</emph> where the allowed token value
		  is <attval>#any</attval>, to
            the <comp>Binding Fault</comp> component. The value of this property
            identifies a possible SOAP fault for the operations in
            scope. If the value of this property is <attval>#any</attval>, no assertion is made
	    about the value of the SOAP fault code.</p> </item>

            <item><p><propdef comp="Binding Fault">soap fault subcodes</propdef> REQUIRED. 
	    A union of list of <emph>xs:QName</emph>, and
		  <emph>xs:token</emph> where the allowed token value
		  is <attval>#any</attval>, to the <comp>Binding Fault</comp> component.
            The value of this property identifies one or more subcodes
            for this SOAP fault. If the value of this property is <attval>#any</attval>, no assertion is
    made about the value of the SOAP fault subcode.</p>
            </item>
          </ulist>
        </div3>

        <div3 id="soap-fault-decl-xml">
          <head>XML Representation</head>

          <eg xml:space="preserve">&lt;description&gt;
  &lt;binding &gt;
    &lt;fault ref="<emph>xs:QName</emph>"
           <b>wsoap:code</b>="<emph>union of xs:QName, xs:token</emph>"?
           <b>wsoap:subcodes</b>="<emph>list of xs:QName</emph>"? &gt;
      &lt;documentation /&gt;*
      [ &lt;feature /&gt; | &lt;property /&gt; ]*
    &lt;/fault&gt;*
  &lt;/binding&gt;
&lt;/description&gt;
</eg>

          <p>The XML representation for binding a SOAP Fault are two
          <emph>attribute information item</emph>s with the following Infoset properties: </p>

          <ulist>
            <item><p>wsoap:code OPTIONAL <emph>attribute information item</emph></p>
              <ulist>
                <item><p>A [local name] of <el>code</el></p></item>

                <item> <p>A [namespace name] of
                <attval>http://www.w3.org/2006/01/wsdl/soap</attval>
                </p></item>
		<item>
		  <p>A type of union of <emph>xs:QName</emph> and
		  <emph>xs:token</emph> where the allowed token value
		  is <attval>#any</attval></p>
		</item>
              </ulist>
            </item>
            <item><p>wsoap:subcodes OPTIONAL <emph>attribute information item</emph></p>
              <ulist>
                <item><p>A [local name] of <el>subcodes</el></p></item>

                <item> <p>A [namespace name] of
                <attval>http://www.w3.org/2006/01/wsdl/soap</attval>
                </p></item>
		<item>
		  <p>A type of union of list of <emph>xs:QName</emph>, and
		  <emph>xs:token</emph> where the allowed token value
		  is <attval>#any</attval></p>
		</item>
              </ulist>
            </item>
          </ulist>
        </div3>

        <div3 id="soap-fault-decl-mapping">
          <head>Mapping XML Representation to Component Properties</head>

          <p>See <specref ref="tab_SOAP_Fault_Mapping"/>.</p>

          <table border="1" id="tab_SOAP_Fault_Mapping">
            <caption>Mapping from XML Representation to SOAP Fault component Properties</caption>
            <tbody>
              <tr>
                <th rowspan="1" colspan="1">Property</th>
                <th rowspan="1" colspan="1">Value</th>
              </tr>
              <tr>
                <td rowspan="1" colspan="1"><prop comp="Binding Fault">soap fault code</prop></td>
                <td rowspan="1" colspan="1">The actual value of the <att>code</att>
                  <emph>attribute information item</emph> if present; otherwise
		<attval>#any</attval>.</td>
              </tr>
              <tr>
                <td rowspan="1" colspan="1"><prop comp="Binding Fault">soap fault subcodes</prop></td>
                <td rowspan="1" colspan="1">The actual value of the <att>subcodes</att>
                  <emph>attribute information item</emph>, if present; otherwise <attval>#any</attval>.</td>
              </tr>
            </tbody>
          </table>
        </div3>
      </div2>

      <!-- +++++++++ -->

      <div2 id="soap-operation-decl">
        <head>Binding Operations</head>

        <div3 id="soap-operation-decl-description">
          <head>Description</head>

          <p>For every <comp>Interface Operation</comp> component contained in an <comp>Interface</comp>
          component, in addition to the binding rules (for SOAP 1.2,
          see <specref ref="soap12-defaults"/>), there may be additional binding 
          information to be specified. This binding extension specification allows the user 
          to indicate the SOAP Message Exchange Pattern (MEP) and a value for the SOAP
          Action Feature on a per-operation basis.</p>
        </div3>

        <div3 id="soap-operation-decl-relate">
          <head>Relationship to WSDL Component Model</head>

          <p>The SOAP Operation binding extension specification adds the
          following property to the WSDL component model (as defined
          in <bibref ref="WSDL-PART1"/>):</p>

          <ulist>

            <item><p><propdef comp="Binding">soap mep
            default</propdef> OPTIONAL.  A <emph>xs:anyURI</emph>,
            which is an absolute IRI as defined by <bibref ref="RFC3987"/>, to the <comp>Binding</comp>
            component. The value of this property identifies the
            default SOAP Message Exchange Pattern (MEP) for all the
	    <comp>Interface Operation</comp> components of any <comp>Interface</comp> component
            that uses this <comp>Binding</comp> component.</p></item>

            <item><p><propdef comp="Binding Operation">soap mep</propdef> OPTIONAL.
            A <emph>xs:anyURI</emph>, which is an absolute IRI as defined by <bibref ref="RFC3987"/>, to the <comp>Binding Operation</comp> component. The
            value of this property identifies the SOAP Message
            Exchange Pattern (MEP) for this specific operation.</p></item>

            <item><p><propdef comp="Binding Operation">soap action</propdef> OPTIONAL.
            A <emph>xs:anyURI</emph>, which is an absolute IRI as defined by <bibref ref="RFC3987"/>, to the <comp>Binding Operation</comp> component. The
            value of this property identifies the value of the SOAP
            Action Feature for the initial message of the message exchange pattern of the <comp>Interface Operation</comp> bound,
	    as specified in the binding rules of bindings to specific
	    versions of SOAP (see <specref ref="soap12-defaults"/> for
	    the SOAP 1.2 binding when the value
	    of the <prop comp="Binding">soap version</prop> property
	    of the <comp>Binding</comp> component is <attval>1.2</attval>).</p>
            </item>
          </ulist>
        </div3>

        <div3 id="soap-operation-decl-xml">
          <head>XML Representation</head>

          <eg xml:space="preserve">&lt;description&gt;
  &lt;binding <b>wsoap:mepDefault</b>="<emph>xs:anyURI</emph>"? &gt;
    &lt;operation ref="<emph>xs:QName</emph>" 
               <b>wsoap:mep</b>="<emph>xs:anyURI</emph>"?
               <b>wsoap:action</b>="<emph>xs:anyURI</emph>"? &gt;
    &lt;/operation&gt;
  &lt;/binding&gt;
&lt;/description&gt;
</eg>

          <p>The XML representation for binding an Operation are two
          <emph>attribute information item</emph>s with the following Infoset properties: </p>

          <ulist>
            <item><p>wsoap:mep OPTIONAL <emph>attribute information item</emph></p>
              <ulist>
                <item><p>A [local name] of <att>mep</att></p></item>

                <item> <p>A [namespace name] of
                <attval>http://www.w3.org/2006/01/wsdl/soap</attval>
                </p></item>
		<item>
		  <p>A type of <emph>xs:anyURI</emph></p>
		</item>
              </ulist>
            </item>
            <item><p>wsoap:action OPTIONAL <emph>attribute information item</emph></p>
              <ulist>
                <item><p>A [local name] of <att>action</att></p></item>

                <item> <p>A [namespace name] of
                <attval>http://www.w3.org/2006/01/wsdl/soap</attval>
                </p></item>
		<item>
		  <p>A type of <emph>xs:anyURI</emph></p>
		</item>
              </ulist>
            </item>
          </ulist>

	  <p>The following <emph>attribute information item</emph> for the <el>binding</el> <emph>element information item</emph> is
	  defined:</p>

          <ulist>
            <item>
              <p>A [local name] of <el>mepDefault</el>
              </p>
            </item>
            <item>
			  <p>A [namespace name] of
				<attval>http://www.w3.org/2006/01/wsdl/soap</attval>
			  </p>
            </item>
	    <item>
	      <p>A type of <emph>xs:anyURI</emph></p>
	    </item>
          </ulist>

        </div3>

        <div3 id="soap-operation-decl-mapping">
          <head>Mapping from XML Representation to Component Properties</head>

          <p>See <specref ref="tab_SOAP_Operation_Mapping"/>.</p>

          <table border="1" id="tab_SOAP_Operation_Mapping">
            <caption>Mapping from XML Representation to SOAP Operation Component
            Properties</caption>
            <tbody>
              <tr>
                <th rowspan="1" colspan="1">Property</th>
                <th rowspan="1" colspan="1">Value</th>
              </tr>
              <tr>
                <td rowspan="1" colspan="1"><prop comp="Binding">soap
		mep default</prop></td> <td rowspan="1" colspan="1">The actual value of the
                <att>wsoap:mepDefault</att> <emph>attribute information item</emph>, if present.</td>
              </tr>
              <tr>
                <td rowspan="1" colspan="1"><prop comp="Binding Operation">soap mep</prop></td> <td rowspan="1" colspan="1">The actual value of the
                <att>wsoap:mep</att> <emph>attribute information item</emph>, if present.</td>
              </tr>
              <tr>
                <td rowspan="1" colspan="1"><prop comp="Binding Operation">soap action</prop></td>
                <td rowspan="1" colspan="1">The actual value of the
                <att>action</att> <emph>attribute information item</emph>, if any.</td>
              </tr>
            </tbody>
          </table>
        </div3>
      </div2>
      <!-- +++++++++ -->

      <div2 id="soap-module-decl">
        <head>Declaring SOAP Modules</head>

        <div3 id="soap-module-decl-description">
          <head>Description</head>

          <p>The SOAP messaging framework allows
          to engage one or more additional features (typically
          implemented as one or more SOAP header blocks), as defined
          by SOAP Modules (see <bibref ref="SOAP12-PART1"/>). This
          binding extension specification allows users to indicate which SOAP
          Modules are in use across an entire binding, on a per
          operation basis or on a per message basis.</p>
        </div3>

        <div3 id="soap-module-decl-relate">
          <head>Relationship to WSDL Component Model</head>

          <p>The <comp>SOAP Module</comp> component adds the following
          property to the WSDL component model (as defined in <bibref ref="WSDL-PART1"/>):</p>

          <ulist>
            <item><p><propdef comp="Binding">soap modules</propdef> OPTIONAL. A set of <comp>SOAP Module</comp> components
            as defined in <specref ref="soap-module-decl-property"/>
            to the <comp>Binding</comp> component</p></item>
	    <item><p>Similarly, <propdef comp="Binding Operation">soap modules</propdef> OPTIONAL, to the <comp>Binding Operation</comp> component</p></item>
	    <item><p>Similarly, <propdef comp="Binding Message Reference">soap modules</propdef> OPTIONAL, to the <comp>Binding Message Reference</comp> component</p></item>
	    <item><p>Similarly, <propdef comp="Binding Fault">soap modules</propdef> OPTIONAL, to the <comp>Binding Fault</comp> component</p></item>
	    <item><p>Similarly, <propdef comp="Binding Fault Reference">soap modules</propdef> OPTIONAL, to the <comp>Binding Fault Reference</comp> component</p></item>
          </ulist>

          <p>The SOAP modules applicable for a particular operation of
          any service consists of all modules specified in the input
          or output <comp>Binding Message Reference</comp> components, the infault
          or outfault <comp>Binding Fault Reference</comp> components, those
          specified within the <comp>Binding Fault</comp> components, those
          specified within the <comp>Binding Operation</comp> components and those
          specified within the <comp>Binding</comp> component. If any module is
          declared in multiple components, then the requiredness of
          that module is defined by the closest declaration, where
          closeness is defined by whether it is specified directly at
          the <comp>Binding Message Reference</comp> component or
          <comp>Binding Fault Reference</comp> component level, the <comp>Binding Fault</comp> level or the
          <comp>Binding Operation</comp> component level or the <comp>Binding</comp> component
          level, respectively.</p>
        </div3>

        <div3 id="soap-module-decl-property">
          <head>SOAP Module component</head>

          <p>The <comp>SOAP Module</comp> component identifies a SOAP module that
          is in use.</p>

          <p>The properties of the <compdef>SOAP Module</compdef> component are
          as follows:</p>

          <ulist>
            <item> <p><propdef comp="SOAP Module">ref</propdef> REQUIRED.
            A <emph>xs:anyURI</emph>, which is an absolute IRI as defined by <bibref ref="RFC3987"/>. The value of this property identifies the
            specific SOAP module that is in use.</p> </item>

            <item> <p><propdef comp="SOAP Module">required</propdef> REQUIRED.
            A <emph>xs:boolean</emph> indicating if the SOAP
            module is required.</p> </item>
            <item> <p><propdef comp="SOAP Module">parent</propdef> REQUIRED.
            The <comp>Binding</comp>, <comp>Binding Operation</comp>,
            <comp>Binding Message Reference</comp>, <comp>Binding
	    Fault</comp> or <comp>Binding Fault Reference</comp>
	    component component that contains this component in its
	    <prop comp="Binding">soap modules</prop> property.</p></item>
          </ulist>
        </div3>

        <div3 id="soap-module-decl-xml">
          <head>XML Representation</head>

          <eg xml:space="preserve">&lt;description&gt;
  &lt;binding &gt;
    &lt;<b>wsoap:module</b> ref="<emph>xs:anyURI</emph>"
                  required="<emph>xs:boolean</emph>"? &gt;
      &lt;documentation ... /&gt;*
    &lt;/<b>wsoap:module</b>&gt;
    &lt;fault&gt;
      &lt;<b>wsoap:module</b> ... /&gt;*
    &lt;/fault&gt;
    &lt;operation&gt;
      &lt;<b>wsoap:module</b> ... /&gt;*
      &lt;input&gt;
        &lt;<b>wsoap:module</b> ... /&gt;*
      &lt;/input&gt;
      &lt;output&gt;
        &lt;<b>wsoap:module</b> ... /&gt;*
      &lt;/output&gt;
      &lt;infault&gt;
        &lt;<b>wsoap:module</b> ... /&gt;*
      &lt;/infault&gt;
      &lt;outfault&gt;
        &lt;<b>wsoap:module</b> ... /&gt;*
      &lt;/outfault&gt;
    &lt;/operation&gt;
  &lt;/binding&gt;
&lt;/description&gt;
</eg>

          <p>The XML representation for a <comp>SOAP Module</comp> component is an <emph>element information item</emph>
with the following Infoset properties: </p>
          <ulist>
            <item>
              <p>A [local name] of <el>module</el>
              </p>
            </item>
            <item>
              <p>A [namespace name] of
  <attval>http://www.w3.org/2006/01/wsdl/soap</attval>
              </p>
            </item>
            <item>
              <p>One or more <emph>attribute information item</emph>s amongst its [attributes] as follows:</p>
              <ulist>
                <item>
                  <p>A REQUIRED <att>ref</att>
                    <emph>attribute information item</emph> with the following
      Infoset properties:</p>
                  <ulist>
                    <item>
                      <p>A [local name] of <att>ref</att>
                      </p>
                    </item>
                    <item>
                      <p>A [namespace name] which has no value</p>
                    </item>
		    <item>
		      <p>A type of <emph>xs:anyURI</emph></p>
		    </item>
                  </ulist>
                </item>
                <item>
                  <p>An OPTIONAL <att>required</att>
                    <emph>attribute information item</emph> with the
      following Infoset properties:</p>
                  <ulist>
                    <item>
                      <p>A [local name] of <att>required</att>
                      </p>
                    </item>
                    <item>
                      <p>A [namespace name] which has no value</p>
                    </item>
		    <item>
		      <p>A type of <emph>xs:boolean</emph></p>
		    </item>
                  </ulist>
                </item>
                <item>
                  <p>Zero or more namespace qualified <emph>attribute information item</emph>s. The [namespace
      name] of such <emph>attribute information item</emph>s MUST NOT be <attval>http://www.w3.org/2006/01/wsdl</attval> and
      MUST NOT be <attval>http://www.w3.org/2006/01/wsdl/soap</attval>.  </p>
                </item>
              </ulist>
            </item>
            <item>
              <p>Zero or more <emph>element information item</emph> amongst its [children], in order, as
  follows:</p>
              <olist>
                <item>
                  <p>Zero or more <el>documentation</el>
                    <emph>element information item</emph>s as defined in <bibref ref="WSDL-PART1"/>.</p>
                </item>
                <item>
                  <p>Zero or more namespace-qualified <emph>element information item</emph>s amongst its
      [children]. The [namespace name] of such <emph>element information item</emph>s MUST NOT be
      <attval>http://www.w3.org/2006/01/wsdl</attval> and MUST NOT be
      <attval>http://www.w3.org/2006/01/wsdl/soap</attval>.</p>
                </item>
              </olist>
            </item>
          </ulist>
        </div3>
        <div3 id="soap-module-decl-mapping">
          <head>Mapping from XML Representation to Component Properties</head>

          <p>See <specref ref="tab_SOAP_Module_Mapping"/>.</p>

          <table border="1" id="tab_SOAP_Module_Mapping">
            <caption>Mapping from XML Representation to SOAP Module component-related Properties</caption>
            <tbody>
              <tr>
                <th rowspan="1" colspan="1">Property</th>
                <th rowspan="1" colspan="1">Value</th>
              </tr>
              <tr>
                <td rowspan="1" colspan="1"><prop comp="Binding">soap modules</prop></td>
                <td rowspan="1" colspan="1"> The set of <comp>SOAP Module</comp>
                components corresponding to all the <el>module</el>
                <emph>element information item</emph> in the [children] of the <el>binding</el>,
                <el>operation</el>, <el>fault</el>, <el>input</el>,
                <el>output</el>, <el>infault</el>, <el>outfault</el>
                <emph>element information item</emph>s, if any.
		</td>
              </tr>
              <tr>
                <td rowspan="1" colspan="1"><prop comp="SOAP Module">ref</prop></td>
                <td rowspan="1" colspan="1">The actual value of the <att>ref</att>
                  <emph>attribute information item</emph>.</td>
              </tr>
              <tr>
                <td rowspan="1" colspan="1"><prop comp="SOAP Module">required</prop></td>
                <td rowspan="1" colspan="1">The actual value of the <att>required</att>
                  <emph>attribute information item</emph> if present, otherwise <attval>false</attval>.</td>
              </tr>
              <tr>
                <td rowspan="1" colspan="1"><prop comp="SOAP Module">parent</prop></td>
		<td rowspan="1" colspan="1">
		  The <comp>Binding</comp>, <comp>Binding
		  Operation</comp>, <comp>Binding Message
		  Reference</comp>, <comp>Binding Fault</comp> or
		  <comp>Binding Fault Reference</comp> component
		  corresponding to the <el>binding</el>,
		  <el>operation</el>, <el>fault</el>, <el>input</el>,
		  <el>output</el>, <el>infault</el> or
		  <el>outfault</el> <emph>element information item</emph> in [parent].
		</td>
	      </tr>
            </tbody>
          </table>
        </div3>

        <div3 id="soap-module-decl-fragid">
          <head>IRI Identification Of A SOAP Module component</head>

	  <p>WSDL Version 2.0 Part 1: Core Language <bibref ref="WSDL-PART1"/> defines a <xspecref href="http://www.w3.org/TR/2006/CR-wsdl20-20060106#frag-ids" xlink:type="simple" xlink:show="new" xlink:actuate="onRequest">fragment identifier
	  syntax</xspecref> for identifying components of a WSDL 2.0
	  document.</p>

	  <p>A <comp>SOAP Module</comp> component can be identified using the
	  <emph><xspecref href="http://www.w3.org/TR/2006/CR-wsdl20-20060106#wsdl.extension" xlink:type="simple" xlink:show="new" xlink:actuate="onRequest">wsdl.extension</xspecref></emph>
	  XPointer Framework scheme:</p>

	  <p><code>wsdl.extension(http://www.w3.org/2006/01/wsdl/soap,
	  wsoap.module(<emph>parent</emph>/<emph>ref</emph>))</code></p>
	  <olist>
	    <item><p>
	      <emph>
		<code>parent</code>
	      </emph>
	      is the pointer part of the <prop comp="SOAP Module">parent</prop> component, as <xspecref href="http://www.w3.org/TR/2006/CR-wsdl20-20060106#frag-ids" xlink:type="simple" xlink:show="new" xlink:actuate="onRequest">specified in WSDL
	      Version 2.0 Part 1: Core Language</xspecref>.
	    </p>
	    </item>
	    <item>
	      <p>
		<emph>
		  <code>ref</code>
		</emph>
		is the value of the <prop comp="SOAP Module">ref</prop> property of the component.
	      </p>
	    </item>
	  </olist>	  

	</div3>
      </div2>

      <!-- +++++++++ -->
      
      <div2 id="soap-headers-decl">
        <head>Declaring SOAP Header Blocks</head>
        
        <div3 id="soap-headers-decl-description">
          <head>Description</head>

	  <p>SOAP allows the use of header blocks in the header part
	  of the message. This binding extension allows users to declare the
	  SOAP header blocks in use on a per message and on a per
	  fault basis.</p>

        </div3>

        <div3 id="soap-headers-decl-relate">
          <head>Relationship to WSDL Component Model</head>

          <p>The SOAP Header Blocks binding extension specification adds the
          following property to the WSDL component model (as defined
          in <bibref ref="WSDL-PART1"/>):</p>

          <ulist>
            <item><p><propdef comp="Binding Message Reference">soap headers</propdef> OPTIONAL.
            A set of <comp>SOAP Header Block</comp> components as defined in <specref ref="soap-header-decl-property"/>, to the <comp>Binding Message Reference</comp> component.</p></item>
            <item><p>Similarly, <propdef comp="Binding Fault">soap headers</propdef> OPTIONAL, to the <comp>Binding Fault</comp> component.</p></item>
          </ulist>
        </div3>

	<div3 id="soap-header-decl-property">
	  <head>SOAP Header Block component</head>
	  
	  <p>A <comp>SOAP Header Block</comp> component describes an abstract piece
	  of header data (SOAP header block) that is associated with the
	  exchange of messages between the communicating parties. The
	  presence of a <comp>SOAP Header Block</comp> component in a WSDL
	  description indicates that the service supports headers and
	  MAY require a Web service consumer/client that interacts
	  with the service to use the described header block. Zero or one
	  such header block may be used.</p>

          <p>The properties of the <compdef>SOAP Header Block</compdef> component are as
          follows:</p>

          <ulist>
            <item> <p><propdef comp="SOAP Header Block">element declaration</propdef> REQUIRED.
            A <emph>xs:QName</emph>, a
            reference to an XML element declaration in the
            <prop comp="Description">element declarations</prop> property of the
            <comp>Description</comp> component. This XML element
	    declaration represents a SOAP
            header block.</p>
	    </item>
            
            <item> <p><propdef comp="SOAP Header Block">mustUnderstand</propdef> REQUIRED.  A
            <emph>xs:boolean</emph>. When its value is
            <attval>true</attval>, the SOAP header block MUST be
            decorated with a SOAP <att>mustUnderstand</att> <emph>attribute information item</emph> with
            a value of <attval>true</attval>; if so, it is an error
            for the XML element declaration referenced by the <prop comp="SOAP Header Block">element declaration</prop> property not to
            allow this SOAP <att>mustUnderstand</att>
            <emph>attribute information item</emph>. Otherwise, no additional constraint is placed on
            the presence and value of a SOAP <att>mustUnderstand</att>
            <emph>attribute information item</emph>.</p></item>

            <item> <p><propdef comp="SOAP Header Block">required</propdef> REQUIRED.
            A <emph>xs:boolean</emph> indicating if the SOAP
            header block is required. If the value is <attval>true</attval>, then the SOAP header block MUST be included in the message. If it is <attval>false</attval>, then the SOAP header block MAY be included.</p> </item>

            <item> <p><propdef comp="SOAP Header Block">parent</propdef> REQUIRED.
            The <comp>Binding Fault</comp>
            or <comp>Binding Message Reference</comp>
	    component component that contains this component in its
	    <prop comp="Binding Message Reference">soap headers</prop> property.</p></item>
          </ulist>
	</div3>

        <div3 id="soap-headers-decl-xml">
          <head>XML Representation</head>

        <eg xml:space="preserve">
&lt;description&gt;
  &lt;binding name="<emph>xs:NCName</emph>" type="<emph>http://www.w3.org/2006/01/wsdl/soap</emph>" &gt;
    &lt;fault ref="<emph>xs:QName</emph>" &gt;
      &lt;<b>wsoap:header</b> element="<emph>xs:QName</emph>" mustUnderstand="<emph>xs:boolean</emph>"?
                 required="<emph>xs:boolean</emph>"? &gt;
        &lt;documentation /&gt;*
      &lt;/<b>wsoap:header</b>&gt;*
      ...
    &lt;/fault&gt;*
    &lt;operation ref="<emph>xs:QName</emph>" &gt;
      &lt;input messageLabel="<emph>xs:NCName</emph>"?&gt;
        &lt;<b>wsoap:header</b> ... /&gt;*
	...
      &lt;/input&gt;*
      &lt;output messageLabel="<emph>xs:NCName</emph>"?&gt;
        &lt;<b>wsoap:header</b> ... /&gt;*
	...
      &lt;/output&gt;*
    &lt;/operation&gt;*
  &lt;/binding&gt;
&lt;/description&gt;
</eg>

          <p>The XML representation for a <comp>SOAP Header Block</comp> component is an <emph>element information item</emph>
with the following Infoset properties: </p>
          <ulist>
            <item>
              <p>A [local name] of <el>header</el>
              </p>
            </item>
            <item>
              <p>A [namespace name] of
  <attval>http://www.w3.org/2006/01/wsdl/soap</attval>
              </p>
            </item>
            <item>
              <p>One or more <emph>attribute information item</emph>s amongst its [attributes] as follows:</p>
              <ulist>
                <item>
                  <p>A REQUIRED <att>element</att>
                    <emph>attribute information item</emph> with the following
      Infoset properties:</p>
                  <ulist>
                    <item>
                      <p>A [local name] of <att>element</att>
                      </p>
                    </item>
                    <item>
                      <p>A [namespace name] which has no value</p>
                    </item>
		    <item>
		      <p>A type of <emph>xs:QName</emph></p>
		    </item>
                  </ulist>
                </item>
                <item>
                  <p>An OPTIONAL <att>mustUnderstand</att>
                    <emph>attribute information item</emph> with the
      following Infoset properties:</p>
                  <ulist>
                    <item>
                      <p>A [local name] of <att>mustUnderstand</att>
                      </p>
                    </item>
                    <item>
                      <p>A [namespace name] which has no value</p>
                    </item>
		    <item>
		      <p>A type of <emph>xs:boolean</emph></p>
		    </item>
                  </ulist>
                </item>
                <item>
                  <p>An OPTIONAL <att>required</att>
                    <emph>attribute information item</emph> with the
      following Infoset properties:</p>
                  <ulist>
                    <item>
                      <p>A [local name] of <att>required</att>
                      </p>
                    </item>
                    <item>
                      <p>A [namespace name] which has no value</p>
                    </item>
		    <item>
		      <p>A type of <emph>xs:boolean</emph></p>
		    </item>
                  </ulist>
                </item>
                <item>
                  <p>Zero or more namespace qualified <emph>attribute information item</emph>s. The [namespace
      name] of such <emph>attribute information item</emph>s MUST NOT be <attval>http://www.w3.org/2006/01/wsdl</attval> and
      MUST NOT be <attval>http://www.w3.org/2006/01/wsdl/soap</attval>.  </p>
                </item>
              </ulist>
            </item>
            <item>
              <p>Zero or more <emph>element information item</emph> amongst its [children], in order, as
  follows:</p>
              <olist>
                <item>
                  <p>Zero or more <el>documentation</el>
                    <emph>element information item</emph>s as defined in <bibref ref="WSDL-PART1"/>.</p>
                </item>
                <item>
                  <p>Zero or more namespace-qualified <emph>element information item</emph>s amongst its
      [children]. The [namespace name] of such <emph>element information item</emph>s MUST NOT be
      <attval>http://www.w3.org/2006/01/wsdl</attval> and MUST NOT be
      <attval>http://www.w3.org/2006/01/wsdl/soap</attval>.</p>
                </item>
              </olist>
            </item>
          </ulist>
        </div3>

        <div3 id="soap-headers-decl-mapping">
          <head>Mapping XML Representation to Component Properties</head>

          <p>See <specref ref="tab_SOAP_Header_Mapping"/>.</p>

          <table border="1" id="tab_SOAP_Header_Mapping">
            <caption>Mapping from XML Representation to SOAP Header Block component-related
            Properties</caption>
            <tbody>
              <tr>
                <th rowspan="1" colspan="1">Property</th>
                <th rowspan="1" colspan="1">Value</th>
              </tr>
              <tr>
                <td rowspan="1" colspan="1"><prop comp="Binding Message Reference">soap headers</prop></td>
                <td rowspan="1" colspan="1"> The set of <comp>SOAP Header Block</comp> components
                corresponding to all the <el>header</el> <emph>element information item</emph> in the [children] of the
                <el>fault</el>, <el>input</el> or <el>output</el>
                <emph>element information item</emph>, if any.
		</td>
              </tr>
              <tr>
                <td rowspan="1" colspan="1"><prop comp="SOAP Header Block">element declaration</prop></td>
                <td rowspan="1" colspan="1">The element declaration
                from the <prop comp="Description">element declarations</prop> resolved
                to by the value of the <att>element</att> <emph>attribute information item</emph>. It is
                an error for the <att>element</att> <emph>attribute information item</emph> to have a
                value and that value does not resolve to a global
                element declaration from the
                <prop comp="Description">element declarations</prop> property of the
                <comp>Description</comp> component.</td>
              </tr>
              <tr>
                <td rowspan="1" colspan="1"><prop comp="SOAP Header Block">mustUnderstand</prop></td>
                <td rowspan="1" colspan="1">The actual value of the <att>mustUnderstand</att>
                  <emph>attribute information item</emph> if present, otherwise <attval>false</attval>.</td>
              </tr>
              <tr>
                <td rowspan="1" colspan="1"><prop comp="SOAP Header Block">required</prop></td>
                <td rowspan="1" colspan="1">The actual value of the <att>required</att>
                  <emph>attribute information item</emph> if present, otherwise <attval>false</attval>.</td>
              </tr>
              <tr>
                <td rowspan="1" colspan="1"><prop comp="SOAP Header Block">parent</prop></td>
		<td rowspan="1" colspan="1">
		  The <comp>Binding Fault</comp> or <comp>Binding
		  Message Reference</comp> component corresponding to
		  the <el>fault</el>, <el>input</el> or
		  <el>output</el> <emph>element information item</emph> in [parent].
		</td>
	      </tr>
            </tbody>
          </table>
        </div3>

        <div3 id="soap-headers-decl-fragid">
          <head>IRI Identification Of A SOAP Header Block component</head>

	  <p>WSDL Version 2.0 Part 1: Core Language <bibref ref="WSDL-PART1"/> defines a <xspecref href="http://www.w3.org/TR/2006/CR-wsdl20-20060106#frag-ids" xlink:type="simple" xlink:show="new" xlink:actuate="onRequest">fragment identifier
	  syntax</xspecref> for identifying components of a WSDL 2.0
	  document.</p>

	  <p>A <comp>SOAP Header Block</comp> component can be identified using the
	  <emph><xspecref href="http://www.w3.org/TR/2006/CR-wsdl20-20060106#wsdl.extension" xlink:type="simple" xlink:show="new" xlink:actuate="onRequest">wsdl.extension</xspecref></emph>
	  XPointer Framework scheme:</p>

	  <p><code>wsdl.extension(http://www.w3.org/2006/01/wsdl/soap,
	  wsoap.header(<emph>parent</emph>/<emph>namespace</emph>#<emph>name</emph>))</code></p>
	  <olist>
	    <item><p>
	      <emph>
		<code>parent</code>
	      </emph>
	      is the pointer part of the <prop comp="SOAP Header Block">parent</prop> component, as <xspecref href="http://www.w3.org/TR/2006/CR-wsdl20-20060106#frag-ids" xlink:type="simple" xlink:show="new" xlink:actuate="onRequest">specified in WSDL
	      Version 2.0 Part 1: Core Language</xspecref>.
	    </p>
	    </item>
	    <item>
	      <p>
		<emph>
		  <code>namespace</code>
		</emph>
		is the <prop comp="SOAP Header Block">element declaration</prop> property value's namespace URI.
	      </p>
	    </item>
	    <item>
	      <p>
		<emph>
		  <code>name</code>
		</emph>
		is the <prop comp="SOAP Header Block">element declaration</prop> property value's local name.
	      </p>
	    </item>
	  </olist>	  

	</div3>
      </div2>

      <!-- +++++++++ -->
      
      <div2 id="soap12-binding">
        <head>WSDL SOAP 1.2 Binding</head>
        
        <div3 id="soap12-binding-decl">
          <head>Identifying a WSDL SOAP 1.2 Binding</head>
          <p>A WSDL SOAP Binding is identified as a SOAP 1.2 binding by assigning the value
          <attval>1.2</attval> to the <prop comp="Binding">soap version</prop> property of the <comp>Binding</comp> component.</p>
        </div3>
        
        <div3 id="soap12-binding-description">
          <head>Description</head>
          
          <p>The WSDL SOAP 1.2 binding extension defined in this section is an extension of the SOAP binding defined in section <specref ref="soap-binding"/>
          to enable Web Service applications to use SOAP 1.2 <bibref ref="SOAP12-PART1"/>.</p>
          
          <p>The WSDL SOAP 1.2 binding extension supports
          the SOAP 1.2 HTTP binding defined by the <bibref ref="SOAP12-PART2"/> specification. This is indicated by
          assigning the URI <attval>http://www.w3.org/2003/05/soap/bindings/HTTP/</attval>
          (as defined by <bibref ref="SOAP12-PART2"/>) to the
	      <prop comp="Binding">soap underlying protocol</prop> property. Other values MAY be used
          for this property in conjunction with the SOAP 1.2 binding extension
          defined by this specification provided that the semantics of
          such protocols are consistent with this binding extension.</p>
          
	  <p>Default rules in section <specref ref="soap12-defaults"/>
	  define the relationship between SOAP message exchange patterns
	  defined in <bibref ref="SOAP12-PART2"/> and WSDL message
	  exchange patterns defined in section <specref ref="meps"/>.</p>

          <p>When the SOAP Message Exchange Pattern is the SOAP 1.2 Response
          MEP and the underlying protocol is HTTP, the <comp>Binding Operation</comp> may use the
          <prop comp="Binding Operation">http location</prop> property
          defined in section <specref ref="http-operation-decl"/>.  When this
	  property is present on the <comp>Binding Operation</comp> component, the <comp>Endpoint</comp> component also follows the
          rules for constructing the address from the <prop comp="Endpoint">address</prop>
          property and the <prop comp="Binding Operation">http location</prop> property values.</p>
          <p/>  
        </div3>
        
        <div3 id="soap12-defaults">
        <head>SOAP 1.2 Binding Rules</head>
        
        <p>These binding rules 
          are applicable to SOAP 1.2 bindings. 
        </p>

        <ulist>
          <item><p><emph>SOAP Action Feature.</emph> The value of the
          SOAP Action Feature for the initial message of the message exchange pattern
	  of the <comp>Interface Operation</comp> bound is specified by the <prop comp="Binding Operation">soap action</prop> property of this
          <comp>Binding Operation</comp> component. If the
          <comp>Binding Operation</comp> component does NOT have a
          <prop comp="Binding Operation">soap action</prop> property
          defined, then the SOAP Action Feature (see <bibref ref="SOAP12-PART2"/>) has NO value. Otherwise, its value is
          the value of the SOAP Action Feature for the initial message
          of the message exchange pattern.</p></item>

          <item><p><emph>SOAP MEP Selection.</emph>

	  For a given <comp>Interface Operation</comp> component, if
	  there is a <comp>Binding Operation</comp> component whose
	  <prop comp="Binding Operation">interface operation</prop>
	  property matches the component in question and its <prop comp="Binding Operation">soap mep</prop> property has a
	  value, then SOAP MEP is the value of the <prop comp="Binding    Operation">soap mep</prop> property. Otherwise, the SOAP MEP
	  is the value of the <comp>Binding </comp> component's <prop comp="Binding">soap mep default</prop>, if
	  any. Otherwise, if the <comp>Interface Operation</comp>
	  component's <prop comp="Interface Operation">message
	  exchange pattern</prop> property has the value
	  <attval>http://www.w3.org/2006/01/wsdl/in-out</attval>, then the SOAP MEP is the URI
	  <attval>http://www.w3.org/2003/05/soap/mep/request-response/</attval>
	  identifying the SOAP Request-Response Message Exchange
	  Pattern as defined in <bibref ref="SOAP12-PART2"/>.
	  Otherwise (i.e. if the <comp>Interface Operation</comp>
	  component has any other value for the <prop comp="Interface    Operation">message exchange pattern</prop> property), it is
	  an ERROR.</p>

	  <ednote id="one-way-mep-default">
	    <name>One-way MEP defaulting</name>
	    <edtext>
	      The Web Services Description Working Group would like to
	      add a rule here defaulting to a standardized SOAP 1.2
	      one-way MEP for one-way operations if one becomes
	      available. Feedback is sought on this topic.
	    </edtext>
	  </ednote>

	  </item>

          <item><p><emph>HTTP Method Selection.</emph> This default
          binding rule is applicable when the value of the
          <prop comp="Binding">soap underlying protocol</prop> property of the <comp>Binding</comp> component is
          <attval>http://www.w3.org/2003/05/soap/bindings/HTTP/</attval>. If
          the SOAP MEP selected as specified above has the value
          <attval>http://www.w3.org/2003/05/soap/mep/request-response/</attval>
          then the HTTP method used is
          <attval>POST</attval>. If the SOAP MEP selected has the value
          <attval>http://www.w3.org/2003/05/soap/mep/soap-response/</attval>
          then the HTTP method used is
          <attval>GET</attval>.</p></item>

          <item><p><emph>HTTP IRI Generation.</emph> This default
          binding rule is applicable when the value of the
          <prop comp="Binding">soap underlying protocol</prop>
          property of the <comp>Binding</comp> component is
          <attval>http://www.w3.org/2003/05/soap/bindings/HTTP/</attval>. If
          the SOAP MEP selected is
          <attval>http://www.w3.org/2003/05/soap/mep/soap-response/</attval>
          then the value of the SOAP
	  <attval>http://www.w3.org/2003/05/soap/mep/ImmediateDestination</attval> property MUST be
          generated using the HTTP binding extension's rules for generating a
          IRI for HTTP GET (see <specref ref="_http_x-www-form-urlencoded"/>). The
          input serialization format of
          <code>application/x-www-form-urlencoded</code> is the only supported
          serialization format for HTTP GET in the SOAP Response
          Message Exchange Pattern.</p>
	  </item>
        </ulist>

      </div3>
      
      <div3 id="wsdl-mep-soap-mep">
	<head>Binding WSDL 2.0 MEPs to SOAP 1.2 MEPs</head>

	<p>This section describes the relationship between WSDL components and SOAP
	1.2 MEP properties as described in <bibref ref="SOAP12-PART2"/>.</p>

	<div4 id="soap-mep-r-r">
	  <head>Using SOAP Request-Response</head>

	  <p>When using the WSDL <attval>http://www.w3.org/2006/01/wsdl/in-out</attval>
	  message exchange pattern bound to a SOAP
	  <attval>http://www.w3.org/2003/05/soap/mep/request-response/</attval>
	  MEP
	  (as would be the case for a usual SOAP-over-HTTP In-Out operation),
	  this section describes the relationships. Extensions (such as <bibref ref="WSA-Core"/>) MAY alter these
mappings.</p>

	  <div5>
	    <head>The Client</head>

	    <p>As the client, the property
	    <attval>http://www.w3.org/2003/05/soap/bindingFramework/ExchangeContext/Role</attval>
	    takes the value <attval>RequestingSOAPNode</attval>.</p>

	    <p>The SOAP <attval>http://www.w3.org/2003/05/soap/mep/ImmediateDestination</attval>
	    property takes the value of the WSDL <prop comp="Endpoint">address</prop> property of the
	    <comp>Endpoint</comp> component.</p>

	    <p>The WSDL <attval>In</attval> message is mapped to the SOAP
	    <attval>http://www.w3.org/2003/05/soap/mep/OutboundMessage</attval> property.</p>

	    <p>The WSDL <attval>Out</attval> message maps to the SOAP
	    <attval>http://www.w3.org/2003/05/soap/mep/InboundMessage</attval> property.</p>

	  </div5>

	  <div5>
	    <head>The Service</head>

	    <p>As the service, the property
	    <attval>http://www.w3.org/2003/05/soap/bindingFramework/ExchangeContext/Role</attval>
	    takes the value <attval>RespondingSOAPNode</attval>.</p>

	    <p>The WSDL <attval>In</attval> message is mapped to the SOAP
	    <attval>http://www.w3.org/2003/05/soap/mep/InboundMessage</attval> property.</p>
	    
	    <p>The WSDL <attval>Out</attval> message maps to the SOAP
	    <attval>http://www.w3.org/2003/05/soap/mep/OutboundMessage</attval> property.</p>

	  </div5>

	</div4>
	<div4>
	  <head>Using SOAP-Response</head>

	  <p>When using the WSDL <attval>http://www.w3.org/2006/01/wsdl/in-out</attval>
	  message exchange pattern bound to a
	  <attval>http://www.w3.org/2003/05/soap/mep/soap-response/</attval> SOAP MEP,
	  this section describes the relationships.</p>

	  <div5>
	    <head>The Client</head>

	    <p>As the client, the property
	    <attval>http://www.w3.org/2003/05/soap/bindingFramework/ExchangeContext/Role</attval>
	    takes the value <attval>RequestingSOAPNode</attval>.</p>

	    <p>The SOAP <attval>http://www.w3.org/2003/05/soap/mep/ImmediateDestination</attval>
	    property takes the value of the WSDL <prop comp="Endpoint">address</prop> property, modified
	    by the <prop comp="Binding Operation">http location</prop>
	    property following the rules described in section <specref ref="_http_x-www-form-urlencoded"/>.</p>

	    <p>The SOAP <attval>http://www.w3.org/2003/05/soap/mep/OutboundMessage</attval> property
	    has no value.</p>

	    <p>The WSDL <attval>Out</attval> message maps to the SOAP
	    <attval>http://www.w3.org/2003/05/soap/mep/InboundMessage</attval> property.</p>

	  </div5>

	  <div5>
	    <head>The Service</head>

	    <p>As the service, the property
	    <attval>http://www.w3.org/2003/05/soap/bindingFramework/ExchangeContext/Role</attval>
	    takes the value <attval>RespondingSOAPNode</attval>.</p>

	    <p>The WSDL <attval>In</attval> message is constructed from the destination URI as per the
	    rules in section <specref ref="_http_x-www-form-urlencoded"/>.</p>

	    <p>The WSDL <attval>Out</attval> message maps to the SOAP
	    <attval>http://www.w3.org/2003/05/soap/mep/OutboundMessage</attval> property.</p>

	  </div5>
	</div4>
      </div3>

      </div2>
      
      <!-- +++++++++ -->

      <div2 id="soap-conformance">
	<head>Conformance</head>

	<p>An <emph>element information item</emph> whose namespace name is <attval>http://www.w3.org/2006/01/wsdl</attval>
	and whose local part is <el>description</el> conforms to this
	binding extension specification if the <emph>element information item</emph>s and <emph>attribute information item</emph>s whose namespace
	is http://www.w3.org/2006/01/wsdl/soap conform to the XML Schema for that element
	or attribute as defined by this specification and additionally
	adheres to all the constraints contained in this
	specification.</p>

      </div2>

    </div1>

    <!-- *************************************************************** -->

    <div1 id="http-binding">
      <head>WSDL HTTP Binding Extension</head>

      <p>The HTTP binding extension described in this section is an extension for
<bibref ref="WSDL-PART1"/> to enable Web Services applications to use
HTTP 1.1 <bibref ref="RFC2616"/> (as well as other versions of HTTP) and HTTPS <bibref ref="RFC2818"/>.  This binding extension extends WSDL 2.0
by adding properties to the component model defined in <bibref ref="WSDL-PART1"/>. In addition an XML Infoset representation
for these additional properties is provided, along with a mapping from
that representation to the various component properties.</p>
      <p>As allowed in <bibref ref="WSDL-PART1"/>, a <comp>Binding</comp> component MAY
exist without indicating a specific <comp>Interface</comp> component that it applies
to. In this case there MUST NOT be any <comp>Binding Operation</comp> or <comp>Binding
Fault</comp> components present in the <comp>Binding</comp> component. </p>
      <p>The HTTP binding extension is designed with the objective of minimizing what
needs to be explicitly declared for common cases. This is achieved by
defining a set of default rules which apply for all <comp>Interface
Operation</comp> components of an <comp>Interface</comp> component, unless specifically
overridden on a per Interface Operation basis. Thus, if a given
<comp>Interface Operation</comp> component is not referred to specifically, then
all the default rules apply for that component. That is, per the
requirements of <bibref ref="WSDL-PART1"/> all operations of an
<comp>Interface</comp> component are bound by an HTTP binding.</p>

      <p>
        <termdef id="instance_data" term="instance data">The internal
        tree representation of an input, output or fault message is
        called an <term>instance data</term>, and is constrained by
        the schema definition associated the message: the XML element
        referenced in the
        <prop comp="Interface Message Reference">element declaration</prop>
        property of the
        <comp>Interface Message Reference</comp>
        component for input and output messages (unless the <prop comp="Interface Message Reference">message content model</prop> is <attval>#any</attval>), and in the
        <prop comp="Interface Fault">element declaration</prop>
        property of an
        <comp>Interface Fault</comp>
        component for faults.</termdef>
      </p>

      <div2 id="http-binding-id">
        <head>Identifying the use of the HTTP Binding</head>

        <p>A <comp>Binding</comp> component (defined in <bibref ref="WSDL-PART1"/>)
        is identified as an HTTP binding by assigning the value
        <attval>http://www.w3.org/2006/01/wsdl/http</attval> to the <prop comp="Binding">type</prop> property of
        the <comp>Binding</comp> component.</p>
      </div2>

      <div2 id="http-syntax">
        <head>HTTP Syntax Summary (Non-Normative)</head>

        <eg xml:space="preserve">
&lt;description&gt;
  &lt;binding name="<emph>xs:NCName</emph>" interface="<emph>xs:QName</emph>"?
           type="<emph>http://www.w3.org/2006/01/wsdl/http</emph>"
           <b>whttp:methodDefault</b>="<emph>xs:string</emph>"?
	   <b>whttp:queryParameterSeparatorDefault</b>="<emph>xs:string</emph>"?
           <b>whttp:cookies</b>="<emph>xs:boolean</emph>"?
           <b>whttp:version</b>="<emph>xs:string</emph>"?
           <b>whttp:transferCodingDefault</b>="<emph>xs:string</emph>"? &gt;
   &lt;documentation /&gt;?

    &lt;fault ref="<emph>xs:QName</emph>"
           <b>whttp:code</b>="<emph>union of xs:int, xs:token</emph>"?
           <b>whttp:transferCoding</b>="<emph>xs:string</emph>"? &gt;
      &lt;documentation /&gt;*
      &lt;<b>whttp:header</b> name="<emph>xs:string</emph>" type="<emph>xs:QName</emph>"
                    required="<emph>xs:boolean</emph>"? &gt;
        &lt;documentation /&gt;*
      &lt;/<b>whttp:header</b>&gt;*
      [ &lt;feature /&gt; | &lt;property /&gt; ]*
    &lt;/fault&gt;*

    &lt;operation ref="<emph>xs:QName</emph>" 
               <b>whttp:location</b>="<emph>xs:anyURI</emph>"?
               <b>whttp:method</b>="<emph>xs:string</emph>"? 
               <b>whttp:inputSerialization</b>="<emph>xs:string</emph>"? 
               <b>whttp:outputSerialization</b>="<emph>xs:string</emph>"? 
               <b>whttp:faultSerialization</b>="<emph>xs:string</emph>"? 
               <b>whttp:transferCodingDefault</b>="<emph>xs:string</emph>"? &gt;
          &lt;documentation /&gt;*

      &lt;input messageLabel="<emph>xs:NCName</emph>"? 
             <b>whttp:transferCoding</b>="<emph>xs:string</emph>? &gt;
        &lt;documentation /&gt;*
	&lt;<b>whttp:header</b> ... /&gt;*
        [ &lt;feature /&gt; | &lt;property /&gt; ]*
      &lt;/input&gt;*

      &lt;output messageLabel="<emph>xs:NCName</emph>"?
              <b>whttp:transferCoding</b>="<emph>xs:string</emph>? &gt;
        &lt;documentation /&gt;*
	&lt;<b>whttp:header</b> ... /&gt;*
        [ &lt;feature /&gt; | &lt;property /&gt; ]*
      &lt;/output&gt;*

      &lt;infault ref="<emph>xs:QName</emph>"
                  messageLabel="<emph>xs:NCName</emph>"? &gt;
        &lt;documentation /&gt;*
        [ &lt;feature /&gt; | &lt;property /&gt; ]*
      &lt;/infault&gt;*

      &lt;outfault ref="<emph>xs:QName</emph>"
                 messageLabel="<emph>xs:NCName</emph>"? &gt;
        &lt;documentation /&gt;*
        [ &lt;feature /&gt; | &lt;property /&gt; ]*
      &lt;/outfault&gt;*

      [ &lt;feature /&gt; | &lt;property /&gt; ]*

    &lt;/operation&gt;*

    [ &lt;feature /&gt; | &lt;property /&gt; ]*

  &lt;/binding&gt;

  &lt;service&gt;
    &lt;endpoint name="<emph>xs:NCName</emph>" binding="<emph>xs:QName</emph>" address="<emph>xs:anyURI</emph>"?
              <b>whttp:authenticationType</b>="<emph>xs:token</emph>"? 
              <b>whttp:authenticationRealm</b>="<emph>xs:string</emph>"? &gt;
      &lt;documentation /&gt;*
      [ &lt;feature /&gt; | &lt;property /&gt; ]*
    &lt;/endpoint&gt;
    [ &lt;feature /&gt; | &lt;property /&gt; ]*
  &lt;/service&gt;
&lt;/description&gt;
</eg>
      </div2>

      <!-- +++++++++ -->

      <div2 id="_http_binding_default_rules">
        <head>HTTP Binding Rules</head>

	<div3 id="_http_binding_default_rule_method">
	  <head>HTTP Method Selection</head>

	  <p>When formulating the HTTP message to be transmitted, the
        HTTP request method used MUST be the following:</p>

	<ulist>
	  <item>
	    <p>For a given <comp>Interface Operation</comp> component, if
	    there is a <comp>Binding Operation</comp> component whose
	    <prop comp="Binding Operation">interface operation</prop>
	    property matches the component in question and its <prop comp="Binding Operation">http method</prop> property has a
	    value, then the value of the <prop comp="Binding    Operation">http method</prop> property.
	    </p>
	  </item>
	  <item>
	    <p>
	      Otherwise, the value of the <comp>Binding</comp> component's <prop comp="Binding">http method default</prop>, if
	  any. 
	    </p>
	  </item>
	  <item>
	    <p>
	      Otherwise, if a
		<prop comp="Interface Operation">safety</prop> property as defined in <specref ref="safety"/> is present on the bound <comp>Interface Operation</comp>
		component and has a value of <attval>true</attval>,
		the value <attval>GET</attval>.
	    </p>
	  </item>
	  <item>
	    <p>
	      Otherwise, it is
	    an ERROR.</p>
	  </item>
	</ulist>
	</div3>

	<div3 id="_http_binding_default_rule_psf">
	  <head>Payload Construction And Serialization Format</head>

	  <p>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 <comp>Interface Message
	Reference</comp> or <comp>Interface Fault</comp> components,
	  serialized as specified by the <termref def="serialization_format">serialization format</termref> used.</p>

	  <p><termdef id="serialization_format"