Update of /sources/public/2002/ws/desc/wsdl20 In directory hutz:/tmp/cvs-serv14770 Modified Files: wsdl20.pdf wsdl20.html wsdl20-ie.html wsdl20.xml wsdl20.tex wsdl20-i.html Log Message: Fixed minor Z typechecking errors introduced by addition of Binding Fault Reference. Kudos to RRC for updating the Z Notation! Regenerate all html versions and pdf. Index: wsdl20.tex =================================================================== RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.tex,v retrieving revision 1.22 retrieving revision 1.23 diff -C2 -d -r1.22 -r1.23 *** wsdl20.tex 10 Mar 2005 03:58:52 -0000 1.22 --- wsdl20.tex 10 Mar 2005 04:12:57 -0000 1.23 *************** *** 5599,5603 **** \begin{schema}{BindingMessageReference} Base \\ ! messageReference: MessageReference \end{schema} --- 5599,5603 ---- \begin{schema}{BindingMessageReference} Base \\ ! messageReference: ID \end{schema} *************** *** 5619,5623 **** \forall BindingMessageReference | \\ \t1 \theta BindingMessageReference \in bindingMessageRefComps @ \\ ! \t2 BaseRI \end{schema} --- 5619,5624 ---- \forall BindingMessageReference | \\ \t1 \theta BindingMessageReference \in bindingMessageRefComps @ \\ ! \t2 BaseRI \land \\ ! \t2 messageReference \in messageRefIds \end{schema} Index: wsdl20.xml =================================================================== RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.xml,v retrieving revision 1.186 retrieving revision 1.187 diff -C2 -d -r1.186 -r1.187 *** wsdl20.xml 10 Mar 2005 03:58:52 -0000 1.186 --- wsdl20.xml 10 Mar 2005 04:12:57 -0000 1.187 *************** *** 5505,5509 **** <schema xmlns="http://www.w3.org/2004/zml" name="BindingMessageReference"> Base <nl/> ! messageReference: MessageReference </schema> --- 5505,5509 ---- <schema xmlns="http://www.w3.org/2004/zml" name="BindingMessageReference"> Base <nl/> ! messageReference: ID </schema> *************** *** 5524,5528 **** <forall/> BindingMessageReference | <nl/> <t1/> <theta/>BindingMessageReference <in/> bindingMessageRefComps @ <nl/> ! <t2/> BaseRI </schema> --- 5524,5529 ---- <forall/> BindingMessageReference | <nl/> <t1/> <theta/>BindingMessageReference <in/> bindingMessageRefComps @ <nl/> ! <t2/> BaseRI <land/> <nl/> ! <t2/> messageReference <in/> messageRefIds </schema> Index: wsdl20-ie.html =================================================================== RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20-ie.html,v retrieving revision 1.20 retrieving revision 1.21 diff -C2 -d -r1.20 -r1.21 *** wsdl20-ie.html 10 Mar 2005 03:58:51 -0000 1.20 --- wsdl20-ie.html 10 Mar 2005 04:12:57 -0000 1.21 *************** *** 5094,5098 **** </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">BindingMessageReference</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">Base</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">messageReference</span><span class="zinfix">:</span> <span class="zi">MessageReference</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table> </div> --- 5094,5098 ---- </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">BindingMessageReference</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">Base</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">messageReference</span><span class="zinfix">:</span> <span class="zi">ID</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table> </div> *************** *** 5107,5111 **** </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">BindingMessageReferenceRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</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">BindingMessageReference</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zprefix"><span class="zi"><span class="symbol">q</span></span></span><span class="zi">BindingMessageReference</span><span class="zinfix"><span class="symbol">Î</span></span><span class="zi">bindingMessageRefComps</span> <span class="zinfix"><span class="symbol">·</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">BaseRI</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-ComponentModel2">ComponentModel2</a>, <a href="#zed-BindingMessageReference">BindingMessageReference</a>, <a href="#zed-BaseRI">BaseRI</a>.</span></span></div> --- 5107,5111 ---- </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">BindingMessageReferenceRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</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">BindingMessageReference</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zprefix"><span class="zi"><span class="symbol">q</span></span></span><span class="zi">BindingMessageReference</span><span class="zinfix"><span class="symbol">Î</span></span><span class="zi">bindingMessageRefComps</span> <span class="zinfix"><span class="symbol">·</span></span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">BaseRI</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">messageReference</span><span class="zinfix"><span class="symbol">Î</span></span><span class="zi">messageRefIds</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-ComponentModel2">ComponentModel2</a>, <a href="#zed-BindingMessageReference">BindingMessageReference</a>, <a href="#zed-BaseRI">BaseRI</a>.</span></span></div> Index: wsdl20-i.html =================================================================== RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20-i.html,v retrieving revision 1.22 retrieving revision 1.23 diff -C2 -d -r1.22 -r1.23 *** wsdl20-i.html 10 Mar 2005 03:58:52 -0000 1.22 --- wsdl20-i.html 10 Mar 2005 04:12:57 -0000 1.23 *************** *** 5092,5096 **** </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">BindingMessageReference</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">Base</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">messageReference</span><span class="zinfix">:</span> <span class="zi">MessageReference</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table> </div> --- 5092,5096 ---- </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">BindingMessageReference</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">Base</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">messageReference</span><span class="zinfix">:</span> <span class="zi">ID</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table> </div> *************** *** 5105,5109 **** </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">BindingMessageReferenceRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</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">BindingMessageReference</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zprefix"><span class="zi">θ</span></span><span class="zi">BindingMessageReference</span><span class="zinfix">∈</span><span class="zi">bindingMessageRefComps</span> <span class="zinfix">•</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">BaseRI</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-ComponentModel2">ComponentModel2</a>, <a href="#zed-BindingMessageReference">BindingMessageReference</a>, <a href="#zed-BaseRI">BaseRI</a>.</span></span></div> --- 5105,5109 ---- </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">BindingMessageReferenceRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</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">BindingMessageReference</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zprefix"><span class="zi">θ</span></span><span class="zi">BindingMessageReference</span><span class="zinfix">∈</span><span class="zi">bindingMessageRefComps</span> <span class="zinfix">•</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">BaseRI</span><span class="zinfix">∧</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">messageReference</span><span class="zinfix">∈</span><span class="zi">messageRefIds</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-ComponentModel2">ComponentModel2</a>, <a href="#zed-BindingMessageReference">BindingMessageReference</a>, <a href="#zed-BaseRI">BaseRI</a>.</span></span></div> Index: wsdl20.pdf =================================================================== RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.pdf,v retrieving revision 1.15 retrieving revision 1.16 diff -C2 -d -r1.15 -r1.16 *** wsdl20.pdf 10 Mar 2005 03:58:51 -0000 1.15 --- wsdl20.pdf 10 Mar 2005 04:12:57 -0000 1.16 *************** *** 830,838 **** >> stream ! xڝVKo6 W@% DRϜE u큱 [-9 3C"Y- X|<H{1qK2^2 j7e& ِ,2aysД9) b܌nvܻj'& w D9 <O'&iYZ& A 1ia^+ u ¿B t6V`Ѭ } ! 4w - # _ -F [k 2 ÒYo ֗Aę?k 94>5|4A & S /-uU S !b,2 "'X_ X I $[ W^^qH Lw ! ӱ*РRJ"f7.+ ?gya͖ RH%! q KG v4gl ٴ'4@gP&l ̫^ N zeN 2"7X zs1 l- :} V&U 9 G RsQg 4v ve!ˑ"a ]5; o*hܵ Sʝ= )P !( 92Q 9\ȬXJ r7;RA!j醦ҪkW\Z!h n֖ <iF j G6C ln'^I3;" ! Rgi1k{PIʊ ^A&rZ05L(Xy : ら _Lw^ 4FΜx4~ qߐ, ̝w]&g BWr_N ۃA|L HKb#uŚ;ިJA 5 =Me~& M fjJ8TǠHm'ɿ:$Gendstream endobj 554 0 obj << --- 830,836 ---- [...4860 lines suppressed...] ! 0000805334 00000 n trailer << *************** *** 18686,18692 **** /Root 2656 0 R /Info 2657 0 R ! /ID [<7A9F57D26D13E553D1AB876A6155876F> <7A9F57D26D13E553D1AB876A6155876F>] >> startxref ! 805852 %%EOF --- 18725,18731 ---- /Root 2656 0 R /Info 2657 0 R ! /ID [<07E3A7B61D56084F9DAD89DE13C8658F> <07E3A7B61D56084F9DAD89DE13C8658F>] >> startxref ! 805582 %%EOF Index: wsdl20.html =================================================================== RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.html,v retrieving revision 1.158 retrieving revision 1.159 diff -C2 -d -r1.158 -r1.159 *** wsdl20.html 10 Mar 2005 03:58:51 -0000 1.158 --- wsdl20.html 10 Mar 2005 04:12:57 -0000 1.159 *************** *** 5092,5096 **** </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">BindingMessageReference</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">Base</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">messageReference</span><span class="zinfix">:</span> <span class="zi">MessageReference</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table> --- 5092,5096 ---- </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">BindingMessageReference</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">Base</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">messageReference</span><span class="zinfix">:</span> <span class="zi">ID</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table> *************** *** 5105,5109 **** </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">BindingMessageReferenceRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</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">BindingMessageReference</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zprefix"><span class="zi">θ</span></span><span class="zi">BindingMessageReference</span><span class="zinfix">∈</span><span class="zi">bindingMessageRefComps</span> <span class="zinfix">•</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">BaseRI</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-ComponentModel2">ComponentModel2</a>, <a href="#zed-BindingMessageReference">BindingMessageReference</a>, <a href="#zed-BaseRI">BaseRI</a>.</span></span></div> --- 5105,5109 ---- </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">BindingMessageReferenceRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</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">BindingMessageReference</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zprefix"><span class="zi">θ</span></span><span class="zi">BindingMessageReference</span><span class="zinfix">∈</span><span class="zi">bindingMessageRefComps</span> <span class="zinfix">•</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"> <span class="zi">BaseRI</span><span class="zinfix">∧</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"> <span class="zi">messageReference</span><span class="zinfix">∈</span><span class="zi">messageRefIds</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-ComponentModel2">ComponentModel2</a>, <a href="#zed-BindingMessageReference">BindingMessageReference</a>, <a href="#zed-BaseRI">BaseRI</a>.</span></span></div>Received on Thursday, 10 March 2005 04:13:00 GMT
This archive was generated by hypermail 2.2.0 + w3c-0.30 : Thursday, 10 March 2005 04:13:00 GMT