- From: Arthur Ryman <aryman@dev.w3.org>
- Date: Wed, 10 Nov 2004 01:59:36 +0000
- To: public-ws-desc-eds@w3.org
Update of /sources/public/2002/ws/desc/wsdl20
In directory hutz:/tmp/cvs-serv1099
Modified Files:
wsdl20.html wsdl20.xml
Log Message:
Simplified Z Notation.
Index: wsdl20.html
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.html,v
retrieving revision 1.122
retrieving revision 1.123
diff -C2 -d -r1.122 -r1.123
*** wsdl20.html 9 Nov 2004 17:47:45 -0000 1.122
--- wsdl20.html 10 Nov 2004 01:59:34 -0000 1.123
***************
*** 323,336 ****
</p>
! <a xmlns:z="http://www.w3.org/2004/zml" name="PropertyCollection"></a>
<p>
! Let <span xmlns:z="http://www.w3.org/2004/zml" class="zi">PropertyCollection</span> be the set of all component property collections:
</p>
! <table xmlns:z="http://www.w3.org/2004/zml" class="zzed"><col class="zzed1"><tbody><tr><td><span class="zi">PropertyCollection</span> <span class="zinfix">::=</span></td></tr><tr><td> <span class="zi">description</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">Description</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">elementDecl</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">ElementDeclaration</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">typeDef</span><span class="symbol"><san style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">TypeDefinition</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">interface</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">Interface</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">interfaceFault</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">InterfaceFault</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td>  <span class="zi">interfaceOp</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">InterfaceOperation</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">messageRef</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">MessageReference</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">faultRef</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">FaultReference</span><span class="symbol"><span style="position: relative; left=.2em">ntilde;</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">feature</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">Feature</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">property</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">Property</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">binding</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">Binding</span><spn class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">bindingFault</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">BindingFault</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">bindingOp</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">BindingOperation</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">bindingMessageRef</span><span class="symbol"><span style="position: relativ; left=.2em">á</span><span>á</span></span><span class="zi">BindingMessageReference</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">service</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">Service</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">endpoint</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">Endpoint</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span></td></tr></tbody></table>
<div xmlns:z="http://www.w3.org/2004/zml" class="zsee"><span class="zsmall">See<span class="zi"> <a href="#Description">Description</a>, <a href="#ElementDeclaration">ElementDeclaration</a>, <a href="#TypeDefinition">TypeDefinition</a>, <a href="#Interface">Interface</a>, <a href="#InterfaceFault">InterfaceFault</a>, <a href="#InterfaceOperation">InterfaceOperation</a>, <a href="#MessageReference">MessageReference</a>, <a href="#FaultReference">FaultReference</a>, <a href="#Feature">Feature</a>, <a href="#Property">Property</a>, <a href="#Binding">Binding</a>, <a href="#BindingFault">BindingFault</a>, <a href="#BindingOperation">BindingOperation</a>, <a href="#BindingMessageReference">BindingMessageReference</a>, <a href="#Service">Service</a>, <a href="#Endpoint">Endpoint</a>.</span></span></div>
!
--- 323,336 ----
</p>
! <a xmlns:z="http://www.w3.org/2004/zml" name="Component"></a>
<p>
! Let <span xmlns:z="http://www.w3.org/2004/zml" class="zi">Component</span> be the set of all components:
</p>
! <table xmlns:z="http://www.w3.org/2004/zml" class="zzed"><col class="zzed1"><tbody><tr><td><span class="zi">Component</span> <span class="zinfix">::=</span></td></tr><tr><td> <span class="zi">description</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">Description</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">elementDecl</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">ElementDeclaration</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">typeDef</span><span class="symbol"><span style"position: relative; left=.2em">á</span><span>á</span></span><span class="zi">TypeDefinition</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">interface</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">Interface</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">interfaceFault</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">InterfaceFault</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> &nsp; <span class="zi">interfaceOp</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">InterfaceOperation</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">messageRef</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">MessageReference</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">faultRef</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">FaultReference</span><span class="symbol"><span style="position: relative; left=.2em">ñ<span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">feature</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">Feature</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">property</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">Property</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">binding</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">Binding</span><span class=symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">bindingFault</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">BindingFault</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">bindingOp</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">BindingOperation</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">bindingMessageRef</span><span class="symbol"><span style="position: relative; left=.em">á</span><span>á</span></span><span class="zi">BindingMessageReference</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">service</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">Service</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">endpoint</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">Endpoint</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span></td></tr></tbody></table>
<div xmlns:z="http://www.w3.org/2004/zml" class="zsee"><span class="zsmall">See<span class="zi"> <a href="#Description">Description</a>, <a href="#ElementDeclaration">ElementDeclaration</a>, <a href="#TypeDefinition">TypeDefinition</a>, <a href="#Interface">Interface</a>, <a href="#InterfaceFault">InterfaceFault</a>, <a href="#InterfaceOperation">InterfaceOperation</a>, <a href="#MessageReference">MessageReference</a>, <a href="#FaultReference">FaultReference</a>, <a href="#Feature">Feature</a>, <a href="#Property">Property</a>, <a href="#Binding">Binding</a>, <a href="#BindingFault">BindingFault</a>, <a href="#BindingOperation">BindingOperation</a>, <a href="#BindingMessageReference">BindingMessageReference</a>, <a href="#Service">Service</a>, <a href="#Endpoint">Endpoint</a>.</span></span></div>
!
***************
*** 352,356 ****
! <a xmlns:z="http://www.w3.org/2004/zml" name="Component"></a>
--- 352,356 ----
! <a xmlns:z="http://www.w3.org/2004/zml" name="ComponentId"></a>
***************
*** 358,372 ****
! Let <span xmlns:z="http://www.w3.org/2004/zml" class="zi">Component</span> denote the set of components:
Let <span xmlns:z="http://www.w3.org/2004/zml" class="zi">id</span> be the identifier of the component.
- Let <span xmlns:z="http://www.w3.org/2004/zml" class="zi">props</span> be the collection of properties.
! <table xmlns:z="http://www.w3.org/2004/zml" class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">Component</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">id</span> <span class="zinfix">:</span> <span class="zi">ID</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">props</span> <span class="zinfix">:</span> <span class="zi">PropertyCollection</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
! <div xmlns:z="http://www.w3.org/2004/zml" class="zsee"><span class="zsmall">See<span class="zi"> <a href="#ID">ID</a>, <a href="#PropertyCollection">PropertyCollection</a>.</span></span></div>
--- 358,377 ----
!
! Let <span xmlns:z="http://www.w3.org/2004/zml" class="zi">Identifier</span> denote the set of component identifiers:
!
Let <span xmlns:z="http://www.w3.org/2004/zml" class="zi">id</span> be the identifier of the component.
! <table xmlns:z="http://www.w3.org/2004/zml" class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">Identifier</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">id</span> <span class="zinfix">:</span> <span class="zi">ID</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
! <div xmlns:z="http://www.w3.org/2004/zml" class="zsee"><span class="zsmall">See<span class="zi"> <a href="#ID">ID</a>.</span></span></div>
!
! <table xmlns:z="http://www.w3.org/2004/zml" class="zaxdef"><col class="zaxdef1"><col class="zaxdef2"><tbody><tr><td class="zaxdefabovewheretext" colspan="2"><span class="zi">Id</span> <span class="zinfix">:</span> <span class="zi">Component</span><span class="zinfix"><span class="mathc">t</span></span><span class="zi">ID</span></td></tr><tr><td class="bl"></td><td></td></tr><tr><td class="zaxdefbelowwheretext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Description</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">Id</span>(<span class="zi">description</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">ElementDeclaration</span <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">Id</span>(<span class="zi">elementDecl</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">TypeDefinition</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">Id</span>(<span class="zi">typeDef</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Interface</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">Id</span>(<span class="zi">interface</span>(<span class="zi">x</span)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">InterfaceFault</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">Id</span>(<span class="zi">interfaceFault</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">InterfaceOperation</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">Id</span>(<span class="zi">interfaceOp</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span></td></tr><tr><td class="zaxdeftext" colspan="2"><pan class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">MessageReference</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">Id</span>(<span class="zi">messageRef</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">FaultReference</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">Id</span>(<span class="zi">faultRef</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Feature</span> span class="zinfix"><span class="symbol">·</span></span> <span class="zi">Id</span>(<span class="zi">feature</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Property</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">Id</span>(<span class="zi">property</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Binding</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">Id</span>(<span class="zi">binding</span>(<span class="zi">x</span>)) <span class"zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingFault</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">Id</span>(<span class="zi">bindingFault</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingOperation</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">Id</span>(<span class="zi">bindingOp</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><san class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingMessageReference</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">Id</span>(<span class="zi">bindingMessageRef</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Service</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">Id</span>(<span class="zi">service</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Endpoint</span> <span class="zinix"><span class="symbol">·</span></span> <span class="zi">Id</span>(<span class="zi">endpoint</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span></td></tr></tbody></table>
+ <div xmlns:z="http://www.w3.org/2004/zml" class="zsee"><span class="zsmall">See<span class="zi"> <a href="#Component">Component</a>, <a href="#ID">ID</a>, <a href="#Description">Description</a>, <a href="#ElementDeclaration">ElementDeclaration</a>, <a href="#TypeDefinition">TypeDefinition</a>, <a href="#Interface">Interface</a>, <a href="#InterfaceFault">InterfaceFault</a>, <a href="#InterfaceOperation">InterfaceOperation</a>, <a href="#MessageReference">MessageReference</a>, <a href="#FaultReference">FaultReference</a>, <a href="#Feature">Feature</a>, <a href="#Property">Property</a>, <a href="#Binding">Binding</a>, <a href="#BindingFault">BindingFault</a>, <a href="#BindingOperation">BindingOperation</a>, <a href="#BindingMessageReference">BindingMessageReference</a>, <a href="#Service">Service</a>, <a href="#Endpoint">Endpoint</a>.</span></span></div>
+
***************
*** 382,388 ****
</ul>
! <table xmlns:z="http://www.w3.org/2004/zml" class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">ComponentModel</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">components</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">Component</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span><span class="zprefix">,</span> <span class="zi">y</span> <span class="zinfix">:</span> <span class="zi">components</span> <span class="zinfix"><span class="symbol">·</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <san class="zi">x</span>.<span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">y</span>.<span class="zi">id</span><span class="zinfix"><span class="mathc">u</span></span><span class="zi">x</span> <span class="zinfix">=</span> <span class="zi">y</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
! <div xmlns:z="http://www.w3.org/2004/zml" class="zsee"><span class="zsmall">See<span class="zi"> <a href="#Component">Component</a>.</span></span></div>
<ul>
--- 387,393 ----
</ul>
! <table xmlns:z="http://www.w3.org/2004/zml" class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">ComponentModel</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">components</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">Component</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span><span class="zprefix">,</span> <span class="zi">y</span> <span class="zinfix">:</span> <span class="zi">components</span> <span class="zinfix"><span class="symbol">·</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <san class="zi">Id</span>(<span class="zi">x</span>) <span class="zinfix">=</span> <span class="zi">Id</span>(<span class="zi">y</span>)<span class="zinfix"><span class="mathc">u</span></span><span class="zi">x</span> <span class="zinfix">=</span> <span class="zi">y</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
! <div xmlns:z="http://www.w3.org/2004/zml" class="zsee"><span class="zsmall">See<span class="zi"> <a href="#Component">Component</a>, <a href="#Id">Id</a>.</span></span></div>
<ul>
***************
*** 390,397 ****
</ul>
! <p>
The component model has additional constraints which are described in the following sections.
</p>
--- 395,417 ----
</ul>
!
!
! <a xmlns:z="http://www.w3.org/2004/zml" name="Components"></a>
!
! <table xmlns:z="http://www.w3.org/2004/zml" class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">Components</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">descriptionComps</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">Description</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">elementDeclComps</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ElementDeclaration</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">typeDefComps</span> <span class="zinfix">:</pan><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">TypeDefinition</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">interfaceComps</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">Interface</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">interfaceFaultComps</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">InterfaceFault</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">interfaceOpComps</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">InterfaceOperation</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">messageRefComps</span> <span class="zinfix">:</span<span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">MessageReference</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">faultRefComps</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">FaultReference</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">featureComps</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">Feature</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">propertyComps</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">Property</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">bindingComps</span> <span class="zinfix">:</span><span class="zprefix"><spanclass="doublestruck">F</span></span><span class="zi">Binding</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">bindingFaultComps</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">BindingFault</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">bindingOpComps</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">BindingOperation</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">bindingMessageRefComps</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">BindingMessageReference</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">serviceComps</span> <span class="zinfix">:</span><span class="zprefix"><spanclass="doublestruck">F</span></span><span class="zi">Service</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">endpointComps</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">Endpoint</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">descriptionComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Description</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">description</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">Î</span></span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematet" colspan="3"><span class="zschematext"><span class="zi">elementDeclComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">ElementDeclaration</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">elementDecl</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">Î</span></span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">typeDefComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">TypeDefinition</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">typeDef</span>(<spa class="zi">x</span>)<span class="zinfix"><span class="symbol">Î</span></span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">interfaceComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Interface</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">interface</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">Î</span></span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">interfaceFaultComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">IntrfaceFault</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">interfaceFault</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">Î</span></span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">interfaceOpComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">InterfaceOperation</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">interfaceOp</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">Î</span></span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td><tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">messageRefComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">MessageReference</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">messageRef</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">Î</span></span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">faultRefComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">FaultReference</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class"zi">faultRef</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">Î</span></span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">featureComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Feature</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">feature</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">Î</span></span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">propertyComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span lass="zi">Property</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">property</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">Î</span></span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">bindingComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Binding</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">binding</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">Î</span></span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class"zschematext" colspan="3"><span class="zschematext"><span class="zi">bindingFaultComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingFault</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">bindingFault</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">Î</span></span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">bindingOpComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingOperation</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">bindingO</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">Î</span></span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">bindingMessageRefComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingMessageReference</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">bindingMessageRef</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">Î</span></span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">serviceComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="znfix">:</span> <span class="zi">Service</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">service</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">Î</span></span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">endpointComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Endpoint</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">endpoint</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">Î</span></span><span class="zi">components</span> }</span></td></tr><tr><td class="bl"></td><td class="b></td><td></td></tr></tbody></table>
!
! <p>
The component model has additional constraints which are described in the following sections.
+ These additonal constraints often refer to the sets of ids that are associated which each type of component.
+ It is therefore convenient to define these sets.
</p>
+ <p>
+ Let <span xmlns:z="http://www.w3.org/2004/zml" class="zi">ComponentIds</span> be the component model augmented with the sets of ids associated
+ with each type of component:
+ </p>
+
+ <table xmlns:z="http://www.w3.org/2004/zml" class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">ComponentIds</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">Components</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">descriptions</span><span class="zprefix">,</span> <span class="zi">elementDecls</span><span class="zprefix">,</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">typeDefs</span><span class="zprefix">,</span> <span class="zi">interfaces</span><span class="zprefix">,</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">interfaceFaults</span><span class="zprefix">,</span> <span class="zi">interfaceOps</span><span class="zprefix">,</span></span></td>/tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">messageRefs</span><span class="zprefix">,</span> <span class="zi">faultRefs</span><span class="zprefix">,</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">features</span><span class="zprefix">,</span> <span class="zi">properties</span><span class="zprefix">,</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">bindings</span><span class="zprefix">,</span> <span class="zi">bindingFaults</span><span class="zprefix">,</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">bindingOps</span><span class="zprefix">,</span> <span class="zi">bindingMessageRefs</span><span class="zprefix">,</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">services</span><span class="zprefix">,</span> <span class="zi">endpoints</spn> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">descriptions</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">descriptionComps</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">elementDecls</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">elementDeclComps</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="z">typeDefs</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">typeDefComps</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">interfaces</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">interfaceComps</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">interfaceFaults</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">interfaceFaultComps</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">x</span>.<span class="zi">id</span }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">interfaceOps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">interfaceOpComps</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">messageRefs</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">messageRefComps</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">faultRefs</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">faultRefComps</span> <span class="infix"><span class="symbol">·</span></span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">features</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">featureComps</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">properties</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">propertyComps</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">bindings</span> <span class="zinfix">=</span> { <span class="zi"x</span> <span class="zinfix">:</span> <span class="zi">bindingComps</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">bindingFaults</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">bindingFaultComps</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">bindingOps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">bindingOpComps</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class"zschematext"><span class="zi">bindingMessageRefs</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">bindingMessageRefComps</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">services</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">serviceComps</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">endpoints</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">endpointComps</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="z">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
+
***************
*** 531,535 ****
</ul>
! <table xmlns:z="http://www.w3.org/2004/zml" class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">ElementDeclaration</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">name</span> <span class="zinfix">:</span> <span class="zi">QName</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">elementContentModel</span> <span class="zinfix">:</span> <span class="zi">ElementContentModel</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
<div xmlns:z="http://www.w3.org/2004/zml" class="zsee"><span class="zsmall">See<span class="zi"> <a href="#QName">QName</a>, <a href="#ElementContentModel">ElementContentModel</a>.</span></span></div>
--- 551,555 ----
</ul>
! <table xmlns:z="http://www.w3.org/2004/zml" class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">ElementDeclaration</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">Identifier</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">name</span> <span class="zinfix">:</span> <span class="zi">QName</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">elementContentModel</span> <span class="zinfix">:</span> <span class="zi">ElementContentModel</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
<div xmlns:z="http://www.w3.org/2004/zml" class="zsee"><span class="zsmall">See<span class="zi"> <a href="#QName">QName</a>, <a href="#ElementContentModel">ElementContentModel</a>.</span></span></div>
***************
*** 548,552 ****
</ul>
! <table xmlns:z="http://www.w3.org/2004/zml" class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">TypeDefinition</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">name</span> <span class="zinfix">:</span> <span class="zi">QName</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">elementContentModel</span> <span class="zinfix">:</span> <span class="zi">ElementContentModel</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
<div xmlns:z="http://www.w3.org/2004/zml" class="zsee"><span class="zsmall">See<span class="zi"> <a href="#QName">QName</a>, <a href="#ElementContentModel">ElementContentModel</a>.</span></span></div>
--- 568,572 ----
</ul>
! <table xmlns:z="http://www.w3.org/2004/zml" class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">TypeDefinition</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">Identifier</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">name</span> <span class="zinfix">:</span> <span class="zi">QName</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">elementContentModel</span> <span class="zinfix">:</span> <span class="zi">ElementContentModel</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
<div xmlns:z="http://www.w3.org/2004/zml" class="zsee"><span class="zsmall">See<span class="zi"> <a href="#QName">QName</a>, <a href="#ElementContentModel">ElementContentModel</a>.</span></span></div>
***************
*** 579,583 ****
</p>
! <table xmlns:z="http://www.w3.org/2004/zml" class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">Description</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">interfaces</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">bindings</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">services</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="schematext"><span class="zi">elementDeclarations</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">typeDefinitions</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
<div xmlns:z="http://www.w3.org/2004/zml" class="zsee"><span class="zsmall">See<span class="zi"> <a href="#ID">ID</a>.</span></span></div>
--- 599,603 ----
</p>
! <table xmlns:z="http://www.w3.org/2004/zml" class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">Description</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">Identifier</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">interfaces</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">bindings</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">services</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestuck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">elementDeclarations</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">typeDefinitions</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
<div xmlns:z="http://www.w3.org/2004/zml" class="zsee"><span class="zsmall">See<span class="zi"> <a href="#ID">ID</a>.</span></span></div>
***************
*** 592,610 ****
</p>
<p>
! Let <span xmlns:z="http://www.w3.org/2004/zml" class="zi">DescriptionIds</span> express these referential integrity constraint
on the Description component:
</p>
! <table xmlns:z="http://www.w3.org/2004/zml" class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">DescriptionIds</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">descriptionComponent</span> <span class="zinfix">:</span> <span class="zi">Component</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">descriptionProps</span> <span class="zinfix">:</span> <span class="zi">Description</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">description</span>(<span class="zi">descriptionProps</span>) <span class="zinfix">=</span> <span class="zi">descriptioComponent</span>.<span class="zi">props</span></span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">components</span> <span class="zinfix"><span class="symbol">·</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">props</span><span class="zinfix"><span class="symbol">Î</span></span><span class="zprefix"><span class="zs">ran</span></span><span class="zi">description</span><span class="zinfix"><span class="mathc">u</span></span><span class="zi">x</span> <span class="zinfix">=</span> <span class="zi">descriptionComponent</span></span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zpreix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">descriptionProps</span>.<span class="zi">interfaces</span> <span class="zinfix"><span class="symbol">·</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zprefix"><span class="symbol">$</span></span><span class="zi">y</span> <span class="zinfix">:</span> <span class="zi">components</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">y</span>.<span class="zi">props</span><span class="zinfix"><span class="symbol">Î</span></span><span class="zprefix"><span class="zs">ran</span></span><span class="zi">interface</span></span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span><span class="zi">descriptionProps</span>.<span class="zi">bindings</span> <span class="zinfix"><span class="symbol">·</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zprefix"><span class="symbol">$</span></span><span class="zi">y</span> <span class="zinfix">:</span> <span class="zi">components</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">y</span>.<span class="zi">props</span><span class="zinfix"><span class="symbol">Î</span></span><span class="zprefix"><span class="zs">ran</span></span><span class="zi">binding</span></span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">descriptionProps</span>.<span class="zi">services</span> <span class="zinfix"><spa class="symbol">·</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zprefix"><span class="symbol">$</span></span><span class="zi">y</span> <span class="zinfix">:</span> <span class="zi">components</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">y</span>.<span class="zi">props</span><span class="zinfix"><span class="symbol">Î</span></span><span class="zprefix"><span class="zs">ran</span></span><span class="zi">service</span></span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">descriptionProps</span>.<span class="zi">elementDeclarations</span> <span class="zinfix"><span class="symbol">·</span></span></span></td></tr><tr><td class="zschemalasttext" clspan="3"><span class="zschematext"> <span class="zprefix"><span class="symbol">$</span></span><span class="zi">y</span> <span class="zinfix">:</span> <span class="zi">components</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">y</span>.<span class="zi">props</span><span class="zinfix"><span class="symbol">Î</span></span><span class="zprefix"><span class="zs">ran</span></span><span class="zi">elementDecl</span></span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">descriptionProps</span>.<span class="zi">typeDefinitions</span> <span class="zinfix"><span class="symbol">·</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zprfix"><span class="symbol">$</span></span><span class="zi">y</span> <span class="zinfix">:</span> <span class="zi">components</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">y</span>.<span class="zi">props</span><span class="zinfix"><span class="symbol">Î</span></span><span class="zprefix"><span class="zs">ran</span></span><span class="zi">typeDef</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
! <div xmlns:z="http://www.w3.org/2004/zml" class="zsee"><span class="zsmall">See<span class="zi"> <a href="#ComponentModel">ComponentModel</a>, <a href="#Component">Component</a>, <a href="#Description">Description</a>.</span></span></div>
<ul>
<li><p>The component model contains a unique Description component.</p></li>
! <li><p>Each Interface component contained in the Description component exists in the component model.</p></li>
! <li><p>Each Binding component contained in the Description component exists in the component model.</p></li>
! <li><p>Each Service component contained in the Description component exists in the component model.</p></li>
! <li><p>Each Element Declaration component contained in the Description component exists in the component model.</p></li>
! <li><p>Each Type Definition component contained in the Description component exists in the component model.</p></li>
</ul>
--- 612,634 ----
</p>
<p>
! Let <span xmlns:z="http://www.w3.org/2004/zml" class="zi">DescriptionIds</span> express these referential integrity constraints
on the Description component:
</p>
+ <ul>
+ <li><p>Let <span xmlns:z="http://www.w3.org/2004/zml" class="zi">descriptionComp</span> be the Description component.</p></li>
+ <li><p>Let <span xmlns:z="http://www.w3.org/2004/zml" class="zi">descriptionProps</span> be the properties of the Description component.</p></li>
+ </ul>
! <table xmlns:z="http://www.w3.org/2004/zml" class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">DescriptionIds</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">ComponentIds</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">descriptionComp</span> <span class="zinfix">:</span> <span class="zi">Description</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">descriptionComps</span> <span class="zinfix">=</span> {<span class="zi">descriptionComp</span>}</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">descriptionComp</span>.<span class="zi">interfaces</span> <span class="infix">=</span> <span class="zi">interfaces</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">descriptionComp</span>.<span class="zi">bindings</span> <span class="zinfix">=</span> <span class="zi">bindings</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">descriptionComp</span>.<span class="zi">services</span> <span class="zinfix">=</span> <span class="zi">services</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">descriptionComp</span>.<span class="zi">elementDeclarations</span> <span class="zinfix">=</span> <span class="zi">elementDecls</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">descriptionComp</span>.<span class="zi">typeDefinitions</span> <span class="zinfix">=</span> <span class="zi">typeDefs</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr>/tbody></table>
! <div xmlns:z="http://www.w3.org/2004/zml" class="zsee"><span class="zsmall">See<span class="zi"> <a href="#ComponentIds">ComponentIds</a>, <a href="#Description">Description</a>.</span></span></div>
<ul>
<li><p>The component model contains a unique Description component.</p></li>
! <li><p>The Description component contains exactly the set of Interface components contained in the component model.</p></li>
! <li><p>The Description component contains exactly the set of Binding components contained in the component model.</p></li>
! <li><p>The Description component contains exactly the set of Service components contained in the component model.</p></li>
! <li><p>The Description component contains exactly the set of Element Declaration components contained in the component model.</p></li>
! <li><p>The Description component contains exactly the set of Type Definition components contained in the component model.</p></li>
</ul>
***************
*** 658,664 ****
</p>
! <table xmlns:z="http://www.w3.org/2004/zml" class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">DescriptionQNames</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span><span class="zprefix">,</span> <span class="zi">y</span> <span class="zinfix">:</span> <span class="zi">components</span>; <span class="zi">p</span><span class="zprefix">,</span> <span class="zi">q</span> <span class="zinfix">:</span> <span class="zi">Interface</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi"x</span>.<span class="zi">props</span> <span class="zinfix">=</span> <span class="zi">interface</span>(<span class="zi">p</span>)<span class="zinfix"><span class="mathb">.</span></span><span class="zi">y</span>.<span class="zi">props</span> <span class="zinfix">=</span> <span class="zi">interface</span>(<span class="zi">q</span>) <span class="zinfix"><span class="symbol">·</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">p</span>.<span class="zi">name</span> <span class="zinfix">=</span> <span class="zi">q</span>.<span class="zi">name</span><span class="zinfix"><span class="mathc">u</span></span><span class="zi">x</span> <span class="zinfix">=</span> <span class="zi">y</span></span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span><span class="zpefix">,</span> <span class="zi">y</span> <span class="zinfix">:</span> <span class="zi">components</span>; <span class="zi">p</span><span class="zprefix">,</span> <span class="zi">q</span> <span class="zinfix">:</span> <span class="zi">Binding</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">props</span> <span class="zinfix">=</span> <span class="zi">binding</span>(<span class="zi">p</span>)<span class="zinfix"><span class="mathb">.</span></span><span class="zi">y</span>.<span class="zi">props</span> <span class="zinfix">=</span> <span class="zi">binding</span>(<span class="zi">q</span>) <span class="zinfix"><span class="symbol">·</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">p</span>.<span class="zi">name</span> <span class="zinfix">=</span> <span lass="zi">q</span>.<span class="zi">name</span><span class="zinfix"><span class="mathc">u</span></span><span class="zi">x</span> <span class="zinfix">=</span> <span class="zi">y</span></span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span><span class="zprefix">,</span> <span class="zi">y</span> <span class="zinfix">:</span> <span class="zi">components</span>; <span class="zi">p</span><span class="zprefix">,</span> <span class="zi">q</span> <span class="zinfix">:</span> <span class="zi">Service</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">props</span> <span class="zinfix">=</span> <span class="zi">service</span>(<span class="zi">p</span>)<span class="zinfix"><span class="mathb">.</span></span><span class"zi">y</span>.<span class="zi">props</span> <span class="zinfix">=</span> <span class="zi">service</span>(<span class="zi">q</span>) <span class="zinfix"><span class="symbol">·</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">p</span>.<span class="zi">name</span> <span class="zinfix">=</span> <span class="zi">q</span>.<span class="zi">name</span><span class="zinfix"><span class="mathc">u</span></span><span class="zi">x</span> <span class="zinfix">=</span> <span class="zi">y</span></span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span><span class="zprefix">,</span> <span class="zi">y</span> <span class="zinfix">:</span> <span class="zi">components</span>; <span class="zi">p</span><span class="zprefix">,</span> <span class="zi">q</span> <span clas="zinfix">:</span> <span class="zi">ElementDeclaration</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">props</span> <span class="zinfix">=</span> <span class="zi">elementDecl</span>(<span class="zi">p</span>)<span class="zinfix"><span class="mathb">.</span></span><span class="zi">y</span>.<span class="zi">props</span> <span class="zinfix">=</span> <span class="zi">elementDecl</span>(<span class="zi">q</span>) <span class="zinfix"><span class="symbol">·</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">p</span>.<span class="zi">name</span> <span class="zinfix">=</span> <span class="zi">q</span>.<span class="zi">name</span><span class="zinfix"><span class="mathc">u</span></span><span class="zi">x</span> <span class="zinfix">=</span> <span class="zi">y</pan></span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span><span class="zprefix">,</span> <span class="zi">y</span> <span class="zinfix">:</span> <span class="zi">components</span>; <span class="zi">p</span><span class="zprefix">,</span> <span class="zi">q</span> <span class="zinfix">:</span> <span class="zi">TypeDefinition</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">props</span> <span class="zinfix">=</span> <span class="zi">typeDef</span>(<span class="zi">p</span>)<span class="zinfix"><span class="mathb">.</span></span><span class="zi">y</span>.<span class="zi">props</span> <span class="zinfix">=</span> <span class="zi">typeDef</span>(<span class="zi">q</span>) <span class="zinfix"><span class="symbo">·</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">p</span>.<span class="zi">name</span> <span class="zinfix">=</span> <span class="zi">q</span>.<span class="zi">name</span><span class="zinfix"><span class="mathc">u</span></span><span class="zi">x</span> <span class="zinfix">=</span> <span class="zi">y</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
! <div xmlns:z="http://www.w3.org/2004/zml" class="zsee"><span class="zsmall">See<span class="zi"> <a href="#ComponentModel">ComponentModel</a>, <a href="#Interface">Interface</a>, <a href="#Binding">Binding</a>, <a href="#Service">Service</a>, <a href="#ElementDeclaration">ElementDeclaration</a>, <a href="#TypeDefinition">TypeDefinition</a>.</span></span></div>
<ul>
--- 682,688 ----
</p>
! <table xmlns:z="http://www.w3.org/2004/zml" class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">DescriptionQNames</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">Components</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span><span class="zprefix">,</span> <span class="zi">y</span> <span class="zinfix">:</span> <span class="zi">interfaceComps</span> <span class="zinfix"><span class="symbol">·</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">name</span> <span class="zinfix">=</span> <span class="zi">y</span>.<span class="i">name</span><span class="zinfix"><span class="mathc">u</span></span><span class="zi">x</span> <span class="zinfix">=</span> <span class="zi">y</span></span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span><span class="zprefix">,</span> <span class="zi">y</span> <span class="zinfix">:</span> <span class="zi">bindingComps</span> <span class="zinfix"><span class="symbol">·</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">name</span> <span class="zinfix">=</span> <span class="zi">y</span>.<span class="zi">name</span><span class="zinfix"><span class="mathc">u</span></span><span class="zi">x</span> <span class="zinfix">=</span> <span class="zi">y</span></span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td cass="zschematext" colspan="3"><span class="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span><span class="zprefix">,</span> <span class="zi">y</span> <span class="zinfix">:</span> <span class="zi">serviceComps</span> <span class="zinfix"><span class="symbol">·</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">name</span> <span class="zinfix">=</span> <span class="zi">y</span>.<span class="zi">name</span><span class="zinfix"><span class="mathc">u</span></span><span class="zi">x</span> <span class="zinfix">=</span> <span class="zi">y</span></span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span><span class="zprefix">,</span> <span class="zi">y</span> <span class="zinfix">:</spa> <span class="zi">elementDeclComps</span> <span class="zinfix"><span class="symbol">·</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">name</span> <span class="zinfix">=</span> <span class="zi">y</span>.<span class="zi">name</span><span class="zinfix"><span class="mathc">u</span></span><span class="zi">x</span> <span class="zinfix">=</span> <span class="zi">y</span></span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span><span class="zprefix">,</span> <span class="zi">y</span> <span class="zinfix">:</span> <span class="zi">typeDefComps</span> <span class="zinfix"><span class="symbol">·</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">   <span class="zi">x</span>.<span class="zi">name</span> <span class="zinfix">=</span> <span class="zi">y</span>.<span class="zi">name</span><span class="zinfix"><span class="mathc">u</span></span><span class="zi">x</span> <span class="zinfix">=</span> <span class="zi">y</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
! <div xmlns:z="http://www.w3.org/2004/zml" class="zsee"><span class="zsmall">See<span class="zi"> <a href="#Components">Components</a>.</span></span></div>
<ul>
***************
*** 967,973 ****
<p>Let <span xmlns:z="http://www.w3.org/2004/zml" class="zi">Interface</span> be the Interface component:</p>
! <table xmlns:z="http://www.w3.org/2004/zml" class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">Interface</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">name</span> <span class="zinfix">:</span> <span class="zi">QName</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">extendedInterfaces</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">faults</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">operations</span> <span class=zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">features</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">properties</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
! <div xmlns:z="http://www.w3.org/2004/zml" class="zsee"><span class="zsmall">See<span class="zi"> <a href="#QName">QName</a>, <a href="#ID">ID</a>.</span></span></div>
--- 991,997 ----
<p>Let <span xmlns:z="http://www.w3.org/2004/zml" class="zi">Interface</span> be the Interface component:</p>
! <table xmlns:z="http://www.w3.org/2004/zml" class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">Interface</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">Identifier</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">name</span> <span class="zinfix">:</span> <span class="zi">QName</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">extendedInterfaces</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">faults</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td><tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">operations</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">features</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">properties</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
! <div xmlns:z="http://www.w3.org/2004/zml" class="zsee"><span class="zsmall">See<span class="zi"> <a href="#Identifier">Identifier</a>, <a href="#QName">QName</a>, <a href="#ID">ID</a>.</span></span></div>
***************
*** 986,993 ****
Let <span xmlns:z="http://www.w3.org/2004/zml" class="zi">InterfaceIds</span> express the referential integrity constraints on the Interface component:
</p>
-
! <table xmlns:z="http://www.w3.org/2004/zml" class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">InterfaceIds</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">components</span>; <span class="zi">p</span> <span class="zinfix">:</span> <span class="zi">Interface</span> <span class="zinfix">|</span> <span class="zi">x</span>.<span class="zi">props</span> <span class="zinfix">=</span> <span class="zi">interface</span>(<span class="zi">p</span>) <span class="zinfix"><span class="symbol">·</span></span></span></td></tr><tr><td class="zscheatext" colspan="3"><span class="zschematext"> <span class="zprefix"><span class="symbol">"</span></span><span class="zi">id</span> <span class="zinfix">:</span> <span class="zi">p</span>.<span class="zi">extendedInterfaces</span> <span class="zinfix"><span class="symbol">·</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zprefix"><span class="symbol">$</span></span><span class="zi">y</span> <span class="zinfix">:</span> <span class="zi">components</span>; <span class="zi">q</span> <span class="zinfix">:</span> <span class="zi">Interface</span> <span class="zinfix">|</span> <span class="zi">id</span> <span class="zinfix">=</span> <span class="zi">y</span>.<span class="zi">id</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">y</span>.<span class="zi">props</span> <span class="zinfix">=</span> <spn class="zi">interface</span>(<span class="zi">q</span>)</span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
--- 1010,1038 ----
Let <span xmlns:z="http://www.w3.org/2004/zml" class="zi">InterfaceIds</span> express the referential integrity constraints on the Interface component:
</p>
! <table xmlns:z="http://www.w3.org/2004/zml" class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">InterfaceIds</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentIds</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">interfaceComps</span> <span class="zinfix"><span class="symbol">·</span></span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">id</span><span class="zinfix"><span class="symbol">Ï</span></span><span class="zi">x</span>.<span class="zi">extendedInterfaces</span><san class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">extendedInterfaces</span><span class="zinfix"><span class="symbol">Ì</span></span><span class="zi">interfaces</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">faults</span><span class="zinfix"><span class="symbol">Í</span></span><span class="zi">interfaceFaults</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">operations</span><span class="zinfix"><span class="symbol">Í</span></span><span class="zi">interfaceOps</span><span class="zifix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">features</span><span class="zinfix"><span class="symbol">Í</span></span><span class="zi">features</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">properties</span><span class="zinfix"><span class="symbol">Í</span></span><span class="zi">properties</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
!
! <ul>
! <li><p>No Interface component extends itself.</p></li>
! <li><p>The Interface components extended by each Interface component are contained in the component model.</p></li>
! <li><p>The Fault components of each Interface component are contained in the component model.</p></li>
! <li><p>The Operation components of each Interface component are contained in the component model.</p></li>
! <li><p>The Feature components of each Interface component are contained in the component model.</p></li>
! <li><p>The Property components of each Interface component are contained in the component model.</p></li>
! </ul>
!
!
!
! <a xmlns:z="http://www.w3.org/2004/zml" name="InterfaceClosure"></a>
! <p>
! The properties of an Interface component contain the properties of each
! Interface component that it extends.
! </p>
!
! <p>
! Let <span xmlns:z="http://www.w3.org/2004/zml" class="zi">InterfaceClosure</span> express the Interface closure constraints:
! </p>
+ <table xmlns:z="http://www.w3.org/2004/zml" class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">InterfaceClosure</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">InterfaceIds</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span><span class="zprefix">,</span> <span class="zi">y</span> <span class="zinfix">:</span> <span class="zi">interfaceComps</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">y</span>.<span class="zi">id</span><span class="zinfix"><span class="symbol">Î</span></span><span class="zi">x</span>.<span class="zi">etendedInterfaces</span> <span class="zinfix"><span class="symbol">·</span></span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">y</span>.<span class="zi">extendedInterfaces</span><span class="zinfix"><span class="symbol">Ì</span></span><span class="zi">x</span>.<span class="zi">extendedInterfaces</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">y</span>.<span class="zi">faults</span><span class="zinfix"><span class="symbol">Í</span></span><span class="zi">x</span>.<span class="zi">faults</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">   <span class="zi">y</span>.<span class="zi">operations</span><span class="zinfix"><span class="symbol">Í</span></span><span class="zi">x</span>.<span class="zi">operations</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">y</span>.<span class="zi">features</span><span class="zinfix"><span class="symbol">Í</span></span><span class="zi">x</span>.<span class="zi">features</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">y</span>.<span class="zi">properties</span><span class="zinfix"><span class="symbol">Í</span></span><span class="zi">x</span>.<span class="zi">properties</span></span></td></tr><tr><td class"bl"></td><td class="b"></td><td></td></tr></tbody></table>
***************
*** 1370,1376 ****
Interface Fault component:</p>
! <table xmlns:z="http://www.w3.org/2004/zml" class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">InterfaceFault</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">name</span> <span class="zinfix">:</span> <span class="zi">QName</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">element</span> <span class="zinfix">:</span> <span class="zi">OPTIONAL</span>[<span class="zi">ID</span>]</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">features</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">properties</span> <span class="zinfix">:</span><span class=zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
! <div xmlns:z="http://www.w3.org/2004/zml" class="zsee"><span class="zsmall">See<span class="zi"> <a href="#QName">QName</a>, <a href="#OPTIONAL">OPTIONAL</a>, <a href="#ID">ID</a>.</span></span></div>
--- 1415,1421 ----
Interface Fault component:</p>
! <table xmlns:z="http://www.w3.org/2004/zml" class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">InterfaceFault</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">Identifier</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">name</span> <span class="zinfix">:</span> <span class="zi">QName</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">element</span> <span class="zinfix">:</span> <span class="zi">OPTIONAL</span>[<span class="zi">ID</span>]</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">features</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="zschemalasttex" colspan="3"><span class="zschematext"><span class="zi">properties</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
! <div xmlns:z="http://www.w3.org/2004/zml" class="zsee"><span class="zsmall">See<span class="zi"> <a href="#Identifier">Identifier</a>, <a href="#QName">QName</a>, <a href="#OPTIONAL">OPTIONAL</a>, <a href="#ID">ID</a>.</span></span></div>
***************
*** 1691,1697 ****
</p>
! <table xmlns:z="http://www.w3.org/2004/zml" class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">InterfaceOperation</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">name</span> <span class="zinfix">:</span> <span class="zi">QName</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">messageExchangePattern</span> <span class="zinfix">:</span> <span class="zi">AbsoluteURI</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">messageReferences</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">faultReferences</span> <span class="zinfix">:</span><span clss="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">style</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">AbsoluteURI</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">safety</span> <span class="zinfix">:</span> <span class="zi">Boolean</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">features</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">properties</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="bl"></td><td clas="b"></td><td></td></tr></tbody></table>
! <div xmlns:z="http://www.w3.org/2004/zml" class="zsee"><span class="zsmall">See<span class="zi"> <a href="#QName">QName</a>, <a href="#AbsoluteURI">AbsoluteURI</a>, <a href="#ID">ID</a>, <a href="#Boolean">Boolean</a>.</span></span></div>
--- 1736,1742 ----
</p>
! <table xmlns:z="http://www.w3.org/2004/zml" class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">InterfaceOperation</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">Identifier</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">name</span> <span class="zinfix">:</span> <span class="zi">QName</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">messageExchangePattern</span> <span class="zinfix">:</span> <span class="zi">AbsoluteURI</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">messageReferences</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="zschematext colspan="3"><span class="zschematext"><span class="zi">faultReferences</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">style</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">AbsoluteURI</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">safety</span> <span class="zinfix">:</span> <span class="zi">Boolean</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">features</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">properties</span> <span class="zinfix">:</span><span class="zprefix">span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
! <div xmlns:z="http://www.w3.org/2004/zml" class="zsee"><span class="zsmall">See<span class="zi"> <a href="#Identifier">Identifier</a>, <a href="#QName">QName</a>, <a href="#AbsoluteURI">AbsoluteURI</a>, <a href="#ID">ID</a>, <a href="#Boolean">Boolean</a>.</span></span></div>
***************
*** 2378,2382 ****
</p>
! <table xmlns:z="http://www.w3.org/2004/zml" class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">MessageReference</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">messageLabel</span> <span class="zinfix">:</span> <span class="zi">NCName</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">direction</span> <span class="zinfix">:</span> <span class="zi">Direction</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">messageContentModel</span> <span class="zinfix">:</span> <span class="zi">OPTIONAL</span>[<span class="zi">MessageContentModel</span>]</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">element</span> <span class="zinfix">:</span> <span class="zi">OPTIONAL</spa>[<span class="zi">ID</span>]</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">features</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">properties</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">messageContentModel</span> <span class="zinfix">=</span> {<span class="zi">elementToken</span>}<span class="zinfix"><span class="mathc">w</span></span><span class="zi">element</span><span class="zinfix"><span class="mathb">g</span></span><span class="symbol">Æ</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
<div xmlns:z="http://www.w3.org/2004/zml" class="zsee"><span class="zsmall">See<span class="zi"> <a href="#NCName">NCName</a>, <a href="#Direction">Direction</a>, <a href="#OPTIONAL">OPTIONAL</a>, <a href="#MessageContentModel">MessageContentModel</a>, <a href="#ID">ID</a>.</span></span></div>
--- 2423,2427 ----
</p>
! <table xmlns:z="http://www.w3.org/2004/zml" class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">MessageReference</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">Identifier</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">messageLabel</span> <span class="zinfix">:</span> <span class="zi">NCName</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">direction</span> <span class="zinfix">:</span> <span class="zi">Direction</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">messageContentModel</span> <span class="zinfix">:</span> <span class="zi">OPTIONAL</span>[<span class="zi">MessageContentModel</span>]</span></td></tr><tr><td class="zschematext" colspan="3"><pan class="zschematext"><span class="zi">element</span> <span class="zinfix">:</span> <span class="zi">OPTIONAL</span>[<span class="zi">ID</span>]</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">features</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">properties</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">messageContentModel</span> <span class="zinfix">=</span> {<span class="zi">elementToken</span>}<span class="zinfix"><span class="mathc">w</span></span><span class="zi">element</span><span class="zinfix"><span class="mathb">g</span></span><span class"symbol">Æ</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
<div xmlns:z="http://www.w3.org/2004/zml" class="zsee"><span class="zsmall">See<span class="zi"> <a href="#NCName">NCName</a>, <a href="#Direction">Direction</a>, <a href="#OPTIONAL">OPTIONAL</a>, <a href="#MessageContentModel">MessageContentModel</a>, <a href="#ID">ID</a>.</span></span></div>
***************
*** 2700,2704 ****
</p>
! <table xmlns:z="http://www.w3.org/2004/zml" class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">FaultReference</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">faultReference</span> <span class="zinfix">:</span> <span class="zi">ID</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">messageLabel</span> <span class="zinfix">:</span> <span class="zi">NCName</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">direction</span> <span class="zinfix">:</span> <span class="zi">Direction</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">features</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</spa></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">properties</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
<div xmlns:z="http://www.w3.org/2004/zml" class="zsee"><span class="zsmall">See<span class="zi"> <a href="#ID">ID</a>, <a href="#NCName">NCName</a>, <a href="#Direction">Direction</a>.</span></span></div>
--- 2745,2749 ----
</p>
! <table xmlns:z="http://www.w3.org/2004/zml" class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">FaultReference</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">Identifier</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">faultReference</span> <span class="zinfix">:</span> <span class="zi">ID</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">messageLabel</span> <span class="zinfix">:</span> <span class="zi">NCName</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">direction</span> <span class="zinfix">:</span> <span class="zi">Direction</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">features</span> span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">properties</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
<div xmlns:z="http://www.w3.org/2004/zml" class="zsee"><span class="zsmall">See<span class="zi"> <a href="#ID">ID</a>, <a href="#NCName">NCName</a>, <a href="#Direction">Direction</a>.</span></span></div>
***************
*** 2968,2972 ****
</p>
! <table xmlns:z="http://www.w3.org/2004/zml" class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">Feature</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">name</span> <span class="zinfix">:</span> <span class="zi">AbsoluteURI</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">required</span> <span class="zinfix">:</span> <span class="zi">Boolean</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
<div xmlns:z="http://www.w3.org/2004/zml" class="zsee"><span class="zsmall">See<span class="zi"> <a href="#AbsoluteURI">AbsoluteURI</a>, <a href="#Boolean">Boolean</a>.</span></span></div>
--- 3013,3017 ----
</p>
! <table xmlns:z="http://www.w3.org/2004/zml" class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">Feature</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">Identifier</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">name</span> <span class="zinfix">:</span> <span class="zi">AbsoluteURI</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">required</span> <span class="zinfix">:</span> <span class="zi">Boolean</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
<div xmlns:z="http://www.w3.org/2004/zml" class="zsee"><span class="zsmall">See<span class="zi"> <a href="#AbsoluteURI">AbsoluteURI</a>, <a href="#Boolean">Boolean</a>.</span></span></div>
***************
*** 3315,3319 ****
</p>
! <table xmlns:z="http://www.w3.org/2004/zml" class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">Property</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">name</span> <span class="zinfix">:</span> <span class="zi">AbsoluteURI</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">required</span> <span class="zinfix">:</span> <span class="zi">Boolean</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">valueConstraint</span> <span class="zinfix">:</span> <span class="zi">OPTIONAL</span>[<span class="zi">ValueConstraint</span>]</span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">value</span> <span class="zinfix">:</span> <span class="zi">OPTIONAL</span>[<span class="z">ElementChildren</span>]</span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">valueConstraint</span> <span class="zinfix">=</span> {<span class="zi">valueToken</span>}<span class="zinfix"><span class="mathc">w</span></span><span class="zi">value</span><span class="zinfix"><span class="mathb">g</span></span><span class="symbol">Æ</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
<div xmlns:z="http://www.w3.org/2004/zml" class="zsee"><span class="zsmall">See<span class="zi"> <a href="#AbsoluteURI">AbsoluteURI</a>, <a href="#Boolean">Boolean</a>, <a href="#OPTIONAL">OPTIONAL</a>, <a href="#ValueConstraint">ValueConstraint</a>, <a href="#ElementChildren">ElementChildren</a>.</span></span></div>
--- 3360,3364 ----
</p>
! <table xmlns:z="http://www.w3.org/2004/zml" class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">Property</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">Identifier</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">name</span> <span class="zinfix">:</span> <span class="zi">AbsoluteURI</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">required</span> <span class="zinfix">:</span> <span class="zi">Boolean</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">valueConstraint</span> <span class="zinfix">:</span> <span class="zi">OPTIONAL</span>[<span class="zi">ValueConstraint</span>]</span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zscematext"><span class="zi">value</span> <span class="zinfix">:</span> <span class="zi">OPTIONAL</span>[<span class="zi">ElementChildren</span>]</span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">valueConstraint</span> <span class="zinfix">=</span> {<span class="zi">valueToken</span>}<span class="zinfix"><span class="mathc">w</span></span><span class="zi">value</span><span class="zinfix"><span class="mathb">g</span></span><span class="symbol">Æ</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
<div xmlns:z="http://www.w3.org/2004/zml" class="zsee"><span class="zsmall">See<span class="zi"> <a href="#AbsoluteURI">AbsoluteURI</a>, <a href="#Boolean">Boolean</a>, <a href="#OPTIONAL">OPTIONAL</a>, <a href="#ValueConstraint">ValueConstraint</a>, <a href="#ElementChildren">ElementChildren</a>.</span></span></div>
***************
*** 3726,3730 ****
</p>
! <table xmlns:z="http://www.w3.org/2004/zml" class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">Binding</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">name</span> <span class="zinfix">:</span> <span class="zi">QName</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">interface</span> <span class="zinfix">:</span> <span class="zi">OPTIONAL</span>[<span class="zi">ID</span>]</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">type</span> <span class="zinfix">:</span> <span class="zi">AbsoluteURI</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">faults</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi"ID</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">operations</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">features</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">properties</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
<div xmlns:z="http://www.w3.org/2004/zml" class="zsee"><span class="zsmall">See<span class="zi"> <a href="#QName">QName</a>, <a href="#OPTIONAL">OPTIONAL</a>, <a href="#ID">ID</a>, <a href="#AbsoluteURI">AbsoluteURI</a>.</span></span></div>
--- 3771,3775 ----
</p>
! <table xmlns:z="http://www.w3.org/2004/zml" class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">Binding</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">Identifier</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">name</span> <span class="zinfix">:</span> <span class="zi">QName</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">interface</span> <span class="zinfix">:</span> <span class="zi">OPTIONAL</span>[<span class="zi">ID</span>]</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">type</span> <span class="zinfix">:</span> <span class="zi">AbsoluteURI</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">faults/span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">operations</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">features</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">properties</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
<div xmlns:z="http://www.w3.org/2004/zml" class="zsee"><span class="zsmall">See<span class="zi"> <a href="#QName">QName</a>, <a href="#OPTIONAL">OPTIONAL</a>, <a href="#ID">ID</a>, <a href="#AbsoluteURI">AbsoluteURI</a>.</span></span></div>
***************
*** 4006,4010 ****
</p>
! <table xmlns:z="http://www.w3.org/2004/zml" class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">BindingFault</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">faultReference</span> <span class="zinfix">:</span> <span class="zi">ID</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">features</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">properties</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
<div xmlns:z="http://www.w3.org/2004/zml" class="zsee"><span class="zsmall">See<span class="zi"> <a href="#ID">ID</a>.</span></span></div>
--- 4051,4055 ----
</p>
! <table xmlns:z="http://www.w3.org/2004/zml" class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">BindingFault</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">Identifier</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">faultReference</span> <span class="zinfix">:</span> <span class="zi">ID</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">features</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">properties</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></pan></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
<div xmlns:z="http://www.w3.org/2004/zml" class="zsee"><span class="zsmall">See<span class="zi"> <a href="#ID">ID</a>.</span></span></div>
***************
*** 4200,4204 ****
</p>
! <table xmlns:z="http://www.w3.org/2004/zml" class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">BindingOperation</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">operationReference</span> <span class="zinfix">:</span> <span class="zi">ID</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">messageReferences</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">features</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">proprties</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
<div xmlns:z="http://www.w3.org/2004/zml" class="zsee"><span class="zsmall">See<span class="zi"> <a href="#ID">ID</a>.</span></span></div>
--- 4245,4249 ----
</p>
! <table xmlns:z="http://www.w3.org/2004/zml" class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">BindingOperation</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">Identifier</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">operationReference</span> <span class="zinfix">:</span> <span class="zi">ID</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">messageReferences</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">features</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">D</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">properties</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
<div xmlns:z="http://www.w3.org/2004/zml" class="zsee"><span class="zsmall">See<span class="zi"> <a href="#ID">ID</a>.</span></span></div>
***************
*** 4406,4410 ****
</p>
! <table xmlns:z="http://www.w3.org/2004/zml" class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">BindingMessageReference</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">messageLabel</span> <span class="zinfix">:</span> <span class="zi">OPTIONAL</span>[<span class="zi">NCName</span>]</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">direction</span> <span class="zinfix">:</span> <span class="zi">Direction</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">features</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">properties</span> <span class"zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
<div xmlns:z="http://www.w3.org/2004/zml" class="zsee"><span class="zsmall">See<span class="zi"> <a href="#OPTIONAL">OPTIONAL</a>, <a href="#NCName">NCName</a>, <a href="#Direction">Direction</a>, <a href="#ID">ID</a>.</span></span></div>
--- 4451,4455 ----
</p>
! <table xmlns:z="http://www.w3.org/2004/zml" class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">BindingMessageReference</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">Identifier</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">messageLabel</span> <span class="zinfix">:</span> <span class="zi">OPTIONAL</span>[<span class="zi">NCName</span>]</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">direction</span> <span class="zinfix">:</span> <span class="zi">Direction</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">features</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr<tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">properties</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
<div xmlns:z="http://www.w3.org/2004/zml" class="zsee"><span class="zsmall">See<span class="zi"> <a href="#OPTIONAL">OPTIONAL</a>, <a href="#NCName">NCName</a>, <a href="#Direction">Direction</a>, <a href="#ID">ID</a>.</span></span></div>
***************
*** 4635,4639 ****
</p>
! <table xmlns:z="http://www.w3.org/2004/zml" class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">Service</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">name</span> <span class="zinfix">:</span> <span class="zi">QName</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">interface</span> <span class="zinfix">:</span> <span class="zi">ID</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">endpoints</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span><span class="zsmall"><sub>1</sub></span></span><span class="zi">ID</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">features</span> <span class="zinfix">:</span><span class="prefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">properties</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
<div xmlns:z="http://www.w3.org/2004/zml" class="zsee"><span class="zsmall">See<span class="zi"> <a href="#QName">QName</a>, <a href="#ID">ID</a>.</span></span></div>
--- 4680,4684 ----
</p>
! <table xmlns:z="http://www.w3.org/2004/zml" class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">Service</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">Identifier</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">name</span> <span class="zinfix">:</span> <span class="zi">QName</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">interface</span> <span class="zinfix">:</span> <span class="zi">ID</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">endpoints</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span><span class="zsmall"><sub>1</sub></span></span><span class="zi">ID</span></span></td></tr><tr><td class="zschematet" colspan="3"><span class="zschematext"><span class="zi">features</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">properties</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
<div xmlns:z="http://www.w3.org/2004/zml" class="zsee"><span class="zsmall">See<span class="zi"> <a href="#QName">QName</a>, <a href="#ID">ID</a>.</span></span></div>
***************
*** 4882,4886 ****
</p>
! <table xmlns:z="http://www.w3.org/2004/zml" class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">Endpoint</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">name</span> <span class="zinfix">:</span> <span class="zi">NCName</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">binding</span> <span class="zinfix">:</span> <span class="zi">ID</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">address</span> <span class="zinfix">:</span> <span class="zi">AbsoluteURI</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">features</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><t><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">properties</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
<div xmlns:z="http://www.w3.org/2004/zml" class="zsee"><span class="zsmall">See<span class="zi"> <a href="#NCName">NCName</a>, <a href="#ID">ID</a>, <a href="#AbsoluteURI">AbsoluteURI</a>.</span></span></div>
--- 4927,4931 ----
</p>
! <table xmlns:z="http://www.w3.org/2004/zml" class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">Endpoint</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">Identifier</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">name</span> <span class="zinfix">:</span> <span class="zi">NCName</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">binding</span> <span class="zinfix">:</span> <span class="zi">ID</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">address</span> <span class="zinfix">:</span> <span class="zi">AbsoluteURI</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">features</span> <span class="zinfix"></span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">properties</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
<div xmlns:z="http://www.w3.org/2004/zml" class="zsee"><span class="zsmall">See<span class="zi"> <a href="#NCName">NCName</a>, <a href="#ID">ID</a>, <a href="#AbsoluteURI">AbsoluteURI</a>.</span></span></div>
***************
*** 8067,8070 ****
--- 8112,8116 ----
<td rowspan="1" colspan="1">JJM</td>
<td rowspan="1" colspan="1">Moved appendix C to a separate document, as per 24 Sep 2003 meeting
+
in Palo Alto, CA.</td>
</tr>
Index: wsdl20.xml
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.xml,v
retrieving revision 1.143
retrieving revision 1.144
diff -C2 -d -r1.143 -r1.144
*** wsdl20.xml 10 Nov 2004 00:49:49 -0000 1.143
--- wsdl20.xml 10 Nov 2004 01:59:34 -0000 1.144
***************
*** 316,327 ****
</p>
! <z:notation name="PropertyCollection">
<p>
! Let <z:i>PropertyCollection</z:i> be the set of all component property collections:
</p>
<zed xmlns="http://www.w3.org/2004/zml">
! PropertyCollection ::= <nl/>
<t1/> description<ldata/>Description<rdata/> | <nl/>
<t1/> elementDecl<ldata/>ElementDeclaration<rdata/> | <nl/>
--- 316,327 ----
</p>
! <z:notation name="Component">
<p>
! Let <z:i>Component</z:i> be the set of all components:
</p>
<zed xmlns="http://www.w3.org/2004/zml">
! Component ::= <nl/>
<t1/> description<ldata/>Description<rdata/> | <nl/>
<t1/> elementDecl<ldata/>ElementDeclaration<rdata/> | <nl/>
***************
*** 346,368 ****
BindingMessageReference Service Endpoint"/>
- <zed xmlns="http://www.w3.org/2004/zml">
- DescriptionProps == <ran/> description <nl/>
- ElementDeclProps == <ran/> elementDecl <nl/>
- TypeDefProps == <ran/> typeDef <nl/>
- InterfaceProps == <ran/> interface <nl/>
- InterfaceFaultProps == <ran/> interfaceFault <nl/>
- InterfaceOpProps == <ran/> interfaceOp <nl/>
- MessageRefProps == <ran/> messageRef <nl/>
- FaultRefProps == <ran/> faultRef <nl/>
- FeatureProps == <ran/> feature <nl/>
- PropertyProps == <ran/> property <nl/>
- BindingProps == <ran/> binding <nl/>
- BindingFaultProps == <ran/> bindingFault <nl/>
- BindingOpProps == <ran/> bindingOp <nl/>
- BindingMessageRefProps == <ran/> bindingMessageRef <nl/>
- ServiceProps == <ran/> service <nl/>
- EndpointProps == <ran/> endpoint
- </zed>
-
</z:notation>
--- 346,349 ----
***************
*** 386,409 ****
</z:notation>
! <z:notation xmlns="http://www.w3.org/2004/zml" name="Component">
<p>
A component is an identified, typed collection of properties.
</p>
<p>
! Let <z:i>Component</z:i> denote the set of components:
</p>
<ulist>
<item><p>Let <z:i>id</z:i> be the identifier of the component.</p></item>
- <item><p>Let <z:i>props</z:i> be the collection of properties.</p></item>
</ulist>
! <z:schema name="Component">
! id : ID <nl/>
! props : PropertyCollection
</z:schema>
! <z:see names="ID PropertyCollection"/>
</z:notation>
--- 367,415 ----
</z:notation>
! <z:notation xmlns="http://www.w3.org/2004/zml" name="ComponentId">
<p>
A component is an identified, typed collection of properties.
</p>
+
<p>
! Let <z:i>Identifier</z:i> denote the set of component identifiers:
</p>
+
<ulist>
<item><p>Let <z:i>id</z:i> be the identifier of the component.</p></item>
</ulist>
! <z:schema name="Identifier">
! id : ID
</z:schema>
! <z:see names="ID"/>
!
! <axdef xmlns="http://www.w3.org/2004/zml">
! Id : Component <fun/> ID
! <where/>
! <forall/> x : Description @ Id(description(x)) = x.id <nl/>
! <forall/> x : ElementDeclaration @ Id(elementDecl(x)) = x.id <nl/>
! <forall/> x : TypeDefinition @ Id(typeDef(x)) = x.id <nl/>
! <forall/> x : Interface @ Id(interface(x)) = x.id <nl/>
! <forall/> x : InterfaceFault @ Id(interfaceFault(x)) = x.id <nl/>
! <forall/> x : InterfaceOperation @ Id(interfaceOp(x)) = x.id <nl/>
! <forall/> x : MessageReference @ Id(messageRef(x)) = x.id <nl/>
! <forall/> x : FaultReference @ Id(faultRef(x)) = x.id <nl/>
! <forall/> x : Feature @ Id(feature(x)) = x.id <nl/>
! <forall/> x : Property @ Id(property(x)) = x.id <nl/>
! <forall/> x : Binding @ Id(binding(x)) = x.id <nl/>
! <forall/> x : BindingFault @ Id(bindingFault(x)) = x.id <nl/>
! <forall/> x : BindingOperation @ Id(bindingOp(x)) = x.id <nl/>
! <forall/> x : BindingMessageReference @ Id(bindingMessageRef(x)) = x.id <nl/>
! <forall/> x : Service @ Id(service(x)) = x.id <nl/>
! <forall/> x : Endpoint @ Id(endpoint(x)) = x.id
! </axdef>
+ <z:see names="Component ID Description ElementDeclaration TypeDefinition Interface InterfaceFault InterfaceOperation
+ MessageReference FaultReference Feature Property Binding BindingFault BindingOperation
+ BindingMessageReference Service Endpoint"/>
+
</z:notation>
***************
*** 423,430 ****
<where/>
<forall/> x, y : components @ <nl/>
! <t1/> x.id = y.id <implies/> x = y
</schema>
! <z:see names="Component"/>
<ulist>
--- 429,436 ----
<where/>
<forall/> x, y : components @ <nl/>
! <t1/> Id(x) = Id(y) <implies/> x = y
</schema>
! <z:see names="Component Id"/>
<ulist>
***************
*** 438,497 ****
<schema xmlns="http://www.w3.org/2004/zml" name="Components">
ComponentModel <nl/>
! descriptionComps, elementDeclComps, <nl/>
! typeDefComps, interfaceComps, <nl/>
! interfaceFaultComps, interfaceOpComps, <nl/>
! messageRefComps, faultRefComps, <nl/>
! featureComps, propertyComps, <nl/>
! bindingComps, bindingFaultComps, <nl/>
! bindingOpComps, bindingMessageRefComps, <nl/>
! serviceComps, endpointComps : <finset/> Component
<where/>
! descriptionComps = {~x : components | <nl/>
! <t1/> x.props <in/> DescriptionProps~}
<also/>
! elementDeclComps = {~x : components | <nl/>
! <t1/> x.props <in/> ElementDeclProps~}
<also/>
! typeDefComps = {~x : components | <nl/>
! <t1/> x.props <in/> TypeDefProps~}
<also/>
! interfaceComps = {~x : components | <nl/>
! <t1/> x.props <in/> InterfaceProps~}
<also/>
! interfaceFaultComps = {~x : components | <nl/>
! <t1/> x.props <in/> InterfaceFaultProps~}
<also/>
! interfaceOpComps = {~x : components | <nl/>
! <t1/> x.props <in/> InterfaceOpProps~}
<also/>
! messageRefComps = {~x : components | <nl/>
! <t1/> x.props <in/> MessageRefProps~}
<also/>
! faultRefComps = {~x : components | <nl/>
! <t1/> x.props <in/> FaultRefProps~}
<also/>
! featureComps = {~x : components | <nl/>
! <t1/> x.props <in/> FeatureProps~}
<also/>
! propertyComps = {~x : components | <nl/>
! <t1/> x.props <in/> PropertyProps~}
<also/>
! bindingComps = {~x : components | <nl/>
! <t1/> x.props <in/> BindingProps~}
<also/>
! bindingFaultComps = {~x : components | <nl/>
! <t1/> x.props <in/> BindingFaultProps~}
<also/>
! bindingOpComps = {~x : components | <nl/>
! <t1/> x.props <in/> BindingOpProps~}
<also/>
! bindingMessageRefComps = {~x : components | <nl/>
! <t1/> x.props <in/> BindingMessageRefProps~}
<also/>
! serviceComps = {~x : components | <nl/>
! <t1/> x.props <in/> ServiceProps~}
<also/>
! endpointComps = {~x : components | <nl/>
! <t1/> x.props <in/> EndpointProps~}
</schema>
--- 444,511 ----
<schema xmlns="http://www.w3.org/2004/zml" name="Components">
ComponentModel <nl/>
! descriptionComps : <finset/> Description <nl/>
! elementDeclComps : <finset/> ElementDeclaration <nl/>
! typeDefComps : <finset/> TypeDefinition <nl/>
! interfaceComps : <finset/> Interface <nl/>
! interfaceFaultComps : <finset/> InterfaceFault <nl/>
! interfaceOpComps : <finset/> InterfaceOperation <nl/>
! messageRefComps : <finset/> MessageReference <nl/>
! faultRefComps : <finset/> FaultReference <nl/>
! featureComps : <finset/> Feature <nl/>
! propertyComps : <finset/> Property <nl/>
! bindingComps : <finset/> Binding <nl/>
! bindingFaultComps : <finset/> BindingFault <nl/>
! bindingOpComps : <finset/> BindingOperation <nl/>
! bindingMessageRefComps : <finset/> BindingMessageReference <nl/>
! serviceComps : <finset/> Service <nl/>
! endpointComps : <finset/> Endpoint
<where/>
! descriptionComps = {~x : Description | <nl/>
! <t1/> description(x) <in/> components~}
<also/>
! elementDeclComps = {~x : ElementDeclaration | <nl/>
! <t1/> elementDecl(x) <in/> components~}
<also/>
! typeDefComps = {~x : TypeDefinition | <nl/>
! <t1/> typeDef(x) <in/> components~}
<also/>
! interfaceComps = {~x : Interface | <nl/>
! <t1/> interface(x) <in/> components~}
<also/>
! interfaceFaultComps = {~x : InterfaceFault | <nl/>
! <t1/> interfaceFault(x) <in/> components~}
<also/>
! interfaceOpComps = {~x : InterfaceOperation | <nl/>
! <t1/> interfaceOp(x) <in/> components~}
<also/>
! messageRefComps = {~x : MessageReference | <nl/>
! <t1/> messageRef(x) <in/> components~}
<also/>
! faultRefComps = {~x : FaultReference | <nl/>
! <t1/> faultRef(x) <in/> components~}
<also/>
! featureComps = {~x : Feature | <nl/>
! <t1/> feature(x) <in/> components~}
<also/>
! propertyComps = {~x : Property | <nl/>
! <t1/> property(x) <in/> components~}
<also/>
! bindingComps = {~x : Binding | <nl/>
! <t1/> binding(x) <in/> components~}
<also/>
! bindingFaultComps = {~x : BindingFault | <nl/>
! <t1/> bindingFault(x) <in/> components~}
<also/>
! bindingOpComps = {~x : BindingOperation | <nl/>
! <t1/> bindingOp(x) <in/> components~}
<also/>
! bindingMessageRefComps = {~x : BindingMessageReference | <nl/>
! <t1/> bindingMessageRef(x) <in/> components~}
<also/>
! serviceComps = {~x : Service | <nl/>
! <t1/> service(x) <in/> components~}
<also/>
! endpointComps = {~x : Endpoint | <nl/>
! <t1/> endpoint(x) <in/> components~}
</schema>
***************
*** 678,681 ****
--- 692,696 ----
<schema xmlns="http://www.w3.org/2004/zml" name="ElementDeclaration">
+ Identifier <nl/>
name : QName <nl/>
elementContentModel : ElementContentModel
***************
*** 698,701 ****
--- 713,717 ----
<schema xmlns="http://www.w3.org/2004/zml" name="TypeDefinition">
+ Identifier <nl/>
name : QName <nl/>
elementContentModel : ElementContentModel
***************
*** 732,735 ****
--- 748,752 ----
<schema xmlns="http://www.w3.org/2004/zml" name="Description">
+ Identifier <nl/>
interfaces : <finset/> ID <nl/>
bindings : <finset/> ID <nl/>
***************
*** 760,777 ****
<schema xmlns="http://www.w3.org/2004/zml" name="DescriptionIds">
ComponentIds <nl/>
! descriptionComp : Component <nl/>
! descriptionProps : Description
<where/>
! descriptionComps = {descriptionComp} <nl/>
! descriptionComp.props = description(descriptionProps)
<also/>
! descriptionProps.interfaces = interfaces <nl/>
! descriptionProps.bindings = bindings <nl/>
! descriptionProps.services = services <nl/>
! descriptionProps.elementDeclarations = elementDecls <nl/>
! descriptionProps.typeDefinitions = typeDefs
</schema>
! <z:see names="ComponentIds Component Description"/>
<ulist>
--- 777,792 ----
<schema xmlns="http://www.w3.org/2004/zml" name="DescriptionIds">
ComponentIds <nl/>
! descriptionComp : Description
<where/>
! descriptionComps = {descriptionComp}
<also/>
! descriptionComp.interfaces = interfaces <nl/>
! descriptionComp.bindings = bindings <nl/>
! descriptionComp.services = services <nl/>
! descriptionComp.elementDeclarations = elementDecls <nl/>
! descriptionComp.typeDefinitions = typeDefs
</schema>
! <z:see names="ComponentIds Description"/>
<ulist>
***************
*** 837,862 ****
Components
<where/>
! <forall/> x, y : interfaceComps; p, q : Interface | <nl/>
! <t1/> x.props = interface(p) <land/> y.props = interface(q) @ <nl/>
! <t1/> p.name = q.name <implies/> x = y
<also/>
! <forall/> x, y : bindingComps; p, q : Binding | <nl/>
! <t1/> x.props = binding(p) <land/> y.props = binding(q) @ <nl/>
! <t1/> p.name = q.name <implies/> x = y
<also/>
! <forall/> x, y : serviceComps; p, q : Service | <nl/>
! <t1/> x.props = service(p) <land/> y.props = service(q) @ <nl/>
! <t1/> p.name = q.name <implies/> x = y
<also/>
! <forall/> x, y : elementDeclComps; p, q : ElementDeclaration | <nl/>
! <t1/> x.props = elementDecl(p) <land/> y.props = elementDecl(q) @ <nl/>
! <t1/> p.name = q.name <implies/> x = y
<also/>
! <forall/> x, y : typeDefComps; p, q : TypeDefinition | <nl/>
! <t1/> x.props = typeDef(p) <land/> y.props = typeDef(q) @ <nl/>
! <t1/> p.name = q.name <implies/> x = y
</schema>
! <z:see names="ComponentModel Interface Binding Service ElementDeclaration TypeDefinition"/>
<ulist>
--- 852,872 ----
Components
<where/>
! <forall/> x, y : interfaceComps @ <nl/>
! <t1/> x.name = y.name <implies/> x = y
<also/>
! <forall/> x, y : bindingComps @ <nl/>
! <t1/> x.name = y.name <implies/> x = y
<also/>
! <forall/> x, y : serviceComps @ <nl/>
! <t1/> x.name = y.name <implies/> x = y
<also/>
! <forall/> x, y : elementDeclComps @ <nl/>
! <t1/> x.name = y.name <implies/> x = y
<also/>
! <forall/> x, y : typeDefComps @ <nl/>
! <t1/> x.name = y.name <implies/> x = y
</schema>
! <z:see names="Components"/>
<ulist>
***************
*** 1175,1178 ****
--- 1185,1189 ----
<schema xmlns="http://www.w3.org/2004/zml" name="Interface">
+ Identifier <nl/>
name : QName <nl/>
extendedInterfaces : <finset/> ID <nl/>
***************
*** 1183,1187 ****
</schema>
! <z:see names="QName ID"/>
</z:notation>
--- 1194,1198 ----
</schema>
! <z:see names="Identifier QName ID"/>
</z:notation>
***************
*** 1204,1214 ****
ComponentIds
<where/>
! <forall/> x : interfaceComps; p : Interface | x.props = interface(p) @ <nl/>
! <t1/> x.id <notin/> p.extendedInterfaces <land/> <nl/>
! <t1/> p.extendedInterfaces <subset/> interfaces <land/> <nl/>
! <t1/> p.faults <subseteq/> interfaceFaults <land/> <nl/>
! <t1/> p.operations <subseteq/> interfaceOps <land/> <nl/>
! <t1/> p.features <subseteq/> features <land/> <nl/>
! <t1/> p.properties <subseteq/> properties
</schema>
--- 1215,1225 ----
ComponentIds
<where/>
! <forall/> x : interfaceComps @ <nl/>
! <t1/> x.id <notin/> x.extendedInterfaces <land/> <nl/>
! <t1/> x.extendedInterfaces <subset/> interfaces <land/> <nl/>
! <t1/> x.faults <subseteq/> interfaceFaults <land/> <nl/>
! <t1/> x.operations <subseteq/> interfaceOps <land/> <nl/>
! <t1/> x.features <subseteq/> features <land/> <nl/>
! <t1/> x.properties <subseteq/> properties
</schema>
***************
*** 1237,1249 ****
InterfaceIds
<where/>
! <forall/> x, y : interfaceComps; p, q : Interface | <nl/>
! <t1/> x.props = interface(p) <land/> <nl/>
! <t1/> y.props = interface(q) <land/> <nl/>
! <t1/> y.id <in/> p.extendedInterfaces @ <nl/>
! <t2/> q.extendedInterfaces <subset/> p.extendedInterfaces <land/> <nl/>
! <t2/> q.faults <subseteq/> p.faults <land/> <nl/>
! <t2/> q.operations <subseteq/> p.operations <land/> <nl/>
! <t2/> q.features <subseteq/> p.features <land/> <nl/>
! <t2/> q.properties <subseteq/> p.properties
</schema>
</z:notation>
--- 1248,1258 ----
InterfaceIds
<where/>
! <forall/> x, y : interfaceComps | <nl/>
! <t1/> y.id <in/> x.extendedInterfaces @ <nl/>
! <t2/> y.extendedInterfaces <subset/> x.extendedInterfaces <land/> <nl/>
! <t2/> y.faults <subseteq/> x.faults <land/> <nl/>
! <t2/> y.operations <subseteq/> x.operations <land/> <nl/>
! <t2/> y.features <subseteq/> x.features <land/> <nl/>
! <t2/> y.properties <subseteq/> x.properties
</schema>
</z:notation>
***************
*** 1627,1630 ****
--- 1636,1640 ----
<schema xmlns="http://www.w3.org/2004/zml" name="InterfaceFault">
+ Identifier <nl/>
name : QName <nl/>
element : OPTIONAL[ID] <nl/>
***************
*** 1633,1637 ****
</schema>
! <z:see names="QName OPTIONAL ID"/>
</z:notation>
--- 1643,1647 ----
</schema>
! <z:see names="Identifier QName OPTIONAL ID"/>
</z:notation>
***************
*** 1957,1960 ****
--- 1967,1971 ----
<schema xmlns="http://www.w3.org/2004/zml" name="InterfaceOperation">
+ Identifier <nl/>
name : QName <nl/>
messageExchangePattern : AbsoluteURI <nl/>
***************
*** 1967,1971 ****
</schema>
! <z:see names="QName AbsoluteURI ID Boolean"/>
</z:notation>
--- 1978,1982 ----
</schema>
! <z:see names="Identifier QName AbsoluteURI ID Boolean"/>
</z:notation>
***************
*** 2664,2667 ****
--- 2675,2679 ----
<schema xmlns="http://www.w3.org/2004/zml" name="MessageReference">
+ Identifier <nl/>
messageLabel : NCName <nl/>
direction : Direction <nl/>
***************
*** 2992,2995 ****
--- 3004,3008 ----
<schema xmlns="http://www.w3.org/2004/zml" name="FaultReference">
+ Identifier <nl/>
faultReference : ID <nl/>
messageLabel : NCName <nl/>
***************
*** 3261,3264 ****
--- 3274,3278 ----
<schema xmlns="http://www.w3.org/2004/zml" name="Feature">
+ Identifier <nl/>
name : AbsoluteURI <nl/>
required : Boolean
***************
*** 3609,3612 ****
--- 3623,3627 ----
<schema xmlns="http://www.w3.org/2004/zml" name="Property">
+ Identifier <nl/>
name : AbsoluteURI <nl/>
required : Boolean <nl/>
***************
*** 4031,4034 ****
--- 4046,4050 ----
<schema xmlns="http://www.w3.org/2004/zml" name="Binding">
+ Identifier <nl/>
name : QName <nl/>
interface : OPTIONAL[ID] <nl/>
***************
*** 4322,4325 ****
--- 4338,4342 ----
<schema xmlns="http://www.w3.org/2004/zml" name="BindingFault">
+ Identifier <nl/>
faultReference : ID <nl/>
features : <finset/> ID <nl/>
***************
*** 4519,4522 ****
--- 4536,4540 ----
<schema xmlns="http://www.w3.org/2004/zml" name="BindingOperation">
+ Identifier <nl/>
operationReference : ID <nl/>
messageReferences : <finset/> ID <nl/>
***************
*** 4730,4733 ****
--- 4748,4752 ----
<schema xmlns="http://www.w3.org/2004/zml" name="BindingMessageReference">
+ Identifier <nl/>
messageLabel : OPTIONAL[NCName] <nl/>
direction : Direction <nl/>
***************
*** 4962,4965 ****
--- 4981,4985 ----
<schema xmlns="http://www.w3.org/2004/zml" name="Service">
+ Identifier <nl/>
name : QName <nl/>
interface : ID <nl/>
***************
*** 5216,5219 ****
--- 5236,5240 ----
<schema xmlns="http://www.w3.org/2004/zml" name="Endpoint">
+ Identifier <nl/>
name : NCName <nl/>
binding : ID <nl/>
Received on Wednesday, 10 November 2004 01:59:37 UTC