- From: Arthur Ryman <aryman@dev.w3.org>
- Date: Fri, 26 Nov 2004 18:34:11 +0000
- To: public-ws-desc-eds@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">·</span>
! </span>
</xsl:when>
<xsl:when test="$op = ':' or $op = '|' or $op = '=' or $op = '+' or $op = '-' or $op = '*' or $op = '<' or $op = '>'">
--- 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 = '<' or $op = '>'">
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> <span class="zi">description</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">Description</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">elementDecl</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">ElementDeclaration</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">typeDef</span><span class="symbol"><span style="position: relative; left=.2em">&aacte;</span><span>á</span></span><span class="zi">TypeDefinition</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">interface</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">Interface</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">interfaceFault</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">InterfaceFault</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi>interfaceOp</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">InterfaceOperation</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">messageRef</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">MessageReference</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">faultRef</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">FaultReference</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><spn class="zinfix">|</span></td></tr><tr><td> <span class="zi">feature</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">Feature</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">property</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">Property</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">binding</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">Binding</span><span class="symbol"><span style="position: relatve; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">bindingFault</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">BindingFault</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">bindingOp</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">BindingOperation</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">bindingMessageRef</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</san></span><span class="zi">BindingMessageReference</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">service</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">Service</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">endpoint</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">Endpoint</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span></td></tr></tbody></table>
<div 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> <span class="zi">description</span>«<span class="zi">Description</span>»<span class="zinfix">|</span></td></tr><tr><td> <span class="zi">elementDecl</span>«<span class="zi">ElementDeclaration</span>»<span class="zinfix">|</span></td></tr><tr><td> <span class="zi">typeDef</span>«<span class="zi">TypeDefinition</span>»<span class="zinfix">|</span></td></tr><tr><td> <span class="zi">interface</span>«<span class="zi">Interface</span>»<span class="zinfix">|</span></td></tr><tr><td> <span class="zi">interfaceFault</span>«<span class="zi">InterfaceFault</span>»<span class="zinfix">|</span></td></tr><tr><td> <san class="zi">interfaceOp</span>«<span class="zi">InterfaceOperation</span>»<span class="zinfix">|</span></td></tr><tr><td> <span class="zi">messageRef</span>«<span class="zi">MessageReference</span>»<span class="zinfix">|</span></td></tr><tr><td> <span class="zi">faultRef</span>«<span class="zi">FaultReference</span>»<span class="zinfix">|</span></td></tr><tr><td> <span class="zi">feature</span>«<span class="zi">Feature</span>»<span class="zinfix">|</span></td></tr><tr><td> <span class="zi">property</span>«<span class="zi">Property</span>»<span class="zinfix">|</span></td></tr><tr><td> <span class="zi">binding</span>«<span class="zi">Binding</span>»<span class="zinfix">|</span></td></tr><tr><td> <span class="zi">bindingFault</spa>«<span class="zi">BindingFault</span>»<span class="zinfix">|</span></td></tr><tr><td> <span class="zi">bindingOp</span>«<span class="zi">BindingOperation</span>»<span class="zinfix">|</span></td></tr><tr><td> <span class="zi">bindingMessageRef</span>«<span class="zi">BindingMessageReference</span>»<span class="zinfix">|</span></td></tr><tr><td> <span class="zi">service</span>«<span class="zi">Service</span>»<span class="zinfix">|</span></td></tr><tr><td> <span class="zi">endpoint</span>«<span class="zi">Endpoint</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>
***************
*** 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">·</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="smbol">·</span></span> <span class="zi">Id</span>(<span class="zi">elementDecl</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">TypeDefinition</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">Id</span>(<span class="zi">typeDef</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Interface</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">Id</span>(<span class="zi">interface</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <spn class="zi">x</span>.<span class="zi">id</span></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">InterfaceFault</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">Id</span>(<span class="zi">interfaceFault</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">InterfaceOperation</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">Id</span>(<span class="zi">interfaceOp</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">MessageReference</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">Id</span>(<span class="zi">messageRef</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">FaultReference</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">Id</span>(<span class="zi">faultRef</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Feature</span> <span class="zinfix"><span class="symol">·</span></span> <span class="zi">Id</span>(<span class="zi">feature</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Property</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">Id</span>(<span class="zi">property</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Binding</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">Id</span>(<span class="zi">binding</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x/span>.<span class="zi">id</span></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingFault</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">Id</span>(<span class="zi">bindingFault</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingOperation</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">Id</span>(<span class="zi">bindingOp</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><spn class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingMessageReference</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">Id</span>(<span class="zi">bindingMessageRef</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Service</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">Id</span>(<span class="zi">service</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Endpoint</span> <span class="zinfix"><span class="symbol">·</san></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">→</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><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Description</span> <span class="zinfix">•</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><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">ElementDeclaration</span> <span class="zinfix">•</span> <span class="zi">Id</span>(<span class="zi">elementDecl</span>(<span class="zi">x</span>)) <spn 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><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">TypeDefinition</span> <span class="zinfix">•</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><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Interface</span> <span class="zinfix">•</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><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">InterfaceFault</spn> <span class="zinfix">•</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><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">InterfaceOperation</span> <span class="zinfix">•</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><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">MessageReference</span> <span class="zinfix">•</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="axdeftext" colspan="2"><span class="zprefix">∀</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">FaultReference</span> <span class="zinfix">•</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><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Feature</span> <span class="zinfix">•</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><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Property</span> <span class="zinfix">•</span> <span class="zi">Id</span>(<span class="zi">property</span>(<span class="z">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><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Binding</span> <span class="zinfix">•</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><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingFault</span> <span class="zinfix">•</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><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BidingOperation</span> <span class="zinfix">•</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><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingMessageReference</span> <span class="zinfix">•</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><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Service</span> <span class="zinfix">•</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><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Endpoint</span> <span class="zinfix">•</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">·</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <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">∀</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></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">Id</span>(<span class="zi">x</span>) <span class="zinfix">=</span> <span lass="zi">Id</span>(<span class="zi">y</span>)<span class="zinfix">⇒</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 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 clas="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="dublestruck">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> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Description</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">description</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">Î</span></span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematxt"><span class="zi">elementDeclComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">ElementDeclaration</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">elementDecl</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">Î</span></span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">typeDefComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">TypeDefinition</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">typeDef</span>(<span class="zi">x</span>)<span class="zifix"><span class="symbol">Î</span></span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">interfaceComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Interface</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">interface</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">Î</span></span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">interfaceFaultComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">InterfaceFault</span> <span class="zinfi">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">interfaceFault</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">Î</span></span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">interfaceOpComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">InterfaceOperation</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">interfaceOp</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">Î</span></span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspn="3"><span class="zschematext"><span class="zi">messageRefComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">MessageReference</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">messageRef</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">Î</span></span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">faultRefComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">FaultReference</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">faultRef</span>(<span class="zi>x</span>)<span class="zinfix"><span class="symbol">Î</span></span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">featureComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Feature</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">feature</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">Î</span></span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">propertyComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Property</span> <span clas="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">property</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">Î</span></span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">bindingComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Binding</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">binding</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">Î</span></span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span clas="zschematext"><span class="zi">bindingFaultComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingFault</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">bindingFault</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">Î</span></span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">bindingOpComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingOperation</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">bindingOp</span>(<span class="zi">x</span>)<san class="zinfix"><span class="symbol">Î</span></span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">bindingMessageRefComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingMessageReference</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">bindingMessageRef</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">Î</span></span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">serviceComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Servce</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">service</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">Î</span></span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">endpointComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Endpoint</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">endpoint</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">Î</span></span><span class="zi">components</span> }</span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
<p>
--- 399,403 ----
<a name="zed-Components"></a><p><span class="zi"><a href="wsdl20-hide.html#zed-Components">Hide 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 clas="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="dublestruck">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> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Description</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">description</span>(<span class="zi">x</span>)<span class="zinfix">∈</span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">elementeclComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">ElementDeclaration</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">elementDecl</span>(<span class="zi">x</span>)<span class="zinfix">∈</span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">typeDefComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">TypeDefinition</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">typeDef</span>(<span class="zi">x</span>)<span class="zinfix">∈</span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">interfaceComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Interface</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">interface</span>(<span class="zi">x</span>)<span class="zinfix">∈</span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">interfaceFaultComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">InterfaceFault</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> nbsp; <span class="zi">interfaceFault</span>(<span class="zi">x</span>)<span class="zinfix">∈</span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">interfaceOpComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">InterfaceOperation</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">interfaceOp</span>(<span class="zi">x</span>)<span class="zinfix">∈</span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">messageRefComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span clss="zi">MessageReference</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">messageRef</span>(<span class="zi">x</span>)<span class="zinfix">∈</span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">faultRefComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">FaultReference</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">faultRef</span>(<span class="zi">x</span>)<span class="zinfix">∈</span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zchematext"><span class="zi">featureComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Feature</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">feature</span>(<span class="zi">x</span>)<span class="zinfix">∈</span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">propertyComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Property</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">property</span>(<span class="zi">x</span>)<span class="zinfix">∈</span><span class="zi">component</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">bindingComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Binding</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">binding</span>(<span class="zi">x</span>)<span class="zinfix">∈</span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">bindingFaultComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingFault</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> &nbp; <span class="zi">bindingFault</span>(<span class="zi">x</span>)<span class="zinfix">∈</span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">bindingOpComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingOperation</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">bindingOp</span>(<span class="zi">x</span>)<span class="zinfix">∈</span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">bindingMessageRefComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span lass="zi">BindingMessageReference</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">bindingMessageRef</span>(<span class="zi">x</span>)<span class="zinfix">∈</span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">serviceComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Service</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">service</span>(<span class="zi">x</span>)<span class="zinfix">∈</span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span cass="zschematext"><span class="zi">endpointComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Endpoint</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">endpoint</span>(<span class="zi">x</span>)<span class="zinfix">∈</span><span class="zi">components</span> }</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" colsan="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><spa class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">descriptions</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">descriptionComps</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">elementDecls</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">elementDeclComps</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">typeDefs</span> <span class="zinfi">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">typeDefComps</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">interfaces</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">interfaceComps</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">interfaceFaults</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">interfaceFaultComps</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td clas="zschematext" colspan="3"><span class="zschematext"><span class="zi">interfaceOps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">interfaceOpComps</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">messageRefs</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">messageRefComps</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">faultRefs</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">faultRefComps</span> <span class="zinfix"><span class="symbol">·/span></span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">features</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">featureComps</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">properties</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">propertyComps</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">bindings</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</spa> <span class="zi">bindingComps</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">bindingFaults</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">bindingFaultComps</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">bindingOps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">bindingOpComps</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">bindigMessageRefs</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">bindingMessageRefComps</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">services</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">serviceComps</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">endpoints</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">endpointComps</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">x</span>.<span class="zi">id</span }</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" colsan="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><spa class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">descriptions</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">descriptionComps</span> <span class="zinfix">•</span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">elementDecls</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">elementDeclComps</span> <span class="zinfix">•</span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">typeDefs</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zifix">:</span> <span class="zi">typeDefComps</span> <span class="zinfix">•</span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">interfaces</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">interfaceComps</span> <span class="zinfix">•</span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">interfaceFaults</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">interfaceFaultComps</span> <span class="zinfix">•</span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">interfaceOps</span> <span class="zinfix">=</span> { <span class="zi">x</spn> <span class="zinfix">:</span> <span class="zi">interfaceOpComps</span> <span class="zinfix">•</span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">messageRefs</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">messageRefComps</span> <span class="zinfix">•</span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">faultRefs</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">faultRefComps</span> <span class="zinfix">•</span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">features</span> <span class="zinfix">=</span> { <span class="i">x</span> <span class="zinfix">:</span> <span class="zi">featureComps</span> <span class="zinfix">•</span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">properties</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">propertyComps</span> <span class="zinfix">•</span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">bindings</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">bindingComps</span> <span class="zinfix">•</span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">bindingFaults</span> <span class="zinfix">=</span> { <span clss="zi">x</span> <span class="zinfix">:</span> <span class="zi">bindingFaultComps</span> <span class="zinfix">•</span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">bindingOps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">bindingOpComps</span> <span class="zinfix">•</span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">bindingMessageRefs</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">bindingMessageRefComps</span> <span class="zinfix">•</span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">services</span> <span class="zinfix>=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">serviceComps</span> <span class="zinfix">•</span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">endpoints</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">endpointComps</span> <span class="zinfix">•</span> <span class="zi">x</span>.<span class="zi">id</span> }</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">Æ</span>}<span class="zinfix"><span class="mathb">4</span></span>{ <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">X</span> <span class="zinfix"><span class="symbol">·</span></span> {<span class="zi">x</span>} }</span></td></tr><tr><td class="bl"></t><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> {∅}<span class="zinfix">∪</span>{ <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">X</span> <span class="zinfix">•</span> {<span class="zi">x</span>} }</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">·</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">name</span> <span class="zinfix">=</span> <span class="zi">y</span>.<span class="zi">name</span><span class="zinfix"><pan class="mathc">u</span></span><span class="zi">x</span> <span class="zinfix">=</span> <span class="zi">y</span></span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span><span class="zprefix">,</span> <span class="zi">y</span> <span class="zinfix">:</span> <span class="zi">bindingComps</span> <span class="zinfix"><span class="symbol">·</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">name</span> <span class="zinfix">=</span> <span class="zi">y</span>.<span class="zi">name</span><span class="zinfix"><span class="mathc">u</span></span><span class="zi">x</span> <span class="zinfix">=</span> <span class="zi">y</span></span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span lass="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span><span class="zprefix">,</span> <span class="zi">y</span> <span class="zinfix">:</span> <span class="zi">serviceComps</span> <span class="zinfix"><span class="symbol">·</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">name</span> <span class="zinfix">=</span> <span class="zi">y</span>.<span class="zi">name</span><span class="zinfix"><span class="mathc">u</span></span><span class="zi">x</span> <span class="zinfix">=</span> <span class="zi">y</span></span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span><span class="zprefix">,</span> <span class="zi">y</span> <span class="zinfix">:</span> <span class="zi">elementDeclComps<span> <span class="zinfix"><span class="symbol">·</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">name</span> <span class="zinfix">=</span> <span class="zi">y</span>.<span class="zi">name</span><span class="zinfix"><span class="mathc">u</span></span><span class="zi">x</span> <span class="zinfix">=</span> <span class="zi">y</span></span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span><span class="zprefix">,</span> <span class="zi">y</span> <span class="zinfix">:</span> <span class="zi">typeDefComps</span> <span class="zinfix"><span class="symbol">·</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<spa 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">∀</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="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">name</span> <span class="zinfix">=</span> <span class="zi">y</span>.<span class="zi">name</span><span class="zinfix">⇒</span><span class="zi">x</span> <span class="infix">=</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><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></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">name</span> <span class="zinfix">=</span> <span class="zi">y</span>.<span class="zi">name</span><span class="zinfix">⇒</span><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><span class="zi">x</span><span class="zprefix">,</span> <span class="zi">y</span> <span cass="zinfix">:</span> <span class="zi">serviceComps</span> <span class="zinfix">•</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">name</span> <span class="zinfix">=</span> <span class="zi">y</span>.<span class="zi">name</span><span class="zinfix">⇒</span><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><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></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">name</span> <span class="zinfix"></span> <span class="zi">y</span>.<span class="zi">name</span><span class="zinfix">⇒</span><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><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></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">name</span> <span class="zinfix">=</span> <span class="zi">y</span>.<span class="zi">name</span><span class="zinfix">⇒</span><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">·</span></span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">id</span><span class="zinfix"><span class="symbol">Ï</span></span><span class="zi">x</span>.<span class="zi">extendedInterfaces</span><span class="zinfix"><span class="mathb>.</span></span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">extendedInterfaces</span><span class="zinfix"><span class="symbol">Ì</span></span><span class="zi">interfaces</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">faults</span><span class="zinfix"><span class="symbol">Í</span></span><span class="zi">interfaceFaults</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">operations</span><span class="zinfix"><span class="symbol">Í</span></span><span class="zi">interfaceOps</span><span class="zinfix"><span class="mathb">.</span></san></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">features</span><span class="zinfix"><span class="symbol">Í</span></span><span class="zi">features</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">properties</span><span class="zinfix"><span class="symbol">Í</span></span><span class="zi">properties</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
<ul>
--- 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><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">interfaceComps</span> <span class="zinfix">•</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">id</span><span class="zinfix">∉</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"><spa class="zschematext"> <span class="zi">x</span>.<span class="zi">extendedInterfaces</span><span class="zinfix">⊂</span><span class="zi">interfaces</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">faults</span><span class="zinfix">⊆</span><span class="zi">interfaceFaults</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">operations</span><span class="zinfix">⊆</span><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"> <span class="zi">x</span>.<span class="zi">feaures</span><span class="zinfix">⊆</span><span class="zi">features</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">properties</span><span class="zinfix">⊆</span><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"> <span class="zi">y</span>.<span class="zi">id</span><span class="zinfix"><span class="symbol">Î</span></span><span class="zi">x</span>.<span class="zi">extendedInterfaces</span> <span class=zinfix"><span class="symbol">·</span></span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">y</span>.<span class="zi">extendedInterfaces</span><span class="zinfix"><span class="symbol">Ì</span></span><span class="zi">x</span>.<span class="zi">extendedInterfaces</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">y</span>.<span class="zi">faults</span><span class="zinfix"><span class="symbol">Í</span></span><span class="zi">x</span>.<span class="zi">faults</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">y/span>.<span class="zi">operations</span><span class="zinfix"><span class="symbol">Í</span></span><span class="zi">x</span>.<span class="zi">operations</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">y</span>.<span class="zi">features</span><span class="zinfix"><span class="symbol">Í</span></span><span class="zi">x</span>.<span class="zi">features</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">y</span>.<span class="zi">properties</span><span class="zinfix"><span class="symbol">Í</span></span><span class="zi">x</span>.<span class="zi">properties</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></t></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">∀</span><span class="zi">x</span><span class="zprefix">,</span> <span class="zi">y</span> <span class="zinfix">:</span> <span class="zi">interfaceComps</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">y</span>.<span class="zi">id</span><span class="zinfix">∈</span><span class="zi">x</span>.<span class="zi">extendedInterfaces</span> <span class="zinfix">•</span></span></td></tr><tr><td clas="zschematext" colspan="3"><span class="zschematext"> <span class="zi">y</span>.<span class="zi">extendedInterfaces</span><span class="zinfix">⊂</span><span class="zi">x</span>.<span class="zi">extendedInterfaces</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">y</span>.<span class="zi">faults</span><span class="zinfix">⊆</span><span class="zi">x</span>.<span class="zi">faults</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">y</span>.<span class="zi">operations</span><span class="zinfix">⊆</span><span class="zi">x</span>.<span class="zi">operations</span><spanclass="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">y</span>.<span class="zi">features</span><span class="zinfix">⊆</span><span class="zi">x</span>.<span class="zi">features</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">y</span>.<span class="zi">properties</span><span class="zinfix">⊆</span><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">Æ</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">⇔</span><span class="zi">element</span><span class="zinfix">≠</span>∅</span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></tabe>
<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">á</span><span>á</span></span><span class="zi">ID</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</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>«<span class="zi">ID</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>
***************
*** 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</spa> <span class="zinfix">:</span> <span class="zi">OPTIONAL</span>[<span class="zi">ElementChildren</span>]</span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">valueConstraint</span> <span class="zinfix">=</span> {<span class="zi">valueToken</span>}<span class="zinfix"><span class="mathc">w</span></span><span class="zi">value</span><span class="zinfix"><span class="mathb">g</span></span><span class="symbol">Æ</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
<div 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</spa> <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><span class="zi">value</span><span class="zinfix">≠</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>
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>      </xsl:text>
</xsl:template>
<xsl:template match="z:lquot | z:rquot">
<xsl:text>"</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">·</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">á</span>
<span>á</span>
</span>
</xsl:template>
<xsl:template match="z:rdata">
<span class="symbol">
<span style="position: relative; left=.2em">ñ</span>
<span>ñ</span>
</span>
</xsl:template>
<!-- Logic and schema calculus -->
<xsl:template match="z:lnot">
<span class="zprefix">
<span class="symbol">
<xsl:text>Ø</xsl:text>
</span>
</span>
</xsl:template>
<xsl:template match="z:land">
<span class="zinfix">
<span class="mathb">
<xsl:text>.</xsl:text>
</span>
</span>
</xsl:template>
<xsl:template match="z:lor">
<span class="zinfix">
<span class="mathb">
<xsl:text>-</xsl:text>
</span>
</span>
</xsl:template>
<xsl:template match="z:implies">
<span class="zinfix">
<span class="mathc">
<xsl:text>u</xsl:text>
</span>
</span>
</xsl:template>
<xsl:template match="z:iff">
<span class="zinfix">
<span class="mathc">w</span>
</span>
</xsl:template>
<xsl:template match="z:forall">
<span class="zprefix">
<span class="symbol">"</span>
</span>
</xsl:template>
<xsl:template match="z:exists">
<span class="zprefix">
<span class="symbol">$</span>
</span>
</xsl:template>
<xsl:template match="z:exists_1">
<span class="zprefix">
<span class="symbol">$</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">B</span>
</span>
</xsl:template>
<xsl:template match="z:project">
<span class="zinfix">
<span class="mathc">“</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">p</span>
</span>
</xsl:template>
<!-- Basic expressions -->
<xsl:template match="z:neq">
<span class="zinfix">
<span class="mathb">g</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">q</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">Î</span>
</span>
</xsl:template>
<xsl:template match="z:notin">
<span class="zinfix">
<span class="symbol">Ï</span>
</span>
</xsl:template>
<xsl:template match="z:emptyset">
<span class="symbol">Æ</span>
</xsl:template>
<xsl:template match="z:subseteq">
<span class="zinfix">
<span class="symbol">Í</span>
</span>
</xsl:template>
<xsl:template match="z:subset">
<span class="zinfix">
<span class="symbol">Ì</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">´</span>
</span>
</xsl:template>
<xsl:template match="z:cup">
<span class="zinfix">
<span class="mathb">4</span>
</span>
</xsl:template>
<xsl:template match="z:cap">
<span class="zinfix">
<span class="mathb">3</span>
</span>
</xsl:template>
<xsl:template match="z:setminus">
<span class="zinfix">
<span class="mathc">B</span>
</span>
</xsl:template>
<xsl:template match="z:bigcup">
<span class="zprefix">
<span class="zbig">
<span class="mathb">4</span>
</span>
</span>
</xsl:template>
<xsl:template match="z:bigcap">
<span class="zprefix">
<span class="zbig">
<span class="mathb">3</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">v</span>
</span>
</xsl:template>
<xsl:template match="z:mapsto">
<span class="zinfix">
<span class="mathc">x</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">Û</span>
</span>
</xsl:template>
<xsl:template match="z:dres">
<span class="zinfix">
<span class="mathb">©</span>
</span>
</xsl:template>
<xsl:template match="z:rres">
<span class="zinfix">
<span class="mathb">¨</span>
</span>
</xsl:template>
<xsl:template match="z:ndres">
<span class="mathb" style="position: relative; left: .25em">
©
</span>
<span class="symbol"
style="position: relative; right: .25em; bottom: .9ex">
_
</span>
</xsl:template>
<xsl:template match="z:nrres">
<span class="symbol"
style="position: relative; left: .25em; bottom: .9ex">
_
</span>
<span class="mathb" style="position: relative; right: .25em">
¨
</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">/</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">t</span>
<span class="mathb"
style="position: relative; right: .7em; top: .1ex">
È
</span>
</span>
</xsl:template>
<xsl:template match="z:fun">
<span class="zinfix">
<span class="mathc">t</span>
</span>
</xsl:template>
<xsl:template match="z:pinj">
<span class="zpostfix">
<span class="mathc">˜</span>
<span class="mathb"
style="position: relative; right: .55em; top: .1ex">
È
</span>
</span>
</xsl:template>
<xsl:template match="z:inj">
<span class="zinfix">
<span class="mathc">˜</span>
</span>
</xsl:template>
<xsl:template match="z:psurj">
<span class="zpostfix">
<span class="mathc">‰</span>
<span class="mathb"
style="position: relative; right: .6em; top: .1ex">
È
</span>
</span>
</xsl:template>
<xsl:template match="z:surj">
<span class="zinfix">
<span class="mathc">‰</span>
</span>
</xsl:template>
<!-- use normal symbol since Z symbol is not available -->
<xsl:template match="z:bij">
<span class="zinfix">
<span class="mathb">{</span>
</span>
</xsl:template>
<xsl:template match="z:ffun">
<span class="zpostfix">
<span class="mathc">t</span>
<span class="mathb"
style="position: relative; right: .8em;">
É
</span>
</span>
</xsl:template>
<xsl:template match="z:finj">
<span class="zpostfix">
<span class="mathc">˜</span>
<span class="mathb"
style="position: relative; right: .65em;">
É
</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>[</xsl:text>
</span>
</span>
</xsl:template>
<xsl:template match="z:geq">
<span class="zinfix">
<span class="mathb">
<xsl:text>m</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">á</span>
</span>
</xsl:template>
<xsl:template match="z:rangle">
<span class="zpostfix">
<span class="symbol">ñ</span>
</span>
</xsl:template>
<xsl:template match="z:cat">
<span class="zinfix">
<span class="mathb"
style="position: relative; bottom: 1ex">
f
</span>
</span>
</xsl:template>
<xsl:template match="z:extract">
<span class="zinfix">
<span class="mathc">–</span>
</span>
</xsl:template>
<xsl:template match="z:filter">
<span class="zinfix">
<span class="mathc">“</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">
f
</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">ß</span>
</xsl:template>
<xsl:template match="z:rbag">
<span class="mathb">à</span>
</xsl:template>
<xsl:template match="z:bcount">
<span class="zinfix">
<span class="mathc">Ì</span>
</span>
</xsl:template>
<xsl:template match="z:otimes">
<span class="zinfix">
<span class="mathb">1</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">b</span>
</span>
</xsl:template>
<xsl:template match="z:uplus">
<span class="zinfix">
<span class="mathb">5</span>
</span>
</xsl:template>
<xsl:template match="z:uminus">
<span class="zpostfix">
<span class="mathb">4</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 " "> <!-- no-break space = non-breaking space,
U+00A0 ISOnum -->
<!ENTITY laquo "«"> <!-- left-pointing double angle quotation mark
= left pointing guillemet, U+00AB ISOnum -->
<!ENTITY not "¬"> <!-- not sign = discretionary hyphen,
U+00AC ISOnum -->
<!ENTITY raquo "»"> <!-- right-pointing double angle quotation mark
= right pointing guillemet, U+00BB ISOnum -->
<!ENTITY times "×"> <!-- multiplication sign, U+00D7 ISOnum -->
<!ENTITY divide "÷"> <!-- division sign, U+00F7 ISOnum -->
<!ENTITY theta "θ"> <!-- greek small letter theta,
U+03B8 ISOgrk3 -->
<!ENTITY lambda "λ"> <!-- greek small letter lambda,
U+03BB ISOgrk3 -->
<!ENTITY mu "μ"> <!-- greek small letter mu, U+03BC ISOgrk3 -->
<!ENTITY bull "•"> <!-- bullet = black small circle,
U+2022 ISOpub -->
<!-- bullet is NOT the same as bullet operator, U+2219 -->
<!ENTITY rarr "→"> <!-- rightwards arrow, U+2192 ISOnum -->
<!ENTITY harr "↔"> <!-- left right arrow, U+2194 ISOamsa -->
<!ENTITY rArr "⇒"> <!-- 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 "⇔"> <!-- left right double arrow,
U+21D4 ISOamsa -->
<!ENTITY forall "∀"> <!-- for all, U+2200 ISOtech -->
<!ENTITY exist "∃"> <!-- there exists, U+2203 ISOtech -->
<!ENTITY empty "∅"> <!-- empty set = null set = diameter,
U+2205 ISOamso -->
<!ENTITY isin "∈"> <!-- element of, U+2208 ISOtech -->
<!ENTITY notin "∉"> <!-- not an element of, U+2209 ISOtech -->
<!ENTITY minus "−"> <!-- minus sign, U+2212 ISOtech -->
<!ENTITY and "∧"> <!-- logical and = wedge, U+2227 ISOtech -->
<!ENTITY or "∨"> <!-- logical or = vee, U+2228 ISOtech -->
<!ENTITY cap "∩"> <!-- intersection = cap, U+2229 ISOtech -->
<!ENTITY cup "∪"> <!-- union = cup, U+222A ISOtech -->
<!ENTITY ne "≠"> <!-- not equal to, U+2260 ISOtech -->
<!ENTITY le "≤"> <!-- less-than or equal to, U+2264 ISOtech -->
<!ENTITY ge "≥"> <!-- greater-than or equal to,
U+2265 ISOtech -->
<!ENTITY sub "⊂"> <!-- subset of, U+2282 ISOtech -->
<!ENTITY sube "⊆"> <!-- subset of or equal to, U+2286 ISOtech -->
<!ENTITY oplus "⊕"> <!-- circled plus = direct sum,
U+2295 ISOamsb -->
<!ENTITY otimes "⊗"> <!-- circled times = vector product,
U+2297 ISOamsb -->
<!ENTITY lang "〈"> <!-- 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 "〉"> <!-- 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>      </xsl:text>
</xsl:template>
<xsl:template match="z:lquot | z:rquot">
<xsl:text>"</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>
</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>«</xsl:text>
</xsl:template>
<xsl:template match="z:rdata">
<xsl:text>»</xsl:text>
</xsl:template>
<!-- Logic and schema calculus -->
<xsl:template match="z:lnot">
<span class="zprefix">
<span class="symbol">
<xsl:text>Ø</xsl:text>
</span>
</span>
</xsl:template>
<xsl:template match="z:land">
<span class="zinfix">
<span class="mathb">
<xsl:text>.</xsl:text>
</span>
</span>
</xsl:template>
<xsl:template match="z:lor">
<span class="zinfix">
<span class="mathb">
<xsl:text>-</xsl:text>
</span>
</span>
</xsl:template>
<xsl:template match="z:implies">
<span class="zinfix">⇒</span>
</xsl:template>
<xsl:template match="z:iff">
<span class="zinfix">⇔</span>
</xsl:template>
<xsl:template match="z:forall">
<span class="zprefix">∀</span>
</xsl:template>
<xsl:template match="z:exists">
<span class="zprefix">∃</span>
</xsl:template>
<xsl:template match="z:exists_1">
<span class="zprefix">∃<span class="zsmall">
<sub>1</sub>
</span>
</span>
</xsl:template>
<!-- Special schema operators -->
<xsl:template match="z:hide">
<span class="zinfix">
<span class="mathc">B</span>
</span>
</xsl:template>
<xsl:template match="z:project">
<span class="zinfix">
<span class="mathc">“</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">p</span>
</span>
</xsl:template>
<!-- Basic expressions -->
<xsl:template match="z:neq">
<span class="zinfix">≠</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">q</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>
</xsl:template>
<xsl:template match="z:notin">
<span class="zinfix">∉</span>
</xsl:template>
<xsl:template match="z:emptyset">
<xsl:text>∅</xsl:text>
</xsl:template>
<xsl:template match="z:subseteq">
<span class="zinfix">⊆</span>
</xsl:template>
<xsl:template match="z:subset">
<span class="zinfix">⊂</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>
</xsl:template>
<xsl:template match="z:cup">
<span class="zinfix">∪</span>
</xsl:template>
<xsl:template match="z:cap">
<span class="zinfix">∩</span>
</xsl:template>
<xsl:template match="z:setminus">
<span class="zinfix">
<span class="mathc">B</span>
</span>
</xsl:template>
<xsl:template match="z:bigcup">
<span class="zprefix">
<span class="zbig">
<span class="mathb">4</span>
</span>
</span>
</xsl:template>
<xsl:template match="z:bigcap">
<span class="zprefix">
<span class="zbig">
<span class="mathb">3</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">v</span>
</span>
</xsl:template>
<xsl:template match="z:mapsto">
<span class="zinfix">
<span class="mathc">x</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">Û</span>
</span>
</xsl:template>
<xsl:template match="z:dres">
<span class="zinfix">
<span class="mathb">©</span>
</span>
</xsl:template>
<xsl:template match="z:rres">
<span class="zinfix">
<span class="mathb">¨</span>
</span>
</xsl:template>
<xsl:template match="z:ndres">
<span class="mathb" style="position: relative; left: .25em">
©
</span>
<span class="symbol"
style="position: relative; right: .25em; bottom: .9ex">
_
</span>
</xsl:template>
<xsl:template match="z:nrres">
<span class="symbol"
style="position: relative; left: .25em; bottom: .9ex">
_
</span>
<span class="mathb" style="position: relative; right: .25em">
¨
</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">/</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">t</span>
<span class="mathb"
style="position: relative; right: .7em; top: .1ex">
È
</span>
</span>
</xsl:template>
<xsl:template match="z:fun">
<span class="zinfix">→</span>
</xsl:template>
<xsl:template match="z:pinj">
<span class="zpostfix">
<span class="mathc">˜</span>
<span class="mathb"
style="position: relative; right: .55em; top: .1ex">
È
</span>
</span>
</xsl:template>
<xsl:template match="z:inj">
<span class="zinfix">
<span class="mathc">˜</span>
</span>
</xsl:template>
<xsl:template match="z:psurj">
<span class="zpostfix">
<span class="mathc">‰</span>
<span class="mathb"
style="position: relative; right: .6em; top: .1ex">
È
</span>
</span>
</xsl:template>
<xsl:template match="z:surj">
<span class="zinfix">
<span class="mathc">‰</span>
</span>
</xsl:template>
<!-- use normal symbol since Z symbol is not available -->
<xsl:template match="z:bij">
<span class="zinfix">
<span class="mathb">{</span>
</span>
</xsl:template>
<xsl:template match="z:ffun">
<span class="zpostfix">
<span class="mathc">t</span>
<span class="mathb"
style="position: relative; right: .8em;">
É
</span>
</span>
</xsl:template>
<xsl:template match="z:finj">
<span class="zpostfix">
<span class="mathc">˜</span>
<span class="mathb"
style="position: relative; right: .65em;">
É
</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>[</xsl:text>
</span>
</span>
</xsl:template>
<xsl:template match="z:geq">
<span class="zinfix">
<span class="mathb">
<xsl:text>m</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">á</span>
</span>
</xsl:template>
<xsl:template match="z:rangle">
<span class="zpostfix">
<span class="symbol">ñ</span>
</span>
</xsl:template>
<xsl:template match="z:cat">
<span class="zinfix">
<span class="mathb"
style="position: relative; bottom: 1ex">
f
</span>
</span>
</xsl:template>
<xsl:template match="z:extract">
<span class="zinfix">
<span class="mathc">–</span>
</span>
</xsl:template>
<xsl:template match="z:filter">
<span class="zinfix">
<span class="mathc">“</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">
f
</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">ß</span>
</xsl:template>
<xsl:template match="z:rbag">
<span class="mathb">à</span>
</xsl:template>
<xsl:template match="z:bcount">
<span class="zinfix">
<span class="mathc">Ì</span>
</span>
</xsl:template>
<xsl:template match="z:otimes">
<span class="zinfix">
<span class="mathb">1</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">b</span>
</span>
</xsl:template>
<xsl:template match="z:uplus">
<span class="zinfix">
<span class="mathb">5</span>
</span>
</xsl:template>
<xsl:template match="z:uminus">
<span class="zpostfix">
<span class="mathb">4</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> <span class="zi">description</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">Description</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">elementDecl</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">ElementDeclaration</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">typeDef</span><span class="symbol"><span style="position: relative; left=.2em">&aacte;</span><span>á</span></span><span class="zi">TypeDefinition</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">interface</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">Interface</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">interfaceFault</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">InterfaceFault</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi>interfaceOp</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">InterfaceOperation</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">messageRef</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">MessageReference</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">faultRef</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">FaultReference</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><spn class="zinfix">|</span></td></tr><tr><td> <span class="zi">feature</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">Feature</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">property</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">Property</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">binding</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">Binding</span><span class="symbol"><span style="position: relatve; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">bindingFault</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">BindingFault</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">bindingOp</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">BindingOperation</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">bindingMessageRef</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</san></span><span class="zi">BindingMessageReference</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">service</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">Service</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span><span class="zinfix">|</span></td></tr><tr><td> <span class="zi">endpoint</span><span class="symbol"><span style="position: relative; left=.2em">á</span><span>á</span></span><span class="zi">Endpoint</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</span></span></td></tr></tbody></table>
<div 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> <span class="zi">description</span>«<span class="zi">Description</span>»<span class="zinfix">|</span></td></tr><tr><td> <span class="zi">elementDecl</span>«<span class="zi">ElementDeclaration</span>»<span class="zinfix">|</span></td></tr><tr><td> <span class="zi">typeDef</span>«<span class="zi">TypeDefinition</span>»<span class="zinfix">|</span></td></tr><tr><td> <span class="zi">interface</span>«<span class="zi">Interface</span>»<span class="zinfix">|</span></td></tr><tr><td> <span class="zi">interfaceFault</span>«<span class="zi">InterfaceFault</span>»<span class="zinfix">|</span></td></tr><tr><td> <san class="zi">interfaceOp</span>«<span class="zi">InterfaceOperation</span>»<span class="zinfix">|</span></td></tr><tr><td> <span class="zi">messageRef</span>«<span class="zi">MessageReference</span>»<span class="zinfix">|</span></td></tr><tr><td> <span class="zi">faultRef</span>«<span class="zi">FaultReference</span>»<span class="zinfix">|</span></td></tr><tr><td> <span class="zi">feature</span>«<span class="zi">Feature</span>»<span class="zinfix">|</span></td></tr><tr><td> <span class="zi">property</span>«<span class="zi">Property</span>»<span class="zinfix">|</span></td></tr><tr><td> <span class="zi">binding</span>«<span class="zi">Binding</span>»<span class="zinfix">|</span></td></tr><tr><td> <span class="zi">bindingFault</spa>«<span class="zi">BindingFault</span>»<span class="zinfix">|</span></td></tr><tr><td> <span class="zi">bindingOp</span>«<span class="zi">BindingOperation</span>»<span class="zinfix">|</span></td></tr><tr><td> <span class="zi">bindingMessageRef</span>«<span class="zi">BindingMessageReference</span>»<span class="zinfix">|</span></td></tr><tr><td> <span class="zi">service</span>«<span class="zi">Service</span>»<span class="zinfix">|</span></td></tr><tr><td> <span class="zi">endpoint</span>«<span class="zi">Endpoint</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>
***************
*** 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">·</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="smbol">·</span></span> <span class="zi">Id</span>(<span class="zi">elementDecl</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">TypeDefinition</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">Id</span>(<span class="zi">typeDef</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Interface</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">Id</span>(<span class="zi">interface</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <spn class="zi">x</span>.<span class="zi">id</span></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">InterfaceFault</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">Id</span>(<span class="zi">interfaceFault</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">InterfaceOperation</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">Id</span>(<span class="zi">interfaceOp</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">MessageReference</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">Id</span>(<span class="zi">messageRef</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">FaultReference</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">Id</span>(<span class="zi">faultRef</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Feature</span> <span class="zinfix"><span class="symol">·</span></span> <span class="zi">Id</span>(<span class="zi">feature</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Property</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">Id</span>(<span class="zi">property</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Binding</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">Id</span>(<span class="zi">binding</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x/span>.<span class="zi">id</span></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingFault</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">Id</span>(<span class="zi">bindingFault</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingOperation</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">Id</span>(<span class="zi">bindingOp</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><spn class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingMessageReference</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">Id</span>(<span class="zi">bindingMessageRef</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Service</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">Id</span>(<span class="zi">service</span>(<span class="zi">x</span>)) <span class="zinfix">=</span> <span class="zi">x</span>.<span class="zi">id</span></td></tr><tr><td class="zaxdeftext" colspan="2"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Endpoint</span> <span class="zinfix"><span class="symbol">·</san></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">→</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><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Description</span> <span class="zinfix">•</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><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">ElementDeclaration</span> <span class="zinfix">•</span> <span class="zi">Id</span>(<span class="zi">elementDecl</span>(<span class="zi">x</span>)) <spn 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><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">TypeDefinition</span> <span class="zinfix">•</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><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Interface</span> <span class="zinfix">•</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><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">InterfaceFault</spn> <span class="zinfix">•</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><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">InterfaceOperation</span> <span class="zinfix">•</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><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">MessageReference</span> <span class="zinfix">•</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="axdeftext" colspan="2"><span class="zprefix">∀</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">FaultReference</span> <span class="zinfix">•</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><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Feature</span> <span class="zinfix">•</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><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Property</span> <span class="zinfix">•</span> <span class="zi">Id</span>(<span class="zi">property</span>(<span class="z">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><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Binding</span> <span class="zinfix">•</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><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingFault</span> <span class="zinfix">•</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><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BidingOperation</span> <span class="zinfix">•</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><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingMessageReference</span> <span class="zinfix">•</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><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Service</span> <span class="zinfix">•</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><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Endpoint</span> <span class="zinfix">•</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">·</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <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">∀</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></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">Id</span>(<span class="zi">x</span>) <span class="zinfix">=</span> <span lass="zi">Id</span>(<span class="zi">y</span>)<span class="zinfix">⇒</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 clas="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="dublestruck">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> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Description</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">description</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">Î</span></span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematxt"><span class="zi">elementDeclComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">ElementDeclaration</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">elementDecl</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">Î</span></span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">typeDefComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">TypeDefinition</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">typeDef</span>(<span class="zi">x</span>)<span class="zifix"><span class="symbol">Î</span></span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">interfaceComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Interface</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">interface</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">Î</span></span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">interfaceFaultComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">InterfaceFault</span> <span class="zinfi">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">interfaceFault</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">Î</span></span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">interfaceOpComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">InterfaceOperation</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">interfaceOp</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">Î</span></span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspn="3"><span class="zschematext"><span class="zi">messageRefComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">MessageReference</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">messageRef</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">Î</span></span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">faultRefComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">FaultReference</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">faultRef</span>(<span class="zi>x</span>)<span class="zinfix"><span class="symbol">Î</span></span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">featureComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Feature</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">feature</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">Î</span></span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">propertyComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Property</span> <span clas="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">property</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">Î</span></span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">bindingComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Binding</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">binding</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">Î</span></span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span clas="zschematext"><span class="zi">bindingFaultComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingFault</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">bindingFault</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">Î</span></span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">bindingOpComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingOperation</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">bindingOp</span>(<span class="zi">x</span>)<san class="zinfix"><span class="symbol">Î</span></span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">bindingMessageRefComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingMessageReference</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">bindingMessageRef</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">Î</span></span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">serviceComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Servce</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">service</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">Î</span></span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">endpointComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Endpoint</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">endpoint</span>(<span class="zi">x</span>)<span class="zinfix"><span class="symbol">Î</span></span><span class="zi">components</span> }</span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
<p>
--- 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 clas="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="dublestruck">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> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Description</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">description</span>(<span class="zi">x</span>)<span class="zinfix">∈</span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">elementeclComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">ElementDeclaration</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">elementDecl</span>(<span class="zi">x</span>)<span class="zinfix">∈</span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">typeDefComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">TypeDefinition</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">typeDef</span>(<span class="zi">x</span>)<span class="zinfix">∈</span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">interfaceComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Interface</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">interface</span>(<span class="zi">x</span>)<span class="zinfix">∈</span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">interfaceFaultComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">InterfaceFault</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> nbsp; <span class="zi">interfaceFault</span>(<span class="zi">x</span>)<span class="zinfix">∈</span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">interfaceOpComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">InterfaceOperation</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">interfaceOp</span>(<span class="zi">x</span>)<span class="zinfix">∈</span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">messageRefComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span clss="zi">MessageReference</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">messageRef</span>(<span class="zi">x</span>)<span class="zinfix">∈</span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">faultRefComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">FaultReference</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">faultRef</span>(<span class="zi">x</span>)<span class="zinfix">∈</span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zchematext"><span class="zi">featureComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Feature</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">feature</span>(<span class="zi">x</span>)<span class="zinfix">∈</span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">propertyComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Property</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">property</span>(<span class="zi">x</span>)<span class="zinfix">∈</span><span class="zi">component</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">bindingComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Binding</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">binding</span>(<span class="zi">x</span>)<span class="zinfix">∈</span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">bindingFaultComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingFault</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> &nbp; <span class="zi">bindingFault</span>(<span class="zi">x</span>)<span class="zinfix">∈</span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">bindingOpComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">BindingOperation</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">bindingOp</span>(<span class="zi">x</span>)<span class="zinfix">∈</span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">bindingMessageRefComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span lass="zi">BindingMessageReference</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">bindingMessageRef</span>(<span class="zi">x</span>)<span class="zinfix">∈</span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">serviceComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Service</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">service</span>(<span class="zi">x</span>)<span class="zinfix">∈</span><span class="zi">components</span> }</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span cass="zschematext"><span class="zi">endpointComps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">Endpoint</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">endpoint</span>(<span class="zi">x</span>)<span class="zinfix">∈</span><span class="zi">components</span> }</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" colsan="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><spa class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">descriptions</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">descriptionComps</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">elementDecls</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">elementDeclComps</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">typeDefs</span> <span class="zinfi">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">typeDefComps</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">interfaces</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">interfaceComps</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">interfaceFaults</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">interfaceFaultComps</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td clas="zschematext" colspan="3"><span class="zschematext"><span class="zi">interfaceOps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">interfaceOpComps</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">messageRefs</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">messageRefComps</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">faultRefs</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">faultRefComps</span> <span class="zinfix"><span class="symbol">·/span></span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">features</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">featureComps</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">properties</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">propertyComps</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">bindings</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</spa> <span class="zi">bindingComps</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">bindingFaults</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">bindingFaultComps</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">bindingOps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">bindingOpComps</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">bindigMessageRefs</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">bindingMessageRefComps</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">services</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">serviceComps</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">endpoints</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">endpointComps</span> <span class="zinfix"><span class="symbol">·</span></span> <span class="zi">x</span>.<span class="zi">id</span }</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" colsan="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><spa class="zprefix"><span class="doublestruck">F</span></span><span class="zi">ID</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">descriptions</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">descriptionComps</span> <span class="zinfix">•</span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">elementDecls</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">elementDeclComps</span> <span class="zinfix">•</span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">typeDefs</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zifix">:</span> <span class="zi">typeDefComps</span> <span class="zinfix">•</span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">interfaces</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">interfaceComps</span> <span class="zinfix">•</span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">interfaceFaults</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">interfaceFaultComps</span> <span class="zinfix">•</span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">interfaceOps</span> <span class="zinfix">=</span> { <span class="zi">x</spn> <span class="zinfix">:</span> <span class="zi">interfaceOpComps</span> <span class="zinfix">•</span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">messageRefs</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">messageRefComps</span> <span class="zinfix">•</span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">faultRefs</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">faultRefComps</span> <span class="zinfix">•</span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">features</span> <span class="zinfix">=</span> { <span class="i">x</span> <span class="zinfix">:</span> <span class="zi">featureComps</span> <span class="zinfix">•</span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">properties</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">propertyComps</span> <span class="zinfix">•</span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">bindings</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">bindingComps</span> <span class="zinfix">•</span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">bindingFaults</span> <span class="zinfix">=</span> { <span clss="zi">x</span> <span class="zinfix">:</span> <span class="zi">bindingFaultComps</span> <span class="zinfix">•</span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">bindingOps</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">bindingOpComps</span> <span class="zinfix">•</span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">bindingMessageRefs</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">bindingMessageRefComps</span> <span class="zinfix">•</span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">services</span> <span class="zinfix>=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">serviceComps</span> <span class="zinfix">•</span> <span class="zi">x</span>.<span class="zi">id</span> }</span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">endpoints</span> <span class="zinfix">=</span> { <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">endpointComps</span> <span class="zinfix">•</span> <span class="zi">x</span>.<span class="zi">id</span> }</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">Æ</span>}<span class="zinfix"><span class="mathb">4</span></span>{ <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">X</span> <span class="zinfix"><span class="symbol">·</span></span> {<span class="zi">x</span>} }</span></td></tr><tr><td class="bl"></t><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> {∅}<span class="zinfix">∪</span>{ <span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">X</span> <span class="zinfix">•</span> {<span class="zi">x</span>} }</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">·</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">name</span> <span class="zinfix">=</span> <span class="zi">y</span>.<span class="zi">name</span><span class="zinfix"><pan class="mathc">u</span></span><span class="zi">x</span> <span class="zinfix">=</span> <span class="zi">y</span></span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span><span class="zprefix">,</span> <span class="zi">y</span> <span class="zinfix">:</span> <span class="zi">bindingComps</span> <span class="zinfix"><span class="symbol">·</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">name</span> <span class="zinfix">=</span> <span class="zi">y</span>.<span class="zi">name</span><span class="zinfix"><span class="mathc">u</span></span><span class="zi">x</span> <span class="zinfix">=</span> <span class="zi">y</span></span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span lass="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span><span class="zprefix">,</span> <span class="zi">y</span> <span class="zinfix">:</span> <span class="zi">serviceComps</span> <span class="zinfix"><span class="symbol">·</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">name</span> <span class="zinfix">=</span> <span class="zi">y</span>.<span class="zi">name</span><span class="zinfix"><span class="mathc">u</span></span><span class="zi">x</span> <span class="zinfix">=</span> <span class="zi">y</span></span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span><span class="zprefix">,</span> <span class="zi">y</span> <span class="zinfix">:</span> <span class="zi">elementDeclComps<span> <span class="zinfix"><span class="symbol">·</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">name</span> <span class="zinfix">=</span> <span class="zi">y</span>.<span class="zi">name</span><span class="zinfix"><span class="mathc">u</span></span><span class="zi">x</span> <span class="zinfix">=</span> <span class="zi">y</span></span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span><span class="zprefix">,</span> <span class="zi">y</span> <span class="zinfix">:</span> <span class="zi">typeDefComps</span> <span class="zinfix"><span class="symbol">·</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<spa 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">∀</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="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">name</span> <span class="zinfix">=</span> <span class="zi">y</span>.<span class="zi">name</span><span class="zinfix">⇒</span><span class="zi">x</span> <span class="infix">=</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><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></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">name</span> <span class="zinfix">=</span> <span class="zi">y</span>.<span class="zi">name</span><span class="zinfix">⇒</span><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><span class="zi">x</span><span class="zprefix">,</span> <span class="zi">y</span> <span cass="zinfix">:</span> <span class="zi">serviceComps</span> <span class="zinfix">•</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">name</span> <span class="zinfix">=</span> <span class="zi">y</span>.<span class="zi">name</span><span class="zinfix">⇒</span><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><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></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">name</span> <span class="zinfix"></span> <span class="zi">y</span>.<span class="zi">name</span><span class="zinfix">⇒</span><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><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></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">name</span> <span class="zinfix">=</span> <span class="zi">y</span>.<span class="zi">name</span><span class="zinfix">⇒</span><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">·</span></span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">id</span><span class="zinfix"><span class="symbol">Ï</span></span><span class="zi">x</span>.<span class="zi">extendedInterfaces</span><span class="zinfix"><span class="mathb>.</span></span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">extendedInterfaces</span><span class="zinfix"><span class="symbol">Ì</span></span><span class="zi">interfaces</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">faults</span><span class="zinfix"><span class="symbol">Í</span></span><span class="zi">interfaceFaults</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">operations</span><span class="zinfix"><span class="symbol">Í</span></span><span class="zi">interfaceOps</span><span class="zinfix"><span class="mathb">.</span></san></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">features</span><span class="zinfix"><span class="symbol">Í</span></span><span class="zi">features</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">properties</span><span class="zinfix"><span class="symbol">Í</span></span><span class="zi">properties</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
<ul>
--- 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><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">interfaceComps</span> <span class="zinfix">•</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">id</span><span class="zinfix">∉</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"><spa class="zschematext"> <span class="zi">x</span>.<span class="zi">extendedInterfaces</span><span class="zinfix">⊂</span><span class="zi">interfaces</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">faults</span><span class="zinfix">⊆</span><span class="zi">interfaceFaults</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">operations</span><span class="zinfix">⊆</span><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"> <span class="zi">x</span>.<span class="zi">feaures</span><span class="zinfix">⊆</span><span class="zi">features</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">x</span>.<span class="zi">properties</span><span class="zinfix">⊆</span><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"> <span class="zi">y</span>.<span class="zi">id</span><span class="zinfix"><span class="symbol">Î</span></span><span class="zi">x</span>.<span class="zi">extendedInterfaces</span> <span class=zinfix"><span class="symbol">·</span></span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">y</span>.<span class="zi">extendedInterfaces</span><span class="zinfix"><span class="symbol">Ì</span></span><span class="zi">x</span>.<span class="zi">extendedInterfaces</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">y</span>.<span class="zi">faults</span><span class="zinfix"><span class="symbol">Í</span></span><span class="zi">x</span>.<span class="zi">faults</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">y/span>.<span class="zi">operations</span><span class="zinfix"><span class="symbol">Í</span></span><span class="zi">x</span>.<span class="zi">operations</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">y</span>.<span class="zi">features</span><span class="zinfix"><span class="symbol">Í</span></span><span class="zi">x</span>.<span class="zi">features</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">y</span>.<span class="zi">properties</span><span class="zinfix"><span class="symbol">Í</span></span><span class="zi">x</span>.<span class="zi">properties</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></t></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">∀</span><span class="zi">x</span><span class="zprefix">,</span> <span class="zi">y</span> <span class="zinfix">:</span> <span class="zi">interfaceComps</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">y</span>.<span class="zi">id</span><span class="zinfix">∈</span><span class="zi">x</span>.<span class="zi">extendedInterfaces</span> <span class="zinfix">•</span></span></td></tr><tr><td clas="zschematext" colspan="3"><span class="zschematext"> <span class="zi">y</span>.<span class="zi">extendedInterfaces</span><span class="zinfix">⊂</span><span class="zi">x</span>.<span class="zi">extendedInterfaces</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">y</span>.<span class="zi">faults</span><span class="zinfix">⊆</span><span class="zi">x</span>.<span class="zi">faults</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">y</span>.<span class="zi">operations</span><span class="zinfix">⊆</span><span class="zi">x</span>.<span class="zi">operations</span><spanclass="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">y</span>.<span class="zi">features</span><span class="zinfix">⊆</span><span class="zi">x</span>.<span class="zi">features</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">y</span>.<span class="zi">properties</span><span class="zinfix">⊆</span><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">Æ</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">⇔</span><span class="zi">element</span><span class="zinfix">≠</span>∅</span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></tabe>
<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">á</span><span>á</span></span><span class="zi">ID</span><span class="symbol"><span style="position: relative; left=.2em">ñ</span><span>ñ</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>«<span class="zi">ID</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>
***************
*** 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</spa> <span class="zinfix">:</span> <span class="zi">OPTIONAL</span>[<span class="zi">ElementChildren</span>]</span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">valueConstraint</span> <span class="zinfix">=</span> {<span class="zi">valueToken</span>}<span class="zinfix"><span class="mathc">w</span></span><span class="zi">value</span><span class="zinfix"><span class="mathb">g</span></span><span class="symbol">Æ</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
<div 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</spa> <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><span class="zi">value</span><span class="zinfix">≠</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>
Received on Friday, 26 November 2004 18:34:13 UTC