- From: Arthur Ryman via cvs-syncmail <cvsmail@w3.org>
- Date: Sat, 11 Jun 2005 00:56:19 +0000
- To: public-ws-desc-eds@w3.org
Update of /sources/public/2002/ws/desc/wsdl20
In directory hutz:/tmp/cvs-serv15190/wsdl20
Modified Files:
wsdl20.xml
Log Message:
Added <prop> tags up to and including Feature component.
Index: wsdl20.xml
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.xml,v
retrieving revision 1.282
retrieving revision 1.283
diff -C2 -d -r1.282 -r1.283
*** wsdl20.xml 10 Jun 2005 13:37:08 -0000 1.282
--- wsdl20.xml 11 Jun 2005 00:56:17 -0000 1.283
***************
*** 3700,3704 ****
<p>If a type system not based upon the XML Infoset is in use (as considered
in <specref ref="other-types"/>) then additional properties would
! need to be added to the Interface Message Reference Component (along
with extensibility attributes to its XML representation) to
allow associating such message types with the message
--- 3700,3705 ----
<p>If a type system not based upon the XML Infoset is in use (as considered
in <specref ref="other-types"/>) then additional properties would
! need to be added to the
! <comp>Interface Message Reference</comp> component (along
with extensibility attributes to its XML representation) to
allow associating such message types with the message
***************
*** 4080,4086 ****
<p>
For each <comp>Interface Fault Reference</comp> component in the
! <prop comp="Interface Operation">interface fault references</prop> property of an Interface Operation
! component, the combination of its {interface fault} and
! {message label} properties MUST be unique.
</p>
--- 4081,4089 ----
<p>
For each <comp>Interface Fault Reference</comp> component in the
! <prop comp="Interface Operation">interface fault references</prop> property of an
! <comp>Interface Operation</comp>
! component, the combination of its
! <prop comp="Interface Fault Reference">interface fault</prop> and
! <prop comp="Interface Fault Reference">message label</prop> properties MUST be unique.
</p>
***************
*** 4108,4113 ****
No two <comp>Interface Fault Reference</comp> components contained by
the same <comp>Interface Operation</comp> component have the same
! {interface fault} and
! {message label} properties.
</p>
</item>
--- 4111,4116 ----
No two <comp>Interface Fault Reference</comp> components contained by
the same <comp>Interface Operation</comp> component have the same
! <prop comp="Interface Fault Reference">interface fault</prop> and
! <prop comp="Interface Fault Reference">message label</prop> properties.
</p>
</item>
***************
*** 4122,4127 ****
<comp>Interface</comp> component. An <comp>Interface Fault</comp> component is available
if it is contained in the <comp>Interface</comp> component or it is
! available in an <comp>Interface</comp> component that this Interface
! component extends.
</p>
--- 4125,4130 ----
<comp>Interface</comp> component. An <comp>Interface Fault</comp> component is available
if it is contained in the <comp>Interface</comp> component or it is
! available in an <comp>Interface</comp> component that this
! <comp>Interface</comp> component extends.
</p>
***************
*** 4129,4134 ****
Let
<z:i>InterfaceFaultReferenceConsistent</z:i>
! express this consistency constraint on the Interface Fault Reference
! component:
</p>
--- 4132,4137 ----
Let
<z:i>InterfaceFaultReferenceConsistent</z:i>
! express this consistency constraint on the
! <comp>Interface Fault Reference</comp> component:
</p>
***************
*** 4151,4157 ****
Every <comp>Interface Fault Reference</comp> component MUST refer
to an <comp>Interface Fault</comp> component that is available in
! the <comp>Interface</comp> component that contains the Interface
! Operation component that contains the Interface
! Reference Component.
</p>
</item>
--- 4154,4160 ----
Every <comp>Interface Fault Reference</comp> component MUST refer
to an <comp>Interface Fault</comp> component that is available in
! the <comp>Interface</comp> component that contains the
! <comp>Interface Operation</comp> component that contains the
! <comp>Interface Fault Reference</comp> component.
</p>
</item>
***************
*** 4232,4243 ****
ref="InterfaceFaultReference_messageReference_attribute"/>.
</p>
! <p>If the {message exchange pattern} of the Interface
! Operation component has only one message with a given value
! for {direction}, the <att>messageLabel</att> &AII; is
! optional for the XML representation of any Interface 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>).
--- 4235,4251 ----
ref="InterfaceFaultReference_messageReference_attribute"/>.
</p>
! <p>If the
! <prop comp="Interface Operation">message exchange pattern</prop> of the
! <comp>Interface Operation</comp> component has only one message with a given
! direction, the <att>messageLabel</att> &AII; is
! optional for the XML representation of any
! <comp>Interface Fault Reference</comp>
! component with the same value for
! <prop comp="Interface Fault Reference">direction</prop> (if the
! <emph>fault pattern</emph> of the
! <prop comp="Interface Operation">message exchange pattern</prop>
! is <emph>fault-replaces-message</emph>) or of any
! <comp>Interface Fault Reference</comp> component with the opposite value for
! <prop comp="Interface Fault Reference">direction</prop>
(if the <emph>fault pattern</emph> is
<emph>message-triggers-fault</emph>).
***************
*** 4343,4366 ****
</tr>
<tr>
! <td>{interface fault}</td> <td>The Interface Fault
! component from {interface faults} property of the parent
! <comp>Interface</comp> component, or an <comp>Interface</comp> component that it directly or indirectly extends,
! whose {name} property is the
! actual value of the <att>ref</att> &AII;.</td>
</tr>
<tr>
! <td>{message label}</td> <td>The actual value of
the <att>messageLabel</att> &AII; if any;
! otherwise the {message label} property of the
! message with the same {direction} from the
! {message exchange pattern} of the Interface
! Operation component, provided there is exactly
one such message and the <emph>fault
! pattern</emph> of the {message exchange
! pattern} is
! <emph>fault-replaces-message</emph>; otherwise
! the {interface message reference} property of the
! message with the opposite {direction},
provided there is exactly one such message and
the <emph>fault pattern</emph> is
--- 4351,4388 ----
</tr>
<tr>
! <td><prop comp="Interface Fault Reference">interface fault</prop></td>
! <td>
! The
! <comp>Interface Fault</comp>
! component from
! <prop comp="Interface">interface faults</prop>
! property of the parent
! <comp>Interface</comp>
! component, or an
! <comp>Interface</comp>
! component that it directly or indirectly extends, whose
! <prop comp="Interface Fault">name</prop> property is the actual value of the
! <att>ref</att>
! &AII;.
! </td>
</tr>
<tr>
! <td><prop comp="Interface Fault Reference">message label</prop></td> <td>The actual value of
the <att>messageLabel</att> &AII; if any;
! otherwise the
! <prop comp="Interface Message Reference">message label</prop> property of the
! message with the same
! <prop comp="Interface Message Reference">direction</prop> from the
! <prop comp="Interface Operation">message exchange pattern</prop> of the
! <comp>Interface Operation</comp> component, provided there is exactly
one such message and the <emph>fault
! pattern</emph> of the
! <prop comp="Interface Operation">message exchange pattern</prop> is
! <emph>fault-replaces-message</emph>;
! otherwise the
! <prop comp="Interface Message Reference">message label</prop> property of the
! message with the opposite
! <prop comp="Interface Message Reference">direction</prop>,
provided there is exactly one such message and
the <emph>fault pattern</emph> is
***************
*** 4371,4375 ****
<tr>
! <td>{direction}</td>
<td>If the [local name] of the &EII; is
<el>infault</el> then <attval>in</attval>, else
--- 4393,4397 ----
<tr>
! <td><prop comp="Interface Fault Reference">direction</prop></td>
<td>If the [local name] of the &EII; is
<el>infault</el> then <attval>in</attval>, else
***************
*** 4379,4383 ****
</tr>
<tr>
! <td>{features}</td>
<td>
The set of <comp>Feature</comp> components corresponding to the
--- 4401,4405 ----
</tr>
<tr>
! <td><prop comp="Interface Fault Reference">features</prop></td>
<td>
The set of <comp>Feature</comp> components corresponding to the
***************
*** 4387,4391 ****
</tr>
<tr>
! <td>{properties}</td>
<td>
The set of <comp>Property</comp> components corresponding to the
--- 4409,4413 ----
</tr>
<tr>
! <td><prop comp="Interface Fault Reference">properties</prop></td>
<td>
The set of <comp>Property</comp> components corresponding to the
***************
*** 4395,4399 ****
</tr>
<tr>
! <td>{parent}</td>
<td>
The <comp>Interface Operation</comp> component corresponding to the
--- 4417,4421 ----
</tr>
<tr>
! <td><prop comp="Interface Fault Reference">parent</prop></td>
<td>
The <comp>Interface Operation</comp> component corresponding to the
***************
*** 4415,4419 ****
<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 2.0 imposes no
--- 4437,4441 ----
<head>The Feature Component</head>
! <p>A <comp>Feature</comp> component describes an abstract piece of
functionality typically associated with the exchange of messages
between communicating parties. Although WSDL 2.0 imposes no
***************
*** 4421,4428 ****
might include “reliability”, “security”,
“correlation”, and “routing”. The
! presence of a feature component in a WSDL 2.0 description indicates
that the service supports the feature and may require that a client
that interacts with the service use that feature. Each
! Feature is identified by its URI.</p>
<p>Note that the WSDL 2.0's feature concept is derived from SOAP 1.2's abstract
--- 4443,4450 ----
might include “reliability”, “security”,
“correlation”, and “routing”. The
! presence of a <comp>Feature</comp> component in a WSDL 2.0 description indicates
that the service supports the feature and may require that a client
that interacts with the service use that feature. Each
! <comp>Feature</comp> is identified by its URI.</p>
<p>Note that the WSDL 2.0's feature concept is derived from SOAP 1.2's abstract
***************
*** 4439,4454 ****
absolute as defined by <bibref ref="RFC3986"/>. This URI SHOULD be
dereferenceable to a document that directly or indirectly defines
! the meaning and use of the Feature that it identifies.</p></item>
<item><p><propdef comp="Feature">required</propdef> REQUIRED. An <emph>xs:boolean</emph>.
If the value of this property is <emph>true</emph>,
! then the client MUST use the Feature that is identified
! by the {uri} URI. Otherwise, the client MAY use the
! Feature that is identified by the {uri} URI. In either case,
if the client does use the Feature that is identified
! by the {uri} URI, then the client MUST obey all semantics
! implied by the definition of that Feature.</p></item>
! <item><p><propdef comp="Feature">parent</propdef> REQUIRED. The component that contains this component in its {features} property.</p></item>
</ulist>
--- 4461,4481 ----
absolute as defined by <bibref ref="RFC3986"/>. This URI SHOULD be
dereferenceable to a document that directly or indirectly defines
! the meaning and use of the <comp>Feature</comp> that it identifies.</p></item>
<item><p><propdef comp="Feature">required</propdef> REQUIRED. An <emph>xs:boolean</emph>.
If the value of this property is <emph>true</emph>,
! then the client MUST use the <comp>Feature</comp> that is identified
! by the
! <prop comp="Feature">uri</prop> URI. Otherwise, the client MAY use the
! <comp>Feature</comp> that is identified by the
! <prop comp="Feature">uri</prop> URI. In either case,
if the client does use the Feature that is identified
! by the
! <prop comp="Feature">uri</prop> URI, then the client MUST obey all semantics
! implied by the definition of that
! <comp>Feature</comp>.</p></item>
! <item><p><propdef comp="Feature">parent</propdef> REQUIRED. The component that contains this component in its
! <prop comp="">features</prop> property.</p></item>
</ulist>
***************
*** 4472,4476 ****
<z:notation name="FeatureRI">
! <p>The parent of a Feature MUST be in the component model.</p>
<p>
--- 4499,4503 ----
<z:notation name="FeatureRI">
! <p>The parent of a <comp>Feature</comp> MUST be in the component model.</p>
<p>
***************
*** 4490,4499 ****
<p>
! The {uri} property of a <comp>Feature</comp> component MUST be unique
! within the {features} property of an Interface, Interface
! Fault, Interface Operation, Interface Message Reference, Fault
! Reference, Binding, Binding Fault, Binding Operation, Binding
! Message Reference, Binding Fault Reference, Service, or
! <comp>Endpoint</comp> component.
</p>
--- 4517,4528 ----
<p>
! The <prop comp="Feature">uri</prop> property of a <comp>Feature</comp> component MUST be unique
! within the
! <prop comp="">features</prop> property of an
! <comp>Interface</comp>, <comp>Interface Fault</comp>, <comp>Interface Operation</comp>,
! <comp>Interface Message Reference</comp>, <comp>Interface Fault Reference</comp>,
! <comp>Binding</comp>, <comp>Binding Fault</comp>, <comp>Binding Operation</comp>,
! <comp>Binding Message Reference</comp>, <comp>Binding Fault Reference</comp>,
! <comp>Service</comp>, or <comp>Endpoint</comp> component.
</p>
***************
*** 4519,4523 ****
No two <comp>Feature</comp> components contained by
the same component have the same
! {uri} property.
</p>
</item>
--- 4548,4552 ----
No two <comp>Feature</comp> components contained by
the same component have the same
! <prop comp="Feature">uri</prop> property.
</p>
</item>
***************
*** 4564,4571 ****
<z:notation name="Features">
<p>
! Many of the component types in the component model contain a {features} property, which is
a set of <comp>Feature</comp> components.
We refer to these as the <emph>declared features</emph> of the component.
! Furthermore, the {features} property is itself a subset of <comp>Feature</comp> components that are required
or available for the given component as determined by the Feature Composition Model.
We refer to these as the <emph>in-scope features</emph> of the component.
--- 4593,4601 ----
<z:notation name="Features">
<p>
! Many of the component types in the component model contain a
! <propdef comp="">features</propdef> property, which is
a set of <comp>Feature</comp> components.
We refer to these as the <emph>declared features</emph> of the component.
! Furthermore, the <prop comp="">features</prop> property is itself a subset of <comp>Feature</comp> components that are required
or available for the given component as determined by the Feature Composition Model.
We refer to these as the <emph>in-scope features</emph> of the component.
***************
*** 4601,4605 ****
<p>
Let <z:i>FeaturesValid</z:i> express these validity constraints on the
! {features} property of a component:
</p>
--- 4631,4635 ----
<p>
Let <z:i>FeaturesValid</z:i> express these validity constraints on the
! <prop comp="">features</prop> property of a component:
</p>
***************
*** 4637,4715 ****
applicable at each component are as follows:
</p>
! <ulist>
! <item><p><comp>Interface</comp> component: all features asserted
! within the interface component.</p></item>
! <item><p><comp>Interface Fault</comp> component: all features
! asserted within the interface fault component and
! those within the [parent] interface component.</p></item>
! <item><p><comp>Interface Operation</comp> component: all features
! asserted within the interface operation component and
! those within the [parent] interface component.</p></item>
! <item><p><comp>Interface Message Reference</comp> component: all features
! asserted within the interface message reference component, those
! within the [parent] interface operation component and
! those within its [parent] interface component.</p></item>
!
! <item><p><comp>Interface Fault Reference</comp> component: all features asserted
! within the fault reference component, those
! within the [parent] interface operation component and
! those within its [parent] interface component.</p></item>
! <item><p><comp>Binding</comp> component: all features asserted within
! the binding component and those within the interface
! component referred to by the binding component (if
! any).</p></item>
! <item>
! <p>
! <comp>Binding Fault</comp> component: all features asserted within
! the binding fault component, those within the [parent]
! binding component, those within the corresponding
! interface fault component, and those within the
! interface component referred to by the binding
! component (if any).
! </p>
! </item>
! <item>
! <p>
! <comp>Binding Operation</comp> component: all features asserted
! within the binding operation component, those within
! the [parent] binding component, those within the
! corresponding interface operation component, and those
! within the interface component referred to by the
! binding component.
! </p>
! </item>
! <item>
! <p>
! <comp>Binding Message Reference</comp> component: all features
! asserted within the binding message reference
! component, those within the [parent] binding operation
! component, those within its [parent] binding component,
! those within the corresponding message reference
! component, and those within the interface component
! referred to by the binding component.
! </p>
! </item>
- <item>
- <p>
- <comp>Binding Fault Reference</comp> component: all features
- asserted within the binding fault reference component,
- those within the [parent] binding operation component,
- those within its [parent] binding component, those
- within the corresponding fault reference component,
- and those within the interface component referred to
- by the binding component.
- </p>
- </item>
- </ulist>
-
<p>
If a given feature is asserted at multiple locations,
--- 4667,4826 ----
applicable at each component are as follows:
</p>
+
+ <ednote>
+ <name>AGR</name>
+ <date>20050610</date>
+ <edtext>
+ I think these rules are incomplete. The features
+ in-scope for an Interface should include the
+ extended Interface components. Service and Endpoint
+ are not described.
+ </edtext>
+ </ednote>
! <ulist>
! <item>
! <p>
! <comp>Interface</comp>
! component: all features asserted within the
! <comp>Interface</comp>
! component.
! </p>
! </item>
! <item>
! <p>
! <comp>Interface Fault</comp>
! component: all features asserted within the
! <comp>Interface Fault</comp>
! component and those within the [parent]
! <comp>Interface</comp>
! component.
! </p>
! </item>
! <item>
! <p>
! <comp>Interface Operation</comp>
! component: all features asserted within the
! <comp>Interface Operation</comp>
! component and those within the [parent]
! <comp>Interface</comp>
! component.
! </p>
! </item>
! <item>
! <p>
! <comp>Interface Message Reference</comp>
! component: all features asserted within the
! <comp>Interface Message Reference</comp>
! component, those within the [parent]
! <comp>Interface Operation</comp>
! component and those within its [parent]
! <comp>Interface</comp>
! component.
! </p>
! </item>
! <item>
! <p>
! <comp>Interface Fault Reference</comp>
! component: all features asserted within the
! <comp>Interface Fault Reference</comp>
! component, those within the [parent]
! <comp>Interface Operation</comp>
! component and those within its [parent]
! <comp>Interface</comp>
! component.
! </p>
! </item>
! <item>
! <p>
! <comp>Binding</comp>
! component: all features asserted within the
! <comp>Binding</comp>
! component and those within the
! <comp>Interface</comp>
! component referred to by the
! <comp>Binding</comp>
! component (if any).
! </p>
! </item>
! <item>
! <p>
! <comp>Binding Fault</comp>
! component: all features asserted within the
! <comp>Binding Fault</comp>
! component, those within the [parent]
! <comp>Binding</comp>
! component, those within the corresponding
! <comp>Interface Fault</comp>
! component, and those within the
! <comp>Interface</comp>
! component referred to by the
! <comp>Binding</comp>
! component.
! </p>
! </item>
! <item>
! <p>
! <comp>Binding Operation</comp>
! component: all features asserted within the
! <comp>Binding Operation</comp>
! component, those within the [parent]
! <comp>Binding</comp>
! component, those within the corresponding
! <comp>Interface Operation</comp>
! component, and those within the
! <comp>Interface</comp>
! component referred to by the
! <comp>Binding</comp>
! component.
! </p>
! </item>
!
! <item>
! <p>
! <comp>Binding Message Reference</comp>
! component: all features asserted within the
! <comp>Binding Message Reference</comp>
! component, those within the [parent]
! <comp>Binding</comp>
! operation component, those within its [parent]
! <comp>Binding</comp>
! component, those within the corresponding
! <comp>Interface Message Reference</comp>
! component, and those within the
! <comp>Interface</comp>
! component referred to by the
! <comp>Binding</comp>
! component.
! </p>
! </item>
!
! <item>
! <p>
! <comp>Binding Fault Reference</comp>
! component: all features asserted within the
! <comp>Binding Fault Reference</comp>
! component, those within the [parent]
! <comp>Binding Operation</comp>
! component, those within its [parent]
! <comp>Binding</comp>
! component, those within the corresponding
! <comp>Interface Fault Reference</comp>
! component, and those within the
! <comp>Interface</comp>
! component referred to by the
! <comp>Binding</comp>
! component.
! </p>
! </item>
! </ulist>
<p>
If a given feature is asserted at multiple locations,
***************
*** 4722,4726 ****
A composed feature is required if and only if at least one of its
asserted values is required.
! This rule may be summarized as "true thriomps".
</p>
--- 4833,4837 ----
A composed feature is required if and only if at least one of its
asserted values is required.
! This rule may be summarized as "true trumps".
</p>
***************
*** 4903,4911 ****
</tr>
<tr>
! <td>{uri}</td>
<td>The actual value of the <att>uri</att> &AII;.</td>
</tr>
<tr>
! <td>{required}</td>
<td>
The actual value of the <att>required</att> &AII;, if
--- 5014,5022 ----
</tr>
<tr>
! <td><prop comp="Feature">uri</prop></td>
<td>The actual value of the <att>uri</att> &AII;.</td>
</tr>
<tr>
! <td><prop comp="Feature">required</prop></td>
<td>
The actual value of the <att>required</att> &AII;, if
***************
*** 4914,4918 ****
</tr>
<tr>
! <td>{parent}</td>
<td>
The component corresponding to the
--- 5025,5029 ----
</tr>
<tr>
! <td><prop comp="Feature">parent</prop></td>
<td>
The component corresponding to the
Received on Saturday, 11 June 2005 00:56:26 UTC