- 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