- From: Hugo Haas via cvs-syncmail <cvsmail@w3.org>
- Date: Thu, 09 Feb 2006 15:24:55 +0000
- To: public-ws-desc-eds@w3.org
Update of /sources/public/2002/ws/desc/wsdl20
In directory homer:/tmp/cvs-serv22202
Modified Files:
wsdl20-adjuncts.xml
Log Message:
Added assertions for HTTP binding
Index: wsdl20-adjuncts.xml
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20-adjuncts.xml,v
retrieving revision 1.151
retrieving revision 1.152
diff -C2 -d -r1.151 -r1.152
*** wsdl20-adjuncts.xml 10 Jan 2006 14:04:59 -0000 1.151
--- wsdl20-adjuncts.xml 9 Feb 2006 15:24:52 -0000 1.152
***************
*** 2771,2778 ****
for these additional properties is provided, along with a mapping from
that representation to the various component properties.</p>
! <p>As allowed in <bibref ref="WSDL-PART1"/>, a <comp>Binding</comp> component MAY
exist without indicating a specific <comp>Interface</comp> component that it applies
to. In this case there MUST NOT be any <comp>Binding Operation</comp> or <comp>Binding
! Fault</comp> components present in the <comp>Binding</comp> component. </p>
<p>The HTTP binding extension is designed with the objective of minimizing what
needs to be explicitly declared for common cases. This is achieved by
--- 2771,2778 ----
for these additional properties is provided, along with a mapping from
that representation to the various component properties.</p>
! <p>As allowed in <bibref ref="WSDL-PART1"/>, <assert class="component" id="HTTPBinding-2600001">a <comp>Binding</comp> component MAY
exist without indicating a specific <comp>Interface</comp> component that it applies
to. In this case there MUST NOT be any <comp>Binding Operation</comp> or <comp>Binding
! Fault</comp> components present in the <comp>Binding</comp> component.</assert></p>
<p>The HTTP binding extension is designed with the objective of minimizing what
needs to be explicitly declared for common cases. This is achieved by
***************
*** 2995,2999 ****
<head>Serialization rules for XML messages</head>
! <p>The serialization rules for messages whose <prop comp="Interface Message Reference">message content model</prop> is either <attval>#element</attval> or <attval>#any</attval> and for fault messages are as follows:</p>
<ulist>
--- 2995,2999 ----
<head>Serialization rules for XML messages</head>
! <p><assert class="component" id="HTTPBinding-2603001">The serialization rules for messages whose <prop comp="Interface Message Reference">message content model</prop> is either <attval>#element</attval> or <attval>#any</attval> and for fault messages are as follows:</assert></p>
<ulist>
***************
*** 3125,3134 ****
<div3 id='_http_default_rule_head'>
<head>HTTP Header Construction</head>
! <p> If the
<prop comp="Binding Message Reference">http headers</prop> property as defined in section <specref
ref="http-headers-decl"/> exists and is not empty in a
<comp>Binding Message Reference</comp> or <comp>Binding Fault</comp> component, HTTP headers
conforming to each <comp>HTTP Header</comp> component contained in this <prop comp="Binding Message Reference">http headers</prop> property
! MAY be serialized as follows:</p>
<ulist>
--- 3125,3134 ----
<div3 id='_http_default_rule_head'>
<head>HTTP Header Construction</head>
! <p><assert class="component" id="HTTPHeader-2606001">If the
<prop comp="Binding Message Reference">http headers</prop> property as defined in section <specref
ref="http-headers-decl"/> exists and is not empty in a
<comp>Binding Message Reference</comp> or <comp>Binding Fault</comp> component, HTTP headers
conforming to each <comp>HTTP Header</comp> component contained in this <prop comp="Binding Message Reference">http headers</prop> property
! MAY be serialized as follows:</assert></p>
<ulist>
***************
*** 3154,3161 ****
</ulist>
! <p>If the value of an <comp>HTTP Header</comp>
component's <prop comp="HTTP Header">required</prop>
property is <attval>true</attval>, the inclusion of this
! HTTP header field is REQUIRED, otherwise it is OPTIONAL.</p>
</div3>
--- 3154,3161 ----
</ulist>
! <p><assert class="component" id="HTTPHeader-2606002">If the value of an <comp>HTTP Header</comp>
component's <prop comp="HTTP Header">required</prop>
property is <attval>true</attval>, the inclusion of this
! HTTP header field is REQUIRED</assert>, otherwise it is OPTIONAL.</p>
</div3>
***************
*** 3267,3273 ****
<p>Each of the supported message exchange patterns involves
! one to two messages or faults being exchanged. The first is
transmitted using an HTTP request, and the second is
! transmitted using the corresponding HTTP response. <assert class="component" id="HTTPBindingOperation-5065">In cases
where only one message is being sent, the message body of
the HTTP response MUST be empty.</assert></p>
--- 3267,3273 ----
<p>Each of the supported message exchange patterns involves
! one to two messages or faults being exchanged. <assert class="component" id="HTTPBindingOperation-2605001">The first is
transmitted using an HTTP request, and the second is
! transmitted using the corresponding HTTP response.</assert> <assert class="component" id="HTTPBindingOperation-5065">In cases
where only one message is being sent, the message body of
the HTTP response MUST be empty.</assert></p>
***************
*** 3288,3296 ****
<p><propdef comp="Binding Operation">http
location</propdef> OPTIONAL. A <emph>xs:anyURI</emph>,
! to the <comp>Binding Operation</comp> component. This
IRI is combined with the base IRI specified in the
<prop comp="Endpoint">address</prop> property of the <comp>Endpoint</comp> component to
form the full IRI for the HTTP request to invoke the
! operation. <assert class="component" id="HTTPBindingOperation-5066">It MUST contain an absolute or a relative
IRI, i.e. it MUST NOT include a fragment identifier in
the IRI.</assert> Input serializations may define additional
--- 3288,3296 ----
<p><propdef comp="Binding Operation">http
location</propdef> OPTIONAL. A <emph>xs:anyURI</emph>,
! to the <comp>Binding Operation</comp> component. <assert class="component" id="HTTPBindingOperation-2605002">This
IRI is combined with the base IRI specified in the
<prop comp="Endpoint">address</prop> property of the <comp>Endpoint</comp> component to
form the full IRI for the HTTP request to invoke the
! operation.</assert> <assert class="component" id="HTTPBindingOperation-5066">It MUST contain an absolute or a relative
IRI, i.e. it MUST NOT include a fragment identifier in
the IRI.</assert> Input serializations may define additional
***************
*** 3391,3396 ****
<p>These properties allow to indicate the range of media types and/or
associated parameters with which an instance MAY be
! serialized. The value of the <termref def='serialization_format'>serialization format</termref> used for a
! message is a media type which MUST be covered by this range.
Users of this &AII; are urged to
avoid using wild cards (for example, <attval>application/*</attval>) as it may
--- 3391,3396 ----
<p>These properties allow to indicate the range of media types and/or
associated parameters with which an instance MAY be
! serialized. <assert class="component" id="HTTPBindingOperation-2605003">The value of the <termref def='serialization_format'>serialization format</termref> used for a
! message is a media type which MUST be covered by this range.</assert>
Users of this &AII; are urged to
avoid using wild cards (for example, <attval>application/*</attval>) as it may
***************
*** 3951,3958 ****
<item><p><propdef comp="Binding Fault">http error status code</propdef> REQUIRED.
A union of <emph>xs:int</emph> and <emph>xs:token</emph> where the
! allowed token value is <attval>#any</attval>, to the <comp>Binding Fault</comp> component. An integer value
of this property identifies the error Status-Code as defined by <bibref
ref="RFC2616"/> that the
! service will use in case the fault is returned. If the value of this property is <attval>#any</attval>,
no claim is made by the service.</p></item>
</ulist>
--- 3951,3958 ----
<item><p><propdef comp="Binding Fault">http error status code</propdef> REQUIRED.
A union of <emph>xs:int</emph> and <emph>xs:token</emph> where the
! allowed token value is <attval>#any</attval>, to the <comp>Binding Fault</comp> component. <assert class="component" id="HTTPBindingFault-2607002">An integer value
of this property identifies the error Status-Code as defined by <bibref
ref="RFC2616"/> that the
! service will use in case the fault is returned.</assert> If the value of this property is <attval>#any</attval>,
no claim is made by the service.</p></item>
</ulist>
***************
*** 4183,4187 ****
body.</p>
! <p>If the <prop comp="Interface Operation">style</prop> property of the <comp>Interface Operation</comp> bound has a value of
<attval>&IRI-STYLE;</attval> as defined in <specref
ref="_operation_iri_style"/>, and if the <prop comp="Binding Operation">http
--- 4183,4187 ----
body.</p>
! <p><assert class="component" id="HTTPSerialization-2608001">If the <prop comp="Interface Operation">style</prop> property of the <comp>Interface Operation</comp> bound has a value of
<attval>&IRI-STYLE;</attval> as defined in <specref
ref="_operation_iri_style"/>, and if the <prop comp="Binding Operation">http
***************
*** 4189,4193 ****
Operation</comp> component is present, the value of the <prop comp="Binding Operation">http
location</prop> property component is used as a
! template which is combined with the <prop
comp="Endpoint">address</prop> property of the endpoint
element to form the full IRI to be used in an HTTP
--- 4189,4193 ----
Operation</comp> component is present, the value of the <prop comp="Binding Operation">http
location</prop> property component is used as a
! template</assert> which is combined with the <prop
comp="Endpoint">address</prop> property of the endpoint
element to form the full IRI to be used in an HTTP
***************
*** 4268,4272 ****
<p>
! For the HTTP binding defined in this section
(<specref ref="http-binding"/>),
<attval>application/x-www-form-urlencoded</attval> MAY be
--- 4268,4272 ----
<p>
! <assert class="component" id="HTTPSerialization-2608002">For the HTTP binding defined in this section
(<specref ref="http-binding"/>),
<attval>application/x-www-form-urlencoded</attval> MAY be
***************
*** 4275,4279 ****
for an input message (HTTP Request), but MUST NOT be used as a <termref
def="serialization_format">serialization format</termref>
! for an output or fault message (HTTP Response).
</p>
--- 4275,4279 ----
for an input message (HTTP Request), but MUST NOT be used as a <termref
def="serialization_format">serialization format</termref>
! for an output or fault message (HTTP Response).</assert>
</p>
***************
*** 4287,4296 ****
<div4 id="_http_operation_location_notcited_get">
<head>Serialization of content of the instance data not cited in the {http location} property</head>
! <p>If not all elements from the <termref
def="instance_data">instance data</termref> are cited in
the <prop comp="Binding Operation">http location</prop>
property, or if the property is not present on the
<comp>Binding Operation</comp> component, then additional
! serialization rules apply.</p>
<p>The remainder of the instance data is formatted as a
--- 4287,4296 ----
<div4 id="_http_operation_location_notcited_get">
<head>Serialization of content of the instance data not cited in the {http location} property</head>
! <p><assert class="component" id="HTTPSerialization-2608003">If not all elements from the <termref
def="instance_data">instance data</termref> are cited in
the <prop comp="Binding Operation">http location</prop>
property, or if the property is not present on the
<comp>Binding Operation</comp> component, then additional
! serialization rules apply.</assert></p>
<p>The remainder of the instance data is formatted as a
***************
*** 4308,4314 ****
<head>Construction of the query string</head>
! <p>For elements of the instance data not cited in the
<prop comp="Binding Operation">http location</prop> property, a query
! string is constructed as follows.</p>
<p>Non-nil
--- 4308,4314 ----
<head>Construction of the query string</head>
! <p><assert class="component" id="HTTPSerialization-2608004">For elements of the instance data not cited in the
<prop comp="Binding Operation">http location</prop> property, a query
! string is constructed as follows.</assert></p>
<p>Non-nil
***************
*** 4440,4447 ****
<head>Serialization in the request IRI</head>
! <p>If the HTTP request method used does not allow
HTTP message body (e.g. <attval>GET</attval> and
<attval>DELETE</attval>), and if the value of the <prop comp="Binding Operation">http location ignore uncited</prop> property is <attval>false</attval>, then the following rules
! apply.</p>
<p>If the <prop comp="Binding Operation">http
--- 4440,4447 ----
<head>Serialization in the request IRI</head>
! <p><assert class="component" id="HTTPSerialization-2608005">If the HTTP request method used does not allow
HTTP message body (e.g. <attval>GET</attval> and
<attval>DELETE</attval>), and if the value of the <prop comp="Binding Operation">http location ignore uncited</prop> property is <attval>false</attval>, then the following rules
! apply.</assert></p>
<p>If the <prop comp="Binding Operation">http
***************
*** 4485,4492 ****
<head>Serialization in the message body</head>
! <p>If the HTTP request method used does allow an
HTTP message body (e.g. <attval>POST</attval> and
<attval>PUT</attval>), then the following rules
! apply.</p>
<p>Finally, the query string computed in <specref ref=
--- 4485,4492 ----
<head>Serialization in the message body</head>
! <p><assert class="component" id="HTTPSerialization-2608007">If the HTTP request method used does allow an
HTTP message body (e.g. <attval>POST</attval> and
<attval>PUT</attval>), then the following rules
! apply.</assert></p>
<p>Finally, the query string computed in <specref ref=
***************
*** 4494,4500 ****
value of the HTTP message body.</p>
! <p>The <code>Content-Type</code> HTTP header field must
have the value
! <code>application/x-www-form-urlencoded</code>.</p>
<example id="urlencoded_example_body">
--- 4494,4500 ----
value of the HTTP message body.</p>
! <p><assert class="component" id="HTTPSerialization-2608008">The <code>Content-Type</code> HTTP header field must
have the value
! <code>application/x-www-form-urlencoded</code>.</assert></p>
<example id="urlencoded_example_body">
***************
*** 4576,4583 ****
<comp>Interface Operation</comp> whose <prop comp="Interface Operation">style</prop> property has a value of
<attval>&MULTIPART-STYLE;</attval> as defined in <specref
! ref="_operation_multipart_style"/>, i.e. this serialization
format may only be used to serialize the HTTP request
corresponding to the initial message of
! an interface operation.
</p>
--- 4576,4583 ----
<comp>Interface Operation</comp> whose <prop comp="Interface Operation">style</prop> property has a value of
<attval>&MULTIPART-STYLE;</attval> as defined in <specref
! ref="_operation_multipart_style"/>, i.e. <assert class="component" id="HTTPSerialization-2608009">this serialization
format may only be used to serialize the HTTP request
corresponding to the initial message of
! an interface operation.</assert>
</p>
Received on Thursday, 9 February 2006 15:25:01 UTC