- From: Arthur Ryman via cvs-syncmail <cvsmail@w3.org>
- Date: Thu, 10 Mar 2005 04:12:59 +0000
- To: public-ws-desc-eds@w3.org
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">&middo;</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">&middo;</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">&nbs; <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"> &nsp; <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ڝVKo6W@% DRϜEu큱[-93C"Y-X|<H{1qK2^2j7e&ِ,2aysД9) b܌nvܻj'& wD9<O'&iYZ&A 1ia^+u¿Bt6V`Ѭ}
! 4w -
# _-F [k 2 ÒYo ֗Aę?k 94>5|4A& S/-uUS!b,2"'X_XI$[W^^qHLw
! ӱ*РRJ"f7.+ ?gya͖RH%! qKG v4glٴ'4@gP&l̫^NzeN2"7X zs1l-:}V&U 9GRsQg4vve!ˑ"a ]5;o*hܵSʝ=)P!( 92Q9\ȬXJr7;RA!j醦ҪkW\Z!h n֖<iFjG6Cln'^I3;"
! Rgi1k{PIʊ^A&rZ05L(Xy:ら_Lw^ 4FΜx4~qߐ,̝w]&g BWr_NۃA|L HKb#uŚ;ިJA5 =Me~& MfjJ8TǠ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">&nbs; <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"> &nsp; <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 UTC