2002/ws/desc/wsdl20 wsdl20-z.html,1.8,1.9 wsdl20.pdf,1.22,1.23 wsdl20.xml,1.193,1.194 wsdl20-z-ie.html,1.2,1.3 wsdl20.tex,1.29,1.30 wsdl20.toc,1.16,1.17

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

Modified Files:
	wsdl20-z.html wsdl20.pdf wsdl20.xml wsdl20-z-ie.html 
	wsdl20.tex wsdl20.toc 
Log Message:
LC104: The operations, faults, features, and properties of an Interface component are those defined directly on the component and do
    	not include those from the extended interfaces.

Index: wsdl20-z-ie.html
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20-z-ie.html,v
retrieving revision 1.2
retrieving revision 1.3
diff -C2 -d -r1.2 -r1.3
*** wsdl20-z-ie.html	21 Mar 2005 02:13:05 -0000	1.2
--- wsdl20-z-ie.html	21 Mar 2005 02:33:23 -0000	1.3
***************
*** 1457,1461 ****
  	  </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">InterfaceClosure</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">extends</span> <span class="zinfix">:</span> <span class="zi">Interface</span><span class="zinfix"><span class="mathc">v</span></span><span class="zi">Interface</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">extends</span> <span class="zinfix">=</span> {&nbsp;<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="zshemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">y</span>.<span class="zi">id</span><span class="zinfix"><span class="symbol">&Icirc;</span></span><span class="zi">x</span>.<span class="zi">extendedInterfaces</span>&nbsp;}</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">interfaceComps</span> <span class="zinfix"><span class="symbol">&middot;</span></span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span><span class="zinfix"><span class="mathc">x</span></span><span class="zi">x</span><span class="zinfix"><span class="symbol">&Iuml;</span></span><span class="zi">extends</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><tdclass="zschematext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">allExtendedInterfaces</span> <span class="zinfix">=</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;{&nbsp;<span class="zi">y</span> <span class="zinfix">:</span> <span class="zi">interfaceComps</span> <span class="zinfix">|</span> <span class="zi">x</span><span class="zinfix"><span class="mathc">x</span></span><span class="zi">y</span><span class="zinfix"><span class="symbol">&Icirc;</span></span><span class="zi">extends</span><sup>+</sup><span class="zinfix"><span class="symbol">&middot;</span></span> <span class="zi">y</span>.<span class="zi">id</span>&nbsp;}</span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  </div>
  	  
--- 1457,1473 ----
  	  </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">InterfaceClosure</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">extends</span> <span class="zinfix">:</span> <span class="zi">Interface</span><span class="zinfix"><span class="mathc">v</span></span><span class="zi">Interface</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">extends</span> <span class="zinfix">=</span> {&nbsp;<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="zshemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">y</span>.<span class="zi">id</span><span class="zinfix"><span class="symbol">&Icirc;</span></span><span class="zi">x</span>.<span class="zi">extendedInterfaces</span>&nbsp;}</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">interfaceComps</span> <span class="zinfix"><span class="symbol">&middot;</span></span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span><span class="zinfix"><span class="mathc">x</span></span><span class="zi">x</span><span class="zinfix"><span class="symbol">&Iuml;</span></span><span class="zi">extends</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><tdclass="zschematext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">allExtendedInterfaces</span> <span class="zinfix">=</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;{&nbsp;<span class="zi">y</span> <span class="zinfix">:</span> <span class="zi">interfaceComps</span> <span class="zinfix">|</span> <span class="zi">x</span><span class="zinfix"><span class="mathc">x</span></span><span class="zi">y</span><span class="zinfix"><span class="symbol">&Icirc;</span></span><span class="zi">extends</span><sup>+</sup><span class="zinfix"><span class="symbol">&middot;</span></span> <span class="zi">y</span>.<span class="zi">id</span>&nbsp;}<span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<spn class="zi">allFaults</span> <span class="zinfix">=</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;{&nbsp;<span class="zi">y</span> <span class="zinfix">:</span> <span class="zi">interfaceComps</span>; <span class="zi">f</span> <span class="zinfix">:</span> <span class="zi">interfaceFaultIds</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span><span class="zinfix"><span class="mathc">x</span></span><span class="zi">y</span><span class="zinfix"><span class="symbol">&Icirc;</span></span><span class="zi">extends</span><sup>*</sup><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">f</span><span class="zinfix"><span class="symbol">&Icirc;</span></span><span class="zi">y</span>.<span class="zi">faults</span> <span class="zinfix"><span class="symbol">&middot;</span></span> <span class="zi">f</span>&nbsp;}</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">allOperations</span> <span class="zinfix">=</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;{&nbsp;<span class="zi">y</span> <span class="zinfix">:</span> <span class="zi">interfaceComps</span>; <span class="zi">o</span> <span class="zinfix">:</span> <span class="zi">interfaceOpIds</span> <spanclass="zinfix">|</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span><span class="zinfix"><span class="mathc">x</span></span><span class="zi">y</span><span class="zinfix"><span class="symbol">&Icirc;</span></span><span class="zi">extends</span><sup>*</sup><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">o</span><span class="zinfix"><span class="symbol">&Icirc;</span></span><span class="zi">y</span>.<span class="zi">operations</span> <span class="zinfix"><span class="symbol">&middot;</span></span> <span class="zi">o</span>&nbsp;}</span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"></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-Interface">Interface</a>.</span></span></div>
! 	  
! 	  <ul>
! 	  <li><p>The extends relation relation each interface to the interfaces it directly extends.</p></li>
! 	  <li><p>The set of all interfaces directly or indirectly extended by an interface is the transitive closure of the extends relation.</p></li>
! 	  <li><p>The set of all faults available in an interface is the all of all faults defined on the interface and the interfaces it directly
! 	  or indirectly extends.</p></li>
! 	  <li><p>The set of all operations available in an interface is the all of all operations defined on the interface and the interfaces it directly
! 	  or indirectly extends.</p></li>
! 	  </ul>
! 	  
  	  </div>
  	  

Index: wsdl20.tex
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.tex,v
retrieving revision 1.29
retrieving revision 1.30
diff -C2 -d -r1.29 -r1.30
*** wsdl20.tex	21 Mar 2005 02:13:05 -0000	1.29
--- wsdl20.tex	21 Mar 2005 02:33:23 -0000	1.30
***************
*** 1750,1756 ****
  	  	\t1 	x \mapsto  x \notin  extends \land  \\
  	  	\t1 	x.allExtendedInterfaces = \\
! 	  	\t2 		\{~y : interfaceComps | x \mapsto  y \in  extends\plus  @ y.id~\}
  	  \end{schema}
  	  
  	  
  	  For each Interface component in the \{interfaces\}
--- 1750,1776 ----
  	  	\t1 	x \mapsto  x \notin  extends \land  \\
  	  	\t1 	x.allExtendedInterfaces = \\
! 	  	\t2 		\{~y : interfaceComps | x \mapsto  y \in  extends\plus  @ y.id~\} \land  \\
! 	  	\t1 	x.allFaults = \\
! 	  	\t2 		\{~y : interfaceComps; f : interfaceFaultIds | \\
! 	  	\t3 			x \mapsto  y \in  extends\star  \land  \\
! 	  	\t3 			f \in  y.faults @ f~\} \\ \land  \\
! 	  	\t1 	x.allOperations = \\
! 	  	\t2 		\{~y : interfaceComps; o : interfaceOpIds | \\
! 	  	\t3 			x \mapsto  y \in  extends\star  \land  \\
! 	  	\t3 			o \in  y.operations @ o~\} \\
  	  \end{schema}
  	  
+ 	  \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ComponentModel2}{ComponentModel2}, \hyperlink{zed-Interface}{Interface}.\end{itshape}\end{small}\end{quote}
+ 	  
+ 	  \begin{itemize}
+ 	  \item The extends relation relation each interface to the interfaces it directly extends.
+ 	  \item The set of all interfaces directly or indirectly extended by an interface is the transitive closure of the extends relation.
+ 	  \item The set of all faults available in an interface is the all of all faults defined on the interface and the interfaces it directly
+ 	  or indirectly extends.
+ 	  \item The set of all operations available in an interface is the all of all operations defined on the interface and the interfaces it directly
+ 	  or indirectly extends.
+ 	  \end{itemize}
+ 	  
+ 	  
  	  
  	  For each Interface component in the \{interfaces\}

Index: wsdl20.toc
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.toc,v
retrieving revision 1.16
retrieving revision 1.17
diff -C2 -d -r1.16 -r1.17
*** wsdl20.toc	20 Mar 2005 19:35:10 -0000	1.16
--- wsdl20.toc	21 Mar 2005 02:33:24 -0000	1.17
***************
*** 19,46 ****
  \contentsline {section}{\numberline {2.2}Interface}{28}{section.2.2}
  \contentsline {subsection}{\numberline {2.2.1}The Interface Component}{28}{subsection.2.2.1}
! \contentsline {subsection}{\numberline {2.2.2}XML Representation of Interface Component}{31}{subsection.2.2.2}
! \contentsline {subsubsection}{\texttt {name} \textit {attribute information item} with \texttt {interface} [owner]}{32}{section*.4}
  \contentsline {subsubsection}{\texttt {extends} \textit {attribute information item}}{33}{section*.5}
  \contentsline {subsubsection}{\texttt {styleDefault} \textit {attribute information item}}{33}{section*.6}
! \contentsline {subsection}{\numberline {2.2.3}Mapping Interface's XML Representation to Component Properties}{33}{subsection.2.2.3}
! \contentsline {section}{\numberline {2.3}Interface Fault}{34}{section.2.3}
! \contentsline {subsection}{\numberline {2.3.1}The Interface Fault Component}{34}{subsection.2.3.1}
! \contentsline {subsection}{\numberline {2.3.2}XML Representation of Interface Fault Component}{36}{subsection.2.3.2}
! \contentsline {subsubsection}{\texttt {name} \textit {attribute information item} with \texttt {fault} [owner]}{37}{section*.7}
  \contentsline {subsubsection}{\texttt {element} \textit {attribute information item} with \texttt {fault} [owner]}{38}{section*.8}
  \contentsline {subsection}{\numberline {2.3.3}Mapping Interface Fault's XML Representation to Component Properties}{38}{subsection.2.3.3}
  \contentsline {section}{\numberline {2.4}Interface Operation}{39}{section.2.4}
  \contentsline {subsection}{\numberline {2.4.1}The Interface Operation Component}{39}{subsection.2.4.1}
! \contentsline {subsubsection}{Operation Style}{41}{section*.9}
  \contentsline {subsection}{\numberline {2.4.2}XML Representation of Interface Operation Component}{42}{subsection.2.4.2}
! \contentsline {subsubsection}{\texttt {name} \textit {attribute information item} with \texttt {operation} [owner]}{43}{section*.10}
! \contentsline {subsubsection}{\texttt {pattern} \textit {attribute information item} with \texttt {operation} [owner]}{43}{section*.11}
  \contentsline {subsubsection}{\texttt {style} \textit {attribute information item} with \texttt {operation} [owner]}{44}{section*.12}
  \contentsline {subsubsection}{\texttt {safe} \textit {attribute information item} with \texttt {operation} [owner]}{44}{section*.13}
! \contentsline {subsection}{\numberline {2.4.3}Mapping Interface Operation's XML Representation to Component Properties}{44}{subsection.2.4.3}
! \contentsline {section}{\numberline {2.5}Message Reference}{45}{section.2.5}
! \contentsline {subsection}{\numberline {2.5.1}The Message Reference Component}{45}{subsection.2.5.1}
! \contentsline {subsection}{\numberline {2.5.2}XML Representation of Message Reference Component}{47}{subsection.2.5.2}
! \contentsline {subsubsection}{\texttt {messageLabel} \textit {attribute information item} with \texttt {input}, or \texttt {output} [owner]}{48}{section*.14}
  \contentsline {subsubsection}{\texttt {element} \textit {attribute information item} with \texttt {input}, or \texttt {output} [owner]}{49}{section*.15}
  \contentsline {subsection}{\numberline {2.5.3}Mapping Message Reference's XML Representation to Component Properties}{49}{subsection.2.5.3}
--- 19,46 ----
  \contentsline {section}{\numberline {2.2}Interface}{28}{section.2.2}
  \contentsline {subsection}{\numberline {2.2.1}The Interface Component}{28}{subsection.2.2.1}
! \contentsline {subsection}{\numberline {2.2.2}XML Representation of Interface Component}{32}{subsection.2.2.2}
! \contentsline {subsubsection}{\texttt {name} \textit {attribute information item} with \texttt {interface} [owner]}{33}{section*.4}
  \contentsline {subsubsection}{\texttt {extends} \textit {attribute information item}}{33}{section*.5}
  \contentsline {subsubsection}{\texttt {styleDefault} \textit {attribute information item}}{33}{section*.6}
! \contentsline {subsection}{\numberline {2.2.3}Mapping Interface's XML Representation to Component Properties}{34}{subsection.2.2.3}
! \contentsline {section}{\numberline {2.3}Interface Fault}{35}{section.2.3}
! \contentsline {subsection}{\numberline {2.3.1}The Interface Fault Component}{35}{subsection.2.3.1}
! \contentsline {subsection}{\numberline {2.3.2}XML Representation of Interface Fault Component}{37}{subsection.2.3.2}
! \contentsline {subsubsection}{\texttt {name} \textit {attribute information item} with \texttt {fault} [owner]}{38}{section*.7}
  \contentsline {subsubsection}{\texttt {element} \textit {attribute information item} with \texttt {fault} [owner]}{38}{section*.8}
  \contentsline {subsection}{\numberline {2.3.3}Mapping Interface Fault's XML Representation to Component Properties}{38}{subsection.2.3.3}
  \contentsline {section}{\numberline {2.4}Interface Operation}{39}{section.2.4}
  \contentsline {subsection}{\numberline {2.4.1}The Interface Operation Component}{39}{subsection.2.4.1}
! \contentsline {subsubsection}{Operation Style}{42}{section*.9}
  \contentsline {subsection}{\numberline {2.4.2}XML Representation of Interface Operation Component}{42}{subsection.2.4.2}
! \contentsline {subsubsection}{\texttt {name} \textit {attribute information item} with \texttt {operation} [owner]}{44}{section*.10}
! \contentsline {subsubsection}{\texttt {pattern} \textit {attribute information item} with \texttt {operation} [owner]}{44}{section*.11}
  \contentsline {subsubsection}{\texttt {style} \textit {attribute information item} with \texttt {operation} [owner]}{44}{section*.12}
  \contentsline {subsubsection}{\texttt {safe} \textit {attribute information item} with \texttt {operation} [owner]}{44}{section*.13}
! \contentsline {subsection}{\numberline {2.4.3}Mapping Interface Operation's XML Representation to Component Properties}{45}{subsection.2.4.3}
! \contentsline {section}{\numberline {2.5}Message Reference}{46}{section.2.5}
! \contentsline {subsection}{\numberline {2.5.1}The Message Reference Component}{46}{subsection.2.5.1}
! \contentsline {subsection}{\numberline {2.5.2}XML Representation of Message Reference Component}{48}{subsection.2.5.2}
! \contentsline {subsubsection}{\texttt {messageLabel} \textit {attribute information item} with \texttt {input}, or \texttt {output} [owner]}{49}{section*.14}
  \contentsline {subsubsection}{\texttt {element} \textit {attribute information item} with \texttt {input}, or \texttt {output} [owner]}{49}{section*.15}
  \contentsline {subsection}{\numberline {2.5.3}Mapping Message Reference's XML Representation to Component Properties}{49}{subsection.2.5.3}
***************
*** 49,185 ****
  \contentsline {subsection}{\numberline {2.6.2}XML Representation of Fault Reference Id}{52}{subsection.2.6.2}
  \contentsline {subsubsection}{\texttt {ref} \textit {attribute information item} with \texttt {infault}, or \texttt {outfault} [owner]}{53}{section*.16}
! \contentsline {subsubsection}{\texttt {messageLabel} \textit {attribute information item} with \texttt {infault}, or \texttt {outfault} [owner]}{53}{section*.17}
  \contentsline {subsection}{\numberline {2.6.3}Mapping Fault Reference's XML Representation to Component Properties}{54}{subsection.2.6.3}
! \contentsline {section}{\numberline {2.7}Feature}{54}{section.2.7}
! \contentsline {subsection}{\numberline {2.7.1}The Feature Component}{54}{subsection.2.7.1}
  \contentsline {subsubsection}{Feature Composition Model}{55}{section*.18}
  \contentsline {subsection}{\numberline {2.7.2}XML Representation of Feature Component}{58}{subsection.2.7.2}
! \contentsline {subsubsection}{\texttt {uri} \textit {attribute information item} with \texttt {feature} [owner]}{58}{section*.19}
  \contentsline {subsubsection}{\texttt {required} \textit {attribute information item} with \texttt {feature} [owner]}{59}{section*.20}
  \contentsline {subsection}{\numberline {2.7.3}Mapping Feature's XML Representation to Component Properties}{59}{subsection.2.7.3}
! \contentsline {section}{\numberline {2.8}Property}{59}{section.2.8}
! \contentsline {subsection}{\numberline {2.8.1}The Property Component}{59}{subsection.2.8.1}
  \contentsline {subsubsection}{Property Composition Model}{61}{section*.21}
  \contentsline {subsection}{\numberline {2.8.2}XML Representation of Property Component}{63}{subsection.2.8.2}
  \contentsline {subsubsection}{\texttt {uri} \textit {attribute information item} with \texttt {property} [owner]}{64}{section*.22}
! \contentsline {subsubsection}{\texttt {required} \textit {attribute information item} with \texttt {property} [owner]}{64}{section*.23}
  \contentsline {subsubsection}{\texttt {value} \textit {element information item} with \texttt {property} [parent]}{65}{section*.24}
  \contentsline {subsubsection}{\texttt {constraint} \textit {element information item} with \texttt {property} [parent]}{65}{section*.25}
! \contentsline {subsection}{\numberline {2.8.3}Mapping Property's XML Representation to Component Properties}{65}{subsection.2.8.3}
  \contentsline {section}{\numberline {2.9}Binding}{66}{section.2.9}
  \contentsline {subsection}{\numberline {2.9.1}The Binding Component}{66}{subsection.2.9.1}
  \contentsline {subsection}{\numberline {2.9.2}XML Representation of Binding Component}{68}{subsection.2.9.2}
! \contentsline {subsubsection}{\texttt {name} \textit {attribute information item} with \texttt {binding} [owner]}{69}{section*.26}
  \contentsline {subsubsection}{\texttt {interface} \textit {attribute information item} with \texttt {binding} [owner]}{70}{section*.27}
  \contentsline {subsubsection}{\texttt {type} \textit {attribute information item} with \texttt {binding} [owner]}{70}{section*.28}
  \contentsline {subsubsection}{Binding extension elements}{70}{section*.29}
! \contentsline {subsection}{\numberline {2.9.3}Mapping Binding's XML Representation to Component Properties}{70}{subsection.2.9.3}
! \contentsline {section}{\numberline {2.10}Binding Fault}{71}{section.2.10}
! \contentsline {subsection}{\numberline {2.10.1}The Binding Fault Component}{71}{subsection.2.10.1}
! \contentsline {subsection}{\numberline {2.10.2}XML Representation of Binding Fault Component}{72}{subsection.2.10.2}
! \contentsline {subsubsection}{\texttt {ref} \textit {attribute information item} with \texttt {fault} [owner]}{73}{section*.30}
! \contentsline {subsubsection}{Binding Fault extension elements}{73}{section*.31}
! \contentsline {subsection}{\numberline {2.10.3}Mapping Binding Fault's XML Representation to Component Properties}{73}{subsection.2.10.3}
! \contentsline {section}{\numberline {2.11}Binding Operation}{74}{section.2.11}
! \contentsline {subsection}{\numberline {2.11.1}The Binding Operation Component}{74}{subsection.2.11.1}
! \contentsline {subsection}{\numberline {2.11.2}XML Representation of Binding Operation Component}{75}{subsection.2.11.2}
! \contentsline {subsubsection}{\texttt {ref} \textit {attribute information item} with \texttt {operation} [owner]}{76}{section*.32}
! \contentsline {subsubsection}{Binding Operation extension elements}{77}{section*.33}
! \contentsline {subsection}{\numberline {2.11.3}Mapping Binding Operation's XML Representation to Component Properties}{77}{subsection.2.11.3}
! \contentsline {section}{\numberline {2.12}Binding Message Reference}{77}{section.2.12}
! \contentsline {subsection}{\numberline {2.12.1}The Binding Message Reference Component}{77}{subsection.2.12.1}
! \contentsline {subsection}{\numberline {2.12.2}XML Representation of Binding Message Reference Component}{78}{subsection.2.12.2}
! \contentsline {subsubsection}{\texttt {messageLabel} \textit {attribute information item} with \texttt {input} or \texttt {output} [owner]}{80}{section*.34}
! \contentsline {subsubsection}{Binding Message Reference extension elements}{80}{section*.35}
! \contentsline {subsection}{\numberline {2.12.3}Mapping Binding Message Reference's XML Representation to Component Properties}{80}{subsection.2.12.3}
! \contentsline {section}{\numberline {2.13}Binding Fault Reference}{81}{section.2.13}
! \contentsline {subsection}{\numberline {2.13.1}The Binding Fault Reference Component}{81}{subsection.2.13.1}
! \contentsline {subsection}{\numberline {2.13.2}XML Representation of Binding Fault Reference Component}{82}{subsection.2.13.2}
! \contentsline {subsubsection}{\texttt {ref} \textit {attribute information item} with \texttt {infault} or \texttt {outfault} [owner]}{83}{section*.36}
! \contentsline {subsubsection}{\texttt {messageLabel} \textit {attribute information item} with \texttt {infault} or \texttt {outfault} [owner]}{83}{section*.37}
! \contentsline {subsubsection}{Binding Fault Reference extension elements}{83}{section*.38}
! \contentsline {subsection}{\numberline {2.13.3}Mapping Binding Fault Reference's XML Representation to Component Properties}{84}{subsection.2.13.3}
! \contentsline {section}{\numberline {2.14}Service}{84}{section.2.14}
! \contentsline {subsection}{\numberline {2.14.1}The Service Component}{84}{subsection.2.14.1}
! \contentsline {subsubsection}{Operation Name Mapping Requirement}{86}{section*.39}
! \contentsline {subsection}{\numberline {2.14.2}XML Representation of Service Component}{86}{subsection.2.14.2}
! \contentsline {subsubsection}{\texttt {name} \textit {attribute information item} with \texttt {service} [owner]}{88}{section*.40}
! \contentsline {subsubsection}{\texttt {interface} \textit {attribute information item} with \texttt {service} [owner]}{88}{section*.41}
! \contentsline {subsection}{\numberline {2.14.3}Mapping Service's XML Representation to Component Properties}{88}{subsection.2.14.3}
! \contentsline {section}{\numberline {2.15}Endpoint}{89}{section.2.15}
! \contentsline {subsection}{\numberline {2.15.1}The Endpoint Component}{89}{subsection.2.15.1}
! \contentsline {subsection}{\numberline {2.15.2}XML Representation of Endpoint Component}{90}{subsection.2.15.2}
! \contentsline {subsubsection}{\texttt {name} \textit {attribute information item} with \texttt {endpoint} [owner]}{91}{section*.42}
! \contentsline {subsubsection}{\texttt {binding} \textit {attribute information item} with \texttt {endpoint} [owner]}{92}{section*.43}
! \contentsline {subsubsection}{\texttt {address} \textit {attribute information item} with \texttt {endpoint} [owner]}{92}{section*.44}
! \contentsline {subsubsection}{Endpoint extension elements}{92}{section*.45}
! \contentsline {subsection}{\numberline {2.15.3}Mapping Endpoint's XML Representation to Component Properties}{92}{subsection.2.15.3}
! \contentsline {section}{\numberline {2.16}XML Schema 1.0 Simple Types Used in the Component Model}{93}{section.2.16}
! \contentsline {subsection}{\numberline {2.16.1}\textit {NCName} Type}{93}{subsection.2.16.1}
! \contentsline {subsection}{\numberline {2.16.2}\textit {anyURI} Type}{93}{subsection.2.16.2}
! \contentsline {subsection}{\numberline {2.16.3}\textit {QName} Type}{94}{subsection.2.16.3}
! \contentsline {subsection}{\numberline {2.16.4}\textit {boolean} Type}{94}{subsection.2.16.4}
! \contentsline {section}{\numberline {2.17}Equivalence of Components}{94}{section.2.17}
! \contentsline {section}{\numberline {2.18}Symbol Spaces}{95}{section.2.18}
! \contentsline {section}{\numberline {2.19}QName resolution}{95}{section.2.19}
! \contentsline {section}{\numberline {2.20}Comparing URIs}{95}{section.2.20}
! \contentsline {chapter}{\numberline {3}Types}{96}{chapter.3}
! \contentsline {section}{\numberline {3.1}Using W3C XML Schema Description Language}{97}{section.3.1}
! \contentsline {subsection}{\numberline {3.1.1}Importing XML Schema}{98}{subsection.3.1.1}
! \contentsline {subsubsection}{\texttt {namespace} \textit {attribute information item}}{98}{section*.46}
! \contentsline {subsubsection}{\texttt {schemaLocation} \textit {attribute information item}}{99}{section*.47}
! \contentsline {subsection}{\numberline {3.1.2}Embedding XML Schema}{99}{subsection.3.1.2}
! \contentsline {subsubsection}{\texttt {targetNamespace} \textit {attribute information item}}{100}{section*.48}
! \contentsline {subsection}{\numberline {3.1.3}References to Element Declarations and Type Definitions}{100}{subsection.3.1.3}
! \contentsline {section}{\numberline {3.2}Using Other Schema Languages}{101}{section.3.2}
! \contentsline {chapter}{\numberline {4}Modularizing WSDL descriptions}{102}{chapter.4}
! \contentsline {section}{\numberline {4.1}Including Descriptions}{102}{section.4.1}
! \contentsline {subsection}{\numberline {4.1.1}\texttt {location} \textit {attribute information item} with \texttt {include} [owner]}{103}{subsection.4.1.1}
! \contentsline {section}{\numberline {4.2}Importing Descriptions}{104}{section.4.2}
! \contentsline {subsection}{\numberline {4.2.1}\texttt {namespace} \textit {attribute information item}}{105}{subsection.4.2.1}
! \contentsline {subsection}{\numberline {4.2.2}\texttt {location} \textit {attribute information item} with \texttt {import} [owner]}{106}{subsection.4.2.2}
! \contentsline {chapter}{\numberline {5}Documentation}{107}{chapter.5}
! \contentsline {chapter}{\numberline {6}Language Extensibility}{108}{chapter.6}
! \contentsline {section}{\numberline {6.1}Element based Extensibility}{108}{section.6.1}
! \contentsline {subsection}{\numberline {6.1.1}Mandatory extensions}{109}{subsection.6.1.1}
! \contentsline {subsection}{\numberline {6.1.2}\texttt {required} \textit {attribute information item}}{110}{subsection.6.1.2}
! \contentsline {section}{\numberline {6.2}Attribute-based Extensibility}{110}{section.6.2}
! \contentsline {section}{\numberline {6.3}Extensibility Semantics}{110}{section.6.3}
! \contentsline {chapter}{\numberline {7}Locating WSDL Documents}{112}{chapter.7}
! \contentsline {section}{\numberline {7.1}\texttt {wsdli:wsdlLocation} \textit {attribute information item}}{112}{section.7.1}
! \contentsline {chapter}{\numberline {8}Conformance}{113}{chapter.8}
! \contentsline {section}{\numberline {8.1}Document Conformance}{113}{section.8.1}
! \contentsline {section}{\numberline {8.2}XML Information Set Conformance}{113}{section.8.2}
! \contentsline {section}{\numberline {8.3}Processor Conformance}{114}{section.8.3}
! \contentsline {chapter}{\numberline {9}XML Syntax Summary (Non-Normative)}{116}{chapter.9}
! \contentsline {chapter}{\numberline {10}References}{120}{chapter.10}
! \contentsline {section}{\numberline {10.1}Normative References}{120}{section.10.1}
! \contentsline {section}{\numberline {10.2}Informative References}{122}{section.10.2}
! \contentsline {chapter}{\numberline {A}The application/wsdl+xml Media Type}{125}{appendix.A}
! \contentsline {section}{\numberline {A.1}Registration}{125}{section.A.1}
! \contentsline {section}{\numberline {A.2}Security considerations}{126}{section.A.2}
! \contentsline {chapter}{\numberline {B}Acknowledgements (Non-Normative)}{127}{appendix.B}
! \contentsline {chapter}{\numberline {C}URI References for WSDL Components (Non-Normative)}{129}{appendix.C}
! \contentsline {section}{\numberline {C.1}WSDL URIs}{129}{section.C.1}
! \contentsline {section}{\numberline {C.2}Fragment Identifiers}{130}{section.C.2}
! \contentsline {section}{\numberline {C.3}Extension Elements}{131}{section.C.3}
! \contentsline {section}{\numberline {C.4}Example}{132}{section.C.4}
! \contentsline {chapter}{\numberline {D}Migrating from WSDL 1.1 to WSDL 2.0 (Non-Normative)}{133}{appendix.D}
! \contentsline {section}{\numberline {D.1}Operation Overloading}{133}{section.D.1}
! \contentsline {section}{\numberline {D.2}PortTypes}{133}{section.D.2}
! \contentsline {section}{\numberline {D.3}Ports}{133}{section.D.3}
! \contentsline {section}{\numberline {D.4}Single Interface per Service}{133}{section.D.4}
! \contentsline {chapter}{\numberline {E}Examples of Specifications of Extension Elements for Alternative Schema Language Support. (Non-Normative)}{135}{appendix.E}
! \contentsline {section}{\numberline {E.1}DTD}{135}{section.E.1}
! \contentsline {subsection}{\numberline {E.1.1}\texttt {namespace} \textit {attribute information item}}{136}{subsection.E.1.1}
! \contentsline {subsection}{\numberline {E.1.2}\texttt {location} \textit {attribute information item}}{136}{subsection.E.1.2}
! \contentsline {subsection}{\numberline {E.1.3}References to Element Definitions}{136}{subsection.E.1.3}
! \contentsline {section}{\numberline {E.2}RELAX NG}{136}{section.E.2}
! \contentsline {subsection}{\numberline {E.2.1}Importing RELAX NG}{137}{subsection.E.2.1}
! \contentsline {subsubsection}{\texttt {ns} \textit {attribute information item}}{137}{section*.49}
! \contentsline {subsubsection}{\texttt {href} \textit {attribute information item}}{137}{section*.50}
! \contentsline {subsection}{\numberline {E.2.2}Embedding RELAX NG}{138}{subsection.E.2.2}
! \contentsline {subsubsection}{\texttt {ns} \textit {attribute information item}}{138}{section*.51}
! \contentsline {subsection}{\numberline {E.2.3}References to Element Declarations}{138}{subsection.E.2.3}
! \contentsline {chapter}{\numberline {F}Part 1 Change Log (Non-Normative)}{139}{appendix.F}
! \contentsline {section}{\numberline {F.1}WSDL Specification Changes}{139}{section.F.1}
--- 49,185 ----
  \contentsline {subsection}{\numberline {2.6.2}XML Representation of Fault Reference Id}{52}{subsection.2.6.2}
  \contentsline {subsubsection}{\texttt {ref} \textit {attribute information item} with \texttt {infault}, or \texttt {outfault} [owner]}{53}{section*.16}
! \contentsline {subsubsection}{\texttt {messageLabel} \textit {attribute information item} with \texttt {infault}, or \texttt {outfault} [owner]}{54}{section*.17}
  \contentsline {subsection}{\numberline {2.6.3}Mapping Fault Reference's XML Representation to Component Properties}{54}{subsection.2.6.3}
! \contentsline {section}{\numberline {2.7}Feature}{55}{section.2.7}
! \contentsline {subsection}{\numberline {2.7.1}The Feature Component}{55}{subsection.2.7.1}
  \contentsline {subsubsection}{Feature Composition Model}{55}{section*.18}
  \contentsline {subsection}{\numberline {2.7.2}XML Representation of Feature Component}{58}{subsection.2.7.2}
! \contentsline {subsubsection}{\texttt {uri} \textit {attribute information item} with \texttt {feature} [owner]}{59}{section*.19}
  \contentsline {subsubsection}{\texttt {required} \textit {attribute information item} with \texttt {feature} [owner]}{59}{section*.20}
  \contentsline {subsection}{\numberline {2.7.3}Mapping Feature's XML Representation to Component Properties}{59}{subsection.2.7.3}
! \contentsline {section}{\numberline {2.8}Property}{60}{section.2.8}
! \contentsline {subsection}{\numberline {2.8.1}The Property Component}{60}{subsection.2.8.1}
  \contentsline {subsubsection}{Property Composition Model}{61}{section*.21}
  \contentsline {subsection}{\numberline {2.8.2}XML Representation of Property Component}{63}{subsection.2.8.2}
  \contentsline {subsubsection}{\texttt {uri} \textit {attribute information item} with \texttt {property} [owner]}{64}{section*.22}
! \contentsline {subsubsection}{\texttt {required} \textit {attribute information item} with \texttt {property} [owner]}{65}{section*.23}
  \contentsline {subsubsection}{\texttt {value} \textit {element information item} with \texttt {property} [parent]}{65}{section*.24}
  \contentsline {subsubsection}{\texttt {constraint} \textit {element information item} with \texttt {property} [parent]}{65}{section*.25}
! \contentsline {subsection}{\numberline {2.8.3}Mapping Property's XML Representation to Component Properties}{66}{subsection.2.8.3}
  \contentsline {section}{\numberline {2.9}Binding}{66}{section.2.9}
  \contentsline {subsection}{\numberline {2.9.1}The Binding Component}{66}{subsection.2.9.1}
  \contentsline {subsection}{\numberline {2.9.2}XML Representation of Binding Component}{68}{subsection.2.9.2}
! \contentsline {subsubsection}{\texttt {name} \textit {attribute information item} with \texttt {binding} [owner]}{70}{section*.26}
  \contentsline {subsubsection}{\texttt {interface} \textit {attribute information item} with \texttt {binding} [owner]}{70}{section*.27}
  \contentsline {subsubsection}{\texttt {type} \textit {attribute information item} with \texttt {binding} [owner]}{70}{section*.28}
  \contentsline {subsubsection}{Binding extension elements}{70}{section*.29}
! \contentsline {subsection}{\numberline {2.9.3}Mapping Binding's XML Representation to Component Properties}{71}{subsection.2.9.3}
! \contentsline {section}{\numberline {2.10}Binding Fault}{72}{section.2.10}
! \contentsline {subsection}{\numberline {2.10.1}The Binding Fault Component}{72}{subsection.2.10.1}
! \contentsline {subsection}{\numberline {2.10.2}XML Representation of Binding Fault Component}{73}{subsection.2.10.2}
! \contentsline {subsubsection}{\texttt {ref} \textit {attribute information item} with \texttt {fault} [owner]}{74}{section*.30}
! \contentsline {subsubsection}{Binding Fault extension elements}{74}{section*.31}
! \contentsline {subsection}{\numberline {2.10.3}Mapping Binding Fault's XML Representation to Component Properties}{75}{subsection.2.10.3}
! \contentsline {section}{\numberline {2.11}Binding Operation}{75}{section.2.11}
! \contentsline {subsection}{\numberline {2.11.1}The Binding Operation Component}{75}{subsection.2.11.1}
! \contentsline {subsection}{\numberline {2.11.2}XML Representation of Binding Operation Component}{76}{subsection.2.11.2}
! \contentsline {subsubsection}{\texttt {ref} \textit {attribute information item} with \texttt {operation} [owner]}{78}{section*.32}
! \contentsline {subsubsection}{Binding Operation extension elements}{78}{section*.33}
! \contentsline {subsection}{\numberline {2.11.3}Mapping Binding Operation's XML Representation to Component Properties}{78}{subsection.2.11.3}
! \contentsline {section}{\numberline {2.12}Binding Message Reference}{78}{section.2.12}
! \contentsline {subsection}{\numberline {2.12.1}The Binding Message Reference Component}{78}{subsection.2.12.1}
! \contentsline {subsection}{\numberline {2.12.2}XML Representation of Binding Message Reference Component}{79}{subsection.2.12.2}
! \contentsline {subsubsection}{\texttt {messageLabel} \textit {attribute information item} with \texttt {input} or \texttt {output} [owner]}{81}{section*.34}
! \contentsline {subsubsection}{Binding Message Reference extension elements}{81}{section*.35}
! \contentsline {subsection}{\numberline {2.12.3}Mapping Binding Message Reference's XML Representation to Component Properties}{81}{subsection.2.12.3}
! \contentsline {section}{\numberline {2.13}Binding Fault Reference}{82}{section.2.13}
! \contentsline {subsection}{\numberline {2.13.1}The Binding Fault Reference Component}{82}{subsection.2.13.1}
! \contentsline {subsection}{\numberline {2.13.2}XML Representation of Binding Fault Reference Component}{83}{subsection.2.13.2}
! \contentsline {subsubsection}{\texttt {ref} \textit {attribute information item} with \texttt {infault} or \texttt {outfault} [owner]}{84}{section*.36}
! \contentsline {subsubsection}{\texttt {messageLabel} \textit {attribute information item} with \texttt {infault} or \texttt {outfault} [owner]}{84}{section*.37}
! \contentsline {subsubsection}{Binding Fault Reference extension elements}{85}{section*.38}
! \contentsline {subsection}{\numberline {2.13.3}Mapping Binding Fault Reference's XML Representation to Component Properties}{85}{subsection.2.13.3}
! \contentsline {section}{\numberline {2.14}Service}{86}{section.2.14}
! \contentsline {subsection}{\numberline {2.14.1}The Service Component}{86}{subsection.2.14.1}
! \contentsline {subsubsection}{Operation Name Mapping Requirement}{87}{section*.39}
! \contentsline {subsection}{\numberline {2.14.2}XML Representation of Service Component}{88}{subsection.2.14.2}
! \contentsline {subsubsection}{\texttt {name} \textit {attribute information item} with \texttt {service} [owner]}{89}{section*.40}
! \contentsline {subsubsection}{\texttt {interface} \textit {attribute information item} with \texttt {service} [owner]}{89}{section*.41}
! \contentsline {subsection}{\numberline {2.14.3}Mapping Service's XML Representation to Component Properties}{89}{subsection.2.14.3}
! \contentsline {section}{\numberline {2.15}Endpoint}{90}{section.2.15}
! \contentsline {subsection}{\numberline {2.15.1}The Endpoint Component}{90}{subsection.2.15.1}
! \contentsline {subsection}{\numberline {2.15.2}XML Representation of Endpoint Component}{91}{subsection.2.15.2}
! \contentsline {subsubsection}{\texttt {name} \textit {attribute information item} with \texttt {endpoint} [owner]}{93}{section*.42}
! \contentsline {subsubsection}{\texttt {binding} \textit {attribute information item} with \texttt {endpoint} [owner]}{93}{section*.43}
! \contentsline {subsubsection}{\texttt {address} \textit {attribute information item} with \texttt {endpoint} [owner]}{93}{section*.44}
! \contentsline {subsubsection}{Endpoint extension elements}{93}{section*.45}
! \contentsline {subsection}{\numberline {2.15.3}Mapping Endpoint's XML Representation to Component Properties}{93}{subsection.2.15.3}
! \contentsline {section}{\numberline {2.16}XML Schema 1.0 Simple Types Used in the Component Model}{94}{section.2.16}
! \contentsline {subsection}{\numberline {2.16.1}\textit {NCName} Type}{94}{subsection.2.16.1}
! \contentsline {subsection}{\numberline {2.16.2}\textit {anyURI} Type}{94}{subsection.2.16.2}
! \contentsline {subsection}{\numberline {2.16.3}\textit {QName} Type}{95}{subsection.2.16.3}
! \contentsline {subsection}{\numberline {2.16.4}\textit {boolean} Type}{95}{subsection.2.16.4}
! \contentsline {section}{\numberline {2.17}Equivalence of Components}{95}{section.2.17}
! \contentsline {section}{\numberline {2.18}Symbol Spaces}{96}{section.2.18}
! \contentsline {section}{\numberline {2.19}QName resolution}{96}{section.2.19}
! \contentsline {section}{\numberline {2.20}Comparing URIs}{96}{section.2.20}
! \contentsline {chapter}{\numberline {3}Types}{98}{chapter.3}
! \contentsline {section}{\numberline {3.1}Using W3C XML Schema Description Language}{99}{section.3.1}
! \contentsline {subsection}{\numberline {3.1.1}Importing XML Schema}{100}{subsection.3.1.1}
! \contentsline {subsubsection}{\texttt {namespace} \textit {attribute information item}}{100}{section*.46}
! \contentsline {subsubsection}{\texttt {schemaLocation} \textit {attribute information item}}{101}{section*.47}
! \contentsline {subsection}{\numberline {3.1.2}Embedding XML Schema}{101}{subsection.3.1.2}
! \contentsline {subsubsection}{\texttt {targetNamespace} \textit {attribute information item}}{102}{section*.48}
! \contentsline {subsection}{\numberline {3.1.3}References to Element Declarations and Type Definitions}{102}{subsection.3.1.3}
! \contentsline {section}{\numberline {3.2}Using Other Schema Languages}{103}{section.3.2}
! \contentsline {chapter}{\numberline {4}Modularizing WSDL descriptions}{104}{chapter.4}
! \contentsline {section}{\numberline {4.1}Including Descriptions}{104}{section.4.1}
! \contentsline {subsection}{\numberline {4.1.1}\texttt {location} \textit {attribute information item} with \texttt {include} [owner]}{105}{subsection.4.1.1}
! \contentsline {section}{\numberline {4.2}Importing Descriptions}{106}{section.4.2}
! \contentsline {subsection}{\numberline {4.2.1}\texttt {namespace} \textit {attribute information item}}{107}{subsection.4.2.1}
! \contentsline {subsection}{\numberline {4.2.2}\texttt {location} \textit {attribute information item} with \texttt {import} [owner]}{108}{subsection.4.2.2}
! \contentsline {chapter}{\numberline {5}Documentation}{109}{chapter.5}
! \contentsline {chapter}{\numberline {6}Language Extensibility}{110}{chapter.6}
! \contentsline {section}{\numberline {6.1}Element based Extensibility}{110}{section.6.1}
! \contentsline {subsection}{\numberline {6.1.1}Mandatory extensions}{111}{subsection.6.1.1}
! \contentsline {subsection}{\numberline {6.1.2}\texttt {required} \textit {attribute information item}}{112}{subsection.6.1.2}
! \contentsline {section}{\numberline {6.2}Attribute-based Extensibility}{112}{section.6.2}
! \contentsline {section}{\numberline {6.3}Extensibility Semantics}{112}{section.6.3}
! \contentsline {chapter}{\numberline {7}Locating WSDL Documents}{114}{chapter.7}
! \contentsline {section}{\numberline {7.1}\texttt {wsdli:wsdlLocation} \textit {attribute information item}}{114}{section.7.1}
! \contentsline {chapter}{\numberline {8}Conformance}{115}{chapter.8}
! \contentsline {section}{\numberline {8.1}Document Conformance}{115}{section.8.1}
! \contentsline {section}{\numberline {8.2}XML Information Set Conformance}{115}{section.8.2}
! \contentsline {section}{\numberline {8.3}Processor Conformance}{116}{section.8.3}
! \contentsline {chapter}{\numberline {9}XML Syntax Summary (Non-Normative)}{118}{chapter.9}
! \contentsline {chapter}{\numberline {10}References}{122}{chapter.10}
! \contentsline {section}{\numberline {10.1}Normative References}{122}{section.10.1}
! \contentsline {section}{\numberline {10.2}Informative References}{124}{section.10.2}
! \contentsline {chapter}{\numberline {A}The application/wsdl+xml Media Type}{127}{appendix.A}
! \contentsline {section}{\numberline {A.1}Registration}{127}{section.A.1}
! \contentsline {section}{\numberline {A.2}Security considerations}{128}{section.A.2}
! \contentsline {chapter}{\numberline {B}Acknowledgements (Non-Normative)}{129}{appendix.B}
! \contentsline {chapter}{\numberline {C}URI References for WSDL Components (Non-Normative)}{131}{appendix.C}
! \contentsline {section}{\numberline {C.1}WSDL URIs}{131}{section.C.1}
! \contentsline {section}{\numberline {C.2}Fragment Identifiers}{132}{section.C.2}
! \contentsline {section}{\numberline {C.3}Extension Elements}{133}{section.C.3}
! \contentsline {section}{\numberline {C.4}Example}{134}{section.C.4}
! \contentsline {chapter}{\numberline {D}Migrating from WSDL 1.1 to WSDL 2.0 (Non-Normative)}{135}{appendix.D}
! \contentsline {section}{\numberline {D.1}Operation Overloading}{135}{section.D.1}
! \contentsline {section}{\numberline {D.2}PortTypes}{135}{section.D.2}
! \contentsline {section}{\numberline {D.3}Ports}{135}{section.D.3}
! \contentsline {section}{\numberline {D.4}Single Interface per Service}{135}{section.D.4}
! \contentsline {chapter}{\numberline {E}Examples of Specifications of Extension Elements for Alternative Schema Language Support. (Non-Normative)}{137}{appendix.E}
! \contentsline {section}{\numberline {E.1}DTD}{137}{section.E.1}
! \contentsline {subsection}{\numberline {E.1.1}\texttt {namespace} \textit {attribute information item}}{138}{subsection.E.1.1}
! \contentsline {subsection}{\numberline {E.1.2}\texttt {location} \textit {attribute information item}}{138}{subsection.E.1.2}
! \contentsline {subsection}{\numberline {E.1.3}References to Element Definitions}{138}{subsection.E.1.3}
! \contentsline {section}{\numberline {E.2}RELAX NG}{138}{section.E.2}
! \contentsline {subsection}{\numberline {E.2.1}Importing RELAX NG}{139}{subsection.E.2.1}
! \contentsline {subsubsection}{\texttt {ns} \textit {attribute information item}}{139}{section*.49}
! \contentsline {subsubsection}{\texttt {href} \textit {attribute information item}}{139}{section*.50}
! \contentsline {subsection}{\numberline {E.2.2}Embedding RELAX NG}{140}{subsection.E.2.2}
! \contentsline {subsubsection}{\texttt {ns} \textit {attribute information item}}{140}{section*.51}
! \contentsline {subsection}{\numberline {E.2.3}References to Element Declarations}{140}{subsection.E.2.3}
! \contentsline {chapter}{\numberline {F}Part 1 Change Log (Non-Normative)}{141}{appendix.F}
! \contentsline {section}{\numberline {F.1}WSDL Specification Changes}{141}{section.F.1}

Index: wsdl20.xml
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.xml,v
retrieving revision 1.193
retrieving revision 1.194
diff -C2 -d -r1.193 -r1.194
*** wsdl20.xml	21 Mar 2005 02:13:05 -0000	1.193
--- wsdl20.xml	21 Mar 2005 02:33:23 -0000	1.194
***************
*** 1729,1734 ****
  	  	<t1/>	x <mapsto/> x <notin/> extends <land/> <nl/>
  	  	<t1/>	x.allExtendedInterfaces = <nl/>
! 	  	<t2/>		{~y : interfaceComps | x <mapsto/> y <in/> extends<plus/> @ y.id~}
  	  </schema>
  	  </z:notation>
  	  
--- 1729,1754 ----
  	  	<t1/>	x <mapsto/> x <notin/> extends <land/> <nl/>
  	  	<t1/>	x.allExtendedInterfaces = <nl/>
! 	  	<t2/>		{~y : interfaceComps | x <mapsto/> y <in/> extends<plus/> @ y.id~} <land/> <nl/>
! 	  	<t1/>	x.allFaults = <nl/>
! 	  	<t2/>		{~y : interfaceComps; f : interfaceFaultIds | <nl/>
! 	  	<t3/>			x <mapsto/> y <in/> extends<star/> <land/> <nl/>
! 	  	<t3/>			f <in/> y.faults @ f~} <nl/> <land/> <nl/>
! 	  	<t1/>	x.allOperations = <nl/>
! 	  	<t2/>		{~y : interfaceComps; o : interfaceOpIds | <nl/>
! 	  	<t3/>			x <mapsto/> y <in/> extends<star/> <land/> <nl/>
! 	  	<t3/>			o <in/> y.operations @ o~} <nl/>
  	  </schema>
+ 	  
+ 	  <z:see names="ComponentModel2 Interface"/>
+ 	  
+ 	  <ulist>
+ 	  <item><p>The extends relation relation each interface to the interfaces it directly extends.</p></item>
+ 	  <item><p>The set of all interfaces directly or indirectly extended by an interface is the transitive closure of the extends relation.</p></item>
+ 	  <item><p>The set of all faults available in an interface is the all of all faults defined on the interface and the interfaces it directly
+ 	  or indirectly extends.</p></item>
+ 	  <item><p>The set of all operations available in an interface is the all of all operations defined on the interface and the interfaces it directly
+ 	  or indirectly extends.</p></item>
+ 	  </ulist>
+ 	  
  	  </z:notation>
  	  

Index: wsdl20-z.html
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20-z.html,v
retrieving revision 1.8
retrieving revision 1.9
diff -C2 -d -r1.8 -r1.9
*** wsdl20-z.html	21 Mar 2005 02:13:04 -0000	1.8
--- wsdl20-z.html	21 Mar 2005 02:33:23 -0000	1.9
***************
*** 1455,1459 ****
  	  </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">InterfaceClosure</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">extends</span> <span class="zinfix">:</span> <span class="zi">Interface</span><span class="zinfix">&harr;</span><span class="zi">Interface</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">extends</span> <span class="zinfix">=</span> {&nbsp;<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">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">y</span>.<span class="zi">id</span><span class="zinfix">&isin;</span><span class="zi">x</span>.<span class="zi">extendedInterfaces</span>&nbsp;}</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">interfaceComps</span> <span class="zinfix">&bull;</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span><span class="zinfix">↦</span><span class="zi">x</span><span class="zinfix">&notin;</span><span class="zi">extends</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">allExtendedInterfaces</span> <span clas="zinfix">=</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;{&nbsp;<span class="zi">y</span> <span class="zinfix">:</span> <span class="zi">interfaceComps</span> <span class="zinfix">|</span> <span class="zi">x</span><span class="zinfix">↦</span><span class="zi">y</span><span class="zinfix">&isin;</span><span class="zi">extends</span><sup>+</sup><span class="zinfix">&bull;</span> <span class="zi">y</span>.<span class="zi">id</span>&nbsp;}</span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  </div>
  	  
--- 1455,1471 ----
  	  </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">InterfaceClosure</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">extends</span> <span class="zinfix">:</span> <span class="zi">Interface</span><span class="zinfix">&harr;</span><span class="zi">Interface</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">extends</span> <span class="zinfix">=</span> {&nbsp;<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">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">y</span>.<span class="zi">id</span><span class="zinfix">&isin;</span><span class="zi">x</span>.<span class="zi">extendedInterfaces</span>&nbsp;}</span></td></tr><tr><td class="l"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">interfaceComps</span> <span class="zinfix">&bull;</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span><span class="zinfix">↦</span><span class="zi">x</span><span class="zinfix">&notin;</span><span class="zi">extends</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">allExtendedInterfaces</span> <span clas="zinfix">=</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;{&nbsp;<span class="zi">y</span> <span class="zinfix">:</span> <span class="zi">interfaceComps</span> <span class="zinfix">|</span> <span class="zi">x</span><span class="zinfix">↦</span><span class="zi">y</span><span class="zinfix">&isin;</span><span class="zi">extends</span><sup>+</sup><span class="zinfix">&bull;</span> <span class="zi">y</span>.<span class="zi">id</span>&nbsp;}<span class="zinfix">&and;</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">allFaults</span> <span class="zinfix">=</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;{&nbsp;<span class="zi">y</span> <span class="zinfix">:</span> <span lass="zi">interfaceComps</span>; <span class="zi">f</span> <span class="zinfix">:</span> <span class="zi">interfaceFaultIds</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span><span class="zinfix">↦</span><span class="zi">y</span><span class="zinfix">&isin;</span><span class="zi">extends</span><sup>*</sup><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">f</span><span class="zinfix">&isin;</span><span class="zi">y</span>.<span class="zi">faults</span> <span class="zinfix">&bull;</span> <span class="zi">f</span>&nbsp;}</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zinfix">&ad;</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">allOperations</span> <span class="zinfix">=</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;{&nbsp;<span class="zi">y</span> <span class="zinfix">:</span> <span class="zi">interfaceComps</span>; <span class="zi">o</span> <span class="zinfix">:</span> <span class="zi">interfaceOpIds</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span><span class="zinfix">↦</span><span class="zi">y</span><span class="zinfix">&isin;</span><span class="zi">extends</span><sup>*</sup><span class="zinfix">&and;</span></span></td></tr><tr><td class="zscheatext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">o</span><span class="zinfix">&isin;</span><span class="zi">y</span>.<span class="zi">operations</span> <span class="zinfix">&bull;</span> <span class="zi">o</span>&nbsp;}</span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"></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-Interface">Interface</a>.</span></span></div>
! 	  
! 	  <ul>
! 	  <li><p>The extends relation relation each interface to the interfaces it directly extends.</p></li>
! 	  <li><p>The set of all interfaces directly or indirectly extended by an interface is the transitive closure of the extends relation.</p></li>
! 	  <li><p>The set of all faults available in an interface is the all of all faults defined on the interface and the interfaces it directly
! 	  or indirectly extends.</p></li>
! 	  <li><p>The set of all operations available in an interface is the all of all operations defined on the interface and the interfaces it directly
! 	  or indirectly extends.</p></li>
! 	  </ul>
! 	  
  	  </div>
  	  

Index: wsdl20.pdf
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.pdf,v
retrieving revision 1.22
retrieving revision 1.23
diff -C2 -d -r1.22 -r1.23
*** wsdl20.pdf	21 Mar 2005 02:13:04 -0000	1.22
--- wsdl20.pdf	21 Mar 2005 02:33:23 -0000	1.23
***************
*** 820,830 ****
  endobj
  553 0 obj <<
! /Length 993       
  /Filter /FlateDecode
  >>
  stream
  xڝVKo6W@% DRϜEu큱[-93C"Y-X|<H{1qK2^2j7񞽘e&ِ,2aysД9)b܌nvܻj'&޷	wD9<O'&iYZ&޲A 1ia^+u¿Bt6V`Ѭ}
! 4w -
#_-F[k 2ÒYo֗Aę?k94>5|4A&S/-uUS!b,2"'X_XI$#H+/%<?t:~=
*$bvc(sl)_Mn5o.s+V95@yW1Ó;DJw]?p
! {fv5Hı]Tq~ {FaϩOI.3CWyaG}F-QM{Bte6U}JT<W]O4zp SKi(b<~P7cJ@˖>nj[zE1"((Pͅ:D 9ysK.­nh*vUۮV=nm)lnӹn&QqTo3px{╘$>,b	\! {fCM%Hd"'_ÄL{0.(thu@cًW{M)i,0~uo[~m)t,=T:t$-L=Rk_ꍪPT	+i@=Є`v~Cu6~r$=endstream
  endobj
[...25286 lines suppressed...]
! 0000768428 00000 n 
! 0000768554 00000 n 
! 0000768680 00000 n 
! 0000768769 00000 n 
! 0000768870 00000 n 
! 0000781813 00000 n 
! 0000799127 00000 n 
! 0000799168 00000 n 
! 0000799208 00000 n 
! 0000799400 00000 n 
  trailer
  <<
! /Size 2633
! /Root 2631 0 R
! /Info 2632 0 R
! /ID [<74320C044F90190204DAD3A1EC928603> <74320C044F90190204DAD3A1EC928603>]
  >>
  startxref
! 799648
  %%EOF

Received on Monday, 21 March 2005 02:33:28 UTC