- From: Arthur Ryman <aryman@dev.w3.org>
- Date: Wed, 19 Jan 2005 22:11:04 +0000
- To: public-ws-desc-eds@w3.org
Update of /sources/public/2002/ws/desc/wsdl20
In directory hutz:/tmp/cvs-serv17141
Modified Files:
wsdl20.pdf wsdl20.html wsdl20-ie.html wsdl20.xml wsdl20.tex
wsdl20-i.html wsdl20.toc
Log Message:
Added referential integrity constraints to Z Notation.
Index: wsdl20.tex
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.tex,v
retrieving revision 1.7
retrieving revision 1.8
diff -C2 -d -r1.7 -r1.8
*** wsdl20.tex 18 Jan 2005 21:05:42 -0000 1.7
--- wsdl20.tex 19 Jan 2005 22:11:02 -0000 1.8
***************
*** 509,514 ****
! The $Component$ type is a Z Notation \textit{free type} whose structure is similar to
! the variant record or discriminated union datatype that is found in some common
programming languages.
Each of the members of this union is formally defined in the
--- 509,515 ----
! The $Component$ type is an example of a Z Notation \textit{free type}.
[...1442 lines suppressed...]
+ \item The Property components of each Endpoint component are contained in the component model.
+ \end{itemize}
+
+
+
For each Endpoint component in the \{endpoints\} property of a
***************
*** 8426,8430 ****
20050119&
AGR&
! Editorial improvements to Z Notation.
\\ \hline
--- 9026,9030 ----
20050119&
AGR&
! Editorial improvements to Z Notation. Added referential integrity constraints.
\\ \hline
Index: wsdl20.toc
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.toc,v
retrieving revision 1.3
retrieving revision 1.4
diff -C2 -d -r1.3 -r1.4
*** wsdl20.toc 18 Jan 2005 19:09:11 -0000 1.3
--- wsdl20.toc 19 Jan 2005 22:11:02 -0000 1.4
***************
*** 11,183 ****
\contentsline {section}{\numberline {1.3}WSDL Terminology}{9}{section.1.3}
\contentsline {chapter}{\numberline {2}Component Model}{10}{chapter.2}
! \contentsline {section}{\numberline {2.1}Description}{17}{section.2.1}
! \contentsline {subsection}{\numberline {2.1.1}The Description Component}{17}{subsection.2.1.1}
! \contentsline {subsection}{\numberline {2.1.2}XML Representation of Description Component}{21}{subsection.2.1.2}
! \contentsline {subsubsection}{\texttt {targetNamespace} \textit {attribute information item}}{22}{section*.3}
! \contentsline {subsection}{\numberline {2.1.3}Mapping Description's XML Representation to Component Properties}{22}{subsection.2.1.3}
! \contentsline {section}{\numberline {2.2}Interface}{23}{section.2.2}
! \contentsline {subsection}{\numberline {2.2.1}The Interface Component}{23}{subsection.2.2.1}
! \contentsline {subsubsection}{Operation Name Mapping Requirement}{26}{section*.4}
! \contentsline {subsection}{\numberline {2.2.2}XML Representation of Interface Component}{26}{subsection.2.2.2}
! \contentsline {subsubsection}{\texttt {name} \textit {attribute information item} with \texttt {interface} [owner]}{27}{section*.5}
! \contentsline {subsubsection}{\texttt {extends} \textit {attribute information item}}{28}{section*.6}
! \contentsline {subsubsection}{\texttt {styleDefault} \textit {attribute information item}}{28}{section*.7}
! \contentsline {subsection}{\numberline {2.2.3}Mapping Interface's XML Representation to Component Properties}{28}{subsection.2.2.3}
! \contentsline {section}{\numberline {2.3}Interface Fault}{29}{section.2.3}
! \contentsline {subsection}{\numberline {2.3.1}The Interface Fault Component}{29}{subsection.2.3.1}
! \contentsline {subsection}{\numberline {2.3.2}XML Representation of Interface Fault Component}{31}{subsection.2.3.2}
! \contentsline {subsubsection}{\texttt {name} \textit {attribute information item} with \texttt {fault} [owner]}{32}{section*.8}
! \contentsline {subsubsection}{\texttt {element} \textit {attribute information item} with \texttt {fault} [owner]}{32}{section*.9}
! \contentsline {subsection}{\numberline {2.3.3}Mapping Interface Fault's XML Representation to Component Properties}{33}{subsection.2.3.3}
! \contentsline {section}{\numberline {2.4}Interface Operation}{33}{section.2.4}
! \contentsline {subsection}{\numberline {2.4.1}The Interface Operation Component}{33}{subsection.2.4.1}
! \contentsline {subsubsection}{Operation Style}{36}{section*.10}
! \contentsline {subsection}{\numberline {2.4.2}RPC Style}{36}{subsection.2.4.2}
! \contentsline {subsubsection}{\texttt {wrpc:signature} Extension}{37}{section*.11}
! \contentsline {subsubsection}{XML Representation of the \texttt {wrpc:signature} Extension}{38}{section*.12}
! \contentsline {subsubsection}{\texttt {wrpc:signature }Extension Mapping To Properties of an Interface Operation Component}{39}{section*.13}
! \contentsline {subsection}{\numberline {2.4.3}XML Representation of Interface Operation Component}{39}{subsection.2.4.3}
! \contentsline {subsubsection}{\texttt {name} \textit {attribute information item} with \texttt {operation} [owner]}{41}{section*.14}
! \contentsline {subsubsection}{\texttt {pattern} \textit {attribute information item} with \texttt {operation} [owner]}{41}{section*.15}
! \contentsline {subsubsection}{\texttt {style} \textit {attribute information item} with \texttt {operation} [owner]}{41}{section*.16}
! \contentsline {subsubsection}{\texttt {safe} \textit {attribute information item} with \texttt {operation} [owner]}{42}{section*.17}
! \contentsline {subsection}{\numberline {2.4.4}Mapping Interface Operation's XML Representation to Component Properties}{42}{subsection.2.4.4}
! \contentsline {section}{\numberline {2.5}Message Reference}{43}{section.2.5}
! \contentsline {subsection}{\numberline {2.5.1}The Message Reference Component}{43}{subsection.2.5.1}
! \contentsline {subsection}{\numberline {2.5.2}XML Representation of Message Reference Component}{44}{subsection.2.5.2}
! \contentsline {subsubsection}{\texttt {messageLabel} \textit {attribute information item} with \texttt {input}, or \texttt {output} [owner]}{46}{section*.18}
! \contentsline {subsubsection}{\texttt {element} \textit {attribute information item} with \texttt {input}, or \texttt {output} [owner]}{46}{section*.19}
! \contentsline {subsection}{\numberline {2.5.3}Mapping Message Reference's XML Representation to Component Properties}{46}{subsection.2.5.3}
! \contentsline {section}{\numberline {2.6}Fault Reference}{47}{section.2.6}
! \contentsline {subsection}{\numberline {2.6.1}The Fault Reference Component}{47}{subsection.2.6.1}
! \contentsline {subsection}{\numberline {2.6.2}XML Representation of Fault Reference Id}{49}{subsection.2.6.2}
! \contentsline {subsubsection}{\texttt {ref} \textit {attribute information item} with \texttt {infault}, or \texttt {outfault} [owner]}{50}{section*.20}
! \contentsline {subsubsection}{\texttt {messageLabel} \textit {attribute information item} with \texttt {infault}, or \texttt {outfault} [owner]}{50}{section*.21}
! \contentsline {subsection}{\numberline {2.6.3}Mapping Fault Reference's XML Representation to Component Properties}{51}{subsection.2.6.3}
! \contentsline {section}{\numberline {2.7}Feature}{51}{section.2.7}
! \contentsline {subsection}{\numberline {2.7.1}The Feature Component}{51}{subsection.2.7.1}
! \contentsline {subsubsection}{Feature Composition Model}{52}{section*.22}
! \contentsline {subsection}{\numberline {2.7.2}XML Representation of Feature Component}{54}{subsection.2.7.2}
! \contentsline {subsubsection}{\texttt {uri} \textit {attribute information item} with \texttt {feature} [owner]}{55}{section*.23}
! \contentsline {subsubsection}{\texttt {required} \textit {attribute information item} with \texttt {feature} [owner]}{55}{section*.24}
! \contentsline {subsection}{\numberline {2.7.3}Mapping Feature's XML Representation to Component Properties}{55}{subsection.2.7.3}
! \contentsline {section}{\numberline {2.8}Property}{56}{section.2.8}
! \contentsline {subsection}{\numberline {2.8.1}The Property Component}{56}{subsection.2.8.1}
! \contentsline {subsubsection}{Property Composition Model}{57}{section*.25}
! \contentsline {subsection}{\numberline {2.8.2}XML Representation of Property Component}{58}{subsection.2.8.2}
! \contentsline {subsubsection}{\texttt {uri} \textit {attribute information item} with \texttt {property} [owner]}{59}{section*.26}
! \contentsline {subsubsection}{\texttt {required} \textit {attribute information item} with \texttt {property} [owner]}{60}{section*.27}
! \contentsline {subsubsection}{\texttt {value} \textit {element information item} with \texttt {property} [parent]}{60}{section*.28}
! \contentsline {subsubsection}{\texttt {constraint} \textit {element information item} with \texttt {property} [parent]}{60}{section*.29}
! \contentsline {subsection}{\numberline {2.8.3}Mapping Property's XML Representation to Component Properties}{61}{subsection.2.8.3}
! \contentsline {section}{\numberline {2.9}Binding}{61}{section.2.9}
! \contentsline {subsection}{\numberline {2.9.1}The Binding Component}{61}{subsection.2.9.1}
! \contentsline {subsection}{\numberline {2.9.2}XML Representation of Binding Component}{63}{subsection.2.9.2}
! \contentsline {subsubsection}{\texttt {name} \textit {attribute information item} with \texttt {binding} [owner]}{64}{section*.30}
! \contentsline {subsubsection}{\texttt {interface} \textit {attribute information item} with \texttt {binding} [owner]}{64}{section*.31}
! \contentsline {subsubsection}{\texttt {type} \textit {attribute information item} with \texttt {binding} [owner]}{65}{section*.32}
! \contentsline {subsubsection}{Binding extension elements}{65}{section*.33}
! \contentsline {subsection}{\numberline {2.9.3}Mapping Binding's XML Representation to Component Properties}{65}{subsection.2.9.3}
! \contentsline {section}{\numberline {2.10}Binding Fault}{66}{section.2.10}
! \contentsline {subsection}{\numberline {2.10.1}The Binding Fault Component}{66}{subsection.2.10.1}
! \contentsline {subsection}{\numberline {2.10.2}XML Representation of Binding Fault Component}{66}{subsection.2.10.2}
! \contentsline {subsubsection}{\texttt {ref} \textit {attribute information item} with \texttt {fault} [owner]}{67}{section*.34}
! \contentsline {subsubsection}{Binding Fault extension elements}{68}{section*.35}
! \contentsline {subsection}{\numberline {2.10.3}Mapping Binding Fault's XML Representation to Component Properties}{68}{subsection.2.10.3}
! \contentsline {section}{\numberline {2.11}Binding Operation}{68}{section.2.11}
! \contentsline {subsection}{\numberline {2.11.1}The Binding Operation Component}{68}{subsection.2.11.1}
! \contentsline {subsection}{\numberline {2.11.2}XML Representation of Binding Operation Component}{69}{subsection.2.11.2}
! \contentsline {subsubsection}{\texttt {ref} \textit {attribute information item} with \texttt {operation} [owner]}{70}{section*.36}
! \contentsline {subsubsection}{Binding Operation extension elements}{70}{section*.37}
! \contentsline {subsection}{\numberline {2.11.3}Mapping Binding Operation's XML Representation to Component Properties}{70}{subsection.2.11.3}
! \contentsline {section}{\numberline {2.12}Binding Message Reference}{72}{section.2.12}
! \contentsline {subsection}{\numberline {2.12.1}The Binding Message Reference Component}{72}{subsection.2.12.1}
! \contentsline {subsection}{\numberline {2.12.2}XML Representation of Binding Message Reference Component}{73}{subsection.2.12.2}
! \contentsline {subsubsection}{\texttt {messageLabel} \textit {attribute information item} with \texttt {input} or \texttt {output} [owner]}{74}{section*.38}
! \contentsline {subsubsection}{Binding Message Reference extension elements}{74}{section*.39}
! \contentsline {subsection}{\numberline {2.12.3}Mapping Binding Message Reference's XML Representation to Component Properties}{74}{subsection.2.12.3}
! \contentsline {section}{\numberline {2.13}Service}{75}{section.2.13}
! \contentsline {subsection}{\numberline {2.13.1}The Service Component}{75}{subsection.2.13.1}
! \contentsline {subsection}{\numberline {2.13.2}XML Representation of Service Component}{76}{subsection.2.13.2}
! \contentsline {subsubsection}{\texttt {name} \textit {attribute information item} with \texttt {service} [owner]}{77}{section*.40}
! \contentsline {subsubsection}{\texttt {interface} \textit {attribute information item} with \texttt {service} [owner]}{77}{section*.41}
! \contentsline {subsection}{\numberline {2.13.3}Mapping Service's XML Representation to Component Properties}{78}{subsection.2.13.3}
! \contentsline {section}{\numberline {2.14}Endpoint}{78}{section.2.14}
! \contentsline {subsection}{\numberline {2.14.1}The Endpoint Component}{78}{subsection.2.14.1}
! \contentsline {subsection}{\numberline {2.14.2}XML Representation of Endpoint Component}{79}{subsection.2.14.2}
! \contentsline {subsubsection}{\texttt {name} \textit {attribute information item} with \texttt {endpoint} [owner]}{80}{section*.42}
! \contentsline {subsubsection}{\texttt {binding} \textit {attribute information item} with \texttt {endpoint} [owner]}{81}{section*.43}
! \contentsline {subsubsection}{\texttt {address} \textit {attribute information item} with \texttt {endpoint} [owner]}{81}{section*.44}
! \contentsline {subsubsection}{Endpoint extension elements}{81}{section*.45}
! \contentsline {subsection}{\numberline {2.14.3}Mapping Endpoint's XML Representation to Component Properties}{81}{subsection.2.14.3}
! \contentsline {section}{\numberline {2.15}Definition of the Simple Types Used in the Component Model}{82}{section.2.15}
! \contentsline {subsection}{\numberline {2.15.1}\textit {string} Type}{83}{subsection.2.15.1}
! \contentsline {subsection}{\numberline {2.15.2}\textit {Token} Type}{83}{subsection.2.15.2}
! \contentsline {subsection}{\numberline {2.15.3}\textit {NCName} Type}{83}{subsection.2.15.3}
! \contentsline {subsection}{\numberline {2.15.4}\textit {anyURI} Type}{83}{subsection.2.15.4}
! \contentsline {subsection}{\numberline {2.15.5}\textit {QName} Type}{83}{subsection.2.15.5}
! \contentsline {subsection}{\numberline {2.15.6}\textit {boolean} Type}{84}{subsection.2.15.6}
! \contentsline {subsection}{\numberline {2.15.7}\textit {int} Type}{84}{subsection.2.15.7}
! \contentsline {section}{\numberline {2.16}Equivalence of Components}{84}{section.2.16}
! \contentsline {section}{\numberline {2.17}Symbol Spaces}{85}{section.2.17}
! \contentsline {section}{\numberline {2.18}QName resolution}{85}{section.2.18}
! \contentsline {section}{\numberline {2.19}Comparing URIs}{85}{section.2.19}
! \contentsline {chapter}{\numberline {3}Types}{86}{chapter.3}
! \contentsline {section}{\numberline {3.1}Using W3C XML Schema Description Language}{87}{section.3.1}
! \contentsline {subsection}{\numberline {3.1.1}Importing XML Schema}{88}{subsection.3.1.1}
! \contentsline {subsubsection}{\texttt {namespace} \textit {attribute information item}}{88}{section*.46}
! \contentsline {subsubsection}{\texttt {schemaLocation} \textit {attribute information item}}{88}{section*.47}
! \contentsline {subsection}{\numberline {3.1.2}Embedding XML Schema}{89}{subsection.3.1.2}
! \contentsline {subsubsection}{\texttt {targetNamespace} \textit {attribute information item}}{89}{section*.48}
! \contentsline {subsection}{\numberline {3.1.3}References to Element Declarations and Type Definitions}{90}{subsection.3.1.3}
! \contentsline {section}{\numberline {3.2}Using Other Schema Languages}{90}{section.3.2}
! \contentsline {chapter}{\numberline {4}Modularizing WSDL descriptions}{92}{chapter.4}
! \contentsline {section}{\numberline {4.1}Including Descriptions}{92}{section.4.1}
! \contentsline {subsection}{\numberline {4.1.1}\texttt {location} \textit {attribute information item} with \texttt {include} [owner]}{93}{subsection.4.1.1}
! \contentsline {section}{\numberline {4.2}Importing Descriptions}{94}{section.4.2}
! \contentsline {subsection}{\numberline {4.2.1}\texttt {namespace} \textit {attribute information item}}{96}{subsection.4.2.1}
! \contentsline {subsection}{\numberline {4.2.2}\texttt {location} \textit {attribute information item} with \texttt {import} [owner]}{96}{subsection.4.2.2}
! \contentsline {chapter}{\numberline {5}Documentation}{97}{chapter.5}
! \contentsline {chapter}{\numberline {6}Language Extensibility}{98}{chapter.6}
! \contentsline {section}{\numberline {6.1}Element based Extensibility}{98}{section.6.1}
! \contentsline {subsection}{\numberline {6.1.1}Mandatory extensions}{99}{subsection.6.1.1}
! \contentsline {subsection}{\numberline {6.1.2}\texttt {required} \textit {attribute information item}}{100}{subsection.6.1.2}
! \contentsline {section}{\numberline {6.2}Attribute-based Extensibility}{100}{section.6.2}
! \contentsline {section}{\numberline {6.3}Extensibility Semantics}{100}{section.6.3}
! \contentsline {chapter}{\numberline {7}Locating WSDL Documents}{101}{chapter.7}
! \contentsline {section}{\numberline {7.1}\texttt {wsdli:wsdlLocation} \textit {attribute information item}}{101}{section.7.1}
! \contentsline {chapter}{\numberline {8}Conformance}{102}{chapter.8}
! \contentsline {section}{\numberline {8.1}Document Conformance}{102}{section.8.1}
! \contentsline {section}{\numberline {8.2}XML Information Set Conformance}{102}{section.8.2}
! \contentsline {section}{\numberline {8.3}Processor Conformance}{103}{section.8.3}
! \contentsline {chapter}{\numberline {9}XML Syntax Summary (Non-Normative)}{105}{chapter.9}
! \contentsline {chapter}{\numberline {10}References}{109}{chapter.10}
! \contentsline {section}{\numberline {10.1}Normative References}{109}{section.10.1}
! \contentsline {section}{\numberline {10.2}Informative References}{112}{section.10.2}
! \contentsline {chapter}{\numberline {A}The application/wsdl+xml Media Type}{114}{appendix.A}
! \contentsline {section}{\numberline {A.1}Registration}{114}{section.A.1}
! \contentsline {section}{\numberline {A.2}Security considerations}{115}{section.A.2}
! \contentsline {chapter}{\numberline {B}Acknowledgements (Non-Normative)}{116}{appendix.B}
! \contentsline {chapter}{\numberline {C}URI References for WSDL Components (Non-Normative)}{118}{appendix.C}
! \contentsline {section}{\numberline {C.1}WSDL URIs}{118}{section.C.1}
! \contentsline {section}{\numberline {C.2}Fragment Identifiers}{119}{section.C.2}
! \contentsline {section}{\numberline {C.3}Extension Elements}{120}{section.C.3}
! \contentsline {section}{\numberline {C.4}Example}{120}{section.C.4}
! \contentsline {chapter}{\numberline {D}Migrating from WSDL 1.1 to WSDL 2.0 (Non-Normative)}{122}{appendix.D}
! \contentsline {section}{\numberline {D.1}Operation Overloading}{122}{section.D.1}
! \contentsline {section}{\numberline {D.2}PortTypes}{122}{section.D.2}
! \contentsline {section}{\numberline {D.3}Ports}{122}{section.D.3}
! \contentsline {chapter}{\numberline {E}Examples of Specifications of Extension Elements for Alternative Schema Language Support. (Non-Normative)}{123}{appendix.E}
! \contentsline {section}{\numberline {E.1}DTD}{123}{section.E.1}
! \contentsline {subsection}{\numberline {E.1.1}\texttt {namespace} \textit {attribute information item}}{124}{subsection.E.1.1}
! \contentsline {subsection}{\numberline {E.1.2}\texttt {location} \textit {attribute information item}}{124}{subsection.E.1.2}
! \contentsline {subsection}{\numberline {E.1.3}References to Element Definitions}{124}{subsection.E.1.3}
! \contentsline {section}{\numberline {E.2}RELAX NG}{124}{section.E.2}
! \contentsline {subsection}{\numberline {E.2.1}Importing RELAX NG}{125}{subsection.E.2.1}
! \contentsline {subsubsection}{\texttt {ns} \textit {attribute information item}}{125}{section*.49}
! \contentsline {subsubsection}{\texttt {href} \textit {attribute information item}}{125}{section*.50}
! \contentsline {subsection}{\numberline {E.2.2}Embedding RELAX NG}{126}{subsection.E.2.2}
! \contentsline {subsubsection}{\texttt {ns} \textit {attribute information item}}{126}{section*.51}
! \contentsline {subsection}{\numberline {E.2.3}References to Element Declarations}{126}{subsection.E.2.3}
! \contentsline {chapter}{\numberline {F}Part 1 Change Log (Non-Normative)}{127}{appendix.F}
! \contentsline {section}{\numberline {F.1}WSDL Specification Changes}{127}{section.F.1}
--- 11,183 ----
\contentsline {section}{\numberline {1.3}WSDL Terminology}{9}{section.1.3}
\contentsline {chapter}{\numberline {2}Component Model}{10}{chapter.2}
! \contentsline {section}{\numberline {2.1}Description}{20}{section.2.1}
! \contentsline {subsection}{\numberline {2.1.1}The Description Component}{20}{subsection.2.1.1}
! \contentsline {subsection}{\numberline {2.1.2}XML Representation of Description Component}{24}{subsection.2.1.2}
! \contentsline {subsubsection}{\texttt {targetNamespace} \textit {attribute information item}}{25}{section*.3}
! \contentsline {subsection}{\numberline {2.1.3}Mapping Description's XML Representation to Component Properties}{25}{subsection.2.1.3}
! \contentsline {section}{\numberline {2.2}Interface}{26}{section.2.2}
! \contentsline {subsection}{\numberline {2.2.1}The Interface Component}{26}{subsection.2.2.1}
! \contentsline {subsubsection}{Operation Name Mapping Requirement}{29}{section*.4}
! \contentsline {subsection}{\numberline {2.2.2}XML Representation of Interface Component}{30}{subsection.2.2.2}
! \contentsline {subsubsection}{\texttt {name} \textit {attribute information item} with \texttt {interface} [owner]}{31}{section*.5}
! \contentsline {subsubsection}{\texttt {extends} \textit {attribute information item}}{31}{section*.6}
! \contentsline {subsubsection}{\texttt {styleDefault} \textit {attribute information item}}{32}{section*.7}
! \contentsline {subsection}{\numberline {2.2.3}Mapping Interface's XML Representation to Component Properties}{32}{subsection.2.2.3}
! \contentsline {section}{\numberline {2.3}Interface Fault}{33}{section.2.3}
! \contentsline {subsection}{\numberline {2.3.1}The Interface Fault Component}{33}{subsection.2.3.1}
! \contentsline {subsection}{\numberline {2.3.2}XML Representation of Interface Fault Component}{35}{subsection.2.3.2}
! \contentsline {subsubsection}{\texttt {name} \textit {attribute information item} with \texttt {fault} [owner]}{36}{section*.8}
! \contentsline {subsubsection}{\texttt {element} \textit {attribute information item} with \texttt {fault} [owner]}{37}{section*.9}
! \contentsline {subsection}{\numberline {2.3.3}Mapping Interface Fault's XML Representation to Component Properties}{37}{subsection.2.3.3}
! \contentsline {section}{\numberline {2.4}Interface Operation}{38}{section.2.4}
! \contentsline {subsection}{\numberline {2.4.1}The Interface Operation Component}{38}{subsection.2.4.1}
! \contentsline {subsubsection}{Operation Style}{40}{section*.10}
! \contentsline {subsection}{\numberline {2.4.2}RPC Style}{41}{subsection.2.4.2}
! \contentsline {subsubsection}{\texttt {wrpc:signature} Extension}{42}{section*.11}
! \contentsline {subsubsection}{XML Representation of the \texttt {wrpc:signature} Extension}{43}{section*.12}
! \contentsline {subsubsection}{\texttt {wrpc:signature }Extension Mapping To Properties of an Interface Operation Component}{44}{section*.13}
! \contentsline {subsection}{\numberline {2.4.3}XML Representation of Interface Operation Component}{44}{subsection.2.4.3}
! \contentsline {subsubsection}{\texttt {name} \textit {attribute information item} with \texttt {operation} [owner]}{46}{section*.14}
! \contentsline {subsubsection}{\texttt {pattern} \textit {attribute information item} with \texttt {operation} [owner]}{46}{section*.15}
! \contentsline {subsubsection}{\texttt {style} \textit {attribute information item} with \texttt {operation} [owner]}{46}{section*.16}
! \contentsline {subsubsection}{\texttt {safe} \textit {attribute information item} with \texttt {operation} [owner]}{47}{section*.17}
! \contentsline {subsection}{\numberline {2.4.4}Mapping Interface Operation's XML Representation to Component Properties}{47}{subsection.2.4.4}
! \contentsline {section}{\numberline {2.5}Message Reference}{48}{section.2.5}
! \contentsline {subsection}{\numberline {2.5.1}The Message Reference Component}{48}{subsection.2.5.1}
! \contentsline {subsection}{\numberline {2.5.2}XML Representation of Message Reference Component}{50}{subsection.2.5.2}
! \contentsline {subsubsection}{\texttt {messageLabel} \textit {attribute information item} with \texttt {input}, or \texttt {output} [owner]}{51}{section*.18}
! \contentsline {subsubsection}{\texttt {element} \textit {attribute information item} with \texttt {input}, or \texttt {output} [owner]}{52}{section*.19}
! \contentsline {subsection}{\numberline {2.5.3}Mapping Message Reference's XML Representation to Component Properties}{52}{subsection.2.5.3}
! \contentsline {section}{\numberline {2.6}Fault Reference}{53}{section.2.6}
! \contentsline {subsection}{\numberline {2.6.1}The Fault Reference Component}{53}{subsection.2.6.1}
! \contentsline {subsection}{\numberline {2.6.2}XML Representation of Fault Reference Id}{55}{subsection.2.6.2}
! \contentsline {subsubsection}{\texttt {ref} \textit {attribute information item} with \texttt {infault}, or \texttt {outfault} [owner]}{56}{section*.20}
! \contentsline {subsubsection}{\texttt {messageLabel} \textit {attribute information item} with \texttt {infault}, or \texttt {outfault} [owner]}{56}{section*.21}
! \contentsline {subsection}{\numberline {2.6.3}Mapping Fault Reference's XML Representation to Component Properties}{57}{subsection.2.6.3}
! \contentsline {section}{\numberline {2.7}Feature}{57}{section.2.7}
! \contentsline {subsection}{\numberline {2.7.1}The Feature Component}{57}{subsection.2.7.1}
! \contentsline {subsubsection}{Feature Composition Model}{58}{section*.22}
! \contentsline {subsection}{\numberline {2.7.2}XML Representation of Feature Component}{60}{subsection.2.7.2}
! \contentsline {subsubsection}{\texttt {uri} \textit {attribute information item} with \texttt {feature} [owner]}{61}{section*.23}
! \contentsline {subsubsection}{\texttt {required} \textit {attribute information item} with \texttt {feature} [owner]}{61}{section*.24}
! \contentsline {subsection}{\numberline {2.7.3}Mapping Feature's XML Representation to Component Properties}{61}{subsection.2.7.3}
! \contentsline {section}{\numberline {2.8}Property}{62}{section.2.8}
! \contentsline {subsection}{\numberline {2.8.1}The Property Component}{62}{subsection.2.8.1}
! \contentsline {subsubsection}{Property Composition Model}{63}{section*.25}
! \contentsline {subsection}{\numberline {2.8.2}XML Representation of Property Component}{65}{subsection.2.8.2}
! \contentsline {subsubsection}{\texttt {uri} \textit {attribute information item} with \texttt {property} [owner]}{66}{section*.26}
! \contentsline {subsubsection}{\texttt {required} \textit {attribute information item} with \texttt {property} [owner]}{66}{section*.27}
! \contentsline {subsubsection}{\texttt {value} \textit {element information item} with \texttt {property} [parent]}{66}{section*.28}
! \contentsline {subsubsection}{\texttt {constraint} \textit {element information item} with \texttt {property} [parent]}{66}{section*.29}
! \contentsline {subsection}{\numberline {2.8.3}Mapping Property's XML Representation to Component Properties}{67}{subsection.2.8.3}
! \contentsline {section}{\numberline {2.9}Binding}{67}{section.2.9}
! \contentsline {subsection}{\numberline {2.9.1}The Binding Component}{67}{subsection.2.9.1}
! \contentsline {subsection}{\numberline {2.9.2}XML Representation of Binding Component}{70}{subsection.2.9.2}
! \contentsline {subsubsection}{\texttt {name} \textit {attribute information item} with \texttt {binding} [owner]}{71}{section*.30}
! \contentsline {subsubsection}{\texttt {interface} \textit {attribute information item} with \texttt {binding} [owner]}{71}{section*.31}
! \contentsline {subsubsection}{\texttt {type} \textit {attribute information item} with \texttt {binding} [owner]}{71}{section*.32}
! \contentsline {subsubsection}{Binding extension elements}{72}{section*.33}
! \contentsline {subsection}{\numberline {2.9.3}Mapping Binding's XML Representation to Component Properties}{72}{subsection.2.9.3}
! \contentsline {section}{\numberline {2.10}Binding Fault}{73}{section.2.10}
! \contentsline {subsection}{\numberline {2.10.1}The Binding Fault Component}{73}{subsection.2.10.1}
! \contentsline {subsection}{\numberline {2.10.2}XML Representation of Binding Fault Component}{74}{subsection.2.10.2}
! \contentsline {subsubsection}{\texttt {ref} \textit {attribute information item} with \texttt {fault} [owner]}{75}{section*.34}
! \contentsline {subsubsection}{Binding Fault extension elements}{75}{section*.35}
! \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}{76}{section.2.11}
! \contentsline {subsection}{\numberline {2.11.1}The Binding Operation Component}{76}{subsection.2.11.1}
! \contentsline {subsection}{\numberline {2.11.2}XML Representation of Binding Operation Component}{77}{subsection.2.11.2}
! \contentsline {subsubsection}{\texttt {ref} \textit {attribute information item} with \texttt {operation} [owner]}{78}{section*.36}
! \contentsline {subsubsection}{Binding Operation extension elements}{78}{section*.37}
! \contentsline {subsection}{\numberline {2.11.3}Mapping Binding Operation's XML Representation to Component Properties}{79}{subsection.2.11.3}
! \contentsline {section}{\numberline {2.12}Binding Message Reference}{79}{section.2.12}
! \contentsline {subsection}{\numberline {2.12.1}The Binding Message Reference Component}{79}{subsection.2.12.1}
! \contentsline {subsection}{\numberline {2.12.2}XML Representation of Binding Message Reference Component}{80}{subsection.2.12.2}
! \contentsline {subsubsection}{\texttt {messageLabel} \textit {attribute information item} with \texttt {input} or \texttt {output} [owner]}{82}{section*.38}
! \contentsline {subsubsection}{Binding Message Reference extension elements}{82}{section*.39}
! \contentsline {subsection}{\numberline {2.12.3}Mapping Binding Message Reference's XML Representation to Component Properties}{82}{subsection.2.12.3}
! \contentsline {section}{\numberline {2.13}Service}{83}{section.2.13}
! \contentsline {subsection}{\numberline {2.13.1}The Service Component}{83}{subsection.2.13.1}
! \contentsline {subsection}{\numberline {2.13.2}XML Representation of Service Component}{84}{subsection.2.13.2}
! \contentsline {subsubsection}{\texttt {name} \textit {attribute information item} with \texttt {service} [owner]}{85}{section*.40}
! \contentsline {subsubsection}{\texttt {interface} \textit {attribute information item} with \texttt {service} [owner]}{86}{section*.41}
! \contentsline {subsection}{\numberline {2.13.3}Mapping Service's XML Representation to Component Properties}{86}{subsection.2.13.3}
! \contentsline {section}{\numberline {2.14}Endpoint}{87}{section.2.14}
! \contentsline {subsection}{\numberline {2.14.1}The Endpoint Component}{87}{subsection.2.14.1}
! \contentsline {subsection}{\numberline {2.14.2}XML Representation of Endpoint Component}{88}{subsection.2.14.2}
! \contentsline {subsubsection}{\texttt {name} \textit {attribute information item} with \texttt {endpoint} [owner]}{89}{section*.42}
! \contentsline {subsubsection}{\texttt {binding} \textit {attribute information item} with \texttt {endpoint} [owner]}{89}{section*.43}
! \contentsline {subsubsection}{\texttt {address} \textit {attribute information item} with \texttt {endpoint} [owner]}{90}{section*.44}
! \contentsline {subsubsection}{Endpoint extension elements}{90}{section*.45}
! \contentsline {subsection}{\numberline {2.14.3}Mapping Endpoint's XML Representation to Component Properties}{90}{subsection.2.14.3}
! \contentsline {section}{\numberline {2.15}Definition of the Simple Types Used in the Component Model}{91}{section.2.15}
! \contentsline {subsection}{\numberline {2.15.1}\textit {string} Type}{91}{subsection.2.15.1}
! \contentsline {subsection}{\numberline {2.15.2}\textit {Token} Type}{92}{subsection.2.15.2}
! \contentsline {subsection}{\numberline {2.15.3}\textit {NCName} Type}{92}{subsection.2.15.3}
! \contentsline {subsection}{\numberline {2.15.4}\textit {anyURI} Type}{92}{subsection.2.15.4}
! \contentsline {subsection}{\numberline {2.15.5}\textit {QName} Type}{92}{subsection.2.15.5}
! \contentsline {subsection}{\numberline {2.15.6}\textit {boolean} Type}{92}{subsection.2.15.6}
! \contentsline {subsection}{\numberline {2.15.7}\textit {int} Type}{93}{subsection.2.15.7}
! \contentsline {section}{\numberline {2.16}Equivalence of Components}{93}{section.2.16}
! \contentsline {section}{\numberline {2.17}Symbol Spaces}{93}{section.2.17}
! \contentsline {section}{\numberline {2.18}QName resolution}{94}{section.2.18}
! \contentsline {section}{\numberline {2.19}Comparing URIs}{94}{section.2.19}
! \contentsline {chapter}{\numberline {3}Types}{95}{chapter.3}
! \contentsline {section}{\numberline {3.1}Using W3C XML Schema Description Language}{96}{section.3.1}
! \contentsline {subsection}{\numberline {3.1.1}Importing XML Schema}{97}{subsection.3.1.1}
! \contentsline {subsubsection}{\texttt {namespace} \textit {attribute information item}}{97}{section*.46}
! \contentsline {subsubsection}{\texttt {schemaLocation} \textit {attribute information item}}{97}{section*.47}
! \contentsline {subsection}{\numberline {3.1.2}Embedding XML Schema}{98}{subsection.3.1.2}
! \contentsline {subsubsection}{\texttt {targetNamespace} \textit {attribute information item}}{98}{section*.48}
! \contentsline {subsection}{\numberline {3.1.3}References to Element Declarations and Type Definitions}{99}{subsection.3.1.3}
! \contentsline {section}{\numberline {3.2}Using Other Schema Languages}{99}{section.3.2}
! \contentsline {chapter}{\numberline {4}Modularizing WSDL descriptions}{101}{chapter.4}
! \contentsline {section}{\numberline {4.1}Including Descriptions}{101}{section.4.1}
! \contentsline {subsection}{\numberline {4.1.1}\texttt {location} \textit {attribute information item} with \texttt {include} [owner]}{102}{subsection.4.1.1}
! \contentsline {section}{\numberline {4.2}Importing Descriptions}{103}{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]}{105}{subsection.4.2.2}
! \contentsline {chapter}{\numberline {5}Documentation}{106}{chapter.5}
! \contentsline {chapter}{\numberline {6}Language Extensibility}{107}{chapter.6}
! \contentsline {section}{\numberline {6.1}Element based Extensibility}{107}{section.6.1}
! \contentsline {subsection}{\numberline {6.1.1}Mandatory extensions}{108}{subsection.6.1.1}
! \contentsline {subsection}{\numberline {6.1.2}\texttt {required} \textit {attribute information item}}{109}{subsection.6.1.2}
! \contentsline {section}{\numberline {6.2}Attribute-based Extensibility}{109}{section.6.2}
! \contentsline {section}{\numberline {6.3}Extensibility Semantics}{109}{section.6.3}
! \contentsline {chapter}{\numberline {7}Locating WSDL Documents}{110}{chapter.7}
! \contentsline {section}{\numberline {7.1}\texttt {wsdli:wsdlLocation} \textit {attribute information item}}{110}{section.7.1}
! \contentsline {chapter}{\numberline {8}Conformance}{111}{chapter.8}
! \contentsline {section}{\numberline {8.1}Document Conformance}{111}{section.8.1}
! \contentsline {section}{\numberline {8.2}XML Information Set Conformance}{111}{section.8.2}
! \contentsline {section}{\numberline {8.3}Processor Conformance}{112}{section.8.3}
! \contentsline {chapter}{\numberline {9}XML Syntax Summary (Non-Normative)}{114}{chapter.9}
! \contentsline {chapter}{\numberline {10}References}{118}{chapter.10}
! \contentsline {section}{\numberline {10.1}Normative References}{118}{section.10.1}
! \contentsline {section}{\numberline {10.2}Informative References}{121}{section.10.2}
! \contentsline {chapter}{\numberline {A}The application/wsdl+xml Media Type}{123}{appendix.A}
! \contentsline {section}{\numberline {A.1}Registration}{123}{section.A.1}
! \contentsline {section}{\numberline {A.2}Security considerations}{124}{section.A.2}
! \contentsline {chapter}{\numberline {B}Acknowledgements (Non-Normative)}{125}{appendix.B}
! \contentsline {chapter}{\numberline {C}URI References for WSDL Components (Non-Normative)}{127}{appendix.C}
! \contentsline {section}{\numberline {C.1}WSDL URIs}{127}{section.C.1}
! \contentsline {section}{\numberline {C.2}Fragment Identifiers}{128}{section.C.2}
! \contentsline {section}{\numberline {C.3}Extension Elements}{129}{section.C.3}
! \contentsline {section}{\numberline {C.4}Example}{129}{section.C.4}
! \contentsline {chapter}{\numberline {D}Migrating from WSDL 1.1 to WSDL 2.0 (Non-Normative)}{131}{appendix.D}
! \contentsline {section}{\numberline {D.1}Operation Overloading}{131}{section.D.1}
! \contentsline {section}{\numberline {D.2}PortTypes}{131}{section.D.2}
! \contentsline {section}{\numberline {D.3}Ports}{131}{section.D.3}
! \contentsline {chapter}{\numberline {E}Examples of Specifications of Extension Elements for Alternative Schema Language Support. (Non-Normative)}{132}{appendix.E}
! \contentsline {section}{\numberline {E.1}DTD}{132}{section.E.1}
! \contentsline {subsection}{\numberline {E.1.1}\texttt {namespace} \textit {attribute information item}}{133}{subsection.E.1.1}
! \contentsline {subsection}{\numberline {E.1.2}\texttt {location} \textit {attribute information item}}{133}{subsection.E.1.2}
! \contentsline {subsection}{\numberline {E.1.3}References to Element Definitions}{133}{subsection.E.1.3}
! \contentsline {section}{\numberline {E.2}RELAX NG}{133}{section.E.2}
! \contentsline {subsection}{\numberline {E.2.1}Importing RELAX NG}{134}{subsection.E.2.1}
! \contentsline {subsubsection}{\texttt {ns} \textit {attribute information item}}{134}{section*.49}
! \contentsline {subsubsection}{\texttt {href} \textit {attribute information item}}{134}{section*.50}
! \contentsline {subsection}{\numberline {E.2.2}Embedding RELAX NG}{135}{subsection.E.2.2}
! \contentsline {subsubsection}{\texttt {ns} \textit {attribute information item}}{135}{section*.51}
! \contentsline {subsection}{\numberline {E.2.3}References to Element Declarations}{135}{subsection.E.2.3}
! \contentsline {chapter}{\numberline {F}Part 1 Change Log (Non-Normative)}{136}{appendix.F}
! \contentsline {section}{\numberline {F.1}WSDL Specification Changes}{136}{section.F.1}
Index: wsdl20.xml
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.xml,v
retrieving revision 1.154
retrieving revision 1.155
diff -C2 -d -r1.154 -r1.155
*** wsdl20.xml 18 Jan 2005 21:05:42 -0000 1.154
--- wsdl20.xml 19 Jan 2005 22:11:02 -0000 1.155
***************
*** 448,453 ****
<p>
! The <z:i>Component</z:i> type is a Z Notation <emph>free type</emph> whose structure is similar to
! the variant record or discriminated union datatype that is found in some common
programming languages.
Each of the members of this union is formally defined in the
--- 448,454 ----
<p>
! The <z:i>Component</z:i> type is an example of a Z Notation <emph>free type</emph>.
[...1414 lines suppressed...]
+ <item><p>The Property components of each Endpoint component are contained in the component model.</p></item>
+ </ulist>
+
+ </z:notation>
+
<p>
For each Endpoint component in the {endpoints} property of a
***************
*** 8157,8161 ****
<td>20050119</td>
<td>AGR</td>
! <td>Editorial improvements to Z Notation.</td>
</tr>
--- 8737,8741 ----
<td>20050119</td>
<td>AGR</td>
! <td>Editorial improvements to Z Notation. Added referential integrity constraints.</td>
</tr>
Index: wsdl20-ie.html
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20-ie.html,v
retrieving revision 1.5
retrieving revision 1.6
diff -C2 -d -r1.5 -r1.6
*** wsdl20-ie.html 18 Jan 2005 21:05:42 -0000 1.5
--- wsdl20-ie.html 19 Jan 2005 22:11:02 -0000 1.6
***************
*** 495,500 ****
<p>
! The <span class="zi">Component</span> type is a Z Notation <em>free type</em> whose structure is similar to
! the variant record or discriminated union datatype that is found in some common
programming languages.
Each of the members of this union is formally defined in the
--- 495,501 ----
<p>
! The <span class="zi">Component</span> type is an example of a Z Notation <em>free type</em>.
[...1129 lines suppressed...]
+ <li><p>The Property components of each Endpoint component are contained in the component model.</p></li>
+ </ul>
+
+ </div>
+
<p>
For each Endpoint component in the {endpoints} property of a
***************
*** 7896,7900 ****
<td rowspan="1" colspan="1">20050119</td>
<td rowspan="1" colspan="1">AGR</td>
! <td rowspan="1" colspan="1">Editorial improvements to Z Notation.</td>
</tr>
--- 8363,8367 ----
<td rowspan="1" colspan="1">20050119</td>
<td rowspan="1" colspan="1">AGR</td>
! <td rowspan="1" colspan="1">Editorial improvements to Z Notation. Added referential integrity constraints.</td>
</tr>
Index: wsdl20-i.html
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20-i.html,v
retrieving revision 1.7
retrieving revision 1.8
diff -C2 -d -r1.7 -r1.8
*** wsdl20-i.html 18 Jan 2005 21:05:42 -0000 1.7
--- wsdl20-i.html 19 Jan 2005 22:11:02 -0000 1.8
***************
*** 495,500 ****
<p>
! The <span class="zi">Component</span> type is a Z Notation <em>free type</em> whose structure is similar to
! the variant record or discriminated union datatype that is found in some common
programming languages.
Each of the members of this union is formally defined in the
--- 495,501 ----
<p>
! The <span class="zi">Component</span> type is an example of a Z Notation <em>free type</em>.
[...1125 lines suppressed...]
+ <li><p>The Property components of each Endpoint component are contained in the component model.</p></li>
+ </ul>
+
+ </div>
+
<p>
For each Endpoint component in the {endpoints} property of a
***************
*** 7894,7898 ****
<td rowspan="1" colspan="1">20050119</td>
<td rowspan="1" colspan="1">AGR</td>
! <td rowspan="1" colspan="1">Editorial improvements to Z Notation.</td>
</tr>
--- 8361,8365 ----
<td rowspan="1" colspan="1">20050119</td>
<td rowspan="1" colspan="1">AGR</td>
! <td rowspan="1" colspan="1">Editorial improvements to Z Notation. Added referential integrity constraints.</td>
</tr>
Index: wsdl20.pdf
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.pdf,v
retrieving revision 1.2
retrieving revision 1.3
diff -C2 -d -r1.2 -r1.3
*** wsdl20.pdf 18 Jan 2005 21:05:41 -0000 1.2
--- wsdl20.pdf 19 Jan 2005 22:10:55 -0000 1.3
***************
*** 1141,1153 ****
>> endobj
628 0 obj <<
! /Length 1180
/Filter /FlateDecode
>>
stream
! xXIsHW8@yTxXSIr`$S% "{8vX4
{팲 aējB cLD |7-|m|F
! .2?+U;ogDMT$I >$~e,*/6~@epO(C$ $TBB8Dz }xG ʘwL+kkN#/ Tkyg F:j sQTiM6i}?Ԏ'C# kȔN ¹aЦ{! ٪hS"Uc%
>3 nyXtURHEkuj8wQHzë: ( ;j1L^̷ O M6I)0C-]p/ b\n6 G
! nP' Sʭ..xovfS BRS3*̣SX{B:צ}\=V1&\_G.[...26528 lines suppressed...]
! 0000750367 00000 n
! 0000750493 00000 n
! 0000750619 00000 n
! 0000750699 00000 n
! 0000750800 00000 n
! 0000763549 00000 n
! 0000780300 00000 n
! 0000780341 00000 n
! 0000780381 00000 n
! 0000780573 00000 n
trailer
<<
! /Size 2567
! /Root 2565 0 R
! /Info 2566 0 R
! /ID [<347040BB129E837E25B18E50FE460528> <347040BB129E837E25B18E50FE460528>]
>>
startxref
! 780821
%%EOF
Index: wsdl20.html
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.html,v
retrieving revision 1.135
retrieving revision 1.136
diff -C2 -d -r1.135 -r1.136
*** wsdl20.html 18 Jan 2005 21:05:42 -0000 1.135
--- wsdl20.html 19 Jan 2005 22:10:55 -0000 1.136
***************
*** 495,500 ****
<p>
! The <span class="zi">Component</span> type is a Z Notation <em>free type</em> whose structure is similar to
! the variant record or discriminated union datatype that is found in some common
programming languages.
Each of the members of this union is formally defined in the
--- 495,501 ----
<p>
! The <span class="zi">Component</span> type is an example of a Z Notation <em>free type</em>.
[...1125 lines suppressed...]
+ <li><p>The Property components of each Endpoint component are contained in the component model.</p></li>
+ </ul>
+
+
+
<p>
For each Endpoint component in the {endpoints} property of a
***************
*** 7894,7898 ****
<td rowspan="1" colspan="1">20050119</td>
<td rowspan="1" colspan="1">AGR</td>
! <td rowspan="1" colspan="1">Editorial improvements to Z Notation.</td>
</tr>
--- 8361,8365 ----
<td rowspan="1" colspan="1">20050119</td>
<td rowspan="1" colspan="1">AGR</td>
! <td rowspan="1" colspan="1">Editorial improvements to Z Notation. Added referential integrity constraints.</td>
</tr>
Received on Wednesday, 19 January 2005 22:11:11 UTC