W3C home > Mailing lists > Public > public-ws-desc-eds@w3.org > November 2004

2002/ws/desc/wsdl20 wsdl20.html,1.122,1.123 wsdl20.xml,1.143,1.144

From: Arthur Ryman <aryman@dev.w3.org>
Date: Wed, 10 Nov 2004 01:59:36 +0000
To: public-ws-desc-eds@w3.org
Message-ID: <E1CRhlo-0000I9-Vf@lionel-hutz.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>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">description</span><span class="symbol"><span style="position: relative; left=.2em">&aacute;</span><span>&aacute;</span></span><span class="zi">Description</span><span class="symbol"><span style="position: relative; left=.2em">&ntilde;</span><span>&ntilde;</span></span><span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">elementDecl</span><span class="symbol"><span style="position: relative; left=.2em">&aacute;</span><span>&aacute;</span></span><span class="zi">ElementDeclaration</span><span class="symbol"><span style="position: relative; left=.2em">&ntilde;</span><span>&ntilde;</span></span><span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">typeDef</span><span class="symbol"><span style="position: relative; left=.2em">&aacute;</span><span>&aacute;</span></span><span class="zi">TypeDefinition</span><span class="symbol"><span style="position: relative; left=.2em">&ntilde;</span><span>&ntilde;</span></span><span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">interface</span><span class="symbol"><span style="position: relative; left=.2em">&aacute;</span><span>&aacute;</span></span><span class="zi">Interface</span><span class="symbol"><span style="position: relative; left=.2em">&ntilde;</span><span>&ntilde;</span></span><span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">interfaceFault</span><span class="symbol"><span style="position: relative; left=.2em">&aacute;</span><span>&aacute;</span></span><span class="zi">InterfaceFault</span><span class="symbol"><span style="position: relative; left=.2em">&ntilde;</span><span>&ntilde;</span></span><span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">interfaceOp</span><span class="symbol"><span style="position: relative; left=.2em">&aacute;</span><span>&aacute;</span></span><span class="zi">InterfaceOperation</span><span class="symbol"><span style="position: relative; left=.2em">&ntilde;</span><span>&ntilde;</span></span><span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">messageRef</span><span class="symbol"><span style="position: relative; left=.2em">&aacute;</span><span>&aacute;</span></span><span class="zi">MessageReference</span><span class="symbol"><span style="position: relative; left=.2em">&ntilde;</span><span>&ntilde;</span></span><span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">faultRef</span><span class="symbol"><span style="position: relative; left=.2em">&aacute;</span><span>&aacute;</span></span><span class="zi">FaultReference</span><span class="symbol"><span style="position: relative; left=.2em">&ntilde;</span><span>&ntilde;</span></span><span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">feature</span><span class="symbol"><span style="position: relative; left=.2em">&aacute;</span><span>&aacute;</span></span><span class="zi">Feature</span><span class="symbol"><span style="position: relative; left=.2em">&ntilde;</span><span>&ntilde;</span></span><span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">property</span><span class="symbol"><span style="position: relative; left=.2em">&aacute;</span><span>&aacute;</span></span><span class="zi">Property</span><span class="symbol"><span style="position: relative; left=.2em">&ntilde;</span><span>&ntilde;</span></span><span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">binding</span><span class="symbol"><span style="position: relative; left=.2em">&aacute;</span><span>&aacute;</span></span><span class="zi">Binding</span><span class="symbol"><span style="position: relative; left=.2em">&ntilde;</span><span>&ntilde;</span></span><span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">bindingFault</span><span class="symbol"><span style="position: relative; left=.2em">&aacute;</span><span>&aacute;</span></span><span class="zi">BindingFault</span><span class="symbol"><span style="position: relative; left=.2em">&ntilde;</span><span>&ntilde;</span></span><span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">bindingOp</span><span class="symbol"><span style="position: relative; left=.2em">&aacute;</span><span>&aacute;</span></span><span class="zi">BindingOperation</span><span class="symbol"><span style="position: relative; left=.2em">&ntilde;</span><span>&ntilde;</span></span><span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">bindingMessageRef</span><span class="symbol"><span style="position: relative; left=.2em">&aacute;</span><span>&aacute;</span></span><span class="zi">BindingMessageReference</span><span class="symbol"><span style="position: relative; left=.2em">&ntilde;</span><span>&ntilde;</span></span><span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">service</span><span class="symbol"><span style="position: relative; left=.2em">&aacute;</span><span>&aacute;</span></span><span class="zi">Service</span><span class="symbol"><span style="position: relative; left=.2em">&ntilde;</span><span>&ntilde;</span></span><span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">endpoint</span><span class="symbol"><span style="position: relative; left=.2em">&aacute;</span><span>&aacute;</span></span><span class="zi">Endpoint</span><span class="symbol"><span style="position: relative; left=.2em">&ntilde;</span><span>&ntilde;</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>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">description</span><span class="symbol"><span style="position: relative; left=.2em">&aacute;</span><span>&aacute;</span></span><span class="zi">Description</span><span class="symbol"><span style="position: relative; left=.2em">&ntilde;</span><span>&ntilde;</span></span><span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">elementDecl</span><span class="symbol"><span style="position: relative; left=.2em">&aacute;</span><span>&aacute;</span></span><span class="zi">ElementDeclaration</span><span class="symbol"><span style="position: relative; left=.2em">&ntilde;</span><span>&ntilde;</span></span><span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">typeDef</span><span class="symbol"><span style="position: relative; left=.2em">&aacute;</span><span>&aacute;</span></span><span class="zi">TypeDefinition</span><span class="symbol"><span style="position: relative; left=.2em">&ntilde;</span><span>&ntilde;</span></span><span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">interface</span><span class="symbol"><span style="position: relative; left=.2em">&aacute;</span><span>&aacute;</span></span><span class="zi">Interface</span><span class="symbol"><span style="position: relative; left=.2em">&ntilde;</span><span>&ntilde;</span></span><span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">interfaceFault</span><span class="symbol"><span style="position: relative; left=.2em">&aacute;</span><span>&aacute;</span></span><span class="zi">InterfaceFault</span><span class="symbol"><span style="position: relative; left=.2em">&ntilde;</span><span>&ntilde;</span></span><span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">interfaceOp</span><span class="symbol"><span style="position: relative; left=.2em">&aacute;</span><span>&aacute;</span></span><span class="zi">InterfaceOperation</span><span class="symbol"><span style="position: relative; left=.2em">&ntilde;</span><span>&ntilde;</span></span><span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">messageRef</span><span class="symbol"><span style="position: relative; left=.2em">&aacute;</span><span>&aacute;</span></span><span class="zi">MessageReference</span><span class="symbol"><span style="position: relative; left=.2em">&ntilde;</span><span>&ntilde;</span></span><span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">faultRef</span><span class="symbol"><span style="position: relative; left=.2em">&aacute;</span><span>&aacute;</span></span><span class="zi">FaultReference</span><span class="symbol"><span style="position: relative; left=.2em">&ntilde;</span><span>&ntilde;</span></span><span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">feature</span><span class="symbol"><span style="position: relative; left=.2em">&aacute;</span><span>&aacute;</span></span><span class="zi">Feature</span><span class="symbol"><span style="position: relative; left=.2em">&ntilde;</span><span>&ntilde;</span></span><span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">property</span><span class="symbol"><span style="position: relative; left=.2em">&aacute;</span><span>&aacute;</span></span><span class="zi">Property</span><span class="symbol"><span style="position: relative; left=.2em">&ntilde;</span><span>&ntilde;</span></span><span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">binding</span><span class="symbol"><span style="position: relative; left=.2em">&aacute;</span><span>&aacute;</span></span><span class="zi">Binding</span><span class="symbol"><span style="position: relative; left=.2em">&ntilde;</span><span>&ntilde;</span></span><span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">bindingFault</span><span class="symbol"><span style="position: relative; left=.2em">&aacute;</span><span>&aacute;</span></span><span class="zi">BindingFault</span><span class="symbol"><span style="position: relative; left=.2em">&ntilde;</span><span>&ntilde;</span></span><span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">bindingOp</span><span class="symbol"><span style="position: relative; left=.2em">&aacute;</span><span>&aacute;</span></span><span class="zi">BindingOperation</span><span class="symbol"><span style="position: relative; left=.2em">&ntilde;</span><span>&ntilde;</span></span><span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">bindingMessageRef</span><span class="symbol"><span style="position: relative; left=.2em">&aacute;</span><span>&aacute;</span></span><span class="zi">BindingMessageReference</span><span class="symbol"><span style="position: relative; left=.2em">&ntilde;</span><span>&ntilde;</span></span><span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">service</span><span class="symbol"><span style="position: relative; left=.2em">&aacute;</span><span>&aacute;</span></span><span class="zi">Service</span><span class="symbol"><span style="position: relative; left=.2em">&ntilde;</span><span>&ntilde;</span></span><span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">endpoint</span><span class="symbol"><span style="position: relative; left=.2em">&aacute;</span><span>&aacute;</span></span><span class="zi">Endpoint</span><span class="symbol"><span style="position: relative; left=.2em">&ntilde;</span><span>&ntilde;</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">&middot;</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">&middot;</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">&middot;</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">&middot;</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">&middot;</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">&middot;</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"><span 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">&middot;</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">&middot;</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">&middot;</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">&middot;</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">&middot;</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">&middot;</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">&middot;</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"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingMessageReference</span> <span class="zinfix"><span class="symbol">&middot;</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">&middot;</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="zinfix"><span class="symbol">&middot;</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">&middot;</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span 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">&middot;</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span 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">:</span><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"><span class="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"><span class="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> {&nbsp;<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">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">description</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">&Icirc;</span></span><span class="zi">components</span>&nbsp;}</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">elementDeclComps</span> <span class="zinfix">=</span> {&nbsp;<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">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">elementDecl</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">&Icirc;</span></span><span class="zi">components</span>&nbsp;}</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> {&nbsp;<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">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">typeDef</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">&Icirc;</span></span><span class="zi">components</span>&nbsp;}</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> {&nbsp;<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">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">interface</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">&Icirc;</span></span><span class="zi">components</span>&nbsp;}</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> {&nbsp;<span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">InterfaceFault</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">interfaceFault</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">&Icirc;</span></span><span class="zi">components</span>&nbsp;}</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> {&nbsp;<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">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">interfaceOp</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">&Icirc;</span></span><span class="zi">components</span>&nbsp;}</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> {&nbsp;<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">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">messageRef</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">&Icirc;</span></span><span class="zi">components</span>&nbsp;}</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> {&nbsp;<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">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">faultRef</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">&Icirc;</span></span><span class="zi">components</span>&nbsp;}</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> {&nbsp;<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">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">feature</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">&Icirc;</span></span><span class="zi">components</span>&nbsp;}</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> {&nbsp;<span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Property</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">property</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">&Icirc;</span></span><span class="zi">components</span>&nbsp;}</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> {&nbsp;<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">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">binding</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">&Icirc;</span></span><span class="zi">components</span>&nbsp;}</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> {&nbsp;<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">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">bindingFault</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">&Icirc;</span></span><span class="zi">components</span>&nbsp;}</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> {&nbsp;<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">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">bindingOp</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">&Icirc;</span></span><span class="zi">components</span>&nbsp;}</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> {&nbsp;<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">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">bindingMessageRef</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">&Icirc;</span></span><span class="zi">components</span>&nbsp;}</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> {&nbsp;<span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Service</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">service</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">&Icirc;</span></span><span class="zi">components</span>&nbsp;}</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> {&nbsp;<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">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">endpoint</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">&Icirc;</span></span><span class="zi">components</span>&nbsp;}</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</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="zschematext" colspan="3"><span class="zschematext"><span class="zi">descriptions</span> <span class="zinfix">=</span> {&nbsp;<span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">descriptionComps</span> <span class="zinfix"><span class="symbol">&middot;</span></span> <span class="zi">x</span>.<span class="zi">id</span>&nbsp;}</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">elementDecls</span> <span class="zinfix">=</span> {&nbsp;<span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">elementDeclComps</span> <span class="zinfix"><span class="symbol">&middot;</span></span> <span class="zi">x</span>.<span class="zi">id</span>&nbsp;}</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">typeDefs</span> <span class="zinfix">=</span> {&nbsp;<span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">typeDefComps</span> <span class="zinfix"><span class="symbol">&middot;</span></span> <span class="zi">x</span>.<span class="zi">id</span>&nbsp;}</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">interfaces</span> <span class="zinfix">=</span> {&nbsp;<span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">interfaceComps</span> <span class="zinfix"><span class="symbol">&middot;</span></span> <span class="zi">x</span>.<span class="zi">id</span>&nbsp;}</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">interfaceFaults</span> <span class="zinfix">=</span> {&nbsp;<span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">interfaceFaultComps</span> <span class="zinfix"><span class="symbol">&middot;</span></span> <span class="zi">x</span>.<span class="zi">id</span>&nbsp;}</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">interfaceOps</span> <span class="zinfix">=</span> {&nbsp;<span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">interfaceOpComps</span> <span class="zinfix"><span class="symbol">&middot;</span></span> <span class="zi">x</span>.<span class="zi">id</span>&nbsp;}</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">messageRefs</span> <span class="zinfix">=</span> {&nbsp;<span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">messageRefComps</span> <span class="zinfix"><span class="symbol">&middot;</span></span> <span class="zi">x</span>.<span class="zi">id</span>&nbsp;}</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">faultRefs</span> <span class="zinfix">=</span> {&nbsp;<span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">faultRefComps</span> <span class="zinfix"><span class="symbol">&middot;</span></span> <span class="zi">x</span>.<span class="zi">id</span>&nbsp;}</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">features</span> <span class="zinfix">=</span> {&nbsp;<span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">featureComps</span> <span class="zinfix"><span class="symbol">&middot;</span></span> <span class="zi">x</span>.<span class="zi">id</span>&nbsp;}</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">properties</span> <span class="zinfix">=</span> {&nbsp;<span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">propertyComps</span> <span class="zinfix"><span class="symbol">&middot;</span></span> <span class="zi">x</span>.<span class="zi">id</span>&nbsp;}</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">bindings</span> <span class="zinfix">=</span> {&nbsp;<span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">bindingComps</span> <span class="zinfix"><span class="symbol">&middot;</span></span> <span class="zi">x</span>.<span class="zi">id</span>&nbsp;}</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">bindingFaults</span> <span class="zinfix">=</span> {&nbsp;<span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">bindingFaultComps</span> <span class="zinfix"><span class="symbol">&middot;</span></span> <span class="zi">x</span>.<span class="zi">id</span>&nbsp;}</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">bindingOps</span> <span class="zinfix">=</span> {&nbsp;<span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">bindingOpComps</span> <span class="zinfix"><span class="symbol">&middot;</span></span> <span class="zi">x</span>.<span class="zi">id</span>&nbsp;}</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">bindingMessageRefs</span> <span class="zinfix">=</span> {&nbsp;<span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">bindingMessageRefComps</span> <span class="zinfix"><span class="symbol">&middot;</span></span> <span class="zi">x</span>.<span class="zi">id</span>&nbsp;}</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">services</span> <span class="zinfix">=</span> {&nbsp;<span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">serviceComps</span> <span class="zinfix"><span class="symbol">&middot;</span></span> <span class="zi">x</span>.<span class="zi">id</span>&nbsp;}</span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">endpoints</span> <span class="zinfix">=</span> {&nbsp;<span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">endpointComps</span> <span class="zinfix"><span class="symbol">&middot;</span></span> <span class="zi">x</span>.<span class="zi">id</span>&nbsp;}</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="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>
--- 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="doublestruck">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">descriptionComponent</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">&middot;</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">props</span><span class="zinfix"><span class="symbol">&Icirc;</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="zprefix"><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">&middot;</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<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">&middot;</span></span> <span class="zi">y</span>.<span class="zi">props</span><span class="zinfix"><span class="symbol">&Icirc;</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">&middot;</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<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">&middot;</span></span> <span class="zi">y</span>.<span class="zi">props</span><span class="zinfix"><span class="symbol">&Icirc;</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"><span class="symbol">&middot;</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<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">&middot;</span></span> <span class="zi">y</span>.<span class="zi">props</span><span class="zinfix"><span class="symbol">&Icirc;</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">&middot;</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<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">&middot;</span></span> <span class="zi">y</span>.<span class="zi">props</span><span class="zinfix"><span class="symbol">&Icirc;</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">&middot;</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<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">&middot;</span></span> <span class="zi">y</span>.<span class="zi">props</span><span class="zinfix"><span class="symbol">&Icirc;</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="zinfix">=</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">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<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">&middot;</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<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 class="zinfix">:</span> <span class="zi">Binding</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<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">&middot;</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<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 class="zinfix">:</span> <span class="zi">Service</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<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">&middot;</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<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 class="zinfix">:</span> <span class="zi">ElementDeclaration</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<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">&middot;</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<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 class="zinfix">:</span> <span class="zi">TypeDefinition</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<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="symbol">&middot;</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<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">&middot;</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<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">bindingComps</span> <span class="zinfix"><span class="symbol">&middot;</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<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">serviceComps</span> <span class="zinfix"><span class="symbol">&middot;</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<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">elementDeclComps</span> <span class="zinfix"><span class="symbol">&middot;</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<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">&middot;</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<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">&middot;</span></span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<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">&middot;</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<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">&middot;</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></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">&middot;</span></span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">id</span><span class="zinfix"><span class="symbol">&Iuml;</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">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">extendedInterfaces</span><span class="zinfix"><span class="symbol">&Igrave;</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">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">faults</span><span class="zinfix"><span class="symbol">&Iacute;</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">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">operations</span><span class="zinfix"><span class="symbol">&Iacute;</span></span><span class="zi">interfaceOps</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">features</span><span class="zinfix"><span class="symbol">&Iacute;</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">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">properties</span><span class="zinfix"><span class="symbol">&Iacute;</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">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">y</span>.<span class="zi">id</span><span class="zinfix"><span class="symbol">&Icirc;</span></span><span class="zi">x</span>.<span class="zi">extendedInterfaces</span> <span class="zinfix"><span class="symbol">&middot;</span></span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">y</span>.<span class="zi">extendedInterfaces</span><span class="zinfix"><span class="symbol">&Igrave;</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">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">y</span>.<span class="zi">faults</span><span class="zinfix"><span class="symbol">&Iacute;</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">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">y</span>.<span class="zi">operations</span><span class="zinfix"><span class="symbol">&Iacute;</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">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">y</span>.<span class="zi">features</span><span class="zinfix"><span class="symbol">&Iacute;</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">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">y</span>.<span class="zi">properties</span><span class="zinfix"><span class="symbol">&Iacute;</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="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="#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 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="#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</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">&AElig;</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"><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></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">&AElig;</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</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>
--- 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="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">&AElig;</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="zschematext"><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">&AElig;</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></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>
***************
*** 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">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>
--- 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">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>
***************
*** 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="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>
--- 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="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>
***************
*** 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><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>
--- 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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.2 : Wednesday, 10 November 2004 01:59:38 GMT