- 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