<?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.5 2003/11/07 21:21:19 plehegar 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/2003/WD-wsdl20-20031110</w3c-designation>
  <w3c-doctype>W3C Working Draft</w3c-doctype>
  <pubdate>
    <day>10</day>
    <month>November</month>
    <year>2003</year>
  </pubdate>
  <publoc>
    <loc xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest" href="http://www.w3.org/TR/2003/WD-wsdl20-20031110">http://www.w3.org/TR/2003/WD-wsdl20-20031110</loc>
  </publoc>
  <altlocs>
	<loc role="postscript" href="http://www.w3.org/TR/2003/WD-wsdl20-20031110/wsdl20.ps" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">postscript</loc>
	<loc role="pdf" href="http://www.w3.org/TR/2003/WD-wsdl20-20031110/wsdl20.pdf" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">PDF</loc>
	<loc role="xml" href="http://www.w3.org/TR/2003/WD-wsdl20-20031110/wsdl20.xml" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">XML</loc>
	<loc role="plain" href="http://www.w3.org/TR/2003/WD-wsdl20-20031110/wsdl20.txt" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">plain text</loc>
    </altlocs>
  <prevlocs>
    <loc xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest" href="http://www.w3.org/TR/2003/WD-wsdl12-20030611">http://www.w3.org/TR/2003/WD-wsdl12-20030611</loc>
  </prevlocs>
  <latestloc>
    <loc xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest" href="http://www.w3.org/TR/wsdl20">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.
      </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/2003/06/Process-20030618/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>
    <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 Web Services
      Description Working Group 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>
      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>.
    </p>
</status>


  <langusage>
    <language id="en">English</language>
  </langusage>
  <revisiondesc>
    <p>Last Modified: $Date: 2003/11/07 21:21:19 $</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. The <emph>WSDL Version 2.0
Part 2: Message Exchange Patterns</emph> specification <bibref ref="WSDL-PART2"/>
defines define 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/2003/11/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/2003/11/wsdl</attval>
        namespace can be found at <loc xlink:type="simple" href="http://www.w3.org/2003/11/wsdl" xlink:show="replace" xlink:actuate="onRequest">http://www.w3.org/2003/11/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">wsoap12</td>
      <td rowspan="1" colspan="1"><attval>http://www.w3.org/2003/11/wsdl/soap12</attval></td>
      <td rowspan="3" 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">wmime</td>
      <td rowspan="1" colspan="1"><attval>http://www.w3.org/2003/11/wsdl/mime</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 pseudo-schemas, examples, and sections explicitly marked as "Non-Normative".
   Pseudo-schemas are provided for each component, before the description
   of this 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 component; WSDL components and
      type system components.</p>

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

      <p>Type system components are element declarations and type
      definitions drawn from some type system. The former define the
      [local name], [namespace name], [children] and [attributes]
      properties of an <emph>element information item</emph>; the latter define only the [children]
      and [attributes] properties.</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>{type definitions} A set of named type
	    definitions, each one isomorphic to a simple or complex
	    type as defined by XML Schema</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. 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 provides a hint of the
       intended semantics of the components.</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/element 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 kids 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 and element
       components, additional extension components MAY be added via
       extensibility <specref ref="language-extensibility"/>. Further,
       additional properties to WSDL and type/element 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 target namespace represents an unambiguous name for the
	  intended semantics of the WSDL Infoset. The targetNamespace URI
	  SHOULD point to a human or machine processable document that
	  directly or indirectly defines the semantics of the WSDL
	  Infoset.
	  </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/2003/11/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/2003/11/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/2003/11/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/2003/11/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">{type definitions}</td>
			<td rowspan="1" colspan="1">
			The type definition components corresponding
			to all the type definitions defined as
			descendants of the <el>types</el> <emph>element information item</emph>, if
			any, plus any imported type definitions. At a
			minimum this will include all the types
			defined by XML Schema <el>simpleType</el> and
			<el>complexType</el> <emph>element information item</emph>s. It MAY also
			include any definition from some other type
			system which describes the [attributes] and
			[children] properties of an <emph>element information item</emph>.
		    </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 sets of messages that a
        service sends and/or receives. It does this by grouping
        related messages into operations. An operation is a set 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>{style default} The default style of message
            schemas of the operations. If a per-operation value is not
            specified for this property, then this value becomes the
            default value of the property. See <specref ref="InterfaceOperation_style_attribute"/></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;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/2003/11/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/2003/11/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>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/2003/11/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 <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
		{message} 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>.
		</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">{style default}</td> 
                     <td rowspan="1" colspan="1">The actual value of the
                    <att>styleDefault</att> <emph>attribute 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">{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>

	  <note><p> 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> </note>

    </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
        requester. 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 using
        the pattern via 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.</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 {message} properties of {message
            references}. (See <specref ref="InterfaceOperationStyle"/></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>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,
	this specification does not preclude one from having two
	distinct Interface Operation components which have the same
	{name} and {target namespace} properties, as long as they are
	in different Interface components (with the same {target
	namespace} property).</p>

        <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>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>

          <note><p> 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. Therefore 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 {message} properties of <emph>all</emph>
        {message reference}s within 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 styles:</p>

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

          <item><p>Set-Attribute Style (see <specref ref="AttrSetStyle"/>)</p></item>

          <item><p>Get-Attribute Style (see <specref ref="AttrGetStyle"/>)</p></item>

        </ulist>

        <div5 id="RPCStyle">
          <head>RPC Style</head>

          <p>The RPC style is selected by assigning the Interface
          Operation component's {style} property the value
          <emph>http://www.w3.org/2003/11/wsdl/style/rpc</emph>.</p>

          <p>The RPC style may only be used for Interface Operation
          components whose {message exchange pattern} property has the
          value 'http://www.w3.org/2003/11/wsdl/in-only' or 'http://www.w3.org/2003/11/wsdl/in-out'.</p>

          <p>Use of this value indicates that XML Schema <bibref ref="XMLSchemaP1"/> was used to define the schemas of the
          {message} 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/2003/11/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 {message}
             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 element declared with the same
             name.</p></item>

          </ulist>

        <p>Furthermore, the following rules MAY BE used to map between
        a message and a signature of a remote procedure call. These
        rules are suggested conventions to accommodate mapping. </p>

          <ulist>

            <item><p>If an element is a child of the input element and
            an element with the same name is not a child of the output
            element, then it represents an input
            parameter. </p></item>

            <item><p>If an element is a child of the output element
            and an element with the same name is not a child of the
            input element, then it represents an output
            parameter.</p></item>

            <item><p> If an element that occurs as a child element
            both in the input and the output elements, then it
            represents an in/out parameter.</p></item>

            <item><p> Each element represents a single parameter
            irrespective of its cardinality.</p></item>

          </ulist>

  	<ednote>
	  <name>SW</name>
	  <date>20031103</date>
	  <edtext>
          The WG has adopted a proposal
          (http://lists.w3.org/Archives/Public/www-ws-desc/2003Oct/0347.html)
          to capture the signature using an extension attribute - that
          will be included here at a later draft.
	  </edtext>
	</ednote>

        </div5>

        <div5 id="AttrSetStyle">
          <head>Set-Attribute Style</head>

          <p>The Set-Attribute style is selected by assigning the
          Interface Operation component's {style} property the value
          <emph>http://www.w3.org/2003/11/wsdl/style/set-attribute</emph>.</p>

  	<ednote>
	  <name>JS</name>
	  <date>20031105</date>
	  <edtext>
The WG has adopted the <loc href="http://lists.w3.org/Archives/Public/www-ws-desc/2003Oct/0320.html" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">rules</loc>
recommended by the attributes task force for this style, and these
rules will be included in an updated draft.
	  </edtext>
	</ednote>

        </div5>

        <div5 id="AttrGetStyle">
          <head>Get-Attribute Style</head>

          <p>The Get-Attribute style is selected by assigning the
          Interface Operation component's {style} property the value
          <emph>http://www.w3.org/2003/11/wsdl/style/get-attribute</emph>.</p>

  	<ednote>
	  <name>JS</name>
	  <date>20031105</date>
	  <edtext>
The WG has adopted the <loc href="http://lists.w3.org/Archives/Public/www-ws-desc/2003Oct/0320.html" xlink:type="simple" xlink:show="replace" xlink:actuate="onRequest">rules</loc>
recommended by the attributes task force for this style, and these
rules will be included in an updated draft.
	  </edtext>
	</ednote>

        </div5>

      </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>"? &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/2003/11/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>
		  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/2003/11/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/2003/11/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 {message} properties of {message
	    reference} components 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>

    </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>interface</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">{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>
  </div2>

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

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

        <p>A Message Reference component associates XML element
	declarations that define the message content for one
	of the messages participating in an operation.  </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 of 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 for message content) for
	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 reference} 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 reference} property in the {message exchange
            pattern} of the Interface Operation component this is
            contained within. </p></item>

            <item> <p> {message} A reference to an XML element
            declaration. This element represents the content or "payload" of the
            message.  </p> </item>

	  </ulist>

        <p> For each Message Reference component in the {message
        references} property of an Interface Operation component the
        {message reference} 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>
            messageReference="<emph>xs:NCName</emph>"?
            message="<emph>xs:QName</emph>"? &gt;
        &lt;documentation /&gt;?
      &lt;/<b>input</b>&gt;
      &lt;<b>output</b>
            messageReference="<emph>xs:NCName</emph>"?
            message="<emph>xs:QName</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/2003/11/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>messageReference</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>messageReference</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>message</att> <emph>attribute information item</emph> as described below
		  in <specref ref="MessageReference_message_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/2003/11/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/2003/11/wsdl</attval>.
                  </p>
		</item>
              </olist>
	    </item>
      </ulist>

      <div4 id="MessageReference_messageReference_attribute">
        <head><att>messageReference</att> <emph>attribute information item</emph> with <el>input</el>,
        or <el>output</el> [owner]</head>
	    <p>
		The <att>messageReference</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>messageReference</att> <emph>attribute information item</emph> has the following
		Infoset properties:
		</p>
		<ulist>
		  <item><p>A [local name] of <att>messageReference</att></p></item>
		  <item><p>A [namespace name] which has no value</p></item>
		</ulist>
		<p>
		The type of the <att>messageReference</att> <emph>attribute information item</emph> is <emph>xs:NCName</emph>.
		</p>
      </div4>

      <div4 id="MessageReference_message_attribute">
        <head><att>message</att> <emph>attribute information item</emph> with <el>input</el>,
        or <el>output</el> [owner]</head>
	    <p>
		The <att>message</att> <emph>attribute information item</emph> refers, by QName, to an element
		declaration component.
		</p>
		<p>The <att>message</att> <emph>attribute information item</emph> has the following
		Infoset properties:
		</p>
		<ulist>
		  <item><p>A [local name] of <att>message</att>.</p></item>
		  <item><p>A [namespace name] which has no value.</p></item>
		</ulist>
		<p>
		The type of the <att>message</att> <emph>attribute information item</emph> is <emph>xs:QName</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 reference}</td>
			<td rowspan="1" colspan="1">The actual value of the <att>messageReference</att>
			<emph>attribute information item</emph> if any; otherwise the {message reference} 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}</td>
			<td rowspan="1" colspan="1">
			The element declaration resolved to by the
			value of the <att>message</att> <emph>attribute information item</emph> if present,
			otherwise a similar construct in some type
			system as referred to by some other <emph>attribute information item</emph> if
			present, otherwise empty.
			</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 an XML element
	declaration that defines the fault message contents 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 names within the pattern. The
	purpose of a Fault Reference component is to associate an
	actual message type (XML element declaration) for the fault
	that will occur related to 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 role. 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>{name} An NCName as defined by <bibref ref="XMLNS"/>. This property is used to identify the
            fault.</p></item>

	    <item><p>{message reference} An NCName as defined by
	    <bibref ref="XMLNS"/>. This property identifies the
	    message which this fault relates to 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 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 fault-replaces-message is used, then a fault
            which refers to an outgoing message would have a
            {direction} property value of <emph>out</emph>.  If the
            fault rule message-triggers-fault 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>{message} A reference to an XML element
            declaration. This element represents the content or "payload" of the
            fault.  </p> </item>
	  </ulist>

        <p>If two or more Interface Operation components in the same
        Interface component have Fault Reference components with the
        same {name} value, then their {message} properties MUST have
        the same value. This allows two or more operations to indicate
        that they both produce the same fault.</p>

    </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>
            name="<emph>xs:NCName</emph>"
            messageReference="<emph>xs:NCName</emph>"?
            message="<emph>xs:QName</emph>"?
        &lt;documentation /&gt;?
      &lt;/<b>infault</b>&gt;*
      &lt;<b>outfault</b>
            name="<emph>xs:NCName</emph>"
            messageReference="<emph>xs:NCName</emph>"?
            message="<emph>xs:QName</emph>"?
        &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/2003/11/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="FaultReference_name_attribute"/>. 
		  </p>
		</item>
		<item>
		  <p>
		  An OPTIONAL <att>messageReference</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>messageReference</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>
		  An OPTIONAL <att>message</att> <emph>attribute information item</emph> as described below
		  in <specref ref="FaultReference_message_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/2003/11/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/2003/11/wsdl</attval>.
                  </p>
		</item>
              </olist>
	    </item>
      </ulist>

      <div4 id="FaultReference_name_attribute">
        <head><att>name</att> <emph>attribute information item</emph> with <el>infault</el>,
        or <el>outfault</el> [owner]</head>
	    <p>
		The <att>name</att> <emph>attribute information item</emph> identifies the fault.
		</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="FaultReference_messageReference_attribute">
        <head><att>messageReference</att> <emph>attribute information item</emph> with <el>infault</el>,
        or <el>outfault</el> [owner]</head>
	    <p>
		The <att>messageReference</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>messageReference</att> <emph>attribute information item</emph> has the following
		Infoset properties:
		</p>
		<ulist>
		  <item><p>A [local name] of <att>messageReference</att></p></item>
		  <item><p>A [namespace name] which has no value</p></item>
		</ulist>
		<p>
		The type of the <att>messageReference</att> <emph>attribute information item</emph> is <emph>xs:NCName</emph>.
		</p>
      </div4>

      <div4 id="FaultReference_message_attribute">
        <head><att>message</att> <emph>attribute information item</emph> with <el>infault</el>,
        or <el>outfault</el> [owner]</head>
	    <p>
		The <att>message</att> <emph>attribute information item</emph> refers, by QName, to an element
		declaration component.
		</p>
		<p>The <att>message</att> <emph>attribute information item</emph> has the following
		Infoset properties:
		</p>
		<ulist>
		  <item><p>A [local name] of <att>message</att>.</p></item>
		  <item><p>A [namespace name] which has no value.</p></item>
		</ulist>
		<p>
		The type of the <att>message</att> <emph>attribute information item</emph> is <emph>xs:QName</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">{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">{message reference}</td>
			<td rowspan="1" colspan="1">The actual value of the <att>messageReference</att>
			<emph>attribute information item</emph> if any; otherwise the {message reference} 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>
		  <tr>
		    <td rowspan="1" colspan="1">{message}</td>
			<td rowspan="1" colspan="1">
			The element declaration resolved to by the
			value of the <att>message</att> <emph>attribute information item</emph> if present,
			otherwise a similar construct in some type
			system as referred to by some other <emph>attribute information item</emph> if present,
			otherwise empty.
			</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 feature is either accepted or
      required in particular interactions.</p>

      <p> Features in the Feature component are identified by their
      URI. Unless otherwise specified, recognizing a feature's URI is
      assumed to be semantically equivalent to understanding the
      feature's specification.</p>
	  
	  <p>The properties of the Feature component are as follows:</p>
	  <ulist>
	    <item><p>{name} A URI as defined by <bibref ref="RFC2396"/>.</p></item>
	    <item><p>{required} A boolean value.</p></item>
	  </ulist>

    </div3>

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

<eg xml:space="preserve">&lt;<b>feature</b>
      uri="<emph>xs:QName</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/2003/11/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/2003/11/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/2003/11/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} A URI as defined by <bibref ref="RFC2396"/>.</p></item>
	    <item><p>{required} A boolean value.</p></item>
	    <item><p>{value constraint} A type definition constraining the
	    value of the property.</p></item>
	  </ulist>

    </div3>

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

<eg xml:space="preserve">&lt;<b>property</b>
      uri="<emph>xs:QName</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/2003/11/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/2003/11/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/2003/11/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 the 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:anySimpleType</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/2003/11/wsdl</attval></p></item>
		</ulist>
		<p>
		The type of the <att>value</att> <emph>element information item</emph> is <att>xs:anySimpleType</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/2003/11/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, if the <el>value</el> <emph>element information item</emph> is present, an anonymous simple type, whose
		    base type is <attval>xs:anySimpleType</attval>, with a single <attval>enumeration</attval>
		    facet whose value is that of the <emph>element information item</emph>. Otherwise, <attval>xs:anySimpleType</attval>.
		    </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 operation-specific binding
      details (by including Binding Operation components) then it MUST
      specify an interface the Binding component applies to to
      indicate which interface the operations come from. </p>

      <p> Conversely, a Binding component MAY omit any
      operation-specific binding details and 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.  </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"/>, HTTP <bibref ref="RFC2616"/> and MIME <bibref ref="RFC2045"/>. 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> 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>{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;feature /&gt; | &lt;property /&gt; | &lt;operation /&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/2003/11/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/2003/11/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>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/2003/11/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">{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_Operation">
    <head>Binding Operation</head>

    <div3 id="Binding_Operation_details">
      <head>The Binding Operation Component</head> 

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

      <p>The properties of the Binding 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 references} A set of Binding Message
            Reference components</p></item>

            <item><p>{fault references} A set of Binding Fault
            Reference components</p></item>

	  </ulist>

      <p>The tuple of properties {name} and {target namespace}
      identify the operation for which binding information is being
      specified.</p>

      <p> For each Binding Operation component in the {operations}
      property of a Binding component the combination of {name} and
      {target namespace} properties must be unique. That is, one
      cannot define multiple bindings for the same operation.  </p>

    </div3>

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

<eg xml:space="preserve">&lt;definitions&gt;
  &lt;binding&gt;
    &lt;<b>operation</b>
          name="<emph>xs:QName</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;/binding&gt;
&lt;/definitions&gt;
</eg>

      <p>
	  The XML representation for a Binding 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/2003/11/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_Operation_name_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/2003/11/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>input</el>
			    <emph>element information item</emph>s (see <specref ref="Binding_Message_Reference"/>
			    )</p></item>

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

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

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

                           <item><p>Zero or more <el>feature</el>
                           <emph>element information item</emph>s</p></item>

                           <item><p>Zero or more <el>property</el>
                           <emph>element information item</emph>s</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/2003/11/wsdl</attval>. Such <emph>element information item</emph>s are
                           considered to be binding operation
                           extension elements as described below (see
                           <specref ref="Binding_Operation_extension_elements"/>).
                           </p> </item>
			 </ulist>
		      </item>
		  </olist>
		</item>
      </ulist>

      <div4 id="Binding_Operation_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> identified a given
		<el>operation</el> <emph>element information item</emph> within a given <el>binding</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:QName</emph>.
		</p>
      </div4>

      <div4 id="Binding_Operation_extension_elements">
        <head>Binding Operation extension elements</head>
		<p>
		Binding Operation extension elements are used to provide information
		specific to a particular operation in a 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 Operation component with
	  additional properties and specify the mapping between those
	  properties and the XML representation.
		</p>
      </div4>

    </div3>

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

	  <table border="1" id="tab_Binding_Operation_Mapping">
	    <caption>Mapping between Binding 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 value of the [local name] Infoset property of the
			qualified name which is 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 value of the [namespace name] Infoset
                        property of the qualified name which is the
                        actual value of the <att>name</att> <emph>attribute information item</emph>.
                        </td>
		  </tr>
		  <tr>
		    <td rowspan="1" colspan="1">{messages references}</td> 
                    <td rowspan="1" colspan="1">The set of Binding Message Reference
                    components 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 Binding Fault Reference components
			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">{features}</td>
			<td rowspan="1" colspan="1">The set of Feature components corresponding
			to the <el>feature</el> <emph>element information item</emph> 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> in [children], if any.</td>
		  </tr>
		</tbody>
	  </table>

    </div3>
  </div2>


  <div2 id="Binding_Message_Reference">
    <head>Binding Message Reference</head>

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

        <p>A Binding Message Reference component describes a concrete
        binding for a particular message participating in an operation
        to a particular concrete message format.  </p>

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

	  <ulist>
	    <item><p>{message reference} An NCName as defined by
	    <bibref ref="XMLNS"/>. The value of this property
	    identifies the message within the operation for which
	    binding details are being specified.</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.</p></item>
	  </ulist>

       <p>For each Binding Message Reference component in the {message
       references} property of a Binding Operation component the
       {message reference} property must be unique. That is, the same
       message cannot be bound twice within the same operation.</p>

    </div3>

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

<eg xml:space="preserve">&lt;definitions&gt;
  &lt;binding&gt;
    &lt;operation&gt;
      &lt;<b>input</b>
            messageReference="<emph>xs:NCName</emph>" &gt;
        &lt;documentation /&gt;?
      &lt;/<b>input</b>&gt;
      &lt;<b>output</b>
            messageReference="<emph>xs:NCName</emph>" &gt;
        &lt;documentation /&gt;?
      &lt;/<b>output</b>&gt;
    &lt;/operation&gt;
  &lt;/binding&gt;
&lt;/definitions&gt;
</eg>

      <p>
	  The XML representation for a Binding 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/2003/11/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>messageReference</att> <emph>attribute information item</emph> as
		  described below in <specref ref="Binding_Message_Reference_name_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/2003/11/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 amongst its
		[children]. The [namespace name] of such <emph>element information item</emph>s MUST
		NOT be <attval>http://www.w3.org/2003/11/wsdl</attval>. Such <emph>element information item</emph>s are
		considered to be binding message reference extension
		elements, as described below (see <specref ref="Binding_Message_Reference_extension_elements"/>).
		</p>
	  </item>
        </olist>
		</item>
      </ulist>

      <div4 id="Binding_Message_Reference_name_attribute">
        <head><att>messageReference</att> <emph>attribute information item</emph> with <el>input</el> or
        <el>output</el> [owner]</head>
		<p>The <att>messageReference</att> <emph>attribute information item</emph> has the following Infoset properties:</p>
		<ulist>
		  <item><p>A [local name] of <att>messageReference</att>.</p></item>
		  <item><p>A [namespace name] which has no value.</p></item>
		</ulist>
		<p>
		The type of the <att>messageReference</att> <emph>attribute information item</emph> is <emph>xs:NCName</emph>.
		</p>
      </div4>

      <div4 id="Binding_Message_Reference_extension_elements">
        <head>Binding Message Reference extension elements</head>
		<p>
		Binding Message Reference extension elements are used
		to provide information specific to a particular
		message in an operation. 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 Message Reference component with
		additional properties and specify the mapping between
		those properties and the XML representation.
		</p>
      </div4>

    </div3>

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

	  <table border="1" id="tab_Binding_Message_Reference_Mapping">
	    <caption>Mapping between Binding 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 reference}</td>
			<td rowspan="1" colspan="1">The actual value of the <att>messageReference</att> <emph>attribute information item</emph></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>
		</tbody>
	  </table>

    </div3>
  </div2>

  <div2 id="Binding_Fault_Reference">
    <head>Binding Fault Reference</head>

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

        <p>A Binding Fault Reference component describes a concrete
        binding of a particular fault message of an operation to a
        particular concrete message format.
        </p>

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

	  <ulist>
            <item><p>{name} An NCName as defined by <bibref ref="XMLNS"/>. The value of this property MUST be the same
            as the {name} property of a Fault Reference component of
            the Interface Operation component for which binding
            details are being specified.</p></item>

	    <item><p>{message reference} An NCName as defined by
	    <bibref ref="XMLNS"/>. The value of this property
	    identifies the message within the operation for which this
	    fault relates to and for which fault binding details are
	    being specified.</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.</p></item>
	  </ulist>

       <p>For each Binding Fault Reference component in the {message
       references} property of a Binding Operation component the
       {message reference} property must be unique. That is, the same
       fault message cannot be bound twice within the same
       operation.</p>

    </div3>

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

<eg xml:space="preserve">&lt;definitions&gt;
  &lt;binding&gt;
    &lt;operation&gt;
      &lt;<b>infault</b>
            name="<emph>xs:NCName</emph>"
            messageReference="<emph>xs:NCName</emph>" &gt;
        &lt;documentation /&gt;?
      &lt;/<b>infault</b>&gt;
      &lt;<b>outfault</b>
            name="<emph>xs:NCName</emph>"
            messageReference="<emph>xs:NCName</emph>" &gt;
        &lt;documentation /&gt;?
      &lt;/<b>outfault</b>&gt;
    &lt;/operation&gt;
  &lt;/binding&gt;
&lt;/definitions&gt;
</eg>

      <p>
	  The XML representation for a Binding 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/2003/11/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="Binding_Fault_Reference_name_attribute"/>.
		  </p>
		</item>
		<item>
		  <p>
		  A REQUIRED <att>messageReference</att> <emph>attribute information item</emph> as
		  described below in <specref ref="Binding_Fault_Reference_messageReference_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/2003/11/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 amongst its
		[children]. The [namespace name] of such <emph>element information item</emph>s MUST
		NOT be <attval>http://www.w3.org/2003/11/wsdl</attval>. Such <emph>element information item</emph>s are
		considered to be Binding Fault reference extension
		elements, as described below (see <specref ref="Binding_Fault_Reference_extension_elements"/>).
		</p>
	  </item>
        </olist>
		</item>
      </ulist>

      <div4 id="Binding_Fault_Reference_name_attribute">
        <head><att>name</att> <emph>attribute information item</emph> with <el>infault</el> or
        <el>outfault</el> [owner]</head>
		<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_Fault_Reference_messageReference_attribute">
        <head><att>messageReference</att> <emph>attribute information item</emph> with <el>infault</el> or
        <el>outfault</el> [owner]</head>
		<p>The <att>messageReference</att> <emph>attribute information item</emph> has the following Infoset properties:</p>
		<ulist>
		  <item><p>A [local name] of <att>messageReference</att>.</p></item>
		  <item><p>A [namespace name] which has no value.</p></item>
		</ulist>
		<p>
		The type of the <att>messageReference</att> <emph>attribute information item</emph> is <emph>xs:NCName</emph>.
		</p>
      </div4>

      <div4 id="Binding_Fault_Reference_extension_elements">
        <head>Binding Fault Reference extension elements</head>
		<p>
		Binding Fault Reference extension elements are used
		to provide information specific to a particular
		message in an operation. 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 Fault Reference component with
		additional properties and specify the mapping between
		those properties and the XML representation.
		</p>
      </div4>

    </div3>

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

	  <table border="1" id="tab_Binding_Fault_Reference_Mapping">
	    <caption>Mapping between Binding 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">{message reference}</td>
			<td rowspan="1" colspan="1">The actual value of the <att>messageReference</att> <emph>attribute information item</emph></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="Service">
    <head>Service</head>

    <div3 id="Service_details">
      <head>The Service Component</head>

      <p>A Service component describes a set of endpoints (see
      <specref ref="Endpoint"/>) at which the single interface of the
      service is provided. The endpoints thus are in effect alternate
      places at which the service is provided. </p>

      <p> Service are named constructs and can be referred to by QName
      (see <specref ref="qnameres"/>).  </p>

      <p>The properties of the Service 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 Interface component.</p></item>

  	    <item><p> {endpoints} A set of Endpoint components.
  	    </p></item>
	  </ulist>

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

    <div3 id="Service_XMLRep">
      <head>XML Representation of Service Component</head>

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

      <p>
	  The XML representation for a Service component
	  is an <emph>element information item</emph> with the following Infoset properties:
	  </p>
	  <ulist>
	    <item><p>A [local name] of <el>service</el></p></item>
	    <item><p>A [namespace name] of
	    <attval>http://www.w3.org/2003/11/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="Service_name_attribute"/>.
		  </p>
		</item>
		<item>
		  <p>
		  A REQUIRED <att>interface</att> <emph>attribute information item</emph> 
		  as described below in <specref ref="Service_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/2003/11/wsdl</attval>.
		  </p>
		</item>
		</ulist>
		</item>
		<item>
		  <p>One 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>
One or more <emph>element information item</emph>s from among the following, in any order:
			  </p>
			  <ulist>
		    <item>
			<p>One or more <el>endpoint</el> <emph>element information item</emph>s (see <specref ref="Endpoint_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/2003/11/wsdl</attval>.
              </p>
			</item>
			  </ulist>
			</item>
          </olist>
        </item>
      </ulist>

      <div4 id="Service_name_attribute">
        <head><att>name</att> <emph>attribute information item</emph> with <el>service</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 service.
		</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="Service_interface_attribute">
        <head><att>interface</att> <emph>attribute information item</emph> with <el>service</el> [owner]</head>
	    <p>
		The <att>interface</att> <emph>attribute information item</emph> identifies the interface
		that the service is an instantiation of.</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>

    </div3>

    <div3 id="Service_Mapping">
	  <head>Mapping Service's XML Representation to Component Properties</head>
	  <p>
	  The mapping between the properties of the Service component (see
	  <specref ref="Service_details"/>) and the XML Representation of
	  the <el>service</el> <emph>element information item</emph> (see <specref ref="Service_XMLRep"/>) is
	  as described in <specref ref="tab_Service_Mapping"/>.
	  </p>

	  <table border="1" id="tab_Service_Mapping">
	    <caption>Mapping between Service 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">
			<phrase>
			The Interface component resolved to by the actual value of
			the <att>interface</att> <emph>attribute information item</emph>.
			</phrase>
			</td>
		  </tr>
		  <tr>
		    <td rowspan="1" colspan="1">{endpoints}</td>
			<td rowspan="1" colspan="1">
			The Endpoint components corresponding to the <el>endpoint</el>
			<emph>element information item</emph>s in [children] if any.
			</td>
          </tr>
		</tbody>
	  </table>

    </div3>
  </div2>


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

    <div3 id="Endpoint_details">
      <head>The Endpoint Component</head>
      <p>
	  An Endpoint component defines the particulars of a specific endpoint
	  at which a given service is available.
	  </p>
	  <p>
	  Endpoint components are local to a given Service component; they
	  cannot be referred to by QName.
	  </p>
	  <p>The properties of the Endpoint component are as follows:</p>
	  <ulist>
	    <item><p>{name} An NCName as defined by <bibref ref="XMLNS"/>.</p></item>
		<item>
		 <p>{binding} A named Binding component.
		 </p>
		</item>
	  </ulist>

	  <p>
	  For each En