- From: Arthur Ryman via cvs-syncmail <cvsmail@w3.org>
- Date: Sun, 12 Jun 2005 16:05:05 +0000
- To: public-ws-desc-eds@w3.org
Update of /sources/public/2002/ws/desc/wsdl20
In directory hutz:/tmp/cvs-serv2187/wsdl20
Modified Files:
wsdl20.xml
Log Message:
Tagged Property component.
Index: wsdl20.xml
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.xml,v
retrieving revision 1.283
retrieving revision 1.284
diff -C2 -d -r1.283 -r1.284
*** wsdl20.xml 11 Jun 2005 00:56:17 -0000 1.283
--- wsdl20.xml 12 Jun 2005 16:05:03 -0000 1.284
***************
*** 4591,4595 ****
</ulist>
- <z:notation name="Features">
<p>
Many of the component types in the component model contain a
--- 4591,4594 ----
***************
*** 4602,4605 ****
--- 4601,4605 ----
</p>
+ <z:notation name="Features">
<p>
Let <z:i>Features</z:i> denote these sets of <comp>Feature</comp> components:
***************
*** 4694,4698 ****
component: all features asserted within the
<comp>Interface Fault</comp>
! component and those within the [parent]
<comp>Interface</comp>
component.
--- 4694,4698 ----
component: all features asserted within the
<comp>Interface Fault</comp>
! component and those within the parent
<comp>Interface</comp>
component.
***************
*** 4705,4709 ****
component: all features asserted within the
<comp>Interface Operation</comp>
! component and those within the [parent]
<comp>Interface</comp>
component.
--- 4705,4709 ----
component: all features asserted within the
<comp>Interface Operation</comp>
! component and those within the parent
<comp>Interface</comp>
component.
***************
*** 4716,4722 ****
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.
--- 4716,4722 ----
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.
***************
*** 4729,4735 ****
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.
--- 4729,4735 ----
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.
***************
*** 4755,4759 ****
component: all features asserted within the
<comp>Binding Fault</comp>
! component, those within the [parent]
<comp>Binding</comp>
component, those within the corresponding
--- 4755,4759 ----
component: all features asserted within the
<comp>Binding Fault</comp>
! component, those within the parent
<comp>Binding</comp>
component, those within the corresponding
***************
*** 4772,4776 ****
component: all features asserted within the
<comp>Binding Operation</comp>
! component, those within the [parent]
<comp>Binding</comp>
component, those within the corresponding
--- 4772,4776 ----
component: all features asserted within the
<comp>Binding Operation</comp>
! component, those within the parent
<comp>Binding</comp>
component, those within the corresponding
***************
*** 4789,4795 ****
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
--- 4789,4795 ----
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
***************
*** 4808,4814 ****
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
--- 4808,4814 ----
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
***************
*** 5066,5080 ****
<item><p><propdef comp="Property">value constraint</propdef> OPTIONAL. A reference to a
! type definition in the {type definitions} property of
! <specref ref='Description_details' /> constraining the
! value of the property, or the token <emph>#value</emph> if
! the {value} property is not empty.</p></item>
! <item><p><propdef comp="Property">value</propdef> OPTIONAL. The value of the property, an
ordered list of child information items, as specified by
the [children] property of &EII;s in <bibref
ref="XMLInfoSet"/>.</p></item>
! <item><p><propdef comp="Property">parent</propdef> REQUIRED. The component that contains this component in its {properties} property.</p></item>
</ulist>
--- 5066,5081 ----
<item><p><propdef comp="Property">value constraint</propdef> OPTIONAL. A reference to a
! <comp>Type Definition</comp> component in the <prop comp="Description">type definitions</prop> property of
! the <comp>Description</comp> component constraining the
! value of the Property, or the token <emph>#value</emph> if
! the <prop comp="Property">value</prop> property is not empty.</p></item>
! <item><p><propdef comp="Property">value</propdef> OPTIONAL. The value of the Property, an
ordered list of child information items, as specified by
the [children] property of &EII;s in <bibref
ref="XMLInfoSet"/>.</p></item>
! <item><p><propdef comp="Property">parent</propdef> REQUIRED. The component that contains this component in its
! <prop comp="">properties</prop> property.</p></item>
</ulist>
***************
*** 5132,5136 ****
<ulist>
<item><p>The value is constrained to be an explicitly given value exactly when
! the value property is defined.</p></item>
</ulist>
</z:notation>
--- 5133,5137 ----
<ulist>
<item><p>The value is constrained to be an explicitly given value exactly when
! the <prop comp="Property">value</prop> property is defined.</p></item>
</ulist>
</z:notation>
***************
*** 5156,5160 ****
<ulist>
! <item><p>If the value constraint of a <comp>Property</comp> component is a type definition, then the <comp>Type Definition</comp> component is contained in the component model.</p></item>
<item><p>The parent of each <comp>Property</comp> component is contained in the component model.</p></item>
</ulist>
--- 5157,5162 ----
<ulist>
! <item><p>If the value constraint of a <comp>Property</comp> component is a type definition,
! then the <comp>Type Definition</comp> component is contained in the component model.</p></item>
<item><p>The parent of each <comp>Property</comp> component is contained in the component model.</p></item>
</ulist>
***************
*** 5163,5172 ****
<p>
! The {uri} property of a <comp>Property</comp> component MUST be unique
! within the {properties} 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>
--- 5165,5175 ----
<p>
! The <prop comp="Property">uri</prop> property of a <comp>Property</comp> component MUST be unique
! within the <prop comp="">properties</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, or <comp>Endpoint</comp> component.
</p>
***************
*** 5192,5196 ****
No two <comp>Property</comp> components contained by
the same component have the same
! {uri} property.
</p>
</item>
--- 5195,5199 ----
No two <comp>Property</comp> components contained by
the same component have the same
! <prop comp="Property">uri</prop> property.
</p>
</item>
***************
*** 5200,5204 ****
<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 Property Component (along
with extensibility attributes to its XML representation) to
allow using such a type system to describe values and constraints
--- 5203,5207 ----
<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>Property</comp> component (along
with extensibility attributes to its XML representation) to
allow using such a type system to describe values and constraints
***************
*** 5250,5263 ****
</ulist>
- <z:notation name="Properties">
<p>
! Many of the component types in the component model contain a {properties} property, which is
a set of <comp>Property</comp> components.
We refer to these as the <emph>declared properties</emph> of the component.
! Furthermore, the {properties} property is itself a subset of <comp>Property</comp> components that are required
or available for the given component as determined by the Property Composition Model.
We refer to these as the <emph>in-scope properties</emph> of the component.
</p>
<p>
Let <z:i>Properties</z:i> denote these sets of <comp>Property</comp> components:
--- 5253,5266 ----
</ulist>
<p>
! Many of the component types in the component model contain a <propdef comp="">properties</propdef> property, which is
a set of <comp>Property</comp> components.
We refer to these as the <emph>declared properties</emph> of the component.
! Furthermore, the <prop comp="">properties</prop> property is itself a subset of <comp>Property</comp> components that are required
or available for the given component as determined by the Property Composition Model.
We refer to these as the <emph>in-scope properties</emph> of the component.
</p>
+ <z:notation name="Properties">
<p>
Let <z:i>Properties</z:i> denote these sets of <comp>Property</comp> components:
***************
*** 5289,5293 ****
<p>
Let <z:i>PropertiesValid</z:i> express these validity constraints on the
! {properties} property of a component:
</p>
--- 5292,5296 ----
<p>
Let <z:i>PropertiesValid</z:i> express these validity constraints on the
! <prop comp="">properties</prop> property of a component:
</p>
***************
*** 5325,5399 ****
applicable at each component are as follows:
</p>
! <ulist>
! <item><p><comp>Interface</comp> component: all properties asserted
! within the interface component.</p></item>
! <item><p><comp>Interface Fault</comp> component: all properties
! asserted within the interface fault component and
! those within the [parent] interface component.</p></item>
! <item><p><comp>Interface Operation</comp> component: all properties
! asserted within the interface operation component and
! those within the [parent] interface component.</p></item>
! <item><p><comp>Interface Message Reference</comp> component: all properties
! asserted within the message 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 properties 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 properties 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 properties 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 properties
! asserted within the binding message reference
! component, those within the [parent] binding operation
! component, those within its [parent] binding component,
! those within the corresponding interface 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 properties
! 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>Note that, in the text above, “property constraint”
(or, simply, “constraint”) is used to mean EITHER a
<el>constraint</el> inside a <comp>Property</comp> component OR a
--- 5328,5475 ----
applicable at each component are as follows:
</p>
+
+ <ednote>
+ <name>AGR</name>
+ <date>20050612</date>
+ <edtext>
+ I think these definitions are incomplete. The
+ applicable properties for an Interface should
+ include those of any extended Interface components.
+ Also, Service and Endpoint are nor described.
+ </edtext>
+ </ednote>
! <ulist>
! <item>
! <p>
! <comp>Interface</comp>
! component: all properties asserted within the
! <comp>Interface</comp>
! component.
! </p>
! </item>
! <item>
! <p>
! <comp>Interface Fault</comp>
! component: all properties 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 properties 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 properties 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>Binding</comp>
! component: all properties 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 properties 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 properties 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 properties asserted within the
! <comp>Binding Message 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 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 properties 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>Note that, in the text above, “property constraint”
(or, simply, “constraint”) is used to mean EITHER a
<el>constraint</el> inside a <comp>Property</comp> component OR a
***************
*** 5402,5413 ****
<p>
! If a given property is asserted at multiple locations,
! then the value of that property at a particular component
is determined by the conjunction of all the constraints of its in-scope <comp>Property</comp> components.
! A property constraint asserts that, for a given interaction,
! the value of a property is either a specified value
or belongs to a specified set of values.
! A specified value may be regarded as a singleton set, so in both cases a property
! constraint corresponds to an assertion that the property value belongs to some set.
The conjunction of all the constraints associated with the in-scope properties
is an assertion that the property value belongs to each of the associated sets, or
--- 5478,5489 ----
<p>
! If a given Property is asserted at multiple locations,
! then the value of that Property at a particular component
is determined by the conjunction of all the constraints of its in-scope <comp>Property</comp> components.
! A Property constraint asserts that, for a given interaction,
! the value of a Property is either a specified value
or belongs to a specified set of values.
! A specified value may be regarded as a singleton set, so in both cases a Property
! constraint corresponds to an assertion that the Property value belongs to some set.
The conjunction of all the constraints associated with the in-scope properties
is an assertion that the property value belongs to each of the associated sets, or
***************
*** 5601,5612 ****
</tr>
<tr>
! <td>{uri}</td>
<td>The actual value of the <att>uri</att> &AII;.</td>
</tr>
<tr>
! <td>{value constraint}</td> <td>If the
! <el>constraint</el> &EII; is present, the type
! definition from the {type definitions} property of
! <specref ref='Description_details' /> resolved to
by the value of the <el>constraint</el> &EII; (see <specref ref="qnameres"/>);
otherwise, if the <el>value</el> &EII; is present,
--- 5677,5689 ----
</tr>
<tr>
! <td><propdef comp="Property">uri</propdef></td>
<td>The actual value of the <att>uri</att> &AII;.</td>
</tr>
<tr>
! <td><propdef comp="Property">value constraint</propdef></td> <td>If the
! <el>constraint</el> &EII; is present, the
! <comp>Type Definition</comp> component from the
! <prop comp="Description">type definitions property of
! the <comp>Description</comp> component resolved to
by the value of the <el>constraint</el> &EII; (see <specref ref="qnameres"/>);
otherwise, if the <el>value</el> &EII; is present,
***************
*** 5615,5619 ****
</tr>
<tr>
! <td>{value}</td>
<td>The value of the [children] property of
the <el>value</el> &EII;, if that element is present,
--- 5692,5696 ----
</tr>
<tr>
! <td><propdef comp="Property">value</propdef></td>
<td>The value of the [children] property of
the <el>value</el> &EII;, if that element is present,
***************
*** 5621,5625 ****
</tr>
<tr>
! <td>{parent}</td>
<td>
The component corresponding to the
--- 5698,5702 ----
</tr>
<tr>
! <td><propdef comp="Property">parent</propdef></td>
<td>
The component corresponding to the
Received on Sunday, 12 June 2005 16:05:09 UTC