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

2002/ws/desc/wsdl20 zml2html-symbols-font.xsl,NONE,1.1 zml2html-symbols-unicode.xsl,NONE,1.1 wsdl20-show.html,1.3,1.4 wsdl20.html,1.125,1.126 zml2html.xsl,1.7,1.8 zml2html-tokens.xsl,1.1,1.2 wsdl20-hide.html,1.3,1.4

From: Arthur Ryman <aryman@dev.w3.org>
Date: Fri, 26 Nov 2004 18:34:11 +0000
To: public-ws-desc-eds@w3.org
Message-ID: <E1CXkv5-00084Z-An@lionel-hutz.w3.org>

Update of /sources/public/2002/ws/desc/wsdl20
In directory hutz:/tmp/cvs-serv31021

Modified Files:
	wsdl20-show.html wsdl20.html zml2html.xsl zml2html-tokens.xsl 
	wsdl20-hide.html 
Added Files:
	zml2html-symbols-font.xsl zml2html-symbols-unicode.xsl 
Log Message:
[Unicode] Render math symbols as Unicode to be compliant with W3C Character Model

Index: zml2html-tokens.xsl
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/zml2html-tokens.xsl,v
retrieving revision 1.1
retrieving revision 1.2
diff -C2 -d -r1.1 -r1.2
*** zml2html-tokens.xsl	11 Oct 2004 21:58:31 -0000	1.1
--- zml2html-tokens.xsl	26 Nov 2004 18:34:09 -0000	1.2
***************
*** 316,322 ****
  			</xsl:when>
  			<xsl:when test="$op = '@'">
! 				<span class="zinfix">
! 					<span class="symbol">&#183;</span>
! 				</span>
  			</xsl:when>
  			<xsl:when test="$op = ':' or $op = '|' or $op = '=' or $op = '+' or $op = '-' or $op = '*' or $op = '&lt;' or $op = '&gt;'">
--- 316,320 ----
  			</xsl:when>
  			<xsl:when test="$op = '@'">
! 				<xsl:call-template name="spot"/>
  			</xsl:when>
  			<xsl:when test="$op = ':' or $op = '|' or $op = '=' or $op = '+' or $op = '-' or $op = '*' or $op = '&lt;' or $op = '&gt;'">


Index: wsdl20-show.html
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20-show.html,v
retrieving revision 1.3
retrieving revision 1.4
diff -C2 -d -r1.3 -r1.4
*** wsdl20-show.html	12 Nov 2004 02:32:38 -0000	1.3
--- wsdl20-show.html	26 Nov 2004 18:34:08 -0000	1.4
***************
*** 329,333 ****
    </p>
    
!   <table 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 class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-Description">Description</a>, <a href="#zed-ElementDeclaration">ElementDeclaration</a>, <a href="#zed-TypeDefinition">TypeDefinition</a>, <a href="#zed-Interface">Interface</a>, <a href="#zed-InterfaceFault">InterfaceFault</a>, <a href="#zed-InterfaceOperation">InterfaceOperation</a>, <a href="#zed-MessageReference">MessageReference</a>, <a href="#zed-FaultReference">FaultReference</a>, <a href="#zed-Feature">Feature</a>, <a href="#zed-Property">Property</a>, <a href="#zed-Binding">Binding</a>, <a href="#zed-BindingFault">BindingFault</a>, <a href="#zed-BindingOperation">BindingOperation</a>, <a href="#zed-BindingMessageReference">BindingMessageReference</a>, <a href="#zed-Service">Service</a>, <a href="#zed-Endpoint">Endpoint</a>.</span></span></div>
--- 329,333 ----
    </p>
    
!   <table 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>&laquo;<span class="zi">Description</span>&raquo;<span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">elementDecl</span>&laquo;<span class="zi">ElementDeclaration</span>&raquo;<span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">typeDef</span>&laquo;<span class="zi">TypeDefinition</span>&raquo;<span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">interface</span>&laquo;<span class="zi">Interface</span>&raquo;<span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">interfaceFault</span>&laquo;<span class="zi">InterfaceFault</span>&raquo;<span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">interfaceOp</span>&laquo;<span class="zi">InterfaceOperation</span>&raquo;<span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">messageRef</span>&laquo;<span class="zi">MessageReference</span>&raquo;<span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">faultRef</span>&laquo;<span class="zi">FaultReference</span>&raquo;<span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">feature</span>&laquo;<span class="zi">Feature</span>&raquo;<span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">property</span>&laquo;<span class="zi">Property</span>&raquo;<span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">binding</span>&laquo;<span class="zi">Binding</span>&raquo;<span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">bindingFault</span>&laquo;<span class="zi">BindingFault</span>&raquo;<span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">bindingOp</span>&laquo;<span class="zi">BindingOperation</span>&raquo;<span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">bindingMessageRef</span>&laquo;<span class="zi">BindingMessageReference</span>&raquo;<span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">service</span>&laquo;<span class="zi">Service</span>&raquo;<span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">endpoint</span>&laquo;<span class="zi">Endpoint</span>&raquo;</td></tr></tbody></table>
    
    <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-Description">Description</a>, <a href="#zed-ElementDeclaration">ElementDeclaration</a>, <a href="#zed-TypeDefinition">TypeDefinition</a>, <a href="#zed-Interface">Interface</a>, <a href="#zed-InterfaceFault">InterfaceFault</a>, <a href="#zed-InterfaceOperation">InterfaceOperation</a>, <a href="#zed-MessageReference">MessageReference</a>, <a href="#zed-FaultReference">FaultReference</a>, <a href="#zed-Feature">Feature</a>, <a href="#zed-Property">Property</a>, <a href="#zed-Binding">Binding</a>, <a href="#zed-BindingFault">BindingFault</a>, <a href="#zed-BindingOperation">BindingOperation</a>, <a href="#zed-BindingMessageReference">BindingMessageReference</a>, <a href="#zed-Service">Service</a>, <a href="#zed-Endpoint">Endpoint</a>.</span></span></div>
***************
*** 370,374 ****
    <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ID">ID</a>.</span></span></div>
    
!   <table 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 class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-Component">Component</a>, <a href="#zed-ID">ID</a>, <a href="#zed-Description">Description</a>, <a href="#zed-ElementDeclaration">ElementDeclaration</a>, <a href="#zed-TypeDefinition">TypeDefinition</a>, <a href="#zed-Interface">Interface</a>, <a href="#zed-InterfaceFault">InterfaceFault</a>, <a href="#zed-InterfaceOperation">InterfaceOperation</a>, <a href="#zed-MessageReference">MessageReference</a>, <a href="#zed-FaultReference">FaultReference</a>, <a href="#zed-Feature">Feature</a>, <a href="#zed-Property">Property</a>, <a href="#zed-Binding">Binding</a>, <a href="#zed-BindingFault">BindingFault</a>, <a href="#zed-BindingOperation">BindingOperation</a>, <a href="#zed-BindingMessageReference">BindingMessageReference</a>, <a href="#zed-Service">Service</a>, <a href="#zed-Endpoint">Endpoint</a>.</span></span></div>
--- 370,374 ----
    <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ID">ID</a>.</span></span></div>
    
!   <table 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">&rarr;</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">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Description</span> <span class="zinfix">&bull;</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">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">ElementDeclaration</span> <span class="zinfix">&bull;</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">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">TypeDefinition</span> <span class="zinfix">&bull;</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">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Interface</span> <span class="zinfix">&bull;</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">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">InterfaceFault</span> <span class="zinfix">&bull;</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">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">InterfaceOperation</span> <span class="zinfix">&bull;</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">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">MessageReference</span> <span class="zinfix">&bull;</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">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">FaultReference</span> <span class="zinfix">&bull;</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">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Feature</span> <span class="zinfix">&bull;</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">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Property</span> <span class="zinfix">&bull;</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">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Binding</span> <span class="zinfix">&bull;</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">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingFault</span> <span class="zinfix">&bull;</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">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingOperation</span> <span class="zinfix">&bull;</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">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingMessageReference</span> <span class="zinfix">&bull;</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">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Service</span> <span class="zinfix">&bull;</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">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Endpoint</span> <span class="zinfix">&bull;</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 class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-Component">Component</a>, <a href="#zed-ID">ID</a>, <a href="#zed-Description">Description</a>, <a href="#zed-ElementDeclaration">ElementDeclaration</a>, <a href="#zed-TypeDefinition">TypeDefinition</a>, <a href="#zed-Interface">Interface</a>, <a href="#zed-InterfaceFault">InterfaceFault</a>, <a href="#zed-InterfaceOperation">InterfaceOperation</a>, <a href="#zed-MessageReference">MessageReference</a>, <a href="#zed-FaultReference">FaultReference</a>, <a href="#zed-Feature">Feature</a>, <a href="#zed-Property">Property</a>, <a href="#zed-Binding">Binding</a>, <a href="#zed-BindingFault">BindingFault</a>, <a href="#zed-BindingOperation">BindingOperation</a>, <a href="#zed-BindingMessageReference">BindingMessageReference</a>, <a href="#zed-Service">Service</a>, <a href="#zed-Endpoint">Endpoint</a>.</span></span></div>
***************
*** 387,391 ****
    </ul>
      
!   <table 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 class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-Component">Component</a>, <a href="#zed-Id">Id</a>.</span></span></div>
--- 387,391 ----
    </ul>
      
!   <table 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">&forall;</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">&bull;</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">&rArr;</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 class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-Component">Component</a>, <a href="#zed-Id">Id</a>.</span></span></div>
***************
*** 399,403 ****
    <a name="zed-Components"></a><p><span class="zi"><a href="wsdl20-hide.html#zed-Components">Hide&nbsp;Components</a></span></p>
    
!   <table 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>
--- 399,403 ----
    <a name="zed-Components"></a><p><span class="zi"><a href="wsdl20-hide.html#zed-Components">Hide&nbsp;Components</a></span></p>
    
!   <table 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">&isin;</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">&isin;</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">&isin;</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">&isin;</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">&isin;</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">&isin;</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">&isin;</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">&isin;</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">&isin;</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">&isin;</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">&isin;</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">&isin;</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">&isin;</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">&isin;</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">&isin;</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">&isin;</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>
***************
*** 412,416 ****
    </p>
    
!   <table 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>
    
    
--- 412,416 ----
    </p>
    
!   <table 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">&bull;</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">&bull;</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">&bull;</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">&bull;</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">&bull;</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">&bull;</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">&bull;</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">&bull;</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">&bull;</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">&bull;</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">&bull;</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">&bull;</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">&bull;</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">&bull;</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">&bull;</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">&bull;</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>
    
    
***************
*** 451,455 ****
    </p>
    
!   <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zgendeftop"><span class="zschemaname">[<span class="zi">X</span>]</span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">OPTIONAL</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">P</span></span>(<span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">X</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">OPTIONAL</span> <span class="zinfix">=</span> {<span class="symbol">&AElig;</span>}<span class="zinfix"><span class="mathb">4</span></span>{&nbsp;<span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">X</span> <span class="zinfix"><span class="symbol">&middot;</span></span> {<span class="zi">x</span>}&nbsp;}</span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
    
    <ul>
--- 451,455 ----
    </p>
    
!   <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zgendeftop"><span class="zschemaname">[<span class="zi">X</span>]</span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">OPTIONAL</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">P</span></span>(<span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">X</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">OPTIONAL</span> <span class="zinfix">=</span> {&empty;}<span class="zinfix">&cup;</span>{&nbsp;<span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">X</span> <span class="zinfix">&bull;</span> {<span class="zi">x</span>}&nbsp;}</span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
    
    <ul>
***************
*** 682,686 ****
  </p>
  
! <table 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 class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-Components">Components</a>.</span></span></div>
--- 682,686 ----
  </p>
  
! <table 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">&forall;</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">&bull;</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">&rArr;</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">&forall;</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">&bull;</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">&rArr;</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">&forall;</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">&bull;</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">&rArr;</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">&forall;</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">&bull;</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">&rArr;</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">&forall;</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">&bull;</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">&rArr;</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 class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-Components">Components</a>.</span></span></div>
***************
*** 1011,1015 ****
  	  </p>
  	  
! 	  <table 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>
--- 1011,1015 ----
  	  </p>
  	  
! 	  <table 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">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">interfaceComps</span> <span class="zinfix">&bull;</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">&notin;</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">&sub;</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">&sube;</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">&sube;</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">&sube;</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">&sube;</span><span class="zi">properties</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
  	  <ul>
***************
*** 1034,1038 ****
  	  </p>
  	  
! 	  <table 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>
  	  
  	  
--- 1034,1038 ----
  	  </p>
  	  
! 	  <table 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">&forall;</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">&isin;</span><span class="zi">x</span>.<span class="zi">extendedInterfaces</span> <span class="zinfix">&bull;</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">&sub;</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">&sube;</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">&sube;</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">&sube;</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">&sube;</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>
  	  
  	  
***************
*** 2423,2427 ****
  	  </p>
  
! 	  <table 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 class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-NCName">NCName</a>, <a href="#zed-Direction">Direction</a>, <a href="#zed-OPTIONAL">OPTIONAL</a>, <a href="#zed-MessageContentModel">MessageContentModel</a>, <a href="#zed-ID">ID</a>.</span></span></div>
--- 2423,2427 ----
  	  </p>
  
! 	  <table 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">&hArr;</span><span class="zi">element</span><span class="zinfix">&ne;</span>&empty;</span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
   	  
   	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-NCName">NCName</a>, <a href="#zed-Direction">Direction</a>, <a href="#zed-OPTIONAL">OPTIONAL</a>, <a href="#zed-MessageContentModel">MessageContentModel</a>, <a href="#zed-ID">ID</a>.</span></span></div>
***************
*** 3331,3335 ****
        </p>
  
!       <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zi">ValueConstraint</span> <span class="zinfix">::=</span> <span class="zi">typeDefinitionId</span><span class="symbol"><span style="position: relative; left=.2em">&aacute;</span><span>&aacute;</span></span><span class="zi">ID</span><span class="symbol"><span style="position: relative; left=.2em">&ntilde;</span><span>&ntilde;</span></span><span class="zinfix">|</span> <span class="zi">valueToken</span></td></tr></tbody></table>
        
        <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ID">ID</a>.</span></span></div>
--- 3331,3335 ----
        </p>
  
!       <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zi">ValueConstraint</span> <span class="zinfix">::=</span> <span class="zi">typeDefinitionId</span>&laquo;<span class="zi">ID</span>&raquo;<span class="zinfix">|</span> <span class="zi">valueToken</span></td></tr></tbody></table>
        
        <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ID">ID</a>.</span></span></div>
***************
*** 3360,3364 ****
        </p>
  
!       <table 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 class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-AbsoluteURI">AbsoluteURI</a>, <a href="#zed-Boolean">Boolean</a>, <a href="#zed-OPTIONAL">OPTIONAL</a>, <a href="#zed-ValueConstraint">ValueConstraint</a>, <a href="#zed-ElementChildren">ElementChildren</a>.</span></span></div>
--- 3360,3364 ----
        </p>
  
!       <table 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">&hArr;</span><span class="zi">value</span><span class="zinfix">&ne;</span>&empty;</span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
        
        <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-AbsoluteURI">AbsoluteURI</a>, <a href="#zed-Boolean">Boolean</a>, <a href="#zed-OPTIONAL">OPTIONAL</a>, <a href="#zed-ValueConstraint">ValueConstraint</a>, <a href="#zed-ElementChildren">ElementChildren</a>.</span></span></div>

Index: zml2html.xsl
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/zml2html.xsl,v
retrieving revision 1.7
retrieving revision 1.8
diff -C2 -d -r1.7 -r1.8
*** zml2html.xsl	12 Nov 2004 02:32:38 -0000	1.7
--- zml2html.xsl	26 Nov 2004 18:34:09 -0000	1.8
***************
*** 38,41 ****
--- 38,44 ----
  	the specification
  	
+ 	2004-11-16: Arthur Ryman <ryman@ca.ibm.com>
+ 	- render Z symbols as unicode to be compliant with W3C Character Model
+ 	
  -->
  
***************
*** 45,49 ****
  	<xsl:import href="zml2html-lines.xsl" />
  	<xsl:import href="zml2html-tokens.xsl" />
! 	<xsl:import href="zml2html-symbols.xsl" />
  
  	<xsl:param name="showZed" select="'true'" />
--- 48,52 ----
  	<xsl:import href="zml2html-lines.xsl" />
  	<xsl:import href="zml2html-tokens.xsl" />
! 	<xsl:import href="zml2html-symbols-unicode.xsl" />
  
  	<xsl:param name="showZed" select="'true'" />

--- NEW FILE: zml2html-symbols-font.xsl ---
<?xml version="1.0" encoding="UTF-8"?>

<!-- Version: $Id: zml2html-symbols-font.xsl,v 1.1 2004/11/26 18:34:09 aryman Exp $ -->

<!-- Stylesheet for Z Markup Language (ZML) -->
<!-- Author: Arthur Ryman  <ryman@ca.ibm.com> -->
<!-- Date Created: 2004-09-23 -->

<!-- 
	This stylesheet is copyright (c) 2004 by its authors.  Free
	distribution and modification is permitted, including adding to
	the list of authors and copyright holders, as long as this
	copyright notice is maintained. 
-->

<!-- 
	This stylesheet renders Z Notation as HTML.
	The document must be marked up using ZML
	which is in the namespace http://www.w3.org/2004/zml.
	These tags correspond closely to the LaTeX commands
	defined in the fuzz 2000 document style developed
	by Mike Spivey and which is available at
	http://spivey.oriel.ox.ac.uk/~mike/fuzz/.
-->

<!-- 
	ChangeLog:

	2004-10-10: Arthur Ryman <ryman@ca.ibm.com>
	- simplified ZML to make authoring easier
	
-->

<xsl:stylesheet xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
	xmlns:z="http://www.w3.org/2004/zml"  exclude-result-prefixes="z" version="1.0">

	<xsl:template match="z:sub">
		<span class="zsmall">
			<sub>
				<xsl:apply-templates />
			</sub>
		</span>
	</xsl:template>

	<xsl:template match="z:u">
		<xsl:text>_</xsl:text>
	</xsl:template>

	<xsl:template match="z:t1">
		<xsl:call-template name="tab" />
	</xsl:template>

	<xsl:template match="z:t2">
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />
	</xsl:template>

	<xsl:template match="z:t3">
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />
	</xsl:template>

	<xsl:template match="z:t4">
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />
	</xsl:template>

	<xsl:template match="z:t5">
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />

		<xsl:call-template name="tab" />
	</xsl:template>

	<xsl:template match="z:t6">
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />

		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />
	</xsl:template>

	<xsl:template match="z:t7">
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />

		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />
	</xsl:template>

	<xsl:template match="z:t8">
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />

		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />
	</xsl:template>

	<xsl:template match="z:t9">
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />

		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />

		<xsl:call-template name="tab" />
	</xsl:template>

	<xsl:template name="tab">
		<xsl:text>&#160;&#160;&#160;&#160;&#160;&#160;</xsl:text>
	</xsl:template>

	<xsl:template match="z:lquot | z:rquot">
		<xsl:text>&quot;</xsl:text>
	</xsl:template>

	<xsl:template match="z:lapos | z:rapos">
		<xsl:text>'</xsl:text>
	</xsl:template>
	
		<xsl:template name="spot">
				<span class="zinfix">
					<span class="symbol">&#183;</span>
				</span>
		</xsl:when>
	

	<!-- Schema definition \defs -->

	<xsl:template match="z:defs">
		<span class="zinfix">
			<span
				style="position: relative; left: .2em; bottom: .75ex">
				^
			</span>
			<span style="position: relative; right: .3em">=</span>
		</span>
	</xsl:template>

	<!-- Free type definition \ldata, \rdata -->

	<xsl:template match="z:ldata">
		<span class="symbol">
			<span style="position: relative; left=.2em">&#225;</span>
			<span>&#225;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:rdata">
		<span class="symbol">
			<span style="position: relative; left=.2em">&#241;</span>
			<span>&#241;</span>
		</span>
	</xsl:template>

	<!-- Logic and schema calculus -->

	<xsl:template match="z:lnot">
		<span class="zprefix">
			<span class="symbol">
				<xsl:text>&#216;</xsl:text>
			</span>
		</span>
	</xsl:template>

	<xsl:template match="z:land">
		<span class="zinfix">
			<span class="mathb">
				<xsl:text>&#46;</xsl:text>
			</span>
		</span>
	</xsl:template>

	<xsl:template match="z:lor">
		<span class="zinfix">
			<span class="mathb">
				<xsl:text>&#45;</xsl:text>
			</span>
		</span>
	</xsl:template>

	<xsl:template match="z:implies">
		<span class="zinfix">
			<span class="mathc">
				<xsl:text>&#117;</xsl:text>
			</span>
		</span>
	</xsl:template>

	<xsl:template match="z:iff">
		<span class="zinfix">
			<span class="mathc">&#119;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:forall">
		<span class="zprefix">
			<span class="symbol">&#34;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:exists">
		<span class="zprefix">
			<span class="symbol">&#36;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:exists_1">
		<span class="zprefix">
			<span class="symbol">&#36;</span>
			<span class="zsmall">
				<sub>1</sub>
			</span>
		</span>
	</xsl:template>

	<!-- Special schema operators -->

	<xsl:template match="z:hide">
		<span class="zinfix">
			<span class="mathc">&#66;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:project">
		<span class="zinfix">
			<span class="mathc">&#147;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:pre">
		<span class="zprefix">
			<span class="zs">pre</span>
		</span>
	</xsl:template>

	<xsl:template match="z:semi">
		<span class="zinfix">;</span>
	</xsl:template>

	<xsl:template match="z:pipe">
		<span class="zinfix">
			<span class="mathb">&#112;</span>
		</span>
	</xsl:template>

	<!-- Basic expressions -->

	<xsl:template match="z:neq">
		<span class="zinfix">
			<span class="mathb">&#103;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:IF">
		<span class="zprefix">
			<span class="zbs">
				<xsl:text>if</xsl:text>
			</span>
		</span>
	</xsl:template>

	<xsl:template match="z:THEN">
		<span class="zinfix">
			<span class="zbs">
				<xsl:text>then</xsl:text>
			</span>
		</span>
	</xsl:template>

	<xsl:template match="z:ELSE">
		<span class="zprefix">
			<span class="zbs">
				<xsl:text>else</xsl:text>
			</span>
		</span>
	</xsl:template>

	<xsl:template match="z:theta">
		<span class="zprefix">
			<span class="zi">
				<span class="symbol">&#113;</span>
			</span>
		</span>
	</xsl:template>

	<xsl:template match="z:mu">
		<span class="zprefix">
			<span class="zi">
				<span class="symbol">m</span>
			</span>
		</span>
	</xsl:template>

	<xsl:template match="z:LET">
		<span class="zprefix">
			<span class="zbs">
				<xsl:text>let</xsl:text>
			</span>
		</span>
	</xsl:template>


	<!-- Sets -->

	<xsl:template match="z:in">
		<span class="zinfix">
			<span class="symbol">&#206;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:notin">
		<span class="zinfix">
			<span class="symbol">&#207;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:emptyset">
		<span class="symbol">&#198;</span>
	</xsl:template>

	<xsl:template match="z:subseteq">
		<span class="zinfix">
			<span class="symbol">&#205;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:subset">
		<span class="zinfix">
			<span class="symbol">&#204;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:power">
		<span class="zprefix">
			<span class="doublestruck">P</span>
		</span>
	</xsl:template>

	<xsl:template match="z:power_1">
		<span class="zprefix">
			<span class="doublestruck">P</span>
			<span class="zsmall">
				<sub>1</sub>
			</span>
		</span>
	</xsl:template>

	<xsl:template match="z:cross">
		<span class="zinfix">
			<span class="symbol">&#180;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:cup">
		<span class="zinfix">
			<span class="mathb">&#52;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:cap">
		<span class="zinfix">
			<span class="mathb">&#51;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:setminus">
		<span class="zinfix">
			<span class="mathc">&#66;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:bigcup">
		<span class="zprefix">
			<span class="zbig">
				<span class="mathb">&#52;</span>
			</span>
		</span>
	</xsl:template>

	<xsl:template match="z:bigcap">
		<span class="zprefix">
			<span class="zbig">
				<span class="mathb">&#51;</span>
			</span>
		</span>
	</xsl:template>

	<xsl:template match="z:finset">
		<span class="zprefix">
			<span class="doublestruck">F</span>
		</span>
	</xsl:template>

	<xsl:template match="z:finset_1">
		<span class="zprefix">
			<span class="doublestruck">F</span>
			<span class="zsmall">
				<sub>1</sub>
			</span>
		</span>
	</xsl:template>


	<!-- Relations -->

	<xsl:template match="z:rel">
		<span class="zinfix">
			<span class="mathc">&#118;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:mapsto">
		<span class="zinfix">
			<span class="mathc">&#120;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:dom | z:ran | z:id">
		<span class="zprefix">
			<span class="zs">
				<xsl:value-of select="local-name()" />
			</span>
		</span>
	</xsl:template>

	<xsl:template match="z:comp">
		<span class="zinfix">;</span>
	</xsl:template>

	<xsl:template match="z:circ">
		<span class="zinfix">
			<span class="mathb">&#219;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:dres">
		<span class="zinfix">
			<span class="mathb">&#169;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:rres">
		<span class="zinfix">
			<span class="mathb">&#168;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:ndres">
		<span class="mathb" style="position: relative; left: .25em">
			&#169;
		</span>
		<span class="symbol"
			style="position: relative; right: .25em; bottom: .9ex">
			&#95;
		</span>
	</xsl:template>

	<xsl:template match="z:nrres">
		<span class="symbol"
			style="position: relative; left: .25em; bottom: .9ex">
			&#95;
		</span>
		<span class="mathb" style="position: relative; right: .25em">
			&#168;
		</span>
	</xsl:template>

	<xsl:template match="z:inv">
		<sup>~</sup>
	</xsl:template>

	<xsl:template match="z:limg">
		<span style="position: relative; left: .2em">(</span>
		<span>|</span>
	</xsl:template>

	<xsl:template match="z:rimg">
		<span style="position: relative; left: .2em">|</span>
		<span>)</span>
	</xsl:template>

	<xsl:template match="z:oplus">
		<span class="zinfix">
			<span class="mathb">&#47;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:plus">
		<sup>+</sup>
	</xsl:template>

	<xsl:template match="z:star">
		<sup>*</sup>
	</xsl:template>

	<xsl:template match="z:sup">
		<sup>
			<xsl:apply-templates />
		</sup>
	</xsl:template>


	<!-- Functions -->

	<xsl:template match="z:lambda">
		<span class="zprefix">
			<span class="symbol">l</span>
		</span>
	</xsl:template>

	<xsl:template match="z:pfun">
		<span class="zpostfix">
			<span class="mathc">&#116;</span>
			<span class="mathb"
				style="position: relative; right: .7em; top: .1ex">
				&#200;
			</span>
		</span>
	</xsl:template>

	<xsl:template match="z:fun">
		<span class="zinfix">
			<span class="mathc">&#116;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:pinj">
		<span class="zpostfix">
			<span class="mathc">&#152;</span>
			<span class="mathb"
				style="position: relative; right: .55em; top: .1ex">
				&#200;
			</span>
		</span>
	</xsl:template>

	<xsl:template match="z:inj">
		<span class="zinfix">
			<span class="mathc">&#152;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:psurj">
		<span class="zpostfix">
			<span class="mathc">&#137;</span>
			<span class="mathb"
				style="position: relative; right: .6em; top: .1ex">
				&#200;
			</span>
		</span>
	</xsl:template>

	<xsl:template match="z:surj">
		<span class="zinfix">
			<span class="mathc">&#137;</span>
		</span>
	</xsl:template>

	<!-- use normal symbol since Z symbol is not available -->
	<xsl:template match="z:bij">
		<span class="zinfix">
			<span class="mathb">&#123;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:ffun">
		<span class="zpostfix">
			<span class="mathc">&#116;</span>
			<span class="mathb"
				style="position: relative; right: .8em;">
				&#201;
			</span>
		</span>
	</xsl:template>

	<xsl:template match="z:finj">
		<span class="zpostfix">
			<span class="mathc">&#152;</span>
			<span class="mathb"
				style="position: relative; right: .65em;">
				&#201;
			</span>
		</span>
	</xsl:template>


	<!-- Numbers and arithmetic -->

	<xsl:template match="z:nat">
		<span class="doublestruck">N</span>
	</xsl:template>

	<xsl:template match="z:num">
		<span class="doublestruck">Z</span>
	</xsl:template>

	<xsl:template match="z:div | z:mod">
		<span class="zinfix">
			<span class="zss">
				<xsl:value-of select="local-name()" />
			</span>
		</span>
	</xsl:template>

	<xsl:template match="z:leq">
		<span class="zinfix">
			<span class="mathb">
				<xsl:text>&#91;</xsl:text>
			</span>
		</span>
	</xsl:template>

	<xsl:template match="z:geq">
		<span class="zinfix">
			<span class="mathb">
				<xsl:text>&#109;</xsl:text>
			</span>
		</span>
	</xsl:template>

	<xsl:template match="z:nat_1">
		<span class="doublestruck">N</span>
		<span class="zsmall">
			<sub>1</sub>
		</span>
	</xsl:template>

	<xsl:template match="z:upto">
		<span class="zinfix">
			<xsl:text>..</xsl:text>
		</span>
	</xsl:template>


	<!-- Sequences -->

	<xsl:template match="z:seq | z:iseq">
		<span class="zprefix">
			<span class="zs">
				<xsl:value-of select="local-name()" />
			</span>
		</span>
	</xsl:template>

	<xsl:template match="z:seq_1">
		<span class="zprefix">
			<span class="zs">seq</span>
			<span class="zsmall">
				<sub>1</sub>
			</span>
		</span>
	</xsl:template>

	<xsl:template match="z:langle">
		<span class="zprefix">
			<span class="symbol">&#225;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:rangle">
		<span class="zpostfix">
			<span class="symbol">&#241;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:cat">
		<span class="zinfix">
			<span class="mathb"
				style="position: relative; bottom: 1ex">
				&#102;
			</span>
		</span>
	</xsl:template>

	<xsl:template match="z:extract">
		<span class="zinfix">
			<span class="mathc">&#150;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:filter">
		<span class="zinfix">
			<span class="mathc">&#147;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:prefix | z:suffix | z:partition">
		<span class="zinfix">
			<span class="zss">
				<xsl:value-of select="local-name()" />
			</span>
		</span>
	</xsl:template>

	<xsl:template match="z:inseq">
		<span class="zinfix">
			<span class="zss">in</span>
		</span>
	</xsl:template>

	<xsl:template match="z:dcat">
		<span class="zprefix">
			<span class="mathb"
				style="position: relative; bottom: 1ex">
				&#102;
			</span>
			<span>/</span>
		</span>
	</xsl:template>

	<xsl:template match="z:disjoint">
		<span class="zprefix">
			<span class="zss">
				<xsl:value-of select="local-name()" />
			</span>
		</span>
	</xsl:template>


	<!-- Bags -->

	<xsl:template match="z:bag">
		<span class="zprefix">
			<span class="zs">bag</span>
		</span>
	</xsl:template>

	<xsl:template match="z:lbag">
		<span class="mathb">&#223;</span>
	</xsl:template>

	<xsl:template match="z:rbag">
		<span class="mathb">&#224;</span>
	</xsl:template>

	<xsl:template match="z:bcount">
		<span class="zinfix">
			<span class="mathc">&#204;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:otimes">
		<span class="zinfix">
			<span class="mathb">&#49;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:inbag">
		<span class="zinfix">
			<span class="zss">inbag</span>
		</span>
	</xsl:template>

	<xsl:template match="z:subbageq">
		<span class="zinfix">
			<span class="mathb">&#98;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:uplus">
		<span class="zinfix">
			<span class="mathb">&#53;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:uminus">
		<span class="zpostfix">
			<span class="mathb">&#52;</span>
			<span style="position: relative; right: .4em; top: .1em">
				-
			</span>
		</span>
	</xsl:template>

</xsl:stylesheet>
--- NEW FILE: zml2html-symbols-unicode.xsl ---
<?xml version="1.0" encoding="UTF-8"?>

<!-- Version: $Id: zml2html-symbols-unicode.xsl,v 1.1 2004/11/26 18:34:09 aryman Exp $ -->

<!-- Stylesheet for Z Markup Language (ZML) -->
<!-- Author: Arthur Ryman  <ryman@ca.ibm.com> -->
<!-- Date Created: 2004-09-23 -->

<!-- 
	This stylesheet is copyright (c) 2004 by its authors.  Free
	distribution and modification is permitted, including adding to
	the list of authors and copyright holders, as long as this
	copyright notice is maintained. 
-->

<!-- 
	This stylesheet renders Z Notation as HTML.
	The document must be marked up using ZML
	which is in the namespace http://www.w3.org/2004/zml.
	These tags correspond closely to the LaTeX commands
	defined in the fuzz 2000 document style developed
	by Mike Spivey and which is available at
	http://spivey.oriel.ox.ac.uk/~mike/fuzz/.
-->

<!-- 
	ChangeLog:

	2004-10-10: Arthur Ryman <ryman@ca.ibm.com>
	- simplified ZML to make authoring easier
	
	2004-11-16: Arthur Ryman <ryman@ca.ibm.com>
	- render Z symbols as Unicode characters to be compliant with W3C Character Model
	
-->

<!DOCTYPE xsl:stylesheet [
<!ENTITY nbsp   "&#160;"> <!-- no-break space = non-breaking space,
                                  U+00A0 ISOnum -->
<!ENTITY laquo  "&#171;"> <!-- left-pointing double angle quotation mark
                                  = left pointing guillemet, U+00AB ISOnum -->
<!ENTITY not    "&#172;"> <!-- not sign = discretionary hyphen,
                                  U+00AC ISOnum -->
<!ENTITY raquo  "&#187;"> <!-- right-pointing double angle quotation mark
                                  = right pointing guillemet, U+00BB ISOnum -->
<!ENTITY times  "&#215;"> <!-- multiplication sign, U+00D7 ISOnum -->
<!ENTITY divide "&#247;"> <!-- division sign, U+00F7 ISOnum -->
<!ENTITY theta    "&#952;"> <!-- greek small letter theta,
                                    U+03B8 ISOgrk3 -->
<!ENTITY lambda   "&#955;"> <!-- greek small letter lambda,
                                    U+03BB ISOgrk3 -->
<!ENTITY mu       "&#956;"> <!-- greek small letter mu, U+03BC ISOgrk3 -->
<!ENTITY bull     "&#8226;"> <!-- bullet = black small circle,
                                     U+2022 ISOpub  -->
<!-- bullet is NOT the same as bullet operator, U+2219 -->
<!ENTITY rarr     "&#8594;"> <!-- rightwards arrow, U+2192 ISOnum -->
<!ENTITY harr     "&#8596;"> <!-- left right arrow, U+2194 ISOamsa -->
<!ENTITY rArr     "&#8658;"> <!-- rightwards double arrow,
                                     U+21D2 ISOtech -->
<!-- Unicode does not say this is the 'implies' character but does not have 
     another character with this function. rArr can be used for 'implies' as 
     ISOtech suggests -->
<!ENTITY hArr     "&#8660;"> <!-- left right double arrow,
                                     U+21D4 ISOamsa -->
<!ENTITY forall   "&#8704;"> <!-- for all, U+2200 ISOtech -->
<!ENTITY exist    "&#8707;"> <!-- there exists, U+2203 ISOtech -->
<!ENTITY empty    "&#8709;"> <!-- empty set = null set = diameter,
                                     U+2205 ISOamso -->
<!ENTITY isin     "&#8712;"> <!-- element of, U+2208 ISOtech -->
<!ENTITY notin    "&#8713;"> <!-- not an element of, U+2209 ISOtech -->
<!ENTITY minus    "&#8722;"> <!-- minus sign, U+2212 ISOtech -->
<!ENTITY and      "&#8743;"> <!-- logical and = wedge, U+2227 ISOtech -->
<!ENTITY or       "&#8744;"> <!-- logical or = vee, U+2228 ISOtech -->
<!ENTITY cap      "&#8745;"> <!-- intersection = cap, U+2229 ISOtech -->
<!ENTITY cup      "&#8746;"> <!-- union = cup, U+222A ISOtech -->
<!ENTITY ne       "&#8800;"> <!-- not equal to, U+2260 ISOtech -->
<!ENTITY le       "&#8804;"> <!-- less-than or equal to, U+2264 ISOtech -->
<!ENTITY ge       "&#8805;"> <!-- greater-than or equal to,
                                     U+2265 ISOtech -->
<!ENTITY sub      "&#8834;"> <!-- subset of, U+2282 ISOtech -->
<!ENTITY sube     "&#8838;"> <!-- subset of or equal to, U+2286 ISOtech -->
<!ENTITY oplus    "&#8853;"> <!-- circled plus = direct sum,
                                     U+2295 ISOamsb -->
<!ENTITY otimes   "&#8855;"> <!-- circled times = vector product,
                                     U+2297 ISOamsb -->
<!ENTITY lang     "&#9001;"> <!-- left-pointing angle bracket = bra,
                                     U+2329 ISOtech -->
<!-- lang is NOT the same character as U+003C 'less than' 
     or U+2039 'single left-pointing angle quotation mark' -->
<!ENTITY rang     "&#9002;"> <!-- right-pointing angle bracket = ket,
                                     U+232A ISOtech -->
<!-- rang is NOT the same character as U+003E 'greater than' 
     or U+203A 'single right-pointing angle quotation mark' -->
]>

<xsl:stylesheet xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
	xmlns:z="http://www.w3.org/2004/zml"  exclude-result-prefixes="z" version="1.0">

	<xsl:template match="z:sub">
		<span class="zsmall">
			<sub>
				<xsl:apply-templates />
			</sub>
		</span>
	</xsl:template>

	<xsl:template match="z:u">
		<xsl:text>_</xsl:text>
	</xsl:template>

	<xsl:template match="z:t1">
		<xsl:call-template name="tab" />
	</xsl:template>

	<xsl:template match="z:t2">
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />
	</xsl:template>

	<xsl:template match="z:t3">
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />
	</xsl:template>

	<xsl:template match="z:t4">
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />
	</xsl:template>

	<xsl:template match="z:t5">
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />

		<xsl:call-template name="tab" />
	</xsl:template>

	<xsl:template match="z:t6">
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />

		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />
	</xsl:template>

	<xsl:template match="z:t7">
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />

		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />
	</xsl:template>

	<xsl:template match="z:t8">
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />

		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />
	</xsl:template>

	<xsl:template match="z:t9">
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />

		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />
		<xsl:call-template name="tab" />

		<xsl:call-template name="tab" />
	</xsl:template>

	<xsl:template name="tab">
		<xsl:text>&#160;&#160;&#160;&#160;&#160;&#160;</xsl:text>
	</xsl:template>

	<xsl:template match="z:lquot | z:rquot">
		<xsl:text>&quot;</xsl:text>
	</xsl:template>

	<xsl:template match="z:lapos | z:rapos">
		<xsl:text>'</xsl:text>
	</xsl:template>
	
	<xsl:template name="spot">
		<span class="zinfix">&bull;</span>
	</xsl:template>

	<!-- Schema definition \defs -->

	<xsl:template match="z:defs">
		<span class="zinfix">
			<span
				style="position: relative; left: .2em; bottom: .75ex">
				^
			</span>
			<span style="position: relative; right: .3em">=</span>
		</span>
	</xsl:template>

	<!-- Free type definition \ldata, \rdata -->

	<xsl:template match="z:ldata">
		<xsl:text>&laquo;</xsl:text>
	</xsl:template>

	<xsl:template match="z:rdata">
		<xsl:text>&raquo;</xsl:text>
	</xsl:template>

	<!-- Logic and schema calculus -->

	<xsl:template match="z:lnot">
		<span class="zprefix">
			<span class="symbol">
				<xsl:text>&#216;</xsl:text>
			</span>
		</span>
	</xsl:template>

	<xsl:template match="z:land">
		<span class="zinfix">
			<span class="mathb">
				<xsl:text>&#46;</xsl:text>
			</span>
		</span>
	</xsl:template>

	<xsl:template match="z:lor">
		<span class="zinfix">
			<span class="mathb">
				<xsl:text>&#45;</xsl:text>
			</span>
		</span>
	</xsl:template>

	<xsl:template match="z:implies">
		<span class="zinfix">&rArr;</span>
	</xsl:template>

	<xsl:template match="z:iff">
		<span class="zinfix">&hArr;</span>
	</xsl:template>

	<xsl:template match="z:forall">
		<span class="zprefix">&forall;</span>
	</xsl:template>

	<xsl:template match="z:exists">
		<span class="zprefix">&exist;</span>
	</xsl:template>

	<xsl:template match="z:exists_1">
		<span class="zprefix">&exist;<span class="zsmall">
				<sub>1</sub>
			</span>
		</span>
	</xsl:template>

	<!-- Special schema operators -->

	<xsl:template match="z:hide">
		<span class="zinfix">
			<span class="mathc">&#66;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:project">
		<span class="zinfix">
			<span class="mathc">&#147;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:pre">
		<span class="zprefix">
			<span class="zs">pre</span>
		</span>
	</xsl:template>

	<xsl:template match="z:semi">
		<span class="zinfix">;</span>
	</xsl:template>

	<xsl:template match="z:pipe">
		<span class="zinfix">
			<span class="mathb">&#112;</span>
		</span>
	</xsl:template>

	<!-- Basic expressions -->

	<xsl:template match="z:neq">
		<span class="zinfix">&ne;</span>
	</xsl:template>

	<xsl:template match="z:IF">
		<span class="zprefix">
			<span class="zbs">
				<xsl:text>if</xsl:text>
			</span>
		</span>
	</xsl:template>

	<xsl:template match="z:THEN">
		<span class="zinfix">
			<span class="zbs">
				<xsl:text>then</xsl:text>
			</span>
		</span>
	</xsl:template>

	<xsl:template match="z:ELSE">
		<span class="zprefix">
			<span class="zbs">
				<xsl:text>else</xsl:text>
			</span>
		</span>
	</xsl:template>

	<xsl:template match="z:theta">
		<span class="zprefix">
			<span class="zi">
				<span class="symbol">&#113;</span>
			</span>
		</span>
	</xsl:template>

	<xsl:template match="z:mu">
		<span class="zprefix">
			<span class="zi">
				<span class="symbol">m</span>
			</span>
		</span>
	</xsl:template>

	<xsl:template match="z:LET">
		<span class="zprefix">
			<span class="zbs">
				<xsl:text>let</xsl:text>
			</span>
		</span>
	</xsl:template>


	<!-- Sets -->

	<xsl:template match="z:in">
		<span class="zinfix">&isin;</span>
	</xsl:template>

	<xsl:template match="z:notin">
		<span class="zinfix">&notin;</span>
	</xsl:template>

	<xsl:template match="z:emptyset">
		<xsl:text>&empty;</xsl:text>
	</xsl:template>

	<xsl:template match="z:subseteq">
		<span class="zinfix">&sube;</span>
	</xsl:template>

	<xsl:template match="z:subset">
		<span class="zinfix">&sub;</span>
	</xsl:template>

	<xsl:template match="z:power">
		<span class="zprefix">
			<span class="doublestruck">P</span>
		</span>
	</xsl:template>

	<xsl:template match="z:power_1">
		<span class="zprefix">
			<span class="doublestruck">P</span>
			<span class="zsmall">
				<sub>1</sub>
			</span>
		</span>
	</xsl:template>

	<xsl:template match="z:cross">
		<span class="zinfix">&times;</span>
	</xsl:template>

	<xsl:template match="z:cup">
		<span class="zinfix">&cup;</span>
	</xsl:template>

	<xsl:template match="z:cap">
		<span class="zinfix">&cap;</span>
	</xsl:template>

	<xsl:template match="z:setminus">
		<span class="zinfix">
			<span class="mathc">&#66;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:bigcup">
		<span class="zprefix">
			<span class="zbig">
				<span class="mathb">&#52;</span>
			</span>
		</span>
	</xsl:template>

	<xsl:template match="z:bigcap">
		<span class="zprefix">
			<span class="zbig">
				<span class="mathb">&#51;</span>
			</span>
		</span>
	</xsl:template>

	<xsl:template match="z:finset">
		<span class="zprefix">
			<span class="doublestruck">F</span>
		</span>
	</xsl:template>

	<xsl:template match="z:finset_1">
		<span class="zprefix">
			<span class="doublestruck">F</span>
			<span class="zsmall">
				<sub>1</sub>
			</span>
		</span>
	</xsl:template>


	<!-- Relations -->

	<xsl:template match="z:rel">
		<span class="zinfix">
			<span class="mathc">&#118;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:mapsto">
		<span class="zinfix">
			<span class="mathc">&#120;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:dom | z:ran | z:id">
		<span class="zprefix">
			<span class="zs">
				<xsl:value-of select="local-name()" />
			</span>
		</span>
	</xsl:template>

	<xsl:template match="z:comp">
		<span class="zinfix">;</span>
	</xsl:template>

	<xsl:template match="z:circ">
		<span class="zinfix">
			<span class="mathb">&#219;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:dres">
		<span class="zinfix">
			<span class="mathb">&#169;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:rres">
		<span class="zinfix">
			<span class="mathb">&#168;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:ndres">
		<span class="mathb" style="position: relative; left: .25em">
			&#169;
		</span>
		<span class="symbol"
			style="position: relative; right: .25em; bottom: .9ex">
			&#95;
		</span>
	</xsl:template>

	<xsl:template match="z:nrres">
		<span class="symbol"
			style="position: relative; left: .25em; bottom: .9ex">
			&#95;
		</span>
		<span class="mathb" style="position: relative; right: .25em">
			&#168;
		</span>
	</xsl:template>

	<xsl:template match="z:inv">
		<sup>~</sup>
	</xsl:template>

	<xsl:template match="z:limg">
		<span style="position: relative; left: .2em">(</span>
		<span>|</span>
	</xsl:template>

	<xsl:template match="z:rimg">
		<span style="position: relative; left: .2em">|</span>
		<span>)</span>
	</xsl:template>

	<xsl:template match="z:oplus">
		<span class="zinfix">
			<span class="mathb">&#47;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:plus">
		<sup>+</sup>
	</xsl:template>

	<xsl:template match="z:star">
		<sup>*</sup>
	</xsl:template>

	<xsl:template match="z:sup">
		<sup>
			<xsl:apply-templates />
		</sup>
	</xsl:template>


	<!-- Functions -->

	<xsl:template match="z:lambda">
		<span class="zprefix">
			<span class="symbol">l</span>
		</span>
	</xsl:template>

	<xsl:template match="z:pfun">
		<span class="zpostfix">
			<span class="mathc">&#116;</span>
			<span class="mathb"
				style="position: relative; right: .7em; top: .1ex">
				&#200;
			</span>
		</span>
	</xsl:template>

	<xsl:template match="z:fun">
		<span class="zinfix">&rarr;</span>
	</xsl:template>

	<xsl:template match="z:pinj">
		<span class="zpostfix">
			<span class="mathc">&#152;</span>
			<span class="mathb"
				style="position: relative; right: .55em; top: .1ex">
				&#200;
			</span>
		</span>
	</xsl:template>

	<xsl:template match="z:inj">
		<span class="zinfix">
			<span class="mathc">&#152;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:psurj">
		<span class="zpostfix">
			<span class="mathc">&#137;</span>
			<span class="mathb"
				style="position: relative; right: .6em; top: .1ex">
				&#200;
			</span>
		</span>
	</xsl:template>

	<xsl:template match="z:surj">
		<span class="zinfix">
			<span class="mathc">&#137;</span>
		</span>
	</xsl:template>

	<!-- use normal symbol since Z symbol is not available -->
	<xsl:template match="z:bij">
		<span class="zinfix">
			<span class="mathb">&#123;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:ffun">
		<span class="zpostfix">
			<span class="mathc">&#116;</span>
			<span class="mathb"
				style="position: relative; right: .8em;">
				&#201;
			</span>
		</span>
	</xsl:template>

	<xsl:template match="z:finj">
		<span class="zpostfix">
			<span class="mathc">&#152;</span>
			<span class="mathb"
				style="position: relative; right: .65em;">
				&#201;
			</span>
		</span>
	</xsl:template>


	<!-- Numbers and arithmetic -->

	<xsl:template match="z:nat">
		<span class="doublestruck">N</span>
	</xsl:template>

	<xsl:template match="z:num">
		<span class="doublestruck">Z</span>
	</xsl:template>

	<xsl:template match="z:div | z:mod">
		<span class="zinfix">
			<span class="zss">
				<xsl:value-of select="local-name()" />
			</span>
		</span>
	</xsl:template>

	<xsl:template match="z:leq">
		<span class="zinfix">
			<span class="mathb">
				<xsl:text>&#91;</xsl:text>
			</span>
		</span>
	</xsl:template>

	<xsl:template match="z:geq">
		<span class="zinfix">
			<span class="mathb">
				<xsl:text>&#109;</xsl:text>
			</span>
		</span>
	</xsl:template>

	<xsl:template match="z:nat_1">
		<span class="doublestruck">N</span>
		<span class="zsmall">
			<sub>1</sub>
		</span>
	</xsl:template>

	<xsl:template match="z:upto">
		<span class="zinfix">
			<xsl:text>..</xsl:text>
		</span>
	</xsl:template>


	<!-- Sequences -->

	<xsl:template match="z:seq | z:iseq">
		<span class="zprefix">
			<span class="zs">
				<xsl:value-of select="local-name()" />
			</span>
		</span>
	</xsl:template>

	<xsl:template match="z:seq_1">
		<span class="zprefix">
			<span class="zs">seq</span>
			<span class="zsmall">
				<sub>1</sub>
			</span>
		</span>
	</xsl:template>

	<xsl:template match="z:langle">
		<span class="zprefix">
			<span class="symbol">&#225;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:rangle">
		<span class="zpostfix">
			<span class="symbol">&#241;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:cat">
		<span class="zinfix">
			<span class="mathb"
				style="position: relative; bottom: 1ex">
				&#102;
			</span>
		</span>
	</xsl:template>

	<xsl:template match="z:extract">
		<span class="zinfix">
			<span class="mathc">&#150;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:filter">
		<span class="zinfix">
			<span class="mathc">&#147;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:prefix | z:suffix | z:partition">
		<span class="zinfix">
			<span class="zss">
				<xsl:value-of select="local-name()" />
			</span>
		</span>
	</xsl:template>

	<xsl:template match="z:inseq">
		<span class="zinfix">
			<span class="zss">in</span>
		</span>
	</xsl:template>

	<xsl:template match="z:dcat">
		<span class="zprefix">
			<span class="mathb"
				style="position: relative; bottom: 1ex">
				&#102;
			</span>
			<span>/</span>
		</span>
	</xsl:template>

	<xsl:template match="z:disjoint">
		<span class="zprefix">
			<span class="zss">
				<xsl:value-of select="local-name()" />
			</span>
		</span>
	</xsl:template>


	<!-- Bags -->

	<xsl:template match="z:bag">
		<span class="zprefix">
			<span class="zs">bag</span>
		</span>
	</xsl:template>

	<xsl:template match="z:lbag">
		<span class="mathb">&#223;</span>
	</xsl:template>

	<xsl:template match="z:rbag">
		<span class="mathb">&#224;</span>
	</xsl:template>

	<xsl:template match="z:bcount">
		<span class="zinfix">
			<span class="mathc">&#204;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:otimes">
		<span class="zinfix">
			<span class="mathb">&#49;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:inbag">
		<span class="zinfix">
			<span class="zss">inbag</span>
		</span>
	</xsl:template>

	<xsl:template match="z:subbageq">
		<span class="zinfix">
			<span class="mathb">&#98;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:uplus">
		<span class="zinfix">
			<span class="mathb">&#53;</span>
		</span>
	</xsl:template>

	<xsl:template match="z:uminus">
		<span class="zpostfix">
			<span class="mathb">&#52;</span>
			<span style="position: relative; right: .4em; top: .1em">
				-
			</span>
		</span>
	</xsl:template>

</xsl:stylesheet>
Index: wsdl20.html
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.html,v
retrieving revision 1.125
retrieving revision 1.126
diff -C2 -d -r1.125 -r1.126
*** wsdl20.html	12 Nov 2004 02:32:38 -0000	1.125
--- wsdl20.html	26 Nov 2004 18:34:08 -0000	1.126
***************
*** 329,333 ****
    </p>
    
!   <table 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 class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-Description">Description</a>, <a href="#zed-ElementDeclaration">ElementDeclaration</a>, <a href="#zed-TypeDefinition">TypeDefinition</a>, <a href="#zed-Interface">Interface</a>, <a href="#zed-InterfaceFault">InterfaceFault</a>, <a href="#zed-InterfaceOperation">InterfaceOperation</a>, <a href="#zed-MessageReference">MessageReference</a>, <a href="#zed-FaultReference">FaultReference</a>, <a href="#zed-Feature">Feature</a>, <a href="#zed-Property">Property</a>, <a href="#zed-Binding">Binding</a>, <a href="#zed-BindingFault">BindingFault</a>, <a href="#zed-BindingOperation">BindingOperation</a>, <a href="#zed-BindingMessageReference">BindingMessageReference</a>, <a href="#zed-Service">Service</a>, <a href="#zed-Endpoint">Endpoint</a>.</span></span></div>
--- 329,333 ----
    </p>
    
!   <table 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>&laquo;<span class="zi">Description</span>&raquo;<span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">elementDecl</span>&laquo;<span class="zi">ElementDeclaration</span>&raquo;<span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">typeDef</span>&laquo;<span class="zi">TypeDefinition</span>&raquo;<span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">interface</span>&laquo;<span class="zi">Interface</span>&raquo;<span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">interfaceFault</span>&laquo;<span class="zi">InterfaceFault</span>&raquo;<span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">interfaceOp</span>&laquo;<span class="zi">InterfaceOperation</span>&raquo;<span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">messageRef</span>&laquo;<span class="zi">MessageReference</span>&raquo;<span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">faultRef</span>&laquo;<span class="zi">FaultReference</span>&raquo;<span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">feature</span>&laquo;<span class="zi">Feature</span>&raquo;<span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">property</span>&laquo;<span class="zi">Property</span>&raquo;<span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">binding</span>&laquo;<span class="zi">Binding</span>&raquo;<span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">bindingFault</span>&laquo;<span class="zi">BindingFault</span>&raquo;<span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">bindingOp</span>&laquo;<span class="zi">BindingOperation</span>&raquo;<span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">bindingMessageRef</span>&laquo;<span class="zi">BindingMessageReference</span>&raquo;<span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">service</span>&laquo;<span class="zi">Service</span>&raquo;<span class="zinfix">|</span></td></tr><tr><td>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">endpoint</span>&laquo;<span class="zi">Endpoint</span>&raquo;</td></tr></tbody></table>
    
    <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-Description">Description</a>, <a href="#zed-ElementDeclaration">ElementDeclaration</a>, <a href="#zed-TypeDefinition">TypeDefinition</a>, <a href="#zed-Interface">Interface</a>, <a href="#zed-InterfaceFault">InterfaceFault</a>, <a href="#zed-InterfaceOperation">InterfaceOperation</a>, <a href="#zed-MessageReference">MessageReference</a>, <a href="#zed-FaultReference">FaultReference</a>, <a href="#zed-Feature">Feature</a>, <a href="#zed-Property">Property</a>, <a href="#zed-Binding">Binding</a>, <a href="#zed-BindingFault">BindingFault</a>, <a href="#zed-BindingOperation">BindingOperation</a>, <a href="#zed-BindingMessageReference">BindingMessageReference</a>, <a href="#zed-Service">Service</a>, <a href="#zed-Endpoint">Endpoint</a>.</span></span></div>
***************
*** 370,374 ****
    <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ID">ID</a>.</span></span></div>
    
!   <table 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 class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-Component">Component</a>, <a href="#zed-ID">ID</a>, <a href="#zed-Description">Description</a>, <a href="#zed-ElementDeclaration">ElementDeclaration</a>, <a href="#zed-TypeDefinition">TypeDefinition</a>, <a href="#zed-Interface">Interface</a>, <a href="#zed-InterfaceFault">InterfaceFault</a>, <a href="#zed-InterfaceOperation">InterfaceOperation</a>, <a href="#zed-MessageReference">MessageReference</a>, <a href="#zed-FaultReference">FaultReference</a>, <a href="#zed-Feature">Feature</a>, <a href="#zed-Property">Property</a>, <a href="#zed-Binding">Binding</a>, <a href="#zed-BindingFault">BindingFault</a>, <a href="#zed-BindingOperation">BindingOperation</a>, <a href="#zed-BindingMessageReference">BindingMessageReference</a>, <a href="#zed-Service">Service</a>, <a href="#zed-Endpoint">Endpoint</a>.</span></span></div>
--- 370,374 ----
    <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ID">ID</a>.</span></span></div>
    
!   <table 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">&rarr;</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">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Description</span> <span class="zinfix">&bull;</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">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">ElementDeclaration</span> <span class="zinfix">&bull;</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">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">TypeDefinition</span> <span class="zinfix">&bull;</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">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Interface</span> <span class="zinfix">&bull;</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">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">InterfaceFault</span> <span class="zinfix">&bull;</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">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">InterfaceOperation</span> <span class="zinfix">&bull;</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">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">MessageReference</span> <span class="zinfix">&bull;</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">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">FaultReference</span> <span class="zinfix">&bull;</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">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Feature</span> <span class="zinfix">&bull;</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">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Property</span> <span class="zinfix">&bull;</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">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Binding</span> <span class="zinfix">&bull;</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">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingFault</span> <span class="zinfix">&bull;</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">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingOperation</span> <span class="zinfix">&bull;</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">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingMessageReference</span> <span class="zinfix">&bull;</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">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Service</span> <span class="zinfix">&bull;</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">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Endpoint</span> <span class="zinfix">&bull;</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 class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-Component">Component</a>, <a href="#zed-ID">ID</a>, <a href="#zed-Description">Description</a>, <a href="#zed-ElementDeclaration">ElementDeclaration</a>, <a href="#zed-TypeDefinition">TypeDefinition</a>, <a href="#zed-Interface">Interface</a>, <a href="#zed-InterfaceFault">InterfaceFault</a>, <a href="#zed-InterfaceOperation">InterfaceOperation</a>, <a href="#zed-MessageReference">MessageReference</a>, <a href="#zed-FaultReference">FaultReference</a>, <a href="#zed-Feature">Feature</a>, <a href="#zed-Property">Property</a>, <a href="#zed-Binding">Binding</a>, <a href="#zed-BindingFault">BindingFault</a>, <a href="#zed-BindingOperation">BindingOperation</a>, <a href="#zed-BindingMessageReference">BindingMessageReference</a>, <a href="#zed-Service">Service</a>, <a href="#zed-Endpoint">Endpoint</a>.</span></span></div>
***************
*** 387,391 ****
    </ul>
      
!   <table 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 class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-Component">Component</a>, <a href="#zed-Id">Id</a>.</span></span></div>
--- 387,391 ----
    </ul>
      
!   <table 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">&forall;</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">&bull;</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">&rArr;</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 class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-Component">Component</a>, <a href="#zed-Id">Id</a>.</span></span></div>
***************
*** 399,403 ****
    <a name="zed-Components"></a>
    
!   <table 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>
--- 399,403 ----
    <a name="zed-Components"></a>
    
!   <table 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">&isin;</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">&isin;</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">&isin;</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">&isin;</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">&isin;</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">&isin;</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">&isin;</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">&isin;</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">&isin;</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">&isin;</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">&isin;</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">&isin;</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">&isin;</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">&isin;</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">&isin;</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">&isin;</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>
***************
*** 412,416 ****
    </p>
    
!   <table 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>
    
    
--- 412,416 ----
    </p>
    
!   <table 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">&bull;</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">&bull;</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">&bull;</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">&bull;</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">&bull;</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">&bull;</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">&bull;</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">&bull;</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">&bull;</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">&bull;</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">&bull;</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">&bull;</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">&bull;</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">&bull;</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">&bull;</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">&bull;</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>
    
    
***************
*** 451,455 ****
    </p>
    
!   <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zgendeftop"><span class="zschemaname">[<span class="zi">X</span>]</span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">OPTIONAL</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">P</span></span>(<span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">X</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">OPTIONAL</span> <span class="zinfix">=</span> {<span class="symbol">&AElig;</span>}<span class="zinfix"><span class="mathb">4</span></span>{&nbsp;<span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">X</span> <span class="zinfix"><span class="symbol">&middot;</span></span> {<span class="zi">x</span>}&nbsp;}</span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
    
    <ul>
--- 451,455 ----
    </p>
    
!   <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zgendeftop"><span class="zschemaname">[<span class="zi">X</span>]</span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">OPTIONAL</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">P</span></span>(<span class="zprefix"><span class="doublestruck">F</span></span><span class="zi">X</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">OPTIONAL</span> <span class="zinfix">=</span> {&empty;}<span class="zinfix">&cup;</span>{&nbsp;<span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">X</span> <span class="zinfix">&bull;</span> {<span class="zi">x</span>}&nbsp;}</span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
    
    <ul>
***************
*** 682,686 ****
  </p>
  
! <table 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 class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-Components">Components</a>.</span></span></div>
--- 682,686 ----
  </p>
  
! <table 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">&forall;</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">&bull;</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">&rArr;</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">&forall;</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">&bull;</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">&rArr;</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">&forall;</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">&bull;</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">&rArr;</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">&forall;</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">&bull;</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">&rArr;</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">&forall;</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">&bull;</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">&rArr;</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 class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-Components">Components</a>.</span></span></div>
***************
*** 1011,1015 ****
  	  </p>
  	  
! 	  <table 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>
--- 1011,1015 ----
  	  </p>
  	  
! 	  <table 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">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">interfaceComps</span> <span class="zinfix">&bull;</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">&notin;</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">&sub;</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">&sube;</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">&sube;</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">&sube;</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">&sube;</span><span class="zi">properties</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
  	  <ul>
***************
*** 1034,1038 ****
  	  </p>
  	  
! 	  <table 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>
  	  
  	  
--- 1034,1038 ----
  	  </p>
  	  
! 	  <table 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">&forall;</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">&isin;</span><span class="zi">x</span>.<span class="zi">extendedInterfaces</span> <span class="zinfix">&bull;</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">&sub;</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">&sube;</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">&sube;</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">&sube;</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">&sube;</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>
  	  
  	  
***************
*** 2423,2427 ****
  	  </p>
  
! 	  <table 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 class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-NCName">NCName</a>, <a href="#zed-Direction">Direction</a>, <a href="#zed-OPTIONAL">OPTIONAL</a>, <a href="#zed-MessageContentModel">MessageContentModel</a>, <a href="#zed-ID">ID</a>.</span></span></div>
--- 2423,2427 ----
  	  </p>
  
! 	  <table 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">&hArr;</span><span class="zi">element</span><span class="zinfix">&ne;</span>&empty;</span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
   	  
   	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-NCName">NCName</a>, <a href="#zed-Direction">Direction</a>, <a href="#zed-OPTIONAL">OPTIONAL</a>, <a href="#zed-MessageContentModel">MessageContentModel</a>, <a href="#zed-ID">ID</a>.</span></span></div>
***************
*** 3331,3335 ****
        </p>
  
!       <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zi">ValueConstraint</span> <span class="zinfix">::=</span> <span class="zi">typeDefinitionId</span><span class="symbol"><span style="position: relative; left=.2em">&aacute;</span><span>&aacute;</span></span><span class="zi">ID</span><span class="symbol"><span style="position: relative; left=.2em">&ntilde;</span><span>&ntilde;</span></span><span class="zinfix">|</span> <span class="zi">valueToken</span></td></tr></tbody></table>
        
        <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ID">ID</a>.</span></span></div>
--- 3331,3335 ----
        </p>
  
!       <table class="zzed"><col class="zzed1"><tbody><tr><td><span class="zi">ValueConstraint</span> <span class="zinfix">::=</span> <span class="zi">typeDefinitionId</span>&laquo;<span class="zi">ID</span>&raquo;<span class="zinfix">|</span> <span class="zi">valueToken</span></td></tr></tbody></table>
        
        <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ID">ID</a>.</span></span></div>
***************
*** 3360,3364 ****
        </p>
  
!       <table 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 class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-AbsoluteURI">AbsoluteURI</a>, <a href="#zed-Boolean">Boolean</a>, <a href="#zed-OPTIONAL">OPTIONAL</a>, <a href="#zed-ValueConstraint">ValueConstraint</a>, <a href="#zed-ElementChildren">ElementChildren</a>.</span></span></div>
--- 3360,3364 ----
        </p>
  
!       <table 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">&hArr;</span><span class="zi">value</span><span class="zinfix">&ne;</span>&empty;</span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
        
        <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-AbsoluteURI">AbsoluteURI</a>, <a href="#zed-Boolean">Boolean</a>, <a href="#zed-OPTIONAL">OPTIONAL</a>, <a href="#zed-ValueConstraint">ValueConstraint</a>, <a href="#zed-ElementChildren">ElementChildren</a>.</span></span></div>
Received on Friday, 26 November 2004 18:34:13 GMT

This archive was generated by hypermail 2.2.0+W3C-0.29 : Friday, 26 November 2004 18:34:14 GMT