<?xml version="1.0" encoding="us-ascii"?>
<!--
/*
 * Copyright (c) 2003 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(r) 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.xml,v 1.4 2004/03/26 16:30:30 hugo Exp $ --><?xml-stylesheet type='text/xsl' href='xmlspec-wsdl.xsl' ?>
<!DOCTYPE spec PUBLIC "-//W3C//DTD Specification V2.2//EN" "http://www.w3.org/2002/xmlspec/dtd/2.2/xmlspec.dtd">
<spec xmlns:xlink="http://www.w3.org/1999/xlink" w3c-doctype="wd" role="public">

<header>
  <title>Web Services Description Language (WSDL) Version 2.0 Part 1:
  Core Language</title>
  <w3c-designation>http://www.w3.org/TR/2004/WD-wsdl20-20040326</w3c-designation>
  <w3c-doctype>W3C Working Draft</w3c-doctype>
  <pubdate>
    <day>26</day>
    <month>March</month>
    <year>2004</year>
  </pubdate>
  <publoc>
    <loc href="http://www.w3.org/TR/2004/WD-wsdl20-20040326" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://www.w3.org/TR/2004/WD-wsdl20-20040326</loc>
  </publoc>
  <altlocs>
	<loc role="postscript" href="wsdl20.ps" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">postscript</loc>
	<loc role="pdf" href="wsdl20.pdf" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">PDF</loc>
	<loc role="xml" href="wsdl20.xml" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">XML</loc>
	<loc role="plain" href="wsdl20.txt" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">plain text</loc>
    </altlocs>
  <prevlocs>
    <loc href="http://www.w3.org/TR/2003/WD-wsdl20-20031110" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://www.w3.org/TR/2003/WD-wsdl20-20031110</loc>
  </prevlocs>
  <latestloc>
    <loc href="http://www.w3.org/TR/wsdl20" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://www.w3.org/TR/wsdl20</loc>
  </latestloc>
  
  <authlist>
    <author>
      <name>Roberto Chinnici</name>
      <affiliation>Sun Microsystems</affiliation>
    </author>
    <author>
      <name>Martin Gudgin</name>
      <affiliation>Microsoft</affiliation>
    </author>
    <author>
      <name>Jean-Jacques Moreau</name>
      <affiliation>Canon</affiliation>
    </author>
    <author>
      <name>Jeffrey Schlimmer</name>
      <affiliation>Microsoft</affiliation>
    </author>
    <author>
      <name>Sanjiva Weerawarana</name>
      <affiliation>IBM Research</affiliation>
    </author>
  </authlist>

    <abstract id="Abstract">
      <p>
	This document describes the Web Services Description Language
	(WSDL) Version 2.0, an XML language for describing Web
	services. This specification defines the core language which can
	be used to describe Web services based on an abstract model of
	what the service offers.
	It also defines criteria for a conformant processor of this language.
      </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 a <loc href="http://www.w3.org/2004/02/Process-20040205/tr.html#RecsWD" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">W3C
	Working Draft</loc> of the Web Services Description Language
      (WSDL) 2.0 document.
    </p>

    <!-- Customized paragraph -->
    <p>A <loc href="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"/>. A
    <loc href="http://dev.w3.org/cvsweb/%7Echeckout%7E/2002/ws/desc/issues/wsd-issues.html" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">list
    of open issues against this document</loc> is also available.</p>

    <p>
      This document has been produced as part of the <loc href="http://www.w3.org/2002/ws/Activity.html" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">W3C Web Services
      Activity</loc>. The authors of this document are 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> members.
    </p>
  <p>
    Publication as a Working Draft 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>
      Comments on this document are invited and are to be sent to the
      public <loc href="mailto:www-ws-desc@w3.org" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">www-ws-desc@w3.org</loc> mailing
      list (<loc href="http://lists.w3.org/Archives/Public/www-ws-desc/" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">public
      archive</loc>).
    </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: 2004/03/26 16:30:30 $</p>
  </revisiondesc>
</header>

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

<body>

<div1 id="intro">
<head>Introduction</head>

<p>Web Services Description Language (WSDL) provides a model and an
XML format for describing Web services. WSDL enables one to separate
the description of the abstract functionality offered by a service
from concrete details of a service description such as "how" and
"where" that functionality is offered.</p>

<p>This specification defines a language for describing the abstract
functionality of a service as well as a framework for describing the
concrete details of a service description. 
It also defines criteria for a conformant processor of this language.
The <emph>WSDL Version 2.0
Part 2: Message Exchange Patterns</emph> specification <bibref ref="WSDL-PART2"/>
defines the sequence and cardinality of abstract
messages sent or received by an operation. The <emph>WSDL Version 2.0
Part 3: Bindings</emph> specification <bibref ref="WSDL-PART3"/> defines
a language for describing such concrete details for SOAP 1.2 <bibref ref="SOAP12-PART1"/>, HTTP <bibref ref="RFC2616"/> and MIME <bibref ref="RFC2045"/>. </p>

<div2 id="intro_ws">
<head>Web Service</head>

<p>
WSDL describes a Web service in two fundamental stages: one abstract
and one concrete. Within each stage, the description uses a number of
constructs to promote reusability of the description and separate
independent design concerns.
</p>

<p>
At an abstract level, WSDL describes a Web service in terms of the
messages it sends and receives; messages are described independent of
a specific wire format using a type system, typically XML Schema.
</p>

<p>
An <emph>operation</emph> associates a message exchange pattern with one or
more messages. A <emph>message exchange pattern</emph> identifies the sequence and
cardinality of messages sent and/or received as well as who they are
logically sent to and/or received from. An <emph>interface</emph>
groups together operations without any commitment to transport or wire
format.
</p>

<p>
At a concrete level, a <emph>binding</emph> specifies transport and
wire format details for one or more interfaces. An
<emph>endpoint</emph> associates a network address with a binding. And
finally, a <emph>service</emph> groups together endpoints that
implement a common interface.
</p>

</div2>

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

<div2 id="notation">
<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 RFC 2119
   <bibref ref="RFC2119"/>.</p>

<p>This specification uses properties from the XML Information Set
<bibref ref="XMLInfoSet"/>. Such properties are denoted by square
brackets, e.g. [namespace name].</p>

<p>This specification uses namespace prefixes throughout; they are
   listed in <specref ref="tabnsprefixes"/>. 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   associated namespace name" id="tabnsprefixes">
  <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/2004/03/wsdl</attval></td>
      <td rowspan="1" colspan="1">A normative XML Schema <bibref ref="XMLSchemaP1"/>, <bibref ref="XMLSchemaP2"/> document for the
        <attval>http://www.w3.org/2004/03/wsdl</attval> namespace can be found at <loc href="http://www.w3.org/2004/03/wsdl" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://www.w3.org/2004/03/wsdl</loc>.  WSDL documents that do NOT
        conform to this schema are not valid WSDL documents. WSDL
        documents that DO conform to this schema and also conform to
        the other constraints defined in this specification are valid
        WSDL documents.</td>
    </tr>
    <tr>
      <td rowspan="1" colspan="1">wsdli</td>
      <td rowspan="1" colspan="1"><attval>http://www.w3.org/2004/03/wsdl-instance</attval></td>
      <td rowspan="1" colspan="1">A normative XML Schema <bibref ref="XMLSchemaP1"/>, <bibref ref="XMLSchemaP2"/> document for the
        <attval>http://www.w3.org/2004/03/wsdl-instance</attval> namespace can be found at <loc href="http://www.w3.org/2004/03/wsdl-instance" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://www.w3.org/2004/03/wsdl-instance</loc>. </td>
    </tr>
    <tr>
      <td rowspan="1" colspan="1">wrpc</td>
      <td rowspan="1" colspan="1"><attval>http://www.w3.org/2004/03/wsdl/rpc</attval></td>
      <td rowspan="1" colspan="1">A normative XML Schema <bibref ref="XMLSchemaP1"/>, <bibref ref="XMLSchemaP2"/> document for the
        <attval>http://www.w3.org/2004/03/wsdl/rpc</attval> namespace can be found at <loc href="http://www.w3.org/2004/03/wsdl/rpc" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">http://www.w3.org/2004/03/wsdl/rpc</loc>.  WSDL documents that
        do NOT conform to this schema are not valid WSDL
        documents. WSDL documents that DO conform to this schema and
        also conform to the other constraints defined in this
        specification are valid WSDL documents.  </td>
    </tr>
    <tr>
      <td rowspan="1" colspan="1">wsoap12</td>
      <td rowspan="1" colspan="1"><attval>http://www.w3.org/2003/11/wsdl/soap12</attval></td>
      <td rowspan="2" colspan="1">Defined by WSDL 2.0: Bindings <bibref ref="WSDL-PART3"/>.</td>
    </tr>
    <tr>
      <td rowspan="1" colspan="1">whttp</td>
      <td rowspan="1" colspan="1"><attval>http://www.w3.org/2003/11/wsdl/http</attval></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="2" colspan="1">Defined in the W3C XML Schema
          specification <bibref ref="XMLSchemaP1"/>, <bibref ref="XMLSchemaP2"/>.</td>
    </tr>
    <tr>
      <td rowspan="1" colspan="1">xsi</td>
      <td rowspan="1" colspan="1"><attval>http://www.w3.org/2001/XMLSchema-instance</attval></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="RFC2396"/>.</p>

<p>All parts of this specification are normative, with the EXCEPTION
   of notes, pseudo-schemas, examples, and sections explicitly marked as "Non-Normative".
   Pseudo-schemas are provided for each component, before the description
   of the component.</p>

</div2>

</div1>

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

<div1 id="component_model">
<head>Component Model</head>

  <p>
  This section describes the conceptual model for WSDL as a set of
  components with properties, each aspect of a Web service that WSDL
  can describe having its own property. In addition an XML Infoset
  representation for these components is provided, along with a
  mapping from that representation to the various component
  properties. How the XML Infoset representation of a given set of
  WSDL components is constructed is outside the scope of this
  specification.
  </p>
  

  <div2 id="Definitions">
    <head>Definitions</head>

    <div3 id="Definitions_details">
      <head>The Definitions Component</head>
      
      <p>At the abstract level, the Definitions component is just a
      container for two categories of components; WSDL components and
      type system components.</p>

      <p>WSDL components are interfaces, bindings and services.</p>

      <p>Type system components are element declarations drawn from
      some type system. They define the [local name], [namespace name],
      [children] and [attributes] properties of an <emph>element information item</emph>.</p>

      <p>The properties of the Definitions component are as follows:</p>
	  <ulist>
	    <item><p>{interfaces} A set of named interface
	    definitions</p></item>

	    <item><p>{bindings} A set of named binding
	    definitions</p></item>

	    <item><p>{services} A set of named service
	    definitions</p></item>

	    <item><p>{element declarations} A set of named element
	    declarations, each one isomorphic to a global element
	    declaration as defined by XML Schema</p></item>
	  </ulist>

       <p>The set of interfaces/binding/services/etc. available in the
       Definitions component include those that are defined within the
       component itself and those that are imported and/or
       included. Note that at the component model level, there is no
       distinction between directly defined components
       vs. imported/included components.</p>
 
       <p>The components directly defined within a single Definitions
       component are said to belong to the same <emph>target
       namespace</emph>. The target namespace therefore groups a set
       of related component definitions and represents an unambiguous
       name for the intended semantics of the components. The
       target namespace URI SHOULD point to a human or machine
       processable document that directly or indirectly defines the
       intended semantics of those components.</p>

         <p>Note that it is RECOMMENDED that the value of the
         <att>targetNamespace</att> <emph>attribute information item</emph> SHOULD be a dereferencible
         URI and that it resolve to a WSDL document which provides
         service description information for that namespace.</p>

         <p>If a service description is split into multiple documents
         (which may be combined as needed via <specref ref="includes"/>), then the <att>targetNamespace</att> <emph>attribute information item</emph>
         SHOULD resolve to a master document which includes all the
         WSDL documents needed for that service description. This
         approach enables the WSDL component designators' fragment
         identifiers to be properly resolvable.</p>

       <p>Imported components have different target namespace values
       from the Definitions component that is importing them. Thus
       importing is the mechanism to use components from one namespace
       in another set of definitions.</p>

       <p>Each WSDL or type system component MUST be uniquely
       identified by its qualified name. That is, if two distinct
       components of the same kind (Interface, Binding etc.) are in
       the same target namespace, then their QNames MUST be
       unique. However, different kinds of components (e.g., an
       Interface component and a Binding component) MAY have the same
       QName. Thus, QNames of components must be unique within the
       space of those components in a given target namespace.</p>

       <p>In addition to WSDL components and type system
       components, additional extension components MAY be added via
       extensibility <specref ref="language-extensibility"/>. Further,
       additional properties to WSDL and type system components MAY
       also be added via extensibility.</p>
    </div3>

   <div3 id="Definitions_XMLRep">
      <head>XML Representation of Definitions Component</head>
<eg xml:space="preserve">
&lt;<b>definitions</b>
      targetNamespace="<emph>xs:anyURI</emph>" &gt;
  &lt;documentation /&gt;?
  [ &lt;import /&gt; | &lt;include /&gt; ]*
  &lt;types /&gt;?
  [ &lt;interface /&gt; | &lt;binding /&gt; | &lt;service /&gt; ]*
&lt;/<b>definitions</b>&gt;
</eg>
      <p>
	  WSDL definitions are represented in XML by one or more WSDL
	  Information Sets (Infosets), that is one or more
	  <el>definitions</el> <emph>element information item</emph>s. A WSDL Infoset contains
	  representations for a collection of WSDL components which
	  share a common target namespace. A WSDL Infoset which
	  contains one or more <el>import</el> <emph>element information item</emph>s <specref ref="imports"/> corresponds to a collection with components
	  drawn from multiple target namespaces.
	  </p>
          <p>
          The targetNamespace URI MUST be an absolute URI (see <bibref ref="RFC2396"/>).
          </p>

	  <p>The <el>definitions</el> <emph>element information item</emph> has the following Infoset properties:</p>
	  <ulist>
	    <item><p>A [local name] of <el>definitions</el>.</p></item>
		<item><p>A [namespace name] of
		<attval>http://www.w3.org/2004/03/wsdl</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>targetNamespace</att> <emph>attribute information item</emph>
			  as described below in <specref ref="Definitions_targetnamespace_attribute"/>.
			  </p>
		    </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/2004/03/wsdl</attval>.
			  </p>
			</item>
		  </ulist>
		</item>
		<item>
		  <p>
		  Zero or more <emph>element information item</emph>s amongst its [children], in order as
		  follows:
		  </p> 
		  <olist>
		    <item>
			  <p>
			  An OPTIONAL <el>documentation</el> <emph>element information item</emph>
			  (see <specref ref="eii-documentation"/>).
			  </p>
			</item>
			<item>
			  <p>Zero or more <emph>element information item</emph>s from among the following, in any
			  order:
			  </p>
			  <ulist>
			    <item>
				  <p>
				  Zero or more <el>include</el> <emph>element information item</emph>s (see <specref ref="includes"/>)
				  </p>
				</item>
			    <item>
				  <p>
				  Zero or more <el>import</el> <emph>element information item</emph>s (see <specref ref="imports"/>)
				  </p>
				</item>
                <item>
                  <p>
Zero or more namespace-qualified <emph>element information item</emph>s. The
[namespace name] of such <emph>element information item</emph>s MUST NOT be
<attval>http://www.w3.org/2004/03/wsdl</attval>.
                  </p>
                </item>
			  </ulist>
			</item>
			<item>
			  <p>
			  An OPTIONAL <el>types</el> <emph>element information item</emph> (see <specref ref="eii-types"/>).
			  </p>
			</item>
			<item>
			  <p>
			  Zero or more <emph>element information item</emph>s from among the following, in any
			  order:
			  </p>
			  <ulist>
			    <item>
			      <p>
			      <el>interface</el> <emph>element information item</emph>s (see <specref ref="Interface_XMLRep"/>).
			      </p>
			    </item>
			    <item>
			      <p>
			      <el>binding</el> <emph>element information item</emph>s (see <specref ref="Binding_XMLRep"/>).
			      </p>
			    </item>
			    <item>
			      <p>
			      <el>service</el> <emph>element information item</emph>s (see <specref ref="Service_XMLRep"/>).
			      </p>
			    </item>
                <item>
                  <p>
Zero or more namespace-qualified <emph>element information item</emph>s. The
[namespace name] of such <emph>element information item</emph>s MUST NOT be
<attval>http://www.w3.org/2004/03/wsdl</attval>.
                  </p>
                </item>
	          </ulist>
		    </item>
          </olist>
        </item>
      </ulist>

      <div4 id="Definitions_targetnamespace_attribute">
        <head><att>targetNamespace</att> <emph>attribute information item</emph></head>
		<p>The <att>targetNamespace</att> <emph>attribute information item</emph> defines the namespace affiliation
	    of top-level components defined in this
		<el>definitions</el> <emph>element information item</emph>. Interfaces,
		Bindings and Services are top-level components. 
		</p>
	    <p>
		The <att>targetNamespace</att> <emph>attribute information item</emph> has the following
		Infoset properties:
		</p>
		<ulist>
		  <item><p>A [local name] of
		  <att>targetNamespace</att></p></item>
		  <item><p>A [namespace name] which has no value</p></item>
		</ulist>
		<p>
		The type of the <att>targetNamespace</att> <emph>attribute information item</emph> is
		<emph>xs:anyURI</emph>.
		</p>

      </div4>
    </div3>

    <div3 id="Definitions_Mapping">
      <head>Mapping Definitions' XML Representation to Component
      Properties</head>
	  <p>
	  The mapping between the properties of the Definitions component
	  (see <specref ref="Definitions_details"/>) and the XML
	  Representation of the <el>definitions</el> <emph>element information item</emph> (see <specref ref="Definitions_XMLRep"/>) is described
	  in <specref ref="tab_Definitions_Mapping"/>.
	  </p>
	  <table border="1" id="tab_Definitions_Mapping">
	    <caption>Mapping between Definitions Component Properties and XML Representation</caption>
	    <tbody>
		  <tr>
		    <th rowspan="1" colspan="1">Property</th>
		    <th rowspan="1" colspan="1">Mapping</th>
		  </tr>
		  <tr>
		    <td rowspan="1" colspan="1">{interfaces}</td>
			<td rowspan="1" colspan="1">
			The interface definitions corresponding to all
			the <el>interface</el> <emph>element information item</emph>s in the
			[children] of the <el>definitions</el> <emph>element information item</emph>,
			if any, plus any included or imported
			interface definitions (see <specref ref="modularize"/>).
			</td>
		  </tr>
		  <tr>
		    <td rowspan="1" colspan="1">{bindings}</td>
			<td rowspan="1" colspan="1">
			The binding definitions corresponding to all
			the <el>binding</el> <emph>element information item</emph>s in the [children]
			of the <el>definitions</el> <emph>element information item</emph>, if any,
			plus any included or imported binding
			definitions (see <specref ref="modularize"/>).
			</td>
                  </tr>
		  <tr>
		    <td rowspan="1" colspan="1">{services}</td>
			<td rowspan="1" colspan="1">
			The service definitions corresponding to all
			the <el>service</el> <emph>element information item</emph>s in the [children]
			of the <el>definitions</el> <emph>element information item</emph>, if any,
			plus any included or imported service
			definitions (see <specref ref="modularize"/>).
		    </td>
		  </tr>
		  <tr>
		    <td rowspan="1" colspan="1">{element declarations}</td>
			<td rowspan="1" colspan="1">
			The element declaration components
			corresponding to all the element declarations
			defined as descendants of the <el>types</el>
			<emph>element information item</emph>, if any, plus any imported element
			definitions. At a minimum this will include
			all the global element declarations defined by
			XML Schema <el>element</el> <emph>element information item</emph>s. It MAY
			also include any definition from some other
			type system which describes the [local name],
			[namespace name], [attributes] and [children]
			properties of an <emph>element information item</emph>.
		    </td>
		  </tr>
		</tbody>
	  </table>
    </div3>
  </div2>

  <div2 id="Interface">
    <head>Interface</head>

    <div3 id="Interface_details">
      <head>The Interface Component</head>
        
        <p> An Interface component describes sequences of messages
        that a service sends and/or receives. It does this by grouping
        related messages into operations. An operation is a sequence
        of input and output messages, an interface is a set of
        operations.</p>

        <p> An interface can optionally extend one or more other
        interfaces.  In such cases the interface contains the
        operations of the interfaces it extends, along with any
        operations it defines. The interfaces a given interface
        extends MUST NOT themselves extend that interface either
        directly or indirectly.  </p>

        <p> Interfaces are named constructs and can be referred to by
        QName (see <specref ref="qnameres"/>). For instance, Binding
        components refer to interfaces in this way.  </p>

        <p>The properties of the Interface component are as
        follows:</p>

	  <ulist>
	    <item><p>{name} An NCName as defined by <bibref ref="XMLNS"/>.</p></item>

	    <item><p>{target namespace} A namespace name, as defined
	    in <bibref ref="XMLNS"/>.</p></item>

            <item><p>{extended interfaces} A set of named interface
            definitions which this interface extends.</p> </item>

  	    <item><p>{faults} A set of named interface fault
  	    definitions.</p></item>

  	    <item><p>{operations} A set of named interface operation
  	    definitions.</p></item>

  	    <item><p>{features} A set of named feature
  	    definitions.</p></item>

  	    <item><p>{properties} A set of named property
  	    definitions.</p></item>

	  </ulist>

	  <p> For each Interface component in the {interfaces}
	  property of a definitions container, the combination of
	  {name} and {target namespace} properties MUST be unique.
	  </p>
    </div3>

    <div3 id="Interface_XMLRep">
      <head>XML Representation of Interface Component</head>

<eg xml:space="preserve">&lt;definitions&gt;
  &lt;<b>interface</b>
        name="<emph>xs:NCName</emph>" 
        extends="<emph>list of xs:QName</emph>"?
        styleDefault="<emph>xs:anyURI</emph>"? &gt;
    &lt;documentation /&gt;?
    [ &lt;fault /&gt; | &lt;operation /&gt; | &lt;feature /&gt; | &lt;property /&gt; ]*
  &lt;/<b>interface</b>&gt;
&lt;/definitions&gt;
</eg>

      <p>
	  The XML representation for an Interface component is
	  an <emph>element information item</emph> with the following Infoset properties:
	  </p>
	  <ulist>
	    <item><p>A [local name] of <el>interface</el></p></item>
	    <item><p>A [namespace name] of <attval>http://www.w3.org/2004/03/wsdl</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>name</att> <emph>attribute information item</emph> as described below
		  in <specref ref="Interface_name_attribute"/>.
		  </p>
		</item>
		<item>
		  <p>
		  An OPTIONAL <att>extends</att> <emph>attribute information item</emph> 
		  as described below in <specref ref="Interface_extends_attribute"/>.
		  </p>
		</item>
		<item>
		  <p>
		  An OPTIONAL <att>styleDefault</att> <emph>attribute information item</emph> as
		  described below in <specref ref="Interface_styleDefault_attribute"/>.
		  </p>
		</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/2004/03/wsdl</attval>.
		  </p>
		</item>
		</ulist>
		</item>
		<item>
		  <p>Zero or more <emph>element information item</emph>s amongst its [children], in order, as
		  follows:</p>
		  <olist>
		    <item>
		      <p>
		      An OPTIONAL <el>documentation</el> <emph>element information item</emph> (see <specref ref="eii-documentation"/>).
		      </p>
		    </item>
			<item><p>Zero or more <emph>element information item</emph>s from among the following, in
			any order:</p>
			<ulist>
		    <item>
			  <p>
			  Zero or more <el>fault</el> <emph>element information item</emph>s <specref ref="InterfaceFault_XMLRep"/>.
			  </p>
			</item>
		    <item>
			  <p>
			  Zero or more <el>operation</el> <emph>element information item</emph>s <specref ref="InterfaceOperation_XMLRep"/>.
			  </p>
			</item>
		    <item>
			  <p>
			  Zero or more <el>feature</el> <emph>element information item</emph>s <specref ref="Feature_XMLRep"/>.
			  </p>
			</item>
		    <item>
			  <p>
			  Zero or more <el>property</el> <emph>element information item</emph>s <specref ref="Property_XMLRep"/>.
			  </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/2004/03/wsdl</attval>.
              </p>
            </item>
			</ulist>
		  </item>
		  </olist>
        </item>
      </ulist>

      <div4 id="Interface_name_attribute">
        <head><att>name</att> <emph>attribute information item</emph> with <el>interface</el> [owner]</head>
	    <p>
		The <att>name</att> <emph>attribute information item</emph> together with the
		<att>targetNamespace</att> <emph>attribute information item</emph> of the [parent] <el>definitions</el>
		<emph>element information item</emph> forms the QName of the interface.
		</p>
		<p>
		The <att>name</att> <emph>attribute information item</emph> has the following Infoset properties:
		</p>
		<ulist>
		  <item><p>A [local name] of <att>name</att></p></item>
		  <item><p>A [namespace name] which has no value</p></item>
		</ulist>
		<p>
		The type of the <att>name</att> <emph>attribute information item</emph> is <emph>xs:NCName</emph>.
		</p>
      </div4>

      <div4 id="Interface_extends_attribute">
        <head><att>extends</att> <emph>attribute information item</emph></head>
	    <p>
		The <att>extends</att> <emph>attribute information item</emph> lists the interfaces that this interface
		derives from.
		</p>
		<p>
		The <att>extends</att> <emph>attribute information item</emph> has the following Infoset properties:
		</p>
		<ulist>
		  <item><p>A [local name] of <att>extends</att></p></item>
		  <item><p>A [namespace name] which has no value</p></item>
		</ulist>
		<p>
		The type of the <att>extends</att> <emph>attribute information item</emph> is a list of <emph>xs:QName</emph>.
		</p>
      </div4>

      <div4 id="Interface_styleDefault_attribute">
        <head><att>styleDefault</att> <emph>attribute information item</emph></head>
	    <p>
		The <att>styleDefault</att> <emph>attribute information item</emph> indicates
		the default style used to construct the
		{element} properties of {message references} of all
		operations contained within the [owner]
		<el>interface</el>.
		</p>

		<p>
		The <att>styleDefault</att> <emph>attribute information item</emph> has the following
		Infoset properties:
		</p>
		<ulist>
		  <item><p>A [local name] of
		  <att>styleDefault.</att></p></item>

		  <item><p>A [namespace name] which has no
		  value.</p></item>
		</ulist>
		<p>
		The type of the <att>styleDefault</att> <emph>attribute information item</emph> is
		<emph>xs:anyURI</emph>. Moreover, the value of the
		<att>styleDefault</att> <emph>attribute information item</emph>, if present, MUST be
		an absolute URI (see <bibref ref="RFC2396"/>).
		</p>

      </div4>

    </div3>

    <div3 id="Interface_Mapping">
	  <head>Mapping Interface's XML Representation to Component Properties</head>
	  <p>
	  The mapping between the properties of the Interface component (see
	  <specref ref="Interface_details"/>) and the XML Representation of
	  the <el>interface</el> <emph>element information item</emph> (see <specref ref="Interface_XMLRep"/>) is
	  as described in <specref ref="tab_Interface_Mapping"/>.
	  </p>

	  <table border="1" id="tab_Interface_Mapping">
	    <caption>Mapping between Interface Component Properties and XML Representation</caption>
	    <tbody>
		  <tr>
		    <th rowspan="1" colspan="1">Property</th>
		    <th rowspan="1" colspan="1">Mapping</th>
		  </tr>
		  <tr>
		    <td rowspan="1" colspan="1">{name}</td>
			<td rowspan="1" colspan="1">The actual value of the <att>name</att> <emph>attribute information item</emph></td>
		  </tr>
		  <tr>
		    <td rowspan="1" colspan="1">{target namespace}</td>
			<td rowspan="1" colspan="1">
			The actual value of the	<att>targetNamespace</att> <emph>attribute information item</emph>
			of the [parent] <el>definitions</el>	<emph>element information item</emph>
			</td>
		  </tr>
		  <tr>
		    <td rowspan="1" colspan="1">{extended interfaces}</td>
			<td rowspan="1" colspan="1">
			The set of interface definitions resolved to
			by the values in the <att>extends</att> <emph>attribute information item</emph>
			if any, plus the set of interface definitions
			in the {extended interfaces} property of those
			interface definitions, otherwise empty.
			</td>
		  </tr>
		  <tr>
		    <td rowspan="1" colspan="1">{faults}</td>
			<td rowspan="1" colspan="1">
			The set of interface fault definitions
			corresponding to the <el>fault</el> <emph>element information item</emph>s in
			[children], if any, plus the set of interface
			fault definitions in the {faults} property of
			the interface definitions in {extended
			interfaces}, if any.
			</td>
                  </tr>
		  <tr>
		    <td rowspan="1" colspan="1">{operations}</td>
			<td rowspan="1" colspan="1">
			The set of interface operation definitions
			corresponding to the <el>operation</el> <emph>element information item</emph>s
			in [children], if any, plus the set of
			interface operation definitions in the
			{operations} property of the interface
			definitions in {extended interfaces}, if any.
			</td>
                  </tr>
		  <tr>
		    <td rowspan="1" colspan="1">{features}</td>
			<td rowspan="1" colspan="1">
			The set of feature definitions corresponding
			to the <el>feature</el> <emph>element information item</emph>s in [children],
			if any, plus the set of feature definitions in
			the {features} property of the feature
			definitions in {extended interfaces}, if any.
			</td>
          </tr>
		  <tr>
		    <td rowspan="1" colspan="1">{properties}</td>
			<td rowspan="1" colspan="1">
			The set of property definitions corresponding
			to the <el>property</el> <emph>element information item</emph>s in [children],
			if any, plus the set of property definitions
			in the {properties} property of the property
			definitions in {extended interfaces}, if any.
			</td>
          </tr>
		</tbody>
	  </table>

	  <p> Note that, per <specref ref="Interface_details"/>, the
	  Interface components in the {extended interfaces} property
	  of a given Interface component MUST NOT contain that
	  Interface component in any of their {extended interfaces}
	  properties, that is to say, recursive extension of
	  interfaces is disallowed.  </p>

    </div3>
  </div2>

  <div2 id="InterfaceFault">
    <head>Interface Fault</head>

    <div3 id="InterfaceFault_details">
      <head>The Interface Fault Component</head> 
        
        <p>An Interface Fault component describes a fault that MAY be
           occur during execution of an operation of the
           interface. The Interface Fault component declares a fault
           by naming it and indicating the content or payload of the
           fault message. When and how the fault message flows is
           indicated by the Interface Operation component <specref ref="InterfaceOperation"/>.</p>

        <p>The reason the Interface Fault component is a property of
        the Interface component is because that provides a convenient
        mechanism to declare a set of fault message types and then
        indicate which operations use those types, thus allowing one
        to easily indicate that the same fault message type can occur
        in multiple operations.</p>

        <p>The properties of the Interface Fault component are
        as follows:</p>
	  <ulist>
	    <item><p>{name} An NCName as defined by <bibref ref="XMLNS"/>.</p></item>

            <item> <p> {element} A reference to an XML element
            declaration in the {element declarations} property of
            <specref ref="Definitions_details"/>. This element
            represents the content or "payload" of the fault.  </p>
            </item>
	  </ulist>

        <p>If a non-XML type system is in use (as considered in
        <specref ref="other-types"/>) then additional properties would
        need to be added to the Fault Component (along with
        extensibility attributes to its XML representation) to allow
        associating such message types with the message reference.</p>

        <p>For each Interface Fault component in the {faults}
	property of an Interface component, the combination of {name}
	and {target namespace} properties must be unique.</p>

        <p>Interface Fault components are local to Interface
	components; they cannot be referred to by QName, despite
	having both {name} and {target namespace} properties. That is,
	two Interface components sharing the same {target namespace}
	property but with different {name} properties MAY contain
	Interface Fault components which share the same {name}
	property. Thus, the {name} and {target namespace} properties
	of the Interface Fault components are not sufficient to
	form the unique identity of an Interface Fault
	component. To uniquely identify an Interface Fault
	component one must first identify the Interface component (by
	QName) and then identify the Interface Fault within that
	Interface component (by a further QName).</p>

	<p>In cases where, due to an interface extending one or more
	other interfaces, two or more Interface Faults components
	have the same value for their {name} and {target namespace}
	properties, then the component models of those Interface
	Fault components MUST be equivalent (see <specref ref="compequiv"/>). If the Interface Fault components are
	equivalent then they are considered to collapse into a single
	component. It is an error if two Interface Fault
	components have the same value for their {name} and {target
	namespace} properties but are not equivalent.</p>

      <p> Note that, due to the above rules, if two interfaces that
	  have the same value for their {target namespace} property
	  also have one or more faults that have the same value
	  for their {name} property then those two interfaces cannot
	  both form part of the derivation chain of a derived
	  interface unless those faults are the same
	  fault.</p>
	  
	  <note><p>For the above reason, it is considered good practice to
	  ensure, where necessary, that the {name} property of
	  Interface Fault components within a namespace are
	  unique, thus allowing such derivation to occur without
	  inadvertent error.</p></note>

    </div3>

    <div3 id="InterfaceFault_XMLRep">
      <head>XML Representation of Interface Fault Component</head>

<eg xml:space="preserve">&lt;definitions&gt;
  &lt;interface&gt;
    &lt;<b>fault</b>
          name="<emph>xs:NCName</emph>" 
          element="<emph>xs:QName</emph>"? &gt;
      &lt;documentation /&gt;?
    &lt;/<b>fault</b>&gt;
  &lt;/interface&gt;
&lt;/definitions&gt;
</eg>

      <p>
	  The XML representation for an Interface Fault component is an
	  <emph>element information item</emph> with the following Infoset properties:
	  </p>
	  <ulist>
	    <item><p>A [local name] of <el>fault</el></p></item>
	    <item><p>A [namespace name] of
	    <attval>http://www.w3.org/2004/03/wsdl</attval></p></item>
		<item>
		<p>Two or more <emph>attribute information item</emph>s amongst its [attributes] as
		follows:</p>
		<ulist>
		<item>
		  <p>
		  A REQUIRED <att>name</att> <emph>attribute information item</emph> 
		  as described below in <specref ref="Interfacefault_name_attribute"/>.
		  </p>
		</item>
		<item>
		  <p>
		  An OPTIONAL <att>element</att> <emph>attribute information item</emph> as described below
		  in <specref ref="Interface_element_attribute"/>.
		  </p>
		</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/2004/03/wsdl</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>
		      An OPTIONAL <el>documentation</el> <emph>element information item</emph> (see <specref ref="eii-documentation"/>).
		      </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/2004/03/wsdl</attval>.
                       </p>
                    </item>
		  </olist>
		</item>
      </ulist>

      <div4 id="Interfacefault_name_attribute">
        <head><att>name</att> <emph>attribute information item</emph> with <el>fault</el> [owner]</head>
	    <p>
		The <att>name</att> <emph>attribute information item</emph> identifies a given <el>fault</el>
		<emph>element information item</emph> inside a given <el>interface</el> <emph>element information item</emph>.
		</p>
		<p>
		The <att>name</att> <emph>attribute information item</emph> has the following
		Infoset properties:
		</p>
		<ulist>
		  <item><p>A [local name] of <att>name</att></p></item>
		  <item><p>A [namespace name] which has no value</p></item>
		</ulist>
		<p>
		The type of the <att>name</att> <emph>attribute information item</emph> is
		<emph>xs:NCName</emph>.
		</p>
      </div4>

      <div4 id="Interface_element_attribute">
        <head><att>element</att> <emph>attribute information item</emph> with <el>fault</el> [owner]</head>
	    <p>
		The <att>element</att> <emph>attribute information item</emph> refers, by QName, to an element
		declaration component.
		</p>
		<p>The <att>element</att> <emph>attribute information item</emph> has 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>
		</ulist>
		<p>
		The type of the <att>element</att> <emph>attribute information item</emph> is
		<emph>xs:QName</emph>.
		</p>
      </div4>

    </div3>

    <div3 id="InterfaceFault_Mapping">
	  <head>Mapping Interface Fault's XML Representation to
	  Component Properties</head>

	  <p>The mapping between the properties of the Interface Fault
	  component (see <specref ref="InterfaceFault_details"/>)
	  and the XML Representation of the <el>fault</el> <emph>element information item</emph>
	  (see <specref ref="InterfaceFault_XMLRep"/>) is as
	  described in <specref ref="tab_InterfaceFault_Mapping"/>.  </p>

	  <table border="1" id="tab_InterfaceFault_Mapping">
	    <caption>Mapping between Interface Fault Component Properties and XML Representation</caption>
	    <tbody>
		  <tr>
		    <th rowspan="1" colspan="1">Property</th>
		    <th rowspan="1" colspan="1">Mapping</th>
		  </tr>
		  <tr>
		    <td rowspan="1" colspan="1">{name}</td>
			<td rowspan="1" colspan="1">The actual value of the <att>name</att> <emph>attribute information item</emph>.</td>
		  </tr>
		  <tr>
		    <td rowspan="1" colspan="1">{target namespace}</td>
			<td rowspan="1" colspan="1">
			The actual value of the
			<att>targetNamespace</att> <emph>attribute information item</emph> of the
			[parent] <el>definitions</el> <emph>element information item</emph> of the
			[parent] <el>interface</el> <emph>element information item</emph>.
			</td>
		  </tr>
		  <tr>
		    <td rowspan="1" colspan="1">{element}</td> <td rowspan="1" colspan="1"> The element declaration
                        from the {element declarations} property of
                        <specref ref="Definitions_details"/> resolved
                        to by the value of the <att>element</att>
                        <emph>attribute information item</emph> if present, otherwise empty. It is an
                        error for the <att>element</att> <emph>attribute information item</emph> to have
                        a value and for it to not resolve to a global
                        element declaration from the {element
                        declarations} property of <specref ref="Definitions_details"/>.
			</td>
		  </tr>
            </tbody>
	  </table>

    </div3>
  </div2>

  <div2 id="InterfaceOperation">
    <head>Interface Operation</head>

    <div3 id="InterfaceOperation_details">
      <head>The Interface Operation Component</head> 
        
        <p>An Interface Operation component describes an operation
        that a given interface supports. An operation is an
        interaction with the service consisting of a set (ordinary and
        fault) messages exchanged between the service and the other
        roles involved in the interaction, in particular the service
        requestor. The sequencing and cardinality of the messages
        involved in a particular interaction is governed by the
        <emph>message exchange pattern</emph> used by the operation
        (see {message exchange pattern} property).</p>

        <p> A message exchange pattern defines placeholders for messages, the
        participants in the pattern (i.e., the sources and sinks of
        the messages), and the cardinality and sequencing of messages
        exchanged by the participants. The message placeholders are
        associated with specific message types by the operation that uses
        the pattern by means of message and fault references (see {message
        references} and {fault references} properties). The service
        whose operation is using the pattern becomes one of the
        participants of the pattern. This specification does not
        define a machine understandable language for defining message
	exchange patterns, nor does it define any specific patterns. The companion
        specification, <bibref ref="WSDL-PART2"/> defines a set of
        such patterns and defines identifying URIs any of which MAY be
        used as the value of the {message exchange pattern} property.</p>

        <p>The properties of the Interface Operation component are
        as follows:</p>
	  <ulist>
	    <item><p>{name} An NCName as defined by <bibref ref="XMLNS"/>.</p></item>

	    <item><p>{target namespace} A namespace name, as defined in
	    <bibref ref="XMLNS"/>.</p></item>

            <item><p>{message exchange pattern} A URI identifying the
            message exchange pattern used by the operation. This URI
            MUST be an absolute URI (see <bibref ref="RFC2396"/>).</p></item>

	    <item><p>{message references} A set of Message Reference
	    components for the ordinary messages the operation accepts
	    or sends. (See <specref ref="MessageReference"/>.)</p></item>

            <item><p>{fault references} A set of Fault Reference
	    components for the fault messages the operation accepts or
	    sends. (See <specref ref="FaultReference"/>.)</p></item>

            <item><p> {style} A URI identifying the rules that were
            used to construct the {element} properties of {message
            references}. (See <specref ref="InterfaceOperationStyle"/>.) This URI MUST be an
            absolute URI (see <bibref ref="RFC2396"/>).</p></item>

            <item><p>{safety} A boolean indicating whether the
            operation is asserted to be safe (as defined in Section
            3.5 of <bibref ref="webarch"/>) for users of the described
            service to invoke.  If this property is false or is not
            set, 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"/>. The default value of this
            property is false.</p></item>

            <item><p>{features} A set of named feature definitions
	    used by the operation</p></item>

            <item><p>{properties} A set of named property definitions
	    used by the operation</p></item>

	  </ulist>

        <p>For each Interface Operation component in the {operations}
	property of an Interface component, the combination of {name}
	and {target namespace} properties MUST be unique.</p>

        <p>Interface Operation components are local to Interface
	components; they cannot be referred to by QName, despite
	having both {name} and {target namespace} properties. That is,
	two Interface components sharing the same {target namespace}
	property but with different {name} properties MAY contain
	Interface Operation components which share the same {name}
	property. Thus, the {name} and {target namespace} properties
	of the Interface Operation components are not sufficient to
	uniquely identify an Interface Operation component.
	In order to uniquely identify an Interface Operation
	component, one must first identify the Interface component (by
	QName) and then identify the Interface Operation within that
	Interface component (by a further QName).</p>

	<p>In cases where, due to an interface extending one or more
	other interfaces, two or more Interface Operation components
	have the same value for their {name} and {target namespace}
	properties, then the component models of those Interface
	Operation components MUST be equivalent (see <specref ref="compequiv"/>). If the Interface Operation components are
	equivalent then they are considered to collapse into a single
	component. It is an error if two Interface Operation
	components have the same value for their {name} and {target
	namespace} properties but are not equivalent.</p>

          <p> Note that, due to the above rules, if two interfaces that
	  have the same value for their {target namespace} property
	  also have one or more operations that have the same value
	  for their {name} property then those two interfaces cannot
	  both form part of the derivation chain of a derived
	  interface unless those operations are the same
	  operation.</p>
	  
	  <note><p>For the above reason, it is considered good practice to
	  ensure, where necessary, that the {name} property of
	  Interface Operation components within a namespace are
	  unique, thus allowing such derivation to occur without
	  inadvertent error.</p></note>

      <div4 id="InterfaceOperationStyle">
        <head>Operation Style</head>

        <p>If the {style} property of an Interface Operation component
        has a value then that value (a URI) implies the rules that
        were used to define the {element} properties (or other
        property which defines the content of the message properties;
        see <specref ref="other-types"/>) of <emph>all</emph> the
	Message Reference components which are members of the {message
        references} property of that component.  Note that the property MAY
        not have any value. If this property has a given value, then
        the rules implied by that value (such as rules that govern the
        schemas) MUST be followed or it is an error.</p>

        <p>This specification defines the following pre-defined 
        operation style:</p>

        <ulist>
          <item><p>RPC Style (see <specref ref="RPCStyle"/>)</p></item>

        </ulist>


      </div4>

    </div3>

    <div3 id="InterfaceOperation_XMLRep">
      <head>XML Representation of Interface Operation Component</head>

<eg xml:space="preserve">&lt;definitions&gt;
  &lt;interface&gt;
    &lt;<b>operation</b>
          name="<emph>xs:NCName</emph>" 
          pattern="<emph>xs:anyURI</emph>"
          style="<emph>xs:anyURI</emph>"? 
          safe="<emph>xs:boolean</emph>"? &gt;
      &lt;documentation /&gt;?
      [ &lt;feature /&gt; | &lt;property /&gt; | 
        [ &lt;input /&gt; | &lt;output /&gt; | &lt;infault /&gt; | &lt;outfault /&gt; ]+
      ]*
    &lt;/<b>operation</b>&gt;
  &lt;/interface&gt;
&lt;/definitions&gt;
</eg>

      <p>
	  The XML representation for an Interface Operation component is an
	  <emph>element information item</emph> with the following Infoset properties:
	  </p>
	  <ulist>
	    <item><p>A [local name] of <el>operation</el></p></item>
	    <item><p>A [namespace name] of
	    <attval>http://www.w3.org/2004/03/wsdl</attval></p></item>
		<item>
		<p>Two or more <emph>attribute information item</emph>s amongst its [attributes] as
		follows:</p>
		<ulist>
		<item>
		  <p>
		  A REQUIRED <att>name</att> <emph>attribute information item</emph> 
		  as described below in <specref ref="Interfaceoperation_name_attribute"/>.
		  </p>
		</item>
		<item>
		  <p>
		  A REQUIRED <att>pattern</att> <emph>attribute information item</emph> 
		  as described below in <specref ref="Interfaceoperation_pattern_attribute"/>.
		  </p>
		</item>
		<item>
		  <p>
		  An OPTIONAL <att>style</att> <emph>attribute information item</emph> as
		  described below in <specref ref="InterfaceOperation_style_attribute"/>.
		  </p>
		</item>
		<item>
		  <p>
		  An OPTIONAL <att>safe</att> <emph>attribute information item</emph> as
		  described below in <specref ref="InterfaceOperation_safe_attribute"/>.
		  </p>
		</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/2004/03/wsdl</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>
		      An OPTIONAL <el>documentation</el> <emph>element information item</emph> (see <specref ref="eii-documentation"/>).
		      </p>
		    </item>
		    <item>
		       <p>Zero or more <emph>element information item</emph>s from among the
                          following, in any order:</p>
			  <ulist>
			    <item><p>Zero or more <el>input</el>
			    <emph>element information item</emph>s (see <specref ref="MessageReference_XMLRep"/>).</p></item>

			    <item><p>Zero or more <el>output</el>
			    <emph>element information item</emph>s (see <specref ref="MessageReference_XMLRep"/>).</p></item>

			    <item><p>Zero or more <el>infault</el>
			    <emph>element information item</emph>s (see <specref ref="FaultReference_XMLRep"/>).</p></item>

			    <item><p>Zero or more <el>outfault</el>
			    <emph>element information item</emph>s (see <specref ref="FaultReference_XMLRep"/>).</p></item>

                            <item><p>A <el>feature</el> <emph>element information item</emph> (see
                            <specref ref="Feature_XMLRep"/>).</p></item>

                            <item><p>A <el>property</el> <emph>element information item</emph> (see
                            <specref ref="Property_XMLRep"/>).</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/2004/03/wsdl</attval>.</p></item>
			  </ulist>
			</item>
		  </olist>
		</item>
                <item>
		  <p>At least one of the [children] MUST be an
                  <el>input</el>, <el>output</el>, <el>infault</el>,
                  or <el>outfault</el> <emph>element information item</emph>.
		  </p>
		</item>
      </ulist>

      <div4 id="Interfaceoperation_name_attribute">
        <head><att>name</att> <emph>attribute information item</emph> with <el>operation</el> [owner]</head>
	    <p>
		The <att>name</att> <emph>attribute information item</emph> identifies a given <el>operation</el>
		<emph>element information item</emph> inside a given <el>interface</el> <emph>element information item</emph>.
		</p>
		<p>
		The <att>name</att> <emph>attribute information item</emph> has the following
		Infoset properties:
		</p>
		<ulist>
		  <item><p>A [local name] of <att>name</att></p></item>
		  <item><p>A [namespace name] which has no value</p></item>
		</ulist>
		<p>
		The type of the <att>name</att> <emph>attribute information item</emph> is <emph>xs:NCName</emph>.
		</p>
      </div4>

      <div4 id="Interfaceoperation_pattern_attribute">
        <head><att>pattern</att> <emph>attribute information item</emph> with <el>operation</el> [owner]</head>
	    <p>
		The <att>pattern</att> <emph>attribute information item</emph> identifies the message
		exchange pattern a given operation uses.
		</p>
		<p>
		The <att>pattern</att> <emph>attribute information item</emph> has the following
		Infoset properties:
		</p>
		<ulist>
		  <item><p>A [local name] of <att>pattern</att></p></item>
		  <item><p>A [namespace name] which has no value</p></item>
		</ulist>
		<p>
		The type of the <att>pattern</att> <emph>attribute information item</emph> is <emph>xs:anyURI</emph>.
		</p>
      </div4>

      <div4 id="InterfaceOperation_style_attribute">
        <head><att>style</att> <emph>attribute information item</emph> with <el>operation</el> [owner]</head>

	    <p>The <att>style</att> <emph>attribute information item</emph> indicates the rules that
	    were used to construct the {element} properties of the
	    Message Reference components which are members of the
	    {message references} property of the [owner] operation.  </p>

            <p> The <att>style</att> <emph>attribute information item</emph> has the following
            Infoset properties: </p>

		<ulist>
		  <item><p>A [local name] of <att>style</att></p></item>
		  <item><p>A [namespace name] which has no value</p></item>
		</ulist>

            <p> The type of the <att>style</att> <emph>attribute information item</emph> is
            <emph>xs:anyURI</emph>.  </p>

      </div4>

      <div4 id="InterfaceOperation_safe_attribute">
        <head><att>safe</att> <emph>attribute information item</emph> with <el>operation</el> [owner]</head>

	    <p>The <att>safe</att> <emph>attribute information item</emph> indicates whether the operation
            is <emph>safe</emph> or not.</p>

            <p> The <att>safe</att> <emph>attribute information item</emph> has the following
            Infoset properties: </p>

		<ulist>
		  <item><p>A [local name] of <att>safe</att></p></item>
		  <item><p>A [namespace name] which has no value</p></item>
		</ulist>

            <p> The type of the <att>safe</att> <emph>attribute information item</emph> is
            <emph>xs:boolean</emph> and does not have a default value.</p>

      </div4>

    </div3>

    <div3 id="InterfaceOperation_Mapping">
	  <head>Mapping Interface Operation's XML Representation to
	  Component Properties</head>

	  <p>The mapping between the properties of the Interface
	  Operation component (see <specref ref="InterfaceOperation_details"/>) and the XML
	  Representation of the <el>operation</el> <emph>element information item</emph> (see <specref ref="InterfaceOperation_XMLRep"/>) is as described in
	  <specref ref="tab_InterfaceOperation_Mapping"/>.  </p>

	  <table border="1" id="tab_InterfaceOperation_Mapping">
	    <caption>Mapping between Interface Operation Component Properties and XML Representation</caption>
	    <tbody>
		  <tr>
		    <th rowspan="1" colspan="1">Property</th>
		    <th rowspan="1" colspan="1">Mapping</th>
		  </tr>
		  <tr>
		    <td rowspan="1" colspan="1">{name}</td>
			<td rowspan="1" colspan="1">The actual value of the <att>name</att> <emph>attribute information item</emph></td>
		  </tr>
		  <tr>

		    <td rowspan="1" colspan="1">{target namespace}</td>
			<td rowspan="1" colspan="1">
			The actual value of the	<att>targetNamespace</att> <emph>attribute information item</emph>
			of the [parent] <el>definitions</el> <emph>element information item</emph> of the [parent]
			<el>interface</el> <emph>element information item</emph>.
			</td>
		  </tr>
		  <tr>
		    <td rowspan="1" colspan="1">{message exchange pattern}</td>
			<td rowspan="1" colspan="1">The actual value of the <att>pattern</att> <emph>attribute information item</emph></td>
		  </tr>
		  <tr>
		    <td rowspan="1" colspan="1">{message references}</td>
			<td rowspan="1" colspan="1">
			The set of message references corresponding to
			the <el>input</el> and <el>output</el> <emph>element information item</emph>s
			in [children], if any.
			</td>
          </tr>
		  <tr>
		    <td rowspan="1" colspan="1">{fault references}</td>
			<td rowspan="1" colspan="1">
			The set of fault references corresponding to the
			<el>infault</el> and <el>outfault</el> <emph>element information item</emph>s in
			[children], if any.
			</td>
          </tr>
		  <tr>
		    <td rowspan="1" colspan="1">{style}</td>
			<td rowspan="1" colspan="1">
			The actual value of the <att>style</att> <emph>attribute information item</emph> if
			present, otherwise the actual value of the
			<att>styleDefault</att> <emph>attribute information item</emph> of the [parent]
			<el>interface</el> <emph>element information item</emph> if present, otherwise none.
			</td>
		  </tr>
		  <tr>
		    <td rowspan="1" colspan="1">{safety}</td>
			<td rowspan="1" colspan="1">
			The actual value of the <att>safe</att> <emph>attribute information item</emph> if
			present, otherwise the value <emph>false</emph>.
                        </td>
		  </tr>
		  <tr>
		    <td rowspan="1" colspan="1">{features}</td>
			<td rowspan="1" colspan="1">
			The set of features corresponding to the
			<el>feature</el> <emph>element information item</emph>s in
			[children], if any.
			</td>
          </tr>
		  <tr>
		    <td rowspan="1" colspan="1">{properties}</td>
			<td rowspan="1" colspan="1">
			The set of properties corresponding to the
			<el>property</el> <emph>element information item</emph>s in
			[children], if any.
			</td>
          </tr>
		</tbody>
	  </table>

    </div3>
    
    <div3 id="RPCStyle">
    	<head>RPC Style</head>
	
	 <p>The RPC style is selected by assigning to an Interface
	 Operation component's {style} property the value
	 <emph>http://www.w3.org/2004/03/wsdl/style/rpc</emph>.</p>
	
	 <p>The RPC style MUST NOT be used for Interface Operation
	 components whose {message exchange pattern} property has a
	 value other than 'http://www.w3.org/2004/03/wsdl/in-only' or 'http://www.w3.org/2004/03/wsdl/in-out'.</p>
	
	 <p>Use of this value indicates that XML Schema <bibref ref="XMLSchemaP1"/> was used to define the schemas of the
	 {element} properties of all {message reference} components of
	 the Interface Operation component. Those schemas MUST adhere
	 to the rules below.</p>
	
	 <p>Note that if the Interface Operation component uses the
	 {message exchange pattern} 'http://www.w3.org/2004/03/wsdl/in-only' then there is
	 no output element and hence the rules which refer to the
	 output element do not apply.</p>
	
	 <ulist>
	
	   <item><p> The content model of input and output {element}
	   elements are 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. Note that these child elements MAY contain the
	   following attributes: nillable, minOccurs and
	   maxOccurs.</p></item>
	
	   <item><p>The LocalPart of input element's QName MUST be
	   the same as the Interface operation component's
	   name.</p></item>
	
	   <item><p> The LocalPart of the output element's QName is
	   obtained by concatenating the name of the operation and
	   the string value "Response",
	   i.e. concat(operation/@name,"Response").</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
	   attributes.</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 type.</p></item>
	
	   <item><p>The input or output sequence MUST NOT contain
	   multiple children elements declared with the same
	   name.</p></item>
	
	  </ulist>
    <div4 id="InterfaceOperation_RPC_Signature_Definition">
      <head><att>wrpc:signature</att> Extension</head>
	
	<p>The <att>wrpc:signature</att> extension AII MAY be 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 interface operation component it is applied to:</p>
       <ulist>
	<item><p>{rpc-signature} A (possibly empty) list of pairs <emph>(q, t)</emph> whose
	first component is of type <emph>xs:QName</emph> (as defined by <bibref ref="XMLNS"/>)
	and whose second component is of type <emph>xs:Token</emph>
	(as defined by <bibref ref="XMLNS"/>). Values for the second component MUST be
	chosen among the following four:
	"#in", "#out", "#inout" "#return".</p></item>
	
	</ulist>
	<p>
	The value of the {rpc-signature} 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
	  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:
	<olist>
	  <item><p>Start with the value of the {rpc-signature} property, a (possibly empty)
	  list of pairs of this form:</p>
	  <p>&#160;&#160;&#160;&#160;<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>.</p>
	     <p>For ease of visualization, let's denote the two lists as</p>
	     <p>&#160;&#160;&#160;&#160;(L1)&#160;&#160;&#160;&#160;<emph>[(a0, u0), (a1, u1),...]</emph></p>
	     <p>and</p>
	     <p>&#160;&#160;&#160;&#160;(L2)&#160;&#160;&#160;&#160;<emph>[(r0, #return), (r1, #return),...]</emph></p>
	     <p>respectively.</p></item>
	  <item><p>Then the formal signature of the function is</p>
	     <p>&#160;&#160;&#160;&#160;<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 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>
	</p>
	</div4>

      <div4 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/2004/03/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
	  a 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 type <emph>xs:Token</emph>.
	  </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="wrpc:directionToken xsd:QName"/&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>
      </div4>

    <div4 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 Interface Operation component (see <specref ref="InterfaceOperation_details"/>) 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>
	    <tbody>
		  <tr>
		    <th rowspan="1" colspan="1">Property</th>
		    <th rowspan="1" colspan="1">Mapping</th>
		  </tr>
		  <tr>
		    <td rowspan="1" colspan="1">{rpc-signature}</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>

    </div4>
      
    </div3>
  </div2>

  <div2 id="MessageReference">
    <head>Message Reference</head>

    <div3 id="MessageReference_details">
      <head>The Message Reference Component</head>

        <p>A Message Reference component associates to a message
	exchanged in an operation an XML element declaration
	that specifies its message content. </p>

	<p>Message Reference components are identified by the role the
	message plays in the {message exchange pattern} that the
	operation is using. That is, a message exchange pattern
	defines a set /meof placeholder messages that participate in the
	pattern and assigns them unique names within the pattern. The
	purpose of a Message Reference component is to associate an
	actual message type (XML element declaration or some other
	declaration (see <specref ref="other-types"/>) for message
	content) with the message that will perform a specific role in
	the message exchange pattern.</p>

        <p>The properties of the Message Reference component are as
	follows:</p>
	  <ulist>
	    <item><p>{message label} An NCName as defined by
	    <bibref ref="XMLNS"/>. This property identifies the role
	    this message plays in the {message exchange pattern} of the
	    Interface Operation component this is contained
	    within. The value of this property MUST match the name of
	    a placeholder message defined by the message
	    exchange pattern.</p>
		</item>

            <item><p>{direction} One of <emph>in</emph> or
            <emph>out</emph> indicating whether the message is coming
            to the service or going from the service,
            respectively. The direction MUST be the same as the
            direction of the message identified by the
            {message label} property in the {message exchange
            pattern} of the Interface Operation component this is
            contained within. </p></item>

            <item><p>{message content model} A token with one of the
            values <emph>#any</emph>, <emph>#none</emph>, or
            <emph>#element</emph>.  A value of <emph>#any</emph>
            indicates that the message content is any single
            element. A value of <emph>#none</emph> indicates there is
            no message content. A value of <emph>#element</emph>
            indicates that the message consists of a single element
            described by the global element declaration reference by
            the {element} property.</p></item>

            <item><p> {element} A reference to an XML element
            declaration in the {element declarations} property of
            <specref ref="Definitions_details"/>. This element
            represents the content or "payload" of the message. When
            the {message content model} property has the value
            <emph>#any</emph> or <emph>#none</emph> the {element}
            property has no value.</p> </item>

	  </ulist>

        <p>If a non-XML type system is in use (as considered in
        <specref ref="other-types"/>) then additional properties would
        need to be added to the Message Reference Component (along
        with extensibility attributes to its XML representation) to
        allow associating such message types with the message
        reference.</p>

        <p> For each Message Reference component in the {message
        references} property of an Interface Operation component, its
        {message label} property MUST be unique.</p>

    </div3>

    <div3 id="MessageReference_XMLRep">
      <head>XML Representation of Message Reference Component</head>

<eg xml:space="preserve">&lt;definitions&gt;
  &lt;interface&gt;
    &lt;operation&gt;
      &lt;<b>input</b>
            messageLabel="<emph>xs:NCName</emph>"?
            element="<emph>union of xs:QName, xs:Token</emph>"? &gt;
        &lt;documentation /&gt;?
      &lt;/<b>input</b>&gt;
      &lt;<b>output</b>
            messageLabel="<emph>xs:NCName</emph>"?
            element="<emph>union of xs:QName, xs:Token</emph>"? &gt;
        &lt;documentation /&gt;?
      &lt;/<b>output</b>&gt;
    &lt;/operation&gt;
  &lt;/interface&gt;
&lt;/definitions&gt;
</eg>

      <p>
	  The XML representation for a Message Reference component is
	  an <emph>element information item</emph> with the following Infoset properties:
	  </p>
	  <ulist>
	    <item><p>A [local name] of <el>input</el> or <el>output</el></p></item>
	    <item><p>A [namespace name] of
	    <attval>http://www.w3.org/2004/03/wsdl</attval></p></item>
		<item>
		  <p>
		  Zero or more <emph>attribute information item</emph>s amongst its [attributes] as follows:
		  </p>
		<ulist>
		<item>
		  <p>
		  An OPTIONAL <att>messageLabel</att> <emph>attribute information item</emph> 
		  as described below in <specref ref="MessageReference_messageReference_attribute"/>. 
		  </p>
		  <p>If the {message exchange pattern} of the Interface
		  Operation component has only one message with a given value
		  for {direction}, then the <att>messageLabel</att> <emph>attribute information item</emph>
		  is optional for the XML representation of the Message
		  Reference component with that {direction}.
		  </p>
		</item>
		<item>
		  <p>
		  An OPTIONAL <att>element</att> <emph>attribute information item</emph> as described below
		  in <specref ref="MessageReference_element_attribute"/>.
		  </p>
		</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/2004/03/wsdl</attval>.
		  </p>
		</item>
		</ulist>
		</item>
		<item><p>Zero or more <emph>element information item</emph>s amongst its [children], in order,
		as follows:</p>
		<olist>
		<item>
		  <p>
		  An OPTIONAL <el>documentation</el> <emph>element information item</emph> (see <specref ref="eii-documentation"/>).
		  </p>
		</item>
		<item>
                  <p>Zero or more namespace-qualified <emph>element information item</emph>s. The
                     [namespace name] of such <emph>element information item</emph>s MUST NOT be
                     <attval>http://www.w3.org/2004/03/wsdl</attval>.
                  </p>
		</item>
              </olist>
	    </item>
      </ulist>

      <div4 id="MessageReference_messageReference_attribute">
        <head><att>messageLabel</att> <emph>attribute information item</emph> with <el>input</el>,
        or <el>output</el> [owner]</head>
	    <p>
		The <att>messageLabel</att> <emph>attribute information item</emph> identifies the role of this
		message in the message exchange pattern of the given
		<el>operation</el> <emph>element information item</emph>.
		</p>
		<p>The <att>messageLabel</att> <emph>attribute information item</emph> has the following
		Infoset properties:
		</p>
		<ulist>
		  <item><p>A [local name] of <att>messageLabel</att></p></item>
		  <item><p>A [namespace name] which has no value</p></item>
		</ulist>
		<p>
		The type of the <att>messageLabel</att> <emph>attribute information item</emph> is <emph>xs:NCName</emph>.
		</p>
      </div4>

      <div4 id="MessageReference_element_attribute">
        <head><att>element</att> <emph>attribute information item</emph> with <el>input</el>,
        or <el>output</el> [owner]</head>

		<p>The <att>element</att> <emph>attribute information item</emph> has 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>
		</ulist>
		<p>
		The type of the <att>element</att> <emph>attribute information item</emph> is a union of
		<emph>xs:QName</emph> and <emph>xs:Token</emph> where
		the allowed token values are <emph>#any</emph> or
		<emph>#none</emph>.  </p>
      </div4>
    </div3>

    <div3 id="MessageReference_Mapping">
	  <head>Mapping Message Reference's XML Representation to Component Properties</head>
	  <p>
	  The mapping between the properties of the Message Reference
	  component (see <specref ref="MessageReference_details"/>)
	  and the XML Representation of the message reference <emph>element information item</emph>
	  (see <specref ref="MessageReference_XMLRep"/>) is as
	  described in <specref ref="tab_MessageReference_Mapping"/>.
	  </p>

	  <table border="1" id="tab_MessageReference_Mapping">
	    <caption>Mapping between Message Reference Component Properties and XML Representation</caption>
	    <tbody>
		  <tr>
		    <th rowspan="1" colspan="1">Property</th>
		    <th rowspan="1" colspan="1">Mapping</th>
		  </tr>
		  <tr>
		    <td rowspan="1" colspan="1">{message label}</td>
			<td rowspan="1" colspan="1">The actual value of the <att>messageLabel</att>
			<emph>attribute information item</emph> if any; otherwise the {message label} property of
			the message with same {direction} from the {message
			exchange pattern} of the Interface Operation component,
			provided there is exactly one such message; otherwise
			empty.
			</td>
		  </tr>

                  <tr>
                    <td rowspan="1" colspan="1">{direction}</td> 
                        <td rowspan="1" colspan="1">If the [local name] of the <emph>element information item</emph> is
                        <el>input</el> then <attval>in</attval>, else
                        if the [local name] of the <emph>element information item</emph> is
                        <el>output</el> then <attval>out</attval>.
                        </td>
                  </tr>
                  <tr>
                    <td rowspan="1" colspan="1">{message content model}</td> <td rowspan="1" colspan="1">If the
                        <att>element</att> <emph>attribute information item</emph> is present and its
                        value is a QName, then
                        <emph>#element</emph>. Otherwise the actual
                        value of the <att>element</att> <emph>attribute information item</emph>, if
                        any.</td>
                  </tr>
		  <tr>
		    <td rowspan="1" colspan="1">{element}</td> <td rowspan="1" colspan="1"> If the <att>element</att>
                        <emph>attribute information item</emph> is present and its value is a QName,
                        then the element declaration from the {element
                        declarations} property of <specref ref="Definitions_details"/> resolved to by
                        the value of the <att>element</att> <emph>attribute information item</emph>,
                        otherwise empty. It is an error for the
                        <att>element</att> <emph>attribute information item</emph> to have a value and
                        for it to not resolve to a global element
                        declaration from the {element declarations}
                        property of <specref ref="Definitions_details"/>.
			</td>
		  </tr>
		</tbody>
	  </table>

    </div3>
  </div2>

  <div2 id="FaultReference">
    <head>Fault Reference</head>

    <div3 id="FaultReference_details">
      <head>The Fault Reference Component</head>

        <p>A Fault Reference component associates a Fault component
	that defines the fault message type for a fault that occurs
	related to a message participating in an operation. </p>

	<p>Fault Reference components are identified by the role the
	related message plays in the {message exchange pattern} that
	the operation is using. That is, a message exchange pattern
	defines a set of placeholder messages that participate in the
	pattern and assigns them unique labels within the pattern. The
	purpose of a Fault Reference component is to associate an
	actual Fault component for the fault that will occur
	with a specific message in the message exchange pattern.</p>

        <p>The companion specification <bibref ref="WSDL-PART2"/>
        defines two <emph>fault patterns</emph> that a given message
        exchange pattern may use. For the pattern
        <emph>fault-replaces-message</emph>, the message that the fault
        relates to identifies the message <emph>in place of which</emph>
        the declared fault message will occur. Thus, the fault message
        will travel in the <emph>same</emph> direction as the message
        it replaces in the pattern. For the pattern
        <emph>message-triggers-fault</emph>, the message that the fault
        relates to identifies the message after which the indicated
        fault may occur, in the opposite direction of the referred to
        message. That is, the fault message will travel in the
        <emph>opposite</emph> direction of the message it comes after
        in the pattern.</p>

        <p>More than one Fault Reference component may refer to the
        same message label. This allows one to indicate that there is
        more than one type of fault that is related to that
        message.</p>

        <p>The properties of the Fault Reference component are as
	follows:</p>
	  <ulist>
	    <item><p>{message label} An NCName as defined by
	    <bibref ref="XMLNS"/>. This property identifies the
	    message this fault relates to among those defined in the {message
	    exchange pattern} property of the Interface Operation component
	    it is contained within. The value of this property MUST
	    match the name of a placeholder message defined by the
	    message exchange pattern.</p></item>

            <item><p>{direction} One of <emph>in</emph> or
            <emph>out</emph> indicating whether the fault is coming
            to the service or going from the service,
            respectively. The direction MUST be consistent with the
            direction implied by the fault rule used in the message
            exchange pattern of the operation. For example, if the
            fault rule <emph>fault-replaces-message</emph> is used, then a fault
            which refers to an outgoing message would have a
            {direction} property value of <emph>out</emph>. On the other hand, if the
            fault rule <emph>message-triggers-fault</emph> is used, then a fault
            which refers to an outgoing message would have a
            {direction} property value of <emph>in</emph> as the fault
            travels in the opposite direction of the message.
            </p></item>

            <item><p>{fault reference} A reference to a Fault
            component in the {faults} property of the parent Interface
            Operation component's parent Interface
            component. Identifying the Fault component therefore
            indirectly defines the actual content or payload of the
            fault message.</p></item>

	  </ulist>

    </div3>

    <div3 id="FaultReference_XMLRep">
      <head>XML Representation of Fault Reference Component</head>

<eg xml:space="preserve">&lt;definitions&gt;
  &lt;interface&gt;
    &lt;operation&gt;
      &lt;<b>infault</b>
            ref="<emph>xs:QName</emph>"
            messageLabel="<emph>xs:NCName</emph>"? &gt;
        &lt;documentation /&gt;?
      &lt;/<b>infault</b>&gt;*
      &lt;<b>outfault</b>
            ref="<emph>xs:QName</emph>"
            messageLabel="<emph>xs:NCName</emph>"? &gt;
        &lt;documentation /&gt;?
      &lt;/<b>outfault</b>&gt;*
    &lt;/operation&gt;
  &lt;/interface&gt;
&lt;/definitions&gt;
</eg>

      <p>
	  The XML representation for a Fault Reference component is
	  an <emph>element information item</emph> with the following Infoset properties:
	  </p>
	  <ulist>
	    <item><p>A [local name] of <el>infault</el> or
	    <el>outfault</el></p></item>
	    <item><p>A [namespace name] of
	    <attval>http://www.w3.org/2004/03/wsdl</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> 
		  as described below in <specref ref="FaultReference_ref_attribute"/>. 
		  </p>
		</item>
		<item>
		  <p>
		  An OPTIONAL <att>messageLabel</att> <emph>attribute information item</emph> 
		  as described below in <specref ref="FaultReference_messageReference_attribute"/>. 
		  </p>
		  <p>If the {message exchange pattern} of the Interface
		  Operation component has only one message with a given value
		  for {direction}, the <att>messageLabel</att> <emph>attribute information item</emph> is
		  optional for the XML representation of any Fault Reference
		  component with the same value for {direction} (if the
		  <emph>fault pattern</emph> of the {message exchange pattern}
		  is <emph>fault-replaces-message</emph>) or of any Fault
		  Reference component with the opposite value for {direction}
		  (if the <emph>fault pattern</emph> is
		  <emph>message-triggers-fault</emph>).
		  </p>
		</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/2004/03/wsdl</attval>.
		  </p>
		</item>
		</ulist>
		</item>
		<item><p>Zero or more <emph>element information item</emph>s amongst its [children], in order,
		as follows:</p>
		<olist>
		<item>
		  <p>
		  An OPTIONAL <el>documentation</el> <emph>element information item</emph> (see <specref ref="eii-documentation"/>).
		  </p>
		</item>
		<item>
                  <p>Zero or more namespace-qualified <emph>element information item</emph>s. The
                     [namespace name] of such <emph>element information item</emph>s MUST NOT be
                     <attval>http://www.w3.org/2004/03/wsdl</attval>.
                  </p>
		</item>
              </olist>
	    </item>
      </ulist>

      <div4 id="FaultReference_ref_attribute">
        <head><att>ref</att> <emph>attribute information item</emph> with <el>infault</el>,
        or <el>outfault</el> [owner]</head>
	    <p>
		The <att>ref</att> <emph>attribute information item</emph> refers to a fault component.
		</p>
		<p>The <att>ref</att> <emph>attribute information item</emph> has 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>
		</ulist>
		<p>
		The type of the <att>fault</att> <emph>attribute information item</emph> is
		<emph>xs:QName</emph>.
		</p>
      </div4>

      <div4 id="FaultReference_messageReference_attribute">
        <head><att>messageLabel</att> <emph>attribute information item</emph> with <el>infault</el>,
        or <el>outfault</el> [owner]</head>
	    <p>
		The <att>messageLabel</att> <emph>attribute information item</emph> identifies the 
		message in the message exchange pattern of the given
		<el>operation</el> <emph>element information item</emph> to which this fault is related to.
		</p>
		<p>The <att>messageLabel</att> <emph>attribute information item</emph> has the following
		Infoset properties:
		</p>
		<ulist>
		  <item><p>A [local name] of <att>messageLabel</att></p></item>
		  <item><p>A [namespace name] which has no value</p></item>
		</ulist>
		<p>
		The type of the <att>messageLabel</att> <emph>attribute information item</emph> is
		<emph>xs:NCName</emph>.
		</p>
      </div4>

    </div3>

    <div3 id="FaultReference_Mapping">
	  <head>Mapping Fault Reference's XML Representation to
	  Component Properties</head>
	  <p>
	  The mapping between the properties of the Fault Reference
	  component (see <specref ref="FaultReference_details"/>)
	  and the XML Representation of the message reference <emph>element information item</emph>
	  (see <specref ref="FaultReference_XMLRep"/>) is as
	  described in <specref ref="tab_FaultReference_Mapping"/>.
	  </p>

	  <table border="1" id="tab_FaultReference_Mapping">
	    <caption>Mapping between Fault Reference Component Properties and XML Representation</caption>
	    <tbody>
		  <tr>
		    <th rowspan="1" colspan="1">Property</th>
		    <th rowspan="1" colspan="1">Mapping</th>
		  </tr>
		  <tr>
		    <td rowspan="1" colspan="1">{fault reference}</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">{message label}</td> <td rowspan="1" colspan="1">The actual value of
			the <att>messageLabel</att> <emph>attribute information item</emph> if any;
			otherwise the {message label} property of the
			message with the same {direction} from the
			{message exchange pattern} of the Interface
			Operation component, provided there is exactly
			one such message and the <emph>fault
			pattern</emph> of the {message exchange
			pattern} is
			<emph>fault-replaces-message</emph>; otherwise
			the {message reference} property of the
			message with the opposite {direction},
			provided there is exactly one such message and
			the <emph>fault pattern</emph> is
			<emph>message-triggers-fault</emph>; otherwise
			empty.
			</td>
		  </tr>

                  <tr>
                    <td rowspan="1" colspan="1">{direction}</td> 
                        <td rowspan="1" colspan="1">If the [local name] of the <emph>element information item</emph> is
                        <el>infault</el> then <attval>in</attval>, else
                        if the [local name] of the <emph>element information item</emph> is
                        <el>outfault</el> then <attval>out</attval>.
                        </td>
                  </tr>
		</tbody>
	  </table>

    </div3>

  </div2>


  <div2 id="Feature">
    <head>Feature</head>

    <div3 id="Feature_details">
      <head>The Feature Component</head>

      <p>A feature component describes an abstract piece of
      functionality typically associated with the exchange of messages
      between communicating parties.  Although WSDL poses no
      constraints on the potential scope of such features, examples
      might include "reliability", "security", "correlation", and
      "routing".  The presence of a feature component in a WSDL description 
      indicates that the service supports the feature and may require a
      requester agent that interacts with the service to use that feature.
      Each Feature is identified by its URI.</p>
	  
	  <p>The properties of the Feature component are as follows:</p>
	  <ulist>
	    <item><p>{name} An absolute URI as defined by <bibref ref="RFC2396"/>. This URI SHOULD be
         dereferenceable to a document that directly or indirectly defines
         the meaning and use of the Feature that it identifies.</p></item>
	    <item><p>{required} A boolean value. If the {require} property is true,
         then the requester agent MUST use the Feature that is identified
         by the {name} URI.  Otherwise, the requester agent MAY use the
         Feature that is identified by the {name} URI.  In either case,
         if the requester agent does use the Feature that is identified
         by the {name} URI, then the requester agent MUST obey all semantics
         implied by the definition of that Feature.</p></item>
	  </ulist>
	  
	  <div4 id="Feature_composition_model">
	    <head>Feature Composition Model</head>
	    
	    <p>The set of features which are required or available for a given
	    service and a particular interaction consists of the combined
	    set of ALL feature declarations in the following scope. The list is
	    in order of increasing specificity.</p>
	    
	    <ulist>
	      <item><p>The interface component.</p></item>
	      <item><p>The specific interface operation component.</p></item>
	      <item><p>The specific message reference component.</p></item>
	      <item><p>The binding component.</p></item>
	      <item><p>The specific binding operation component.</p></item>
	      <item><p>The specific binding message or fault reference component.</p></item>
	      <!-- item><p>The service component.</p></item -->
	    </ulist>
	    
	    <p>Note that multiple declarations of the same feature have no effect on the
	    combined set of active features, since features are either in use or not,
	    with no multiplicity. If multiple declarations of the same feature are in
	    scope for a given interaction, the feature is required if ANY of the in
	    scope declarations have the <att>required</att> attribute set to
	    <attval>true</attval>.</p>
	    
	  <div5 id="Feature_composition_model_example">
	    <head>Example of Feature Composition Model</head>
	  
	    <p>In the following example, the <att>depositFunds</att> operation
	    on the <att>BankService</att> has to be used with the <att>ISO9001</att>,
	    the <att>notarization</att> and the <att>secure-channel</att> features;
	    they are all in scope. The fact that the <att>notarization</att> feature
	    is declared both in the operation and in the service has no effect.</p>
	    
	    <eg xml:space="preserve">&lt;definitions targetNamespace="http://example.com/bank"
     xmlns:ns1="http://example.com/bank"&gt;
  &lt;interface name="ns1:Bank"&gt;
    &lt;!-- All uses of this interface must be secure --&gt;
    &lt;feature uri="http://example.com/secure-channel"
             required="true"/&gt;
    &lt;operation name="withdrawFunds"&gt;
      &lt;!-- This operation must have ACID properties --&gt;
      &lt;feature uri="http://example.com/transaction"
               required="true"/&gt;
      ...
    &lt;/operation&gt;
    &lt;operation name="depositFunds"&gt;
      &lt;!-- This operation requires notarization --&gt;
      &lt;feature uri="http://example.com/notarization"
               required="true"/&gt;
      ...
    &lt;/operation&gt;
  &lt;/interface&gt;
  &lt;binding name="ns1:BankSOAPBinding"&gt;
  &lt;/binding&gt;
  &lt;service name="ns1:BankService"
           interface="tns:Bank"&gt;
   &lt;!-- This particular service requires ISO9001
        compliance to be verifiable --&gt;
   &lt;feature uri="http://example.com/ISO9001"
            required="true"/&gt;
   &lt;!-- This service also requires notarization --&gt;
   &lt;feature uri="http://example.com/notarization"
            required="true"/&gt;
   &lt;endpoint&gt;
     ...
   &lt;/endpoint&gt;
  &lt;/service&gt;
&lt;/definitions&gt;</eg>

      </div5>

	  </div4>

    </div3>

    <div3 id="Feature_XMLRep">
      <head>XML Representation of Feature Component</head>

<eg xml:space="preserve">&lt;<b>feature</b>
      uri="<emph>xs:anyURI</emph>" 
      required="<emph>xs:boolean</emph>"? &gt;
  &lt;documentation /&gt;?
&lt;/<b>feature</b>&gt;
</eg>

      <p>
	  The XML representation for a Feature component is an
	  <emph>element information item</emph> with the following Infoset properties:
	  </p>
	  <ulist>
	    <item><p>A [local name] of <el>feature</el></p></item>
	    <item><p>A [namespace name] of
	    <attval>http://www.w3.org/2004/03/wsdl</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>uri</att> <emph>attribute information item</emph> as described below
		  in <specref ref="Feature_uri_attribute"/>.
		  </p>
		</item>
		  <item>
		  <p>
		  An OPTIONAL <att>required</att> <emph>attribute information item</emph> as described
		  below in <specref ref="Feature_required_attribute"/>.
		  </p>
		</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/2004/03/wsdl</attval>.
		  </p>
		</item>
		</ulist>
		</item>
		<item>
		  <p>
		  Zero or more <emph>element information item</emph>s amongst its [children], in order as
		  follows:
		  </p>
		  <olist>
		    <item>
		      <p>
		      An OPTIONAL <el>documentation</el> <emph>element information item</emph> (see <specref ref="eii-documentation"/>).
		      </p>
		    </item>
		    <item>
                      <p>
                      Zero or more namespace-qualified <emph>element information item</emph>s. The
                      [namespace name] of such <emph>element information item</emph>s MUST NOT be
                      <attval>http://www.w3.org/2004/03/wsdl</attval>.
                      </p>
		    </item>
		  </olist>
        </item>
      </ulist>

      <div4 id="Feature_uri_attribute">
        <head><att>uri</att> <emph>attribute information item</emph> with <el>feature</el> [owner]</head>
		<p>
		The <att>uri</att> <emph>attribute information item</emph> specifies the URI of the feature.
		</p>
	    <p>
		The <att>uri</att> <emph>attribute information item</emph> has the following
		Infoset properties:
		</p>
		<ulist>
		  <item><p>A [local name] of <att>uri</att></p></item>
		  <item><p>A [namespace name] which has no value</p></item>
		</ulist>
		<p>
		The type of the <att>uri</att> <emph>attribute information item</emph> is <att>xs:anyURI</att>.
		</p>
      </div4>

      <div4 id="Feature_required_attribute">
        <head><att>required</att> <emph>attribute information item</emph> with <el>feature</el> [owner]</head>
		<p>
		The <att>required</att> <emph>attribute information item</emph> specifies whether the use of the feature
		is mandatory or optional.
		</p>
	    <p>
		The <att>required</att> <emph>attribute information item</emph> has 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>
		</ulist>
		<p>
		The type of the <att>required</att> <emph>attribute information item</emph> is <att>xs:boolean</att>.
		</p>
      </div4>
    </div3>

    <div3 id="Feature_Mapping">
	  <head>Mapping Feature's XML Representation to Component Properties</head>
	  <p>
	  The mapping between the properties of the Feature component (see
	  <specref ref="Feature_details"/>) and the XML Representation of
	  the <el>feature</el> <emph>element information item</emph> (see <specref ref="Feature_XMLRep"/>) is
	  as described in <specref ref="tab_Feature_Mapping"/>.
	  </p>

	  <table border="1" id="tab_Feature_Mapping">
	    <caption>Mapping between Feature Component Properties and XML Representation</caption>
	    <tbody>
		  <tr>
		    <th rowspan="1" colspan="1">Property</th>
		    <th rowspan="1" colspan="1">Mapping</th>
		  </tr>
		  <tr>
		    <td rowspan="1" colspan="1">{name}</td>
			<td rowspan="1" colspan="1">The actual value of the <att>uri</att> <emph>attribute information item</emph></td>
		  </tr>
		  <tr>
		    <td rowspan="1" colspan="1">{required}</td>
			<td rowspan="1" colspan="1">
			If the value of the <att>required</att> <emph>attribute information item</emph> is
			<attval>true</attval> or <attval>1</attval>,
			then <attval>true</attval>, otherwise <attval>false</attval>.
			</td>
		  </tr>
		</tbody>
	  </table>

    </div3>
  </div2>


  <div2 id="Property">
    <head>Property</head>

    <div3 id="Property_details">
      <head>The Property Component</head>
	  
	  <p>A Property component describes the set of possible values
	  for a particular property. The permissible values are
	  specified by references to a Schema description.  A property
	  is typically used to control a feature's
	  behavior. Properties, and hence property values, can be
	  shared amongst features.</p>

	  <p>The properties of the Property component are as follows:</p>
	  <ulist>
	    <item><p>{name} An absolute URI as defined by <bibref ref="RFC2396"/>. This URI SHOULD be
         dereferenceable to a document that directly or indirectly defines
         the meaning and use of the Property that it identifies.</p></item>
	    <item><p>{required} A boolean value. If the {required} property is true,
         then the requester agent MUST use the Property that is identified
         by the {name} URI.  Otherwise, the requester agent MAY use the
         Property that is identified by the {name} URI.  In either case,
         if the requester agent does use the Property that is identified
         by the {name} URI, then the requester agent MUST obey all semantics
         implied by the definition of that Property.</p></item>
	    <item><p>{value constraint} A type definition constraining the
	    value of the property.</p></item>
            <item><p>{value} The value of the property.</p></item>
	  </ulist>

	  <div4 id="Property_composition_model">
	    <head>Property Composition Model</head>
	    
	    <p>At runtime, the behaviour of features, (SOAP) modules and bindings may be
	    affected by the values of in-scope properties. Properties combine into a
	    virtual "execution context" which maps property names (URIs) to
	    constraints. Each property URI MAY therefore be associated with AT MOST one
	    property constraint for a given interaction.</p>
	    
	    <p>The particular set of constraints for a given service and
	    a particular interaction consists of the combined set of ALL
	    constraints in the following scope. The list is in order of
	    increasing specificity, and if a given property URI is constrained
	    in a later scope, it overrides the earlier constraint.</p>
	    
	    <ulist>
	      <item><p>The interface component.</p></item>
	      <item><p>The specific interface operation component.</p></item>
	      <item><p>The specific message reference component.</p></item>
	      <item><p>The binding component.</p></item>
	      <item><p>The specific binding operation component.</p></item>
	      <item><p>The specific binding message or fault reference component.</p></item>
	      <!-- item><p>The service component.</p></item -->
	    </ulist>
	    
	    <p>Note that, in the text above, "property constraint" (or, simply, "constraint")
	    is used to mean EITHER a <el>constraint</el> inside a property component OR
	    a <el>value</el>, since <el>value</el> may be considered a special case of
	    <el>constraint</el>.</p>

<!-- Commented out for now, until we define a proper example.	  
	  <div5 id="Property_composition_model_example">
	    <head>Example of Property Composition Model</head>
	  
	    <p>In the following example, TDB.</p>
	    
	  </div5>
-->

	  </div4>
	  
    </div3>

    <div3 id="Property_XMLRep">
      <head>XML Representation of Property Component</head>

<eg xml:space="preserve">&lt;<b>property</b>
      uri="<emph>xs:anyURI</emph>" 
      required="<emph>xs:boolean</emph>"? &gt;
  &lt;documentation /&gt;?
  [ &lt;value /&gt; | &lt;constraint /&gt; ]
&lt;/<b>property</b>&gt;
</eg>

      <p>
	  The XML representation for a Property component is an
	  <emph>element information item</emph> with the following Infoset properties:
	  </p>
	  <ulist>
	    <item><p>A [local name] of <el>property</el></p></item>
	    <item><p>A [namespace name] of <attval>http://www.w3.org/2004/03/wsdl</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>uri</att> <emph>attribute information item</emph> as described below in
              <specref ref="Property_uri_attribute"/>.</p>
		  	</item>
		  <item>
              <p>
		  An OPTIONAL <att>required</att> <emph>attribute information item</emph> as described
		  below in <specref ref="Property_required_attribute"/>.
		  </p>
		</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/2004/03/wsdl</attval>.
			  </p>
		    </item>
		  </ulist>
		</item>
		<item>
          <p>One or more <emph>element information item</emph>s amongst its [children], in order as
          follows:</p>
		  <olist>
		    <item>
		      <p>
		    An OPTIONAL <el>documentation</el> <emph>element information item</emph> (see <specref ref="eii-documentation"/>).
		      </p>
		    </item>
		    <item>
              <p>One REQUIRED <emph>element information item</emph> from among the following:</p>
		      <ulist>
		        <item>
                  <p>A <att>value</att> <emph>element information item</emph> as described in <specref ref="Property_value_element"/></p>
                </item>
		        <item>
                  <p>A <att>constraint</att> <emph>element information item</emph> as described in
                <specref ref="Property_constraint_element"/></p>
                </item>
		      </ulist>
		    </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/2004/03/wsdl</attval>.
                      </p>
		    </item>
		  </olist>
        </item>
      </ulist>

      <div4 id="Property_uri_attribute">
        <head><att>uri</att> <emph>attribute information item</emph> with <el>property</el> [owner]</head>
		<p>
		The <att>uri</att> <emph>attribute information item</emph> specifies the URI of the property. It has the following
		Infoset properties:
		</p>
		<ulist>
		  <item><p>A [local name] of <att>uri</att></p></item>
		  <item><p>A [namespace name] which has no value</p></item>
		</ulist>
		<p>
		The type of the <att>uri</att> <emph>attribute information item</emph> is <att>xs:anyURI</att>.
		</p>
      </div4>

      <div4 id="Property_required_attribute">
        <head><att>required</att> <emph>attribute information item</emph> with <el>feature</el> [owner]</head>
		<p>
		The <att>required</att> <emph>attribute information item</emph> specifies whether use of the property
		is mandatory or optional.
		</p>
	    <p>
		The <att>required</att> <emph>attribute information item</emph> has 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>
		</ulist>
		<p>
		The type of the <att>required</att> <emph>attribute information item</emph> is <att>xs:boolean</att>.
		</p>
      </div4>

      <div4 id="Property_value_element">
        <head><att>value</att> <emph>element information item</emph> with <el>property</el> [parent]</head>

<eg xml:space="preserve">&lt;property&gt;
  &lt;<b>value</b>&gt;
    <emph>xs:anyType</emph>
  &lt;/<b>value</b>&gt;
&lt;/property&gt;
</eg>

		<p>
		The <att>value</att> <emph>element information item</emph> specifies the value of the property.
		It has the following
		Infoset properties:
		</p>
		<ulist>
		  <item><p>A [local name] of <att>value</att></p></item>
		  <item><p>A [namespace name] of
		  <attval>http://www.w3.org/2004/03/wsdl</attval></p></item>
		</ulist>
		<p>
		The type of the <att>value</att> <emph>element information item</emph> is
		<att>xs:anyType</att>.
		</p>
      </div4>

      <div4 id="Property_constraint_element">
        <head><att>constraint</att> <emph>element information item</emph> with <el>property</el> [parent]</head>
<eg xml:space="preserve">&lt;property&gt;
  &lt;<b>constraint</b>&gt;
    <emph>xs:QName</emph>
  &lt;/<b>constraint</b>&gt;
&lt;/property&gt;
</eg>

		<p>
		The <att>constraint</att> <emph>element information item</emph> specifies a constraint
		on the value of the property. It has the following
		Infoset properties:
		</p>
		<ulist>
		  <item><p>A [local name] of <att>constraint</att></p></item>
		  <item><p>A [namespace name] of
		  <attval>http://www.w3.org/2004/03/wsdl</attval></p></item>
		</ulist>
		<p>
		The type of the <att>constraint</att> <emph>attribute information item</emph> is <att>xs:QName</att>.
		</p>
      </div4>

    </div3>

    <div3 id="Property_Mapping">
	  <head>Mapping Property's XML Representation to Component Properties</head>
	  <p>
	  The mapping between the properties of the Property component (see
	  <specref ref="Property_details"/>) and the XML Representation of
	  the <el>property</el> <emph>element information item</emph> (see <specref ref="Property_XMLRep"/>) is
	  as described in <specref ref="tab_Property_Mapping"/>.
	  </p>

	  <table border="1" id="tab_Property_Mapping">
	    <caption>Mapping between Property Component Properties and XML Representation</caption>
	    <tbody>
		  <tr>
		    <th rowspan="1" colspan="1">Property</th>
		    <th rowspan="1" colspan="1">Mapping</th>
		  </tr>
		  <tr>
		    <td rowspan="1" colspan="1">{name}</td>
			<td rowspan="1" colspan="1">The actual value of the <att>uri</att> <emph>attribute information item</emph></td>
		  </tr>
		  <tr>
		    <td rowspan="1" colspan="1">{value constraint}</td> <td rowspan="1" colspan="1">If the
		    <el>constraint</el> <emph>element information item</emph> is present, the type
		    referred to by the value of this <emph>element information item</emph>.
		    Otherwise, an anonymous type, whose base type is
		    <attval>xs:anyType</attval>, with a single
		    <attval>enumeration</attval> facet whose value is
		    the type of the value of the
		    <el>value</el><emph>element information item</emph>. Otherwise,
		    <attval>xs:anyType</attval>.
		    </td>
		  </tr>
		  <tr>
		    <td rowspan="1" colspan="1">{value}</td>
			<td rowspan="1" colspan="1">The actual value of the <el>value</el>
			<emph>element information item</emph>, if any.</td>
		  </tr>
		</tbody>
	  </table>

    </div3>
  </div2>


  <div2 id="Binding">
    <head>Binding</head>

    <div3 id="Binding_details">
      <head>The Binding Component</head>

      <p> A Binding component describes a concrete message format and
      transmission protocol which may be used to define an endpoint
      (see <specref ref="Endpoint"/>). Binding components can be used
      to describe such information in a re-usable manner for any
      interface or specifically for a given interface. Furthermore,
      binding information MAY be specified on a per-operation basis
      (see <specref ref="Binding_Operation_details"/>) within an
      interface in addition to across all operations of an
      interface. </p>

      <p> If a Binding component specifies any operation-specific
      binding details (by including Binding Operation components) or
      any fault binding details (by including Binding Fault
      components) then it MUST specify an interface the Binding
      component applies to, so as to indicate which interface the operations
      come from. </p>

      <p> Conversely, a Binding component which omits any
      operation-specific binding details and any fault binding details
      MAY omit specifying an interface. Binding components that do not
      specify an interface MAY be used to specify
      operation-independent binding details for Service components
      with different interfaces.  That is, such Binding components are
      reusable across one or more interfaces.</p>

      <p> No concrete binding details are given in this
      specification. The companion specification, <emph>WSDL (Version
      2.0): Bindings</emph> <bibref ref="WSDL-PART3"/> defines such
      bindings for SOAP 1.2 <bibref ref="SOAP12-PART1"/> and HTTP
      <bibref ref="RFC2616"/>. Other specifications MAY define
      additional binding details. Such specifications are expected to
      annotate the Binding component (and its sub-components) with
      additional properties and specify the mapping between those
      properties and the XML representation.
      </p>

      <p>A Binding component which defines bindings for an Interface
      component MUST define bindings for all the operations of that
      Interface component. The bindings may occur via defaulting rules
      which allow one to specify default bindings for all operations
      (see, for example <bibref ref="WSDL-PART3"/>) or by directly
      listing each Operation component of the Interface component and
      defining bindings for them. Thus, it is an error for a Binding
      component to not define bindings for all the Operation
      components of the Interface component for which the Binding
      component purportedly defines bindings for.</p>

      <p> Bindings are named constructs and can be referred to by
      QName (see <specref ref="qnameres"/>). For instance, Endpoint
      components refer to bindings in this way.  </p>

      <p>The properties of the Binding component are as follows:</p>
	  <ulist>
	    <item><p>{name} An NCName as defined by <bibref ref="XMLNS"/>.</p></item>

	    <item><p>{target namespace} A namespace name, as defined
	    in <bibref ref="XMLNS"/>.</p></item>

  	    <item><p>{interface} An named interface definition
  	    indicating the interface for which binding information is
  	    being specified.</p></item>

            <item><p>{faults} A set of named binding fault
            definitions.</p></item>

            <item><p>{operations} A set of named binding operation
            definitions.</p></item>

            <item><p>{features} A set of named feature
            definitions.</p></item>

            <item><p>{properties} A set of named property
            definitions.</p></item>
	  </ulist>

      <p> For each Binding component in the {bindings} property of a
      definitions container, the combination of {name} and {target
      namespace} properties must be unique.  </p>
    </div3>

    <div3 id="Binding_XMLRep">
      <head>XML Representation of Binding Component</head>

<eg xml:space="preserve">&lt;definitions&gt;
  &lt;<b>binding</b>
        name="<emph>xs:NCName</emph>" 
        interface="<emph>xs:QName</emph>"? &gt;
    &lt;documentation /&gt;?
    [ &lt;fault /&gt; | &lt;operation /&gt; | &lt;feature /&gt; | &lt;property /&gt; ]*
  &lt;/<b>binding</b>&gt;
&lt;/definitions&gt;
</eg>

      <p>
	  The XML representation for a Binding component
	  is an <emph>element information item</emph> with the following Infoset properties:
	  </p>
	  <ulist>
	    <item><p>A [local name] of <el>binding</el></p></item>
	    <item><p>A [namespace name] of
	    <attval>http://www.w3.org/2004/03/wsdl</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>name</att> <emph>attribute information item</emph> 
		  as described below in <specref ref="Binding_name_attribute"/>.
		  </p>
		</item>
		<item>
		  <p>
		  An OPTIONAL <att>interface</att> <emph>attribute information item</emph> 
		  as described below in <specref ref="Binding_interface_attribute"/>.
		  </p>
		</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/2004/03/wsdl</attval>.
		  </p>
		</item>
		</ulist>
		</item>
		<item>
		  <p>Zero or more <emph>element information item</emph>s amongst its [children], in order, as
		  follows:</p>
		  <olist>
		    <item>
		      <p>
		      An OPTIONAL <el>documentation</el> <emph>element information item</emph> (see <specref ref="eii-documentation"/>).
		      </p>
		    </item>
		    <item>
			  <p>Zero or more <emph>element information item</emph>s from among the
			  following, in any order:</p>
			  <ulist>
  		           <item> <p> Zero or more <el>fault</el>
  		           <emph>element information item</emph>s (see <specref ref="Binding_Fault_XMLRep"/>).  </p>
  		           </item>
  		           <item> <p> Zero or more <el>operation</el>
  		           <emph>element information item</emph>s (see <specref ref="Binding_Operation_XMLRep"/>).  </p>
  		           </item>
 		           <item> <p> Zero or more <el>feature</el>
 		           <emph>element information item</emph>s (see <specref ref="Feature_XMLRep"/>).  </p> </item>
 		           <item> <p> Zero or more <el>property</el>
 		           <emph>element information item</emph>s (see <specref ref="Property_XMLRep"/>).  </p> </item>
 		           <item> <p> Zero or more namespace-qualified
 		           <emph>element information item</emph>s. The [namespace name] of such <emph>element information item</emph>s
 		           MUST NOT be
 		           <attval>http://www.w3.org/2004/03/wsdl</attval>. Such <emph>element information item</emph>s are
 		           considered to be binding extension
 		           elements(see <specref ref="Binding_extension_elements"/>).  </p>
 		           </item>
                          </ulist>
                    </item>
                  </olist>
                </item>
          </ulist>

      <div4 id="Binding_name_attribute">
        <head><att>name</att> <emph>attribute information item</emph> with <el>binding</el> [owner]</head>
	    <p>
		The <att>name</att> <emph>attribute information item</emph> together with the
		<att>targetNamespace</att> <emph>attribute information item</emph> of the <el>definitions</el>
		<emph>element information item</emph> forms the QName of the binding.
		</p>
		<p>The <att>name</att> <emph>attribute information item</emph> has the following Infoset properties:</p>
		<ulist>
		  <item><p>A [local name] of <att>name</att></p></item>
		  <item><p>A [namespace name] which has no value</p></item>
		</ulist>
		<p>
		The type of the <att>name</att> <emph>attribute information item</emph> is <emph>xs:NCName</emph>.
		</p>
      </div4>

      <div4 id="Binding_interface_attribute">
        <head><att>interface</att> <emph>attribute information item</emph> with <el>binding</el> [owner]</head>
	    <p>
		The <att>interface</att> <emph>attribute information item</emph> refers, by QName, to an Interface component.
		</p>
		<p>The <att>interface</att> <emph>attribute information item</emph> has the following Infoset properties:</p>
		<ulist>
		  <item><p>A [local name] of <att>interface</att></p></item>
		  <item><p>A [namespace name] which has no value</p></item>
		</ulist>
		<p>
		The type of the <att>interface</att> <emph>attribute information item</emph> is <emph>xs:QName</emph>.
		</p>
      </div4>

      <div4 id="Binding_extension_elements">
        <head>Binding extension elements</head>
          <p> Binding extension elements are used to provide
          information specific to a particular binding. The semantics
          of such <emph>element information item</emph>s are defined by the specification for those
          <emph>element information item</emph>s. Such specifications are expected to annotate the
          Binding component with additional properties and specify the
          mapping between those properties and the XML representation.
          </p>
      </div4>

    </div3>

    <div3 id="Binding_Mapping">
	  <head>Mapping Binding's XML Representation to Component
	  Properties</head>
	  <p>
	  The mapping between the properties of the Binding component
	  (see <specref ref="Binding_details"/>) and the XML
	  Representation of the <el>binding</el> <emph>element information item</emph> (see <specref ref="Binding_XMLRep"/>) is as described in <specref ref="tab_Binding_Mapping"/>.
	  </p>

	  <table border="1" id="tab_Binding_Mapping">
	    <caption>Mapping between Binding Component Properties and XML Representation</caption>
	    <tbody>
		  <tr>
		    <th rowspan="1" colspan="1">Property</th>
		    <th rowspan="1" colspan="1">Mapping</th>
		  </tr>
		  <tr>
		    <td rowspan="1" colspan="1">{name}</td>
			<td rowspan="1" colspan="1">The actual value of the <att>name</att> <emph>attribute information item</emph></td>
		  </tr>
		  <tr>
		    <td rowspan="1" colspan="1">{target namespace}</td>
			<td rowspan="1" colspan="1">
			The actual value of the <att>targetNamespace</att> <emph>attribute information item</emph>
			of the [parent] <el>definitions</el> <emph>element information item</emph>.
			</td>
		  </tr>
		  <tr>
		    <td rowspan="1" colspan="1">{interface}</td>
			<td rowspan="1" colspan="1">
			The Interface component resolved to by the actual value
			of the <att>interface</att> <emph>attribute information item</emph>, if any.
			</td>
                  </tr>
		  <tr>
		    <td rowspan="1" colspan="1">{faults}</td> <td rowspan="1" colspan="1">The set of
                    Binding Fault components corresponding to the
                    <el>fault</el> <emph>element information item</emph>s in [children], if any.</td>
		  </tr>
		  <tr>
		    <td rowspan="1" colspan="1">{operations}</td> <td rowspan="1" colspan="1">The set of Binding
                    Operation components corresponding to the
                    <el>operation</el> <emph>element information item</emph>s in [children], if
                    any.</td>
		  </tr>
		  <tr>
		    <td rowspan="1" colspan="1">{features}</td>
			<td rowspan="1" colspan="1">The set of Feature components corresponding
			to the <el>feature</el> <emph>element information item</emph>s in [children], if any.</td>
		  </tr>
		  <tr>
		    <td rowspan="1" colspan="1">{properties}</td>
			<td rowspan="1" colspan="1">The set of Property components corresponding
			to the <el>property</el> <emph>element information item</emph>s in [children], if any.</td>
		  </tr>
		</tbody>
	  </table>

    </div3>
  </div2>


  <div2 id="Binding_Fault">
    <head>Binding Fault</head>

    <div3 id="Binding_Fault_details">
      <head>The Binding Fault Component</head> 

      <p> A Binding Fault component describes a concrete binding
      of a particular fault within an interface to a particular
      concrete message format. A particular fault of an interface
      is uniquely identified by the target namespace of the interface
      and the name of the fault within that interface.</p>

      <p> Note that the fault does not occur by itself - it occurs as
      part of a message exchange as defined by an Interface Operation
      component (and its binding counterpart the Binding Operation
      component). Thus, the fault binding information specified in a
      Binding Fault component describes how faults that occur within
      a message exchange of an operation will be formatted.</p>

      <p>The properties of the Binding Fault component are as
      follows:</p>

	  <ulist>
	    <item><p>{fault reference} A QName as defined by <bibref ref="XMLNS"/> which refers to an Interface Fault component
	    in the {faults} property of the Interface component
	    identified by the {interface} property of the parent
	    Binding component. This is the Interface Fault component
	    for which binding information is being
	    specified.</p></item>
	  </ulist>

      <p> For each Binding Fault component in the {faults} property of
      a Binding component, the {fault reference} property MUST be
      unique. That is, one cannot define multiple bindings for the
      same fault within a given Binding component.</p>

    </div3>

    <div3 id="Binding_Fault_XMLRep">
      <head>XML Representation of Binding Fault Component</head>

<eg xml:space="preserve">&lt;definitions&gt;
  &lt;binding&gt;
    &lt;<b>fault</b>
          ref="<emph>xs:QName</emph>" &gt;
      &lt;documentation /&gt;?
    &lt;/<b>fault</b>&gt;
  &lt;/binding&gt;
&lt;/definitions&gt;
</eg>

      <p>
	  The XML representation for a Binding Fault component
	  is an <emph>element information item</emph> with the following Infoset properties:
	  </p>
	  <ulist>
	    <item>
		  <p>A [local name] of <el>fault</el></p>
		</item>
	    <item>
		  <p>A [namespace name] of <attval>http://www.w3.org/2004/03/wsdl</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> as described
		      below in <specref ref="Binding_Fault_ref_attribute"/>.</p>
		    </item>
		    <item>
		      <p>Zero or more namespace qualified <emph>attribute information item</emph>s. The
		      [namespace name] of such <emph>attribu