2002/ws/desc/wsdl20 wsdl20.pdf,1.13,1.14 wsdl20.html,1.150,1.151 wsdl20-ie.html,1.18,1.19 wsdl20.xml,1.176,1.177 wsdl20.tex,1.20,1.21 wsdl20-i.html,1.20,1.21 wsdl20.toc,1.11,1.12

• From: Arthur Ryman via cvs-syncmail <cvsmail@w3.org>
• Date: Tue, 22 Feb 2005 02:30:21 +0000
• To: public-ws-desc-eds@w3.org
• Message-ID: <E1D3Poc-0007vx-Mq@lionel-hutz.w3.org>

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

Modified Files:
	wsdl20.pdf wsdl20.html wsdl20-ie.html wsdl20.xml wsdl20.tex 
	wsdl20-i.html wsdl20.toc 
Log Message:
Refactored Feature and Property Z Notation in preparation for formalization of composition model.

Index: wsdl20.tex
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.tex,v
retrieving revision 1.20
retrieving revision 1.21
diff -C2 -d -r1.20 -r1.21
*** wsdl20.tex	21 Feb 2005 03:36:01 -0000	1.20
--- wsdl20.tex	22 Feb 2005 02:30:18 -0000	1.21
***************
*** 2147,2162 ****
  	  	ComponentModel2
  	  	\where 
! 	  	\forall  x : interfaceFaultComps @ \\
! 	  	\t1 	x.element \subseteq  elementDeclIds \land  \\
! 	  	\t1 	x.features \subseteq  featureIds \land  \\
! 	  	\t1 	x.properties \subseteq  propertyIds
  	  \end{schema}
  	  
! 	  \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ComponentModel2}{ComponentModel2}.\end{itshape}\end{small}\end{quote}
  	  
  	  \begin{itemize}
  	  \item The Element Declaration components of each Interface Fault component are contained in the component model.
- 	  \item The Feature components of each Interface Fault component are contained in the component model.
- 	  \item The Property components of each Interface Fault component are contained in the component model.
  	  \end{itemize}
  	  
--- 2147,2160 ----
  	  	ComponentModel2
  	  	\where 
! 	  	\forall  InterfaceFault | \theta InterfaceFault \in  interfaceFaultComps @ \\
! 	  	\t1 	BaseRI \land  \\
! 	  	\t1 	element \subseteq  elementDeclIds
  	  \end{schema}
  	  
! 	  \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ComponentModel2}{ComponentModel2}, \hyperlink{zed-InterfaceFault}{InterfaceFault}, \hyperlink{zed-BaseRI}{BaseRI}.\end{itshape}\end{small}\end{quote}
  	  
  	  \begin{itemize}
+ 	  \item Every Interface Fault component satifies the base referential integrity constraints.
  	  \item The Element Declaration components of each Interface Fault component are contained in the component model.
  	  \end{itemize}
  	  
***************
*** 2504,2521 ****
  	  	ComponentModel2
  	  	\where 
! 	  	\forall  x : interfaceOpComps @ \\
! 	  	\t1 	x.messageReferences \subseteq  messageRefIds \land  \\
! 	  	\t1 	x.faultReferences \subseteq  faultRefIds \land  \\
! 	  	\t1 	x.features \subseteq  featureIds \land  \\
! 	  	\t1 	x.properties \subseteq  propertyIds
  	  \end{schema}
  	  
! 	  \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ComponentModel2}{ComponentModel2}.\end{itshape}\end{small}\end{quote}
  	  
  	  \begin{itemize}
  	  \item The Message Reference components of each Interface Operation component are contained in the component model.
  	  \item The Fault Reference components of each Interface Operation component are contained in the component model.
- 	  \item The Feature components of each Interface Operation component are contained in the component model.
- 	  \item The Property components of each Interface Operation component are contained in the component model.
  	  \end{itemize}
  	  
--- 2502,2517 ----
  	  	ComponentModel2
  	  	\where 
! 	  	\forall  InterfaceOperation | \theta InterfaceOperation \in  interfaceOpComps @ \\
! 	  	\t1 	BaseRI \land  \\
! 	  	\t1 	messageReferences \subseteq  messageRefIds \land  \\
! 	  	\t1 	faultReferences \subseteq  faultRefIds
  	  \end{schema}
  	  
! 	  \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ComponentModel2}{ComponentModel2}, \hyperlink{zed-InterfaceOperation}{InterfaceOperation}, \hyperlink{zed-BaseRI}{BaseRI}.\end{itshape}\end{small}\end{quote}
  	  
  	  \begin{itemize}
+ 	  \item Every Interface Operation component satifies the base referential integrity constraints.
  	  \item The Message Reference components of each Interface Operation component are contained in the component model.
  	  \item The Fault Reference components of each Interface Operation component are contained in the component model.
  	  \end{itemize}
  	  
***************
*** 3217,3232 ****
  
  	  \begin{schema}{MessageReference}
! 			Identifier \\
  		  	messageLabel : NCName \\
  		  	direction : Direction \\
  		 	messageContentModel : OPTIONAL[MessageContentModel] \\
! 		  	element : OPTIONAL[ID] \\
! 			features : \power  ID \\
! 			properties : \power  ID
  	  \where 
  			messageContentModel = \{elementToken\} \iff  element \neq  \emptyset 
   	  \end{schema}
   	  
!  	  \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-NCName}{NCName}, \hyperlink{zed-Direction}{Direction}, \hyperlink{zed-OPTIONAL}{OPTIONAL}, \hyperlink{zed-MessageContentModel}{MessageContentModel}, \hyperlink{zed-ID}{ID}.\end{itshape}\end{small}\end{quote}
  
  	  \begin{itemize}
--- 3213,3226 ----
  
  	  \begin{schema}{MessageReference}
! 			Base \\
  		  	messageLabel : NCName \\
  		  	direction : Direction \\
  		 	messageContentModel : OPTIONAL[MessageContentModel] \\
! 		  	element : OPTIONAL[ID]
  	  \where 
  			messageContentModel = \{elementToken\} \iff  element \neq  \emptyset 
   	  \end{schema}
   	  
!  	  \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-Base}{Base}, \hyperlink{zed-NCName}{NCName}, \hyperlink{zed-Direction}{Direction}, \hyperlink{zed-OPTIONAL}{OPTIONAL}, \hyperlink{zed-MessageContentModel}{MessageContentModel}, \hyperlink{zed-ID}{ID}.\end{itshape}\end{small}\end{quote}
  
  	  \begin{itemize}
***************
*** 3249,3264 ****
  	  	ComponentModel2
  	  	\where 
! 	  	\forall  x : messageRefComps @ \\
! 	  	\t1 	x.element \subseteq  elementDeclIds \land  \\
! 	  	\t1 	x.features \subseteq  featureIds \land  \\
! 	  	\t1 	x.properties \subseteq  propertyIds
  	  \end{schema}
  	  
! 	  \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ComponentModel2}{ComponentModel2}.\end{itshape}\end{small}\end{quote}
  	  
  	  \begin{itemize}
  	  \item The Element Declaration components of each Message Reference component are contained in the component model.
- 	  \item The Feature components of each Message Reference component are contained in the component model.
- 	  \item The Property components of each Message Reference component are contained in the component model.
  	  \end{itemize}
  	  
--- 3243,3256 ----
  	  	ComponentModel2
  	  	\where 
! 	  	\forall  MessageReference | \theta MessageReference \in  messageRefComps @ \\
! 	  	\t1 	BaseRI \land  \\
! 	  	\t1 	element \subseteq  elementDeclIds
  	  \end{schema}
  	  
! 	  \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ComponentModel2}{ComponentModel2}, \hyperlink{zed-MessageReference}{MessageReference}, \hyperlink{zed-BaseRI}{BaseRI}.\end{itshape}\end{small}\end{quote}
  	  
  	  \begin{itemize}
+ 	  \item Every Message Reference component satifies the base referential integrity constraints.
  	  \item The Element Declaration components of each Message Reference component are contained in the component model.
  	  \end{itemize}
  	  
***************
*** 3586,3598 ****
  
  	  \begin{schema}{FaultReference}
! 			Identifier \\
  			faultReference : ID \\
  	  		messageLabel : NCName \\
! 	  		direction : Direction \\
! 	  		features : \power  ID \\
! 	  		properties : \power  ID
  	  \end{schema}
  	  
! 	  \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ID}{ID}, \hyperlink{zed-NCName}{NCName}, \hyperlink{zed-Direction}{Direction}.\end{itshape}\end{small}\end{quote}
  
  	  
--- 3578,3588 ----
  
  	  \begin{schema}{FaultReference}
! 			Base \\
  			faultReference : ID \\
  	  		messageLabel : NCName \\
! 	  		direction : Direction
  	  \end{schema}
  	  
! 	  \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-Base}{Base}, \hyperlink{zed-ID}{ID}, \hyperlink{zed-NCName}{NCName}, \hyperlink{zed-Direction}{Direction}.\end{itshape}\end{small}\end{quote}
  
  	  
***************
*** 3611,3626 ****
  	  	ComponentModel2
  	  	\where 
! 	  	\forall  x : faultRefComps @ \\
! 	  	\t1 	x.faultReference \in  interfaceFaultIds \land  \\
! 	  	\t1 	x.features \subseteq  featureIds \land  \\
! 	  	\t1 	x.properties \subseteq  propertyIds
  	  \end{schema}
  	  
! 	  \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ComponentModel2}{ComponentModel2}.\end{itshape}\end{small}\end{quote}
  	  
  	  \begin{itemize}
  	  \item The Interface Fault component of each Fault Reference component is contained in the component model.
- 	  \item The Feature components of each Fault Reference component are contained in the component model.
- 	  \item The Property components of each Fault Reference component are contained in the component model.
  	  \end{itemize}
  	  
--- 3601,3614 ----
  	  	ComponentModel2
  	  	\where 
! 	  	\forall  FaultReference | \theta FaultReference \in  faultRefComps @ \\
! 	  	\t1 	BaseRI \land  \\
! 	  	\t1 	faultReference \in  interfaceFaultIds
  	  \end{schema}
  	  
! 	  \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ComponentModel2}{ComponentModel2}, \hyperlink{zed-FaultReference}{FaultReference}, \hyperlink{zed-BaseRI}{BaseRI}.\end{itshape}\end{small}\end{quote}
  	  
  	  \begin{itemize}
+ 	  \item Every Fault Reference component satifies the base referential integrity constraints.
  	  \item The Interface Fault component of each Fault Reference component is contained in the component model.
  	  \end{itemize}
  	  
***************
*** 4835,4854 ****
  	  	ComponentModel2
  	  	\where 
! 	  	\forall  x : bindingComps @ \\
! 	  	\t1 	x.interface \subseteq  interfaceIds \land  \\
! 	  	\t1 	x.faults \subseteq  bindingFaultIds \land  \\
! 	  	\t1 	x.operations \subseteq  bindingOpIds \land  \\
! 	  	\t1 	x.features \subseteq  featureIds \land  \\
! 	  	\t1 	x.properties \subseteq  propertyIds
  	  \end{schema}
  	  
! 	  \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ComponentModel2}{ComponentModel2}.\end{itshape}\end{small}\end{quote}
  	  
  	  \begin{itemize}
  	  \item The Interface component of each Binding component is contained in the component model.
  	  \item The Binding Fault components of each Binding component are contained in the component model.
  	  \item The Binding Operation components of each Binding component are contained in the component model.
- 	  \item The Feature components of each Binding component are contained in the component model.
- 	  \item The Property components of each Binding component are contained in the component model.
  	  \end{itemize}
  	  
--- 4823,4840 ----
  	  	ComponentModel2
  	  	\where 
! 	  	\forall  Binding | \theta Binding \in  bindingComps @ \\
! 	  	\t1 	BaseRI \land  \\
! 	  	\t1 	interface \subseteq  interfaceIds \land  \\
! 	  	\t1 	faults \subseteq  bindingFaultIds \land  \\
! 	  	\t1 	operations \subseteq  bindingOpIds
  	  \end{schema}
  	  
! 	  \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ComponentModel2}{ComponentModel2}, \hyperlink{zed-Binding}{Binding}, \hyperlink{zed-BaseRI}{BaseRI}.\end{itshape}\end{small}\end{quote}
  	  
  	  \begin{itemize}
+ 	  \item Every Binding component satifies the base referential integrity constraints.
  	  \item The Interface component of each Binding component is contained in the component model.
  	  \item The Binding Fault components of each Binding component are contained in the component model.
  	  \item The Binding Operation components of each Binding component are contained in the component model.
  	  \end{itemize}
  	  
***************
*** 5154,5169 ****
  	  	ComponentModel2
  	  	\where 
! 	  	\forall  x : bindingFaultComps @ \\
! 	  	\t1 	x.faultReference \in  interfaceFaultIds \land  \\
! 	  	\t1 	x.features \subseteq  featureIds \land  \\
! 	  	\t1 	x.properties \subseteq  propertyIds
  	  \end{schema}
  	  
! 	  \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ComponentModel2}{ComponentModel2}.\end{itshape}\end{small}\end{quote}
  	  
  	  \begin{itemize}
  	  \item The Interface Fault component of each Binding Fault component is contained in the component model.
- 	  \item The Feature components of each Binding Fault component are contained in the component model.
- 	  \item The Property components of each Binding Fault component are contained in the component model.
  	  \end{itemize}
  	  
--- 5140,5153 ----
  	  	ComponentModel2
  	  	\where 
! 	  	\forall  BindingFault | \theta BindingFault \in  bindingFaultComps @ \\
! 	  	\t1 	BaseRI \land  \\
! 	  	\t1 	faultReference \in  interfaceFaultIds
  	  \end{schema}
  	  
! 	  \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ComponentModel2}{ComponentModel2}, \hyperlink{zed-BindingFault}{BindingFault}, \hyperlink{zed-BaseRI}{BaseRI}.\end{itshape}\end{small}\end{quote}
  	  
  	  \begin{itemize}
+ 	  \item Every Binding Fault component satifies the base referential integrity constraints.
  	  \item The Interface Fault component of each Binding Fault component is contained in the component model.
  	  \end{itemize}
  	  
***************
*** 5386,5403 ****
  	  	ComponentModel2
  	  	\where 
! 	  	\forall  x : bindingOpComps @ \\
! 	  	\t1 	x.operationReference \in  interfaceOpIds \land  \\
! 	  	\t1 	x.messageReferences \subseteq  bindingMessageRefIds \land  \\
! 	  	\t1 	x.features \subseteq  featureIds \land  \\
! 	  	\t1 	x.properties \subseteq  propertyIds
  	  \end{schema}
  	  
! 	  \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ComponentModel2}{ComponentModel2}.\end{itshape}\end{small}\end{quote}
  	  
  	  \begin{itemize}
  	  \item The Interface Operation component of each Binding Operation component is contained in the component model.
  	  \item The Binding Message Reference components of each Binding Operation component are contained in the component model.
- 	  \item The Feature components of each Binding Operation component are contained in the component model.
- 	  \item The Property components of each Binding Operation component are contained in the component model.
  	  \end{itemize}
  	  
--- 5370,5385 ----
  	  	ComponentModel2
  	  	\where 
! 	  	\forall  BindingOperation | \theta BindingOperation \in  bindingOpComps @ \\
! 	  	\t1 	BaseRI \land  \\
! 	  	\t1 	operationReference \in  interfaceOpIds \land  \\
! 	  	\t1 	messageReferences \subseteq  bindingMessageRefIds
  	  \end{schema}
  	  
! 	  \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ComponentModel2}{ComponentModel2}, \hyperlink{zed-BindingOperation}{BindingOperation}, \hyperlink{zed-BaseRI}{BaseRI}.\end{itshape}\end{small}\end{quote}
  	  
  	  \begin{itemize}
+ 	  \item Every Binding Operation component satifies the base referential integrity constraints.
  	  \item The Interface Operation component of each Binding Operation component is contained in the component model.
  	  \item The Binding Message Reference components of each Binding Operation component are contained in the component model.
  	  \end{itemize}
  	  
***************
*** 5634,5647 ****
  	  	ComponentModel2
  	  	\where 
! 	  	\forall  x : bindingMessageRefComps @ \\
! 	  	\t1 	x.features \subseteq  featureIds \land  \\
! 	  	\t1 	x.properties \subseteq  propertyIds
  	  \end{schema}
  	  
! 	  \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ComponentModel2}{ComponentModel2}.\end{itshape}\end{small}\end{quote}
  	  
  	  \begin{itemize}
! 	  \item The Feature components of each Binding Message Reference component are contained in the component model.
! 	  \item The Property components of each Binding Message Reference component are contained in the component model.
  	  \end{itemize}
  	  
--- 5616,5628 ----
  	  	ComponentModel2
  	  	\where 
! 	  	\forall  BindingMessageReference | \\
! 	  	\t1 	\theta BindingMessageReference \in  bindingMessageRefComps @ \\
! 	  	\t2 	BaseRI
  	  \end{schema}
  	  
! 	  \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ComponentModel2}{ComponentModel2}, \hyperlink{zed-BindingMessageReference}{BindingMessageReference}, \hyperlink{zed-BaseRI}{BaseRI}.\end{itshape}\end{small}\end{quote}
  	  
  	  \begin{itemize}
! 	  \item Every Binding Message Reference component satifies the base referential integrity constraints.
  	  \end{itemize}
  	  
***************
*** 5898,5915 ****
  	  	ComponentModel2
  	  	\where 
! 	  	\forall  x : serviceComps @ \\
! 	  	\t1 	x.interface \in  interfaceIds \land  \\
! 	  	\t1 	x.endpoints \subseteq  endpointIds \land  \\
! 	  	\t1 	x.features \subseteq  featureIds \land  \\
! 	  	\t1 	x.properties \subseteq  propertyIds
  	  \end{schema}
  	  
! 	  \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ComponentModel2}{ComponentModel2}.\end{itshape}\end{small}\end{quote}
  	  
  	  \begin{itemize}
  	  \item The Interface component of each Service component is contained in the component model.
  	  \item The Endpoint components of each Service component are contained in the component model.
- 	  \item The Feature components of each Service component are contained in the component model.
- 	  \item The Property components of each Service component are contained in the component model.
  	  \end{itemize}
  	  
--- 5879,5894 ----
  	  	ComponentModel2
  	  	\where 
! 	  	\forall  Service | \theta Service \in  serviceComps @ \\
! 	  	\t1 	BaseRI \land  \\
! 	  	\t1 	interface \in  interfaceIds \land  \\
! 	  	\t1 	endpoints \subseteq  endpointIds
  	  \end{schema}
  	  
! 	  \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ComponentModel2}{ComponentModel2}, \hyperlink{zed-Service}{Service}, \hyperlink{zed-BaseRI}{BaseRI}.\end{itshape}\end{small}\end{quote}
  	  
  	  \begin{itemize}
+ 	  \item Every Service component satifies the base referential integrity constraints.
  	  \item The Interface component of each Service component is contained in the component model.
  	  \item The Endpoint components of each Service component are contained in the component model.
  	  \end{itemize}
  	  
***************
*** 6182,6194 ****
  	  	ComponentModel2
  	  	\where 
! 	  	\forall  x : endpointComps @ \\
! 	  	\t1 	x.binding \in  bindingIds \land  \\
! 	  	\t1 	x.features \subseteq  featureIds \land  \\
! 	  	\t1 	x.properties \subseteq  propertyIds
  	  \end{schema}
  	  
! 	  \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ComponentModel2}{ComponentModel2}.\end{itshape}\end{small}\end{quote}
  	  
  	  \begin{itemize}
  	  \item The Binding component of each Endpoint component is contained in the component model.
  	  \item The Feature components of each Endpoint component are contained in the component model.
--- 6161,6173 ----
  	  	ComponentModel2
  	  	\where 
! 	  	\forall  Endpoint | \theta Endpoint \in  endpointComps @ \\
! 	  	\t1 	BaseRI \land  \\
! 	  	\t1 	binding \in  bindingIds
  	  \end{schema}
  	  
! 	  \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ComponentModel2}{ComponentModel2}, \hyperlink{zed-Endpoint}{Endpoint}, \hyperlink{zed-BaseRI}{BaseRI}.\end{itshape}\end{small}\end{quote}
  	  
  	  \begin{itemize}
+ 	  \item Every Service component satifies the base referential integrity constraints.
  	  \item The Binding component of each Endpoint component is contained in the component model.
  	  \item The Feature components of each Endpoint component are contained in the component model.

Index: wsdl20.toc
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.toc,v
retrieving revision 1.11
retrieving revision 1.12
diff -C2 -d -r1.11 -r1.12
*** wsdl20.toc	21 Feb 2005 03:36:01 -0000	1.11
--- wsdl20.toc	22 Feb 2005 02:30:19 -0000	1.12
***************
*** 40,44 ****
  \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]}{47}{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}
--- 40,44 ----
  \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}
***************
*** 46,50 ****
  \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]}{52}{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}
--- 46,50 ----
  \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}
***************
*** 53,65 ****
  \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]}{57}{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}{58}{section.2.7}
! \contentsline {subsection}{\numberline {2.7.1}The Feature Component}{58}{subsection.2.7.1}
  \contentsline {subsubsection}{Feature Composition Model}{58}{section*.22}
! \contentsline {subsection}{\numberline {2.7.2}XML Representation of Feature Component}{61}{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]}{62}{section*.24}
! \contentsline {subsection}{\numberline {2.7.3}Mapping Feature's XML Representation to Component Properties}{62}{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}
--- 53,65 ----
  \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}{56}{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}
***************
*** 68,181 ****
  \contentsline {subsubsection}{\texttt {uri} \textit {attribute information item} with \texttt {property} [owner]}{67}{section*.26}
  \contentsline {subsubsection}{\texttt {required} \textit {attribute information item} with \texttt {property} [owner]}{67}{section*.27}
! \contentsline {subsubsection}{\texttt {value} \textit {element information item} with \texttt {property} [parent]}{68}{section*.28}
! \contentsline {subsubsection}{\texttt {constraint} \textit {element information item} with \texttt {property} [parent]}{68}{section*.29}
  \contentsline {subsection}{\numberline {2.8.3}Mapping Property's XML Representation to Component Properties}{68}{subsection.2.8.3}
! \contentsline {section}{\numberline {2.9}Binding}{69}{section.2.9}
! \contentsline {subsection}{\numberline {2.9.1}The Binding Component}{69}{subsection.2.9.1}
! \contentsline {subsection}{\numberline {2.9.2}XML Representation of Binding Component}{71}{subsection.2.9.2}
  \contentsline {subsubsection}{\texttt {name} \textit {attribute information item} with \texttt {binding} [owner]}{72}{section*.30}
! \contentsline {subsubsection}{\texttt {interface} \textit {attribute information item} with \texttt {binding} [owner]}{73}{section*.31}
! \contentsline {subsubsection}{\texttt {type} \textit {attribute information item} with \texttt {binding} [owner]}{73}{section*.32}
! \contentsline {subsubsection}{Binding extension elements}{73}{section*.33}
  \contentsline {subsection}{\numberline {2.9.3}Mapping Binding's XML Representation to Component Properties}{73}{subsection.2.9.3}
! \contentsline {section}{\numberline {2.10}Binding Fault}{74}{section.2.10}
! \contentsline {subsection}{\numberline {2.10.1}The Binding Fault Component}{74}{subsection.2.10.1}
! \contentsline {subsection}{\numberline {2.10.2}XML Representation of Binding Fault Component}{75}{subsection.2.10.2}
! \contentsline {subsubsection}{\texttt {ref} \textit {attribute information item} with \texttt {fault} [owner]}{76}{section*.34}
  \contentsline {subsubsection}{Binding Fault extension elements}{76}{section*.35}
  \contentsline {subsection}{\numberline {2.10.3}Mapping Binding Fault's XML Representation to Component Properties}{76}{subsection.2.10.3}
! \contentsline {section}{\numberline {2.11}Binding Operation}{77}{section.2.11}
! \contentsline {subsection}{\numberline {2.11.1}The Binding Operation Component}{77}{subsection.2.11.1}
! \contentsline {subsection}{\numberline {2.11.2}XML Representation of Binding Operation Component}{78}{subsection.2.11.2}
  \contentsline {subsubsection}{\texttt {ref} \textit {attribute information item} with \texttt {operation} [owner]}{79}{section*.36}
! \contentsline {subsubsection}{Binding Operation extension elements}{80}{section*.37}
! \contentsline {subsection}{\numberline {2.11.3}Mapping Binding Operation's XML Representation to Component Properties}{80}{subsection.2.11.3}
! \contentsline {section}{\numberline {2.12}Binding Message Reference}{80}{section.2.12}
! \contentsline {subsection}{\numberline {2.12.1}The Binding Message Reference Component}{80}{subsection.2.12.1}
! \contentsline {subsection}{\numberline {2.12.2}XML Representation of Binding Message Reference Component}{82}{subsection.2.12.2}
! \contentsline {subsubsection}{\texttt {messageLabel} \textit {attribute information item} with \texttt {input} or \texttt {output} [owner]}{83}{section*.38}
! \contentsline {subsubsection}{Binding Message Reference extension elements}{83}{section*.39}
! \contentsline {subsection}{\numberline {2.12.3}Mapping Binding Message Reference's XML Representation to Component Properties}{83}{subsection.2.12.3}
! \contentsline {section}{\numberline {2.13}Service}{84}{section.2.13}
! \contentsline {subsection}{\numberline {2.13.1}The Service Component}{84}{subsection.2.13.1}
! \contentsline {subsection}{\numberline {2.13.2}XML Representation of Service Component}{85}{subsection.2.13.2}
! \contentsline {subsubsection}{\texttt {name} \textit {attribute information item} with \texttt {service} [owner]}{86}{section*.40}
! \contentsline {subsubsection}{\texttt {interface} \textit {attribute information item} with \texttt {service} [owner]}{87}{section*.41}
! \contentsline {subsection}{\numberline {2.13.3}Mapping Service's XML Representation to Component Properties}{87}{subsection.2.13.3}
! \contentsline {section}{\numberline {2.14}Endpoint}{88}{section.2.14}
! \contentsline {subsection}{\numberline {2.14.1}The Endpoint Component}{88}{subsection.2.14.1}
! \contentsline {subsection}{\numberline {2.14.2}XML Representation of Endpoint Component}{89}{subsection.2.14.2}
! \contentsline {subsubsection}{\texttt {name} \textit {attribute information item} with \texttt {endpoint} [owner]}{90}{section*.42}
! \contentsline {subsubsection}{\texttt {binding} \textit {attribute information item} with \texttt {endpoint} [owner]}{90}{section*.43}
! \contentsline {subsubsection}{\texttt {address} \textit {attribute information item} with \texttt {endpoint} [owner]}{91}{section*.44}
! \contentsline {subsubsection}{Endpoint extension elements}{91}{section*.45}
! \contentsline {subsection}{\numberline {2.14.3}Mapping Endpoint's XML Representation to Component Properties}{91}{subsection.2.14.3}
! \contentsline {section}{\numberline {2.15}XML Schema 1.0 Simple Types Used in the Component Model}{92}{section.2.15}
! \contentsline {subsection}{\numberline {2.15.1}\textit {NCName} Type}{92}{subsection.2.15.1}
! \contentsline {subsection}{\numberline {2.15.2}\textit {anyURI} Type}{92}{subsection.2.15.2}
! \contentsline {subsection}{\numberline {2.15.3}\textit {QName} Type}{92}{subsection.2.15.3}
! \contentsline {subsection}{\numberline {2.15.4}\textit {boolean} Type}{93}{subsection.2.15.4}
! \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}}{98}{section*.46}
! \contentsline {subsubsection}{\texttt {schemaLocation} \textit {attribute information item}}{98}{section*.47}
! \contentsline {subsection}{\numberline {3.1.2}Embedding XML Schema}{98}{subsection.3.1.2}
! \contentsline {subsubsection}{\texttt {targetNamespace} \textit {attribute information item}}{99}{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}{100}{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}}{104}{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 {section}{\numberline {D.4}Single Interface per Service}{131}{section.D.4}
! \contentsline {chapter}{\numberline {E}Examples of Specifications of Extension Elements for Alternative Schema Language Support. (Non-Normative)}{133}{appendix.E}
! \contentsline {section}{\numberline {E.1}DTD}{133}{section.E.1}
! \contentsline {subsection}{\numberline {E.1.1}\texttt {namespace} \textit {attribute information item}}{134}{subsection.E.1.1}
! \contentsline {subsection}{\numberline {E.1.2}\texttt {location} \textit {attribute information item}}{134}{subsection.E.1.2}
! \contentsline {subsection}{\numberline {E.1.3}References to Element Definitions}{134}{subsection.E.1.3}
! \contentsline {section}{\numberline {E.2}RELAX NG}{134}{section.E.2}
! \contentsline {subsection}{\numberline {E.2.1}Importing RELAX NG}{135}{subsection.E.2.1}
! \contentsline {subsubsection}{\texttt {ns} \textit {attribute information item}}{135}{section*.49}
! \contentsline {subsubsection}{\texttt {href} \textit {attribute information item}}{135}{section*.50}
! \contentsline {subsection}{\numberline {E.2.2}Embedding RELAX NG}{136}{subsection.E.2.2}
! \contentsline {subsubsection}{\texttt {ns} \textit {attribute information item}}{136}{section*.51}
! \contentsline {subsection}{\numberline {E.2.3}References to Element Declarations}{136}{subsection.E.2.3}
! \contentsline {chapter}{\numberline {F}Part 1 Change Log (Non-Normative)}{137}{appendix.F}
! \contentsline {section}{\numberline {F.1}WSDL Specification Changes}{137}{section.F.1}
--- 68,181 ----
  \contentsline {subsubsection}{\texttt {uri} \textit {attribute information item} with \texttt {property} [owner]}{67}{section*.26}
  \contentsline {subsubsection}{\texttt {required} \textit {attribute information item} with \texttt {property} [owner]}{67}{section*.27}
! \contentsline {subsubsection}{\texttt {value} \textit {element information item} with \texttt {property} [parent]}{67}{section*.28}
! \contentsline {subsubsection}{\texttt {constraint} \textit {element information item} with \texttt {property} [parent]}{67}{section*.29}
  \contentsline {subsection}{\numberline {2.8.3}Mapping Property's XML Representation to Component Properties}{68}{subsection.2.8.3}
! \contentsline {section}{\numberline {2.9}Binding}{68}{section.2.9}
! \contentsline {subsection}{\numberline {2.9.1}The Binding Component}{68}{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]}{72}{section*.30}
! \contentsline {subsubsection}{\texttt {interface} \textit {attribute information item} with \texttt {binding} [owner]}{72}{section*.31}
! \contentsline {subsubsection}{\texttt {type} \textit {attribute information item} with \texttt {binding} [owner]}{72}{section*.32}
! \contentsline {subsubsection}{Binding extension elements}{72}{section*.33}
  \contentsline {subsection}{\numberline {2.9.3}Mapping Binding's XML Representation to Component Properties}{73}{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}{76}{section*.35}
  \contentsline {subsection}{\numberline {2.10.3}Mapping Binding Fault's XML Representation to Component Properties}{76}{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]}{79}{section*.36}
! \contentsline {subsubsection}{Binding Operation extension elements}{79}{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}{81}{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}XML Schema 1.0 Simple Types Used in the Component Model}{91}{section.2.15}
! \contentsline {subsection}{\numberline {2.15.1}\textit {NCName} Type}{91}{subsection.2.15.1}
! \contentsline {subsection}{\numberline {2.15.2}\textit {anyURI} Type}{91}{subsection.2.15.2}
! \contentsline {subsection}{\numberline {2.15.3}\textit {QName} Type}{91}{subsection.2.15.3}
! \contentsline {subsection}{\numberline {2.15.4}\textit {boolean} Type}{92}{subsection.2.15.4}
! \contentsline {section}{\numberline {2.16}Equivalence of Components}{92}{section.2.16}
! \contentsline {section}{\numberline {2.17}Symbol Spaces}{92}{section.2.17}
! \contentsline {section}{\numberline {2.18}QName resolution}{93}{section.2.18}
! \contentsline {section}{\numberline {2.19}Comparing URIs}{93}{section.2.19}
! \contentsline {chapter}{\numberline {3}Types}{94}{chapter.3}
! \contentsline {section}{\numberline {3.1}Using W3C XML Schema Description Language}{95}{section.3.1}
! \contentsline {subsection}{\numberline {3.1.1}Importing XML Schema}{96}{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}{97}{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}{98}{subsection.3.1.3}
! \contentsline {section}{\numberline {3.2}Using Other Schema Languages}{99}{section.3.2}
! \contentsline {chapter}{\numberline {4}Modularizing WSDL descriptions}{100}{chapter.4}
! \contentsline {section}{\numberline {4.1}Including Descriptions}{100}{section.4.1}
! \contentsline {subsection}{\numberline {4.1.1}\texttt {location} \textit {attribute information item} with \texttt {include} [owner]}{101}{subsection.4.1.1}
! \contentsline {section}{\numberline {4.2}Importing Descriptions}{102}{section.4.2}
! \contentsline {subsection}{\numberline {4.2.1}\texttt {namespace} \textit {attribute information item}}{103}{subsection.4.2.1}
! \contentsline {subsection}{\numberline {4.2.2}\texttt {location} \textit {attribute information item} with \texttt {import} [owner]}{104}{subsection.4.2.2}
! \contentsline {chapter}{\numberline {5}Documentation}{105}{chapter.5}
! \contentsline {chapter}{\numberline {6}Language Extensibility}{106}{chapter.6}
! \contentsline {section}{\numberline {6.1}Element based Extensibility}{106}{section.6.1}
! \contentsline {subsection}{\numberline {6.1.1}Mandatory extensions}{107}{subsection.6.1.1}
! \contentsline {subsection}{\numberline {6.1.2}\texttt {required} \textit {attribute information item}}{108}{subsection.6.1.2}
! \contentsline {section}{\numberline {6.2}Attribute-based Extensibility}{108}{section.6.2}
! \contentsline {section}{\numberline {6.3}Extensibility Semantics}{108}{section.6.3}
! \contentsline {chapter}{\numberline {7}Locating WSDL Documents}{109}{chapter.7}
! \contentsline {section}{\numberline {7.1}\texttt {wsdli:wsdlLocation} \textit {attribute information item}}{109}{section.7.1}
! \contentsline {chapter}{\numberline {8}Conformance}{110}{chapter.8}
! \contentsline {section}{\numberline {8.1}Document Conformance}{110}{section.8.1}
! \contentsline {section}{\numberline {8.2}XML Information Set Conformance}{110}{section.8.2}
! \contentsline {section}{\numberline {8.3}Processor Conformance}{111}{section.8.3}
! \contentsline {chapter}{\numberline {9}XML Syntax Summary (Non-Normative)}{113}{chapter.9}
! \contentsline {chapter}{\numberline {10}References}{117}{chapter.10}
! \contentsline {section}{\numberline {10.1}Normative References}{117}{section.10.1}
! \contentsline {section}{\numberline {10.2}Informative References}{120}{section.10.2}
! \contentsline {chapter}{\numberline {A}The application/wsdl+xml Media Type}{122}{appendix.A}
! \contentsline {section}{\numberline {A.1}Registration}{122}{section.A.1}
! \contentsline {section}{\numberline {A.2}Security considerations}{123}{section.A.2}
! \contentsline {chapter}{\numberline {B}Acknowledgements (Non-Normative)}{124}{appendix.B}
! \contentsline {chapter}{\numberline {C}URI References for WSDL Components (Non-Normative)}{126}{appendix.C}
! \contentsline {section}{\numberline {C.1}WSDL URIs}{126}{section.C.1}
! \contentsline {section}{\numberline {C.2}Fragment Identifiers}{127}{section.C.2}
! \contentsline {section}{\numberline {C.3}Extension Elements}{128}{section.C.3}
! \contentsline {section}{\numberline {C.4}Example}{128}{section.C.4}
! \contentsline {chapter}{\numberline {D}Migrating from WSDL 1.1 to WSDL 2.0 (Non-Normative)}{130}{appendix.D}
! \contentsline {section}{\numberline {D.1}Operation Overloading}{130}{section.D.1}
! \contentsline {section}{\numberline {D.2}PortTypes}{130}{section.D.2}
! \contentsline {section}{\numberline {D.3}Ports}{130}{section.D.3}
! \contentsline {section}{\numberline {D.4}Single Interface per Service}{130}{section.D.4}
! \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.176
retrieving revision 1.177
diff -C2 -d -r1.176 -r1.177
*** wsdl20.xml	21 Feb 2005 03:36:01 -0000	1.176
--- wsdl20.xml	22 Feb 2005 02:30:18 -0000	1.177
***************
*** 2118,2133 ****
  	  	ComponentModel2
  	  	<where/>
! 	  	<forall/> x : interfaceFaultComps @ <nl/>
! 	  	<t1/>	x.element <subseteq/> elementDeclIds <land/> <nl/>
! 	  	<t1/>	x.features <subseteq/> featureIds <land/> <nl/>
! 	  	<t1/>	x.properties <subseteq/> propertyIds
  	  </schema>
  	  
! 	  <z:see names="ComponentModel2" />
  	  
  	  <ulist>
  	  <item><p>The Element Declaration components of each Interface Fault component are contained in the component model.</p></item>
- 	  <item><p>The Feature components of each Interface Fault component are contained in the component model.</p></item>
- 	  <item><p>The Property components of each Interface Fault component are contained in the component model.</p></item>
  	  </ulist>
  	  
--- 2118,2131 ----
  	  	ComponentModel2
  	  	<where/>
! 	  	<forall/> InterfaceFault | <theta/>InterfaceFault <in/> interfaceFaultComps @ <nl/>
! 	  	<t1/>	BaseRI <land/> <nl/>
! 	  	<t1/>	element <subseteq/> elementDeclIds
  	  </schema>
  	  
! 	  <z:see names="ComponentModel2 InterfaceFault BaseRI" />
  	  
  	  <ulist>
+ 	  <item><p>Every Interface Fault component satifies the base referential integrity constraints.</p></item>
  	  <item><p>The Element Declaration components of each Interface Fault component are contained in the component model.</p></item>
  	  </ulist>
  	  
***************
*** 2473,2490 ****
  	  	ComponentModel2
  	  	<where/>
! 	  	<forall/> x : interfaceOpComps @ <nl/>
! 	  	<t1/>	x.messageReferences <subseteq/> messageRefIds <land/> <nl/>
! 	  	<t1/>	x.faultReferences <subseteq/> faultRefIds <land/> <nl/>
! 	  	<t1/>	x.features <subseteq/> featureIds <land/> <nl/>
! 	  	<t1/>	x.properties <subseteq/> propertyIds
  	  </schema>
  	  
! 	  <z:see names="ComponentModel2" />
  	  
  	  <ulist>
  	  <item><p>The Message Reference components of each Interface Operation component are contained in the component model.</p></item>
  	  <item><p>The Fault Reference components of each Interface Operation component are contained in the component model.</p></item>
- 	  <item><p>The Feature components of each Interface Operation component are contained in the component model.</p></item>
- 	  <item><p>The Property components of each Interface Operation component are contained in the component model.</p></item>
  	  </ulist>
  	  
--- 2471,2486 ----
  	  	ComponentModel2
  	  	<where/>
! 	  	<forall/> InterfaceOperation | <theta/>InterfaceOperation <in/> interfaceOpComps @ <nl/>
! 	  	<t1/>	BaseRI <land/> <nl/>
! 	  	<t1/>	messageReferences <subseteq/> messageRefIds <land/> <nl/>
! 	  	<t1/>	faultReferences <subseteq/> faultRefIds
  	  </schema>
  	  
! 	  <z:see names="ComponentModel2 InterfaceOperation BaseRI" />
  	  
  	  <ulist>
+ 	  <item><p>Every Interface Operation component satifies the base referential integrity constraints.</p></item>
  	  <item><p>The Message Reference components of each Interface Operation component are contained in the component model.</p></item>
  	  <item><p>The Fault Reference components of each Interface Operation component are contained in the component model.</p></item>
  	  </ulist>
  	  
***************
*** 3181,3196 ****
  
  	  <schema xmlns="http://www.w3.org/2004/zml" name="MessageReference">
! 			Identifier <nl/>
  		  	messageLabel : NCName <nl/>
  		  	direction : Direction <nl/>
  		 	messageContentModel : OPTIONAL[MessageContentModel] <nl/>
! 		  	element : OPTIONAL[ID] <nl/>
! 			features : <power/> ID <nl/>
! 			properties : <power/> ID
  	  <where/>
  			messageContentModel = {elementToken} <iff/> element <neq/> <emptyset/>
   	  </schema>
   	  
!  	  <z:see names="NCName Direction OPTIONAL MessageContentModel ID"/>
  
  	  <ulist>
--- 3177,3190 ----
  
  	  <schema xmlns="http://www.w3.org/2004/zml" name="MessageReference">
! 			Base <nl/>
  		  	messageLabel : NCName <nl/>
  		  	direction : Direction <nl/>
  		 	messageContentModel : OPTIONAL[MessageContentModel] <nl/>
! 		  	element : OPTIONAL[ID]
  	  <where/>
  			messageContentModel = {elementToken} <iff/> element <neq/> <emptyset/>
   	  </schema>
   	  
!  	  <z:see names="Base NCName Direction OPTIONAL MessageContentModel ID"/>
  
  	  <ulist>
***************
*** 3212,3227 ****
  	  	ComponentModel2
  	  	<where/>
! 	  	<forall/> x : messageRefComps @ <nl/>
! 	  	<t1/>	x.element <subseteq/> elementDeclIds <land/> <nl/>
! 	  	<t1/>	x.features <subseteq/> featureIds <land/> <nl/>
! 	  	<t1/>	x.properties <subseteq/> propertyIds
  	  </schema>
  	  
! 	  <z:see names="ComponentModel2" />
  	  
  	  <ulist>
  	  <item><p>The Element Declaration components of each Message Reference component are contained in the component model.</p></item>
- 	  <item><p>The Feature components of each Message Reference component are contained in the component model.</p></item>
- 	  <item><p>The Property components of each Message Reference component are contained in the component model.</p></item>
  	  </ulist>
  	  
--- 3206,3219 ----
  	  	ComponentModel2
  	  	<where/>
! 	  	<forall/> MessageReference | <theta/>MessageReference <in/> messageRefComps @ <nl/>
! 	  	<t1/>	BaseRI <land/> <nl/>
! 	  	<t1/>	element <subseteq/> elementDeclIds
  	  </schema>
  	  
! 	  <z:see names="ComponentModel2 MessageReference BaseRI" />
  	  
  	  <ulist>
+ 	  <item><p>Every Message Reference component satifies the base referential integrity constraints.</p></item>
  	  <item><p>The Element Declaration components of each Message Reference component are contained in the component model.</p></item>
  	  </ulist>
  	  
***************
*** 3541,3553 ****
  
  	  <schema xmlns="http://www.w3.org/2004/zml" name="FaultReference">
! 			Identifier <nl/>
  			faultReference : ID <nl/>
  	  		messageLabel : NCName <nl/>
! 	  		direction : Direction <nl/>
! 	  		features : <power/> ID <nl/>
! 	  		properties : <power/> ID
  	  </schema>
  	  
! 	  <z:see names="ID NCName Direction"/>
  
  	  </z:notation>
--- 3533,3543 ----
  
  	  <schema xmlns="http://www.w3.org/2004/zml" name="FaultReference">
! 			Base <nl/>
  			faultReference : ID <nl/>
  	  		messageLabel : NCName <nl/>
! 	  		direction : Direction
  	  </schema>
  	  
! 	  <z:see names="Base ID NCName Direction"/>
  
  	  </z:notation>
***************
*** 3565,3580 ****
  	  	ComponentModel2
  	  	<where/>
! 	  	<forall/> x : faultRefComps @ <nl/>
! 	  	<t1/>	x.faultReference <in/> interfaceFaultIds <land/> <nl/>
! 	  	<t1/>	x.features <subseteq/> featureIds <land/> <nl/>
! 	  	<t1/>	x.properties <subseteq/> propertyIds
  	  </schema>
  	  
! 	  <z:see names="ComponentModel2" />
  	  
  	  <ulist>
  	  <item><p>The Interface Fault component of each Fault Reference component is contained in the component model.</p></item>
- 	  <item><p>The Feature components of each Fault Reference component are contained in the component model.</p></item>
- 	  <item><p>The Property components of each Fault Reference component are contained in the component model.</p></item>
  	  </ulist>
  	  
--- 3555,3568 ----
  	  	ComponentModel2
  	  	<where/>
! 	  	<forall/> FaultReference | <theta/>FaultReference <in/> faultRefComps @ <nl/>
! 	  	<t1/>	BaseRI <land/> <nl/>
! 	  	<t1/>	faultReference <in/> interfaceFaultIds
  	  </schema>
  	  
! 	  <z:see names="ComponentModel2 FaultReference BaseRI" />
  	  
  	  <ulist>
+ 	  <item><p>Every Fault Reference component satifies the base referential integrity constraints.</p></item>
  	  <item><p>The Interface Fault component of each Fault Reference component is contained in the component model.</p></item>
  	  </ulist>
  	  
***************
*** 4758,4777 ****
  	  	ComponentModel2
  	  	<where/>
! 	  	<forall/> x : bindingComps @ <nl/>
! 	  	<t1/>	x.interface <subseteq/> interfaceIds <land/> <nl/>
! 	  	<t1/>	x.faults <subseteq/> bindingFaultIds <land/> <nl/>
! 	  	<t1/>	x.operations <subseteq/> bindingOpIds <land/> <nl/>
! 	  	<t1/>	x.features <subseteq/> featureIds <land/> <nl/>
! 	  	<t1/>	x.properties <subseteq/> propertyIds
  	  </schema>
  	  
! 	  <z:see names="ComponentModel2" />
  	  
  	  <ulist>
  	  <item><p>The Interface component of each Binding component is contained in the component model.</p></item>
  	  <item><p>The Binding Fault components of each Binding component are contained in the component model.</p></item>
  	  <item><p>The Binding Operation components of each Binding component are contained in the component model.</p></item>
- 	  <item><p>The Feature components of each Binding component are contained in the component model.</p></item>
- 	  <item><p>The Property components of each Binding component are contained in the component model.</p></item>
  	  </ulist>
  	  
--- 4746,4763 ----
  	  	ComponentModel2
  	  	<where/>
! 	  	<forall/> Binding | <theta/>Binding <in/> bindingComps @ <nl/>
! 	  	<t1/>	BaseRI <land/> <nl/>
! 	  	<t1/>	interface <subseteq/> interfaceIds <land/> <nl/>
! 	  	<t1/>	faults <subseteq/> bindingFaultIds <land/> <nl/>
! 	  	<t1/>	operations <subseteq/> bindingOpIds
  	  </schema>
  	  
! 	  <z:see names="ComponentModel2 Binding BaseRI" />
  	  
  	  <ulist>
+ 	  <item><p>Every Binding component satifies the base referential integrity constraints.</p></item>
  	  <item><p>The Interface component of each Binding component is contained in the component model.</p></item>
  	  <item><p>The Binding Fault components of each Binding component are contained in the component model.</p></item>
  	  <item><p>The Binding Operation components of each Binding component are contained in the component model.</p></item>
  	  </ulist>
  	  
***************
*** 5072,5087 ****
  	  	ComponentModel2
  	  	<where/>
! 	  	<forall/> x : bindingFaultComps @ <nl/>
! 	  	<t1/>	x.faultReference <in/> interfaceFaultIds <land/> <nl/>
! 	  	<t1/>	x.features <subseteq/> featureIds <land/> <nl/>
! 	  	<t1/>	x.properties <subseteq/> propertyIds
  	  </schema>
  	  
! 	  <z:see names="ComponentModel2" />
  	  
  	  <ulist>
  	  <item><p>The Interface Fault component of each Binding Fault component is contained in the component model.</p></item>
- 	  <item><p>The Feature components of each Binding Fault component are contained in the component model.</p></item>
- 	  <item><p>The Property components of each Binding Fault component are contained in the component model.</p></item>
  	  </ulist>
  	  
--- 5058,5071 ----
  	  	ComponentModel2
  	  	<where/>
! 	  	<forall/> BindingFault | <theta/>BindingFault <in/> bindingFaultComps @ <nl/>
! 	  	<t1/>	BaseRI <land/> <nl/>
! 	  	<t1/>	faultReference <in/> interfaceFaultIds
  	  </schema>
  	  
! 	  <z:see names="ComponentModel2 BindingFault BaseRI" />
  	  
  	  <ulist>
+ 	  <item><p>Every Binding Fault component satifies the base referential integrity constraints.</p></item>
  	  <item><p>The Interface Fault component of each Binding Fault component is contained in the component model.</p></item>
  	  </ulist>
  	  
***************
*** 5297,5314 ****
  	  	ComponentModel2
  	  	<where/>
! 	  	<forall/> x : bindingOpComps @ <nl/>
! 	  	<t1/>	x.operationReference <in/> interfaceOpIds <land/> <nl/>
! 	  	<t1/>	x.messageReferences <subseteq/> bindingMessageRefIds <land/> <nl/>
! 	  	<t1/>	x.features <subseteq/> featureIds <land/> <nl/>
! 	  	<t1/>	x.properties <subseteq/> propertyIds
  	  </schema>
  	  
! 	  <z:see names="ComponentModel2" />
  	  
  	  <ulist>
  	  <item><p>The Interface Operation component of each Binding Operation component is contained in the component model.</p></item>
  	  <item><p>The Binding Message Reference components of each Binding Operation component are contained in the component model.</p></item>
- 	  <item><p>The Feature components of each Binding Operation component are contained in the component model.</p></item>
- 	  <item><p>The Property components of each Binding Operation component are contained in the component model.</p></item>
  	  </ulist>
  	  
--- 5281,5296 ----
  	  	ComponentModel2
  	  	<where/>
! 	  	<forall/> BindingOperation | <theta/>BindingOperation <in/> bindingOpComps @ <nl/>
! 	  	<t1/>	BaseRI <land/> <nl/>
! 	  	<t1/>	operationReference <in/> interfaceOpIds <land/> <nl/>
! 	  	<t1/>	messageReferences <subseteq/> bindingMessageRefIds
  	  </schema>
  	  
! 	  <z:see names="ComponentModel2 BindingOperation BaseRI" />
  	  
  	  <ulist>
+ 	  <item><p>Every Binding Operation component satifies the base referential integrity constraints.</p></item>
  	  <item><p>The Interface Operation component of each Binding Operation component is contained in the component model.</p></item>
  	  <item><p>The Binding Message Reference components of each Binding Operation component are contained in the component model.</p></item>
  	  </ulist>
  	  
***************
*** 5539,5552 ****
  	  	ComponentModel2
  	  	<where/>
! 	  	<forall/> x : bindingMessageRefComps @ <nl/>
! 	  	<t1/>	x.features <subseteq/> featureIds <land/> <nl/>
! 	  	<t1/>	x.properties <subseteq/> propertyIds
  	  </schema>
  	  
! 	  <z:see names="ComponentModel2" />
  	  
  	  <ulist>
! 	  <item><p>The Feature components of each Binding Message Reference component are contained in the component model.</p></item>
! 	  <item><p>The Property components of each Binding Message Reference component are contained in the component model.</p></item>
  	  </ulist>
  	  
--- 5521,5533 ----
  	  	ComponentModel2
  	  	<where/>
! 	  	<forall/> BindingMessageReference | <nl/>
! 	  	<t1/>	<theta/>BindingMessageReference <in/> bindingMessageRefComps @ <nl/>
! 	  	<t2/>	BaseRI
  	  </schema>
  	  
! 	  <z:see names="ComponentModel2 BindingMessageReference BaseRI" />
  	  
  	  <ulist>
! 	  <item><p>Every Binding Message Reference component satifies the base referential integrity constraints.</p></item>
  	  </ulist>
  	  
***************
*** 5795,5812 ****
  	  	ComponentModel2
  	  	<where/>
! 	  	<forall/> x : serviceComps @ <nl/>
! 	  	<t1/>	x.interface <in/> interfaceIds <land/> <nl/>
! 	  	<t1/>	x.endpoints <subseteq/> endpointIds <land/> <nl/>
! 	  	<t1/>	x.features <subseteq/> featureIds <land/> <nl/>
! 	  	<t1/>	x.properties <subseteq/> propertyIds
  	  </schema>
  	  
! 	  <z:see names="ComponentModel2" />
  	  
  	  <ulist>
  	  <item><p>The Interface component of each Service component is contained in the component model.</p></item>
  	  <item><p>The Endpoint components of each Service component are contained in the component model.</p></item>
- 	  <item><p>The Feature components of each Service component are contained in the component model.</p></item>
- 	  <item><p>The Property components of each Service component are contained in the component model.</p></item>
  	  </ulist>
  	  
--- 5776,5791 ----
  	  	ComponentModel2
  	  	<where/>
! 	  	<forall/> Service | <theta/>Service <in/> serviceComps @ <nl/>
! 	  	<t1/>	BaseRI <land/> <nl/>
! 	  	<t1/>	interface <in/> interfaceIds <land/> <nl/>
! 	  	<t1/>	endpoints <subseteq/> endpointIds
  	  </schema>
  	  
! 	  <z:see names="ComponentModel2 Service BaseRI" />
  	  
  	  <ulist>
+ 	  <item><p>Every Service component satifies the base referential integrity constraints.</p></item>
  	  <item><p>The Interface component of each Service component is contained in the component model.</p></item>
  	  <item><p>The Endpoint components of each Service component are contained in the component model.</p></item>
  	  </ulist>
  	  
***************
*** 6074,6086 ****
  	  	ComponentModel2
  	  	<where/>
! 	  	<forall/> x : endpointComps @ <nl/>
! 	  	<t1/>	x.binding <in/> bindingIds <land/> <nl/>
! 	  	<t1/>	x.features <subseteq/> featureIds <land/> <nl/>
! 	  	<t1/>	x.properties <subseteq/> propertyIds
  	  </schema>
  	  
! 	  <z:see names="ComponentModel2" />
  	  
  	  <ulist>
  	  <item><p>The Binding component of each Endpoint component is contained in the component model.</p></item>
  	  <item><p>The Feature components of each Endpoint component are contained in the component model.</p></item>
--- 6053,6065 ----
  	  	ComponentModel2
  	  	<where/>
! 	  	<forall/> Endpoint | <theta/>Endpoint <in/> endpointComps @ <nl/>
! 	  	<t1/>	BaseRI <land/> <nl/>
! 	  	<t1/>	binding <in/> bindingIds
  	  </schema>
  	  
! 	  <z:see names="ComponentModel2 Endpoint BaseRI" />
  	  
  	  <ulist>
+ 	  <item><p>Every Service component satifies the base referential integrity constraints.</p></item>
  	  <item><p>The Binding component of each Endpoint component is contained in the component model.</p></item>
  	  <item><p>The Feature components of each Endpoint component are contained in the component model.</p></item>

Index: wsdl20-ie.html
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20-ie.html,v
retrieving revision 1.18
retrieving revision 1.19
diff -C2 -d -r1.18 -r1.19
*** wsdl20-ie.html	21 Feb 2005 03:36:01 -0000	1.18
--- wsdl20-ie.html	22 Feb 2005 02:30:18 -0000	1.19
***************
*** 1835,1846 ****
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">InterfaceFaultRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">interfaceFaultComps</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="zi">element</span><span class="zinfix"><span class="symbol">&Iacute;</span></span><span class="zi">elementDeclIds</span><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">features</span><span class="zinfix"><span class="symbol">&Iacute;</span></span><span class="zi">featureIds</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">properties</span><span class="zinfix"><span class="symbol">&Iacute;</span></span><span class="zi">propertyIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>.</span></span></div>
  	  
  	  <ul>
  	  <li><p>The Element Declaration components of each Interface Fault component are contained in the component model.</p></li>
- 	  <li><p>The Feature components of each Interface Fault component are contained in the component model.</p></li>
- 	  <li><p>The Property components of each Interface Fault component are contained in the component model.</p></li>
  	  </ul>
  	  
--- 1835,1845 ----
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">InterfaceFaultRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">InterfaceFault</span> <span class="zinfix">|</span><span class="zprefix"><span class="zi"><span class="symbol">q</span></span></span><span class="zi">InterfaceFault</span><span class="zinfix"><span class="symbol">&Icirc;</span></span><span class="zi">interfaceFaultComps</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="z">BaseRI</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">element</span><span class="zinfix"><span class="symbol">&Iacute;</span></span><span class="zi">elementDeclIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>, <a href="#zed-InterfaceFault">InterfaceFault</a>, <a href="#zed-BaseRI">BaseRI</a>.</span></span></div>
  	  
  	  <ul>
+ 	  <li><p>Every Interface Fault component satifies the base referential integrity constraints.</p></li>
  	  <li><p>The Element Declaration components of each Interface Fault component are contained in the component model.</p></li>
  	  </ul>
  	  
***************
*** 2171,2183 ****
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">InterfaceOperationRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">interfaceOpComps</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="zi">messageReferences</span><span class="zinfix"><span class="symbol">&Iacute;</span></span><span class="zi">messageRefIds</span><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">faultReferences</span><span class="zinfix"><span class="symbol">&Iacute;</span></span><span class="zi">faultRefIds</span><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">features</span><span class="zinfix"><span class="symbol">&Iacute;</span></span><span class="zi">featureIds</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">properties</span><span class="zinfix"><span class="symbol">&Iacute;</span></span><span class="zi">propertyIds</span></span></td></tr><tr><td class="bl"></td><td class="b">/td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>.</span></span></div>
  	  
  	  <ul>
  	  <li><p>The Message Reference components of each Interface Operation component are contained in the component model.</p></li>
  	  <li><p>The Fault Reference components of each Interface Operation component are contained in the component model.</p></li>
- 	  <li><p>The Feature components of each Interface Operation component are contained in the component model.</p></li>
- 	  <li><p>The Property components of each Interface Operation component are contained in the component model.</p></li>
  	  </ul>
  	  
--- 2170,2181 ----
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">InterfaceOperationRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">InterfaceOperation</span> <span class="zinfix">|</span><span class="zprefix"><span class="zi"><span class="symbol">q</span></span></span><span class="zi">InterfaceOperation</span><span class="zinfix"><span class="symbol">&Icirc;</span></span><span class="zi">interfaceOpComps</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;<spanclass="zi">BaseRI</span><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">messageReferences</span><span class="zinfix"><span class="symbol">&Iacute;</span></span><span class="zi">messageRefIds</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">faultReferences</span><span class="zinfix"><span class="symbol">&Iacute;</span></span><span class="zi">faultRefIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>, <a href="#zed-InterfaceOperation">InterfaceOperation</a>, <a href="#zed-BaseRI">BaseRI</a>.</span></span></div>
  	  
  	  <ul>
+ 	  <li><p>Every Interface Operation component satifies the base referential integrity constraints.</p></li>
  	  <li><p>The Message Reference components of each Interface Operation component are contained in the component model.</p></li>
  	  <li><p>The Fault Reference components of each Interface Operation component are contained in the component model.</p></li>
  	  </ul>
  	  
***************
*** 2862,2868 ****
  	  </p>
  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">MessageReference</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">Identifier</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">messageLabel</span> <span class="zinfix">:</span> <span class="zi">NCName</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">direction</span> <span class="zinfix">:</span> <span class="zi">Direction</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">messageContentModel</span> <span class="zinfix">:</span> <span class="zi">OPTIONAL</span>[<span class="zi">MessageContentModel</span>]</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class=zi">element</span> <span class="zinfix">:</span> <span class="zi">OPTIONAL</span>[<span class="zi">ID</span>]</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">features</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">P</span></span><span class="zi">ID</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">properties</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">P</span></span><span class="zi">ID</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">messageContentModel</span> <span class="zinfix">=</span> {<span class="zi">elementToken</span>}<span class="zinfix"><span class="mathc">w</span></span><span class="zi">element</span><span class="zinfix"><span class="mathb">g</span></span><span class="symbol">&AElig;</span></span></td><tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
   	  
!  	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-NCName">NCName</a>, <a href="#zed-Direction">Direction</a>, <a href="#zed-OPTIONAL">OPTIONAL</a>, <a href="#zed-MessageContentModel">MessageContentModel</a>, <a href="#zed-ID">ID</a>.</span></span></div>
  
  	  <ul>
--- 2860,2866 ----
  	  </p>
  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">MessageReference</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">Base</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">messageLabel</span> <span class="zinfix">:</span> <span class="zi">NCName</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">direction</span> <span class="zinfix">:</span> <span class="zi">Direction</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">messageContentModel</span> <span class="zinfix">:</span> <span class="zi">OPTIONAL</span>[<span class="zi">MessageContentModel</span>]</span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="z">element</span> <span class="zinfix">:</span> <span class="zi">OPTIONAL</span>[<span class="zi">ID</span>]</span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">messageContentModel</span> <span class="zinfix">=</span> {<span class="zi">elementToken</span>}<span class="zinfix"><span class="mathc">w</span></span><span class="zi">element</span><span class="zinfix"><span class="mathb">g</span></span><span class="symbol">&AElig;</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
   	  
!  	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-Base">Base</a>, <a href="#zed-NCName">NCName</a>, <a href="#zed-Direction">Direction</a>, <a href="#zed-OPTIONAL">OPTIONAL</a>, <a href="#zed-MessageContentModel">MessageContentModel</a>, <a href="#zed-ID">ID</a>.</span></span></div>
  
  	  <ul>
***************
*** 2881,2892 ****
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">MessageReferenceRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">messageRefComps</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="zi">element</span><span class="zinfix"><span class="symbol">&Iacute;</span></span><span class="zi">elementDeclIds</span><span class="zinfix"><span class="mathb">.</span></san></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">features</span><span class="zinfix"><span class="symbol">&Iacute;</span></span><span class="zi">featureIds</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">properties</span><span class="zinfix"><span class="symbol">&Iacute;</span></span><span class="zi">propertyIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>.</span></span></div>
  	  
  	  <ul>
  	  <li><p>The Element Declaration components of each Message Reference component are contained in the component model.</p></li>
- 	  <li><p>The Feature components of each Message Reference component are contained in the component model.</p></li>
- 	  <li><p>The Property components of each Message Reference component are contained in the component model.</p></li>
  	  </ul>
  	  
--- 2879,2889 ----
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">MessageReferenceRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">MessageReference</span> <span class="zinfix">|</span><span class="zprefix"><span class="zi"><span class="symbol">q</span></span></span><span class="zi">MessageReference</span><span class="zinfix"><span class="symbol">&Icirc;</span></span><span class="zi">messageRefComps</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">BaseRI</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">element</span><span class="zinfix"><span class="symbol">&Iacute;</span></span><span class="zi">elementDeclIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>, <a href="#zed-MessageReference">MessageReference</a>, <a href="#zed-BaseRI">BaseRI</a>.</span></span></div>
  	  
  	  <ul>
+ 	  <li><p>Every Message Reference component satifies the base referential integrity constraints.</p></li>
  	  <li><p>The Element Declaration components of each Message Reference component are contained in the component model.</p></li>
  	  </ul>
  	  
***************
*** 3208,3214 ****
  	  </p>
  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">FaultReference</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">Identifier</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">faultReference</span> <span class="zinfix">:</span> <span class="zi">ID</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">messageLabel</span> <span class="zinfix">:</span> <span class="zi">NCName</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">direction</span> <span class="zinfix">:</span> <span class="zi">Direction</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">features</span> <span class="zinfix">:</span><span clss="zprefix"><span class="doublestruck">P</span></span><span class="zi">ID</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">properties</span> <span class="zinfix">:</span><span class="zprefix"><span class="doublestruck">P</span></span><span class="zi">ID</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ID">ID</a>, <a href="#zed-NCName">NCName</a>, <a href="#zed-Direction">Direction</a>.</span></span></div>
  
  	  </div>
--- 3205,3211 ----
  	  </p>
  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">FaultReference</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">Base</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">faultReference</span> <span class="zinfix">:</span> <span class="zi">ID</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">messageLabel</span> <span class="zinfix">:</span> <span class="zi">NCName</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">direction</span> <span class="zinfix">:</span> <span class="zi">Direction</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-Base">Base</a>, <a href="#zed-ID">ID</a>, <a href="#zed-NCName">NCName</a>, <a href="#zed-Direction">Direction</a>.</span></span></div>
  
  	  </div>
***************
*** 3223,3234 ****
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">FaultReferenceRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">faultRefComps</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="zi">faultReference</span><span class="zinfix"><span class="symbol">&Icirc;</span></span><span class="zi">interfaceFaultIds</span><span class="zinfix"><span class="mathb">.</spa></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">features</span><span class="zinfix"><span class="symbol">&Iacute;</span></span><span class="zi">featureIds</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">properties</span><span class="zinfix"><span class="symbol">&Iacute;</span></span><span class="zi">propertyIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>.</span></span></div>
  	  
  	  <ul>
  	  <li><p>The Interface Fault component of each Fault Reference component is contained in the component model.</p></li>
- 	  <li><p>The Feature components of each Fault Reference component are contained in the component model.</p></li>
- 	  <li><p>The Property components of each Fault Reference component are contained in the component model.</p></li>
  	  </ul>
  	  
--- 3220,3230 ----
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">FaultReferenceRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">FaultReference</span> <span class="zinfix">|</span><span class="zprefix"><span class="zi"><span class="symbol">q</span></span></span><span class="zi">FaultReference</span><span class="zinfix"><span class="symbol">&Icirc;</span></span><span class="zi">faultRefComps</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">BasRI</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">faultReference</span><span class="zinfix"><span class="symbol">&Icirc;</span></span><span class="zi">interfaceFaultIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>, <a href="#zed-FaultReference">FaultReference</a>, <a href="#zed-BaseRI">BaseRI</a>.</span></span></div>
  	  
  	  <ul>
+ 	  <li><p>Every Fault Reference component satifies the base referential integrity constraints.</p></li>
  	  <li><p>The Interface Fault component of each Fault Reference component is contained in the component model.</p></li>
  	  </ul>
  	  
***************
*** 4376,4389 ****
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">BindingRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">bindingComps</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="zi">interface</span><span class="zinfix"><span class="symbol">&Iacute;</span></span><span class="zi">interfaceIds</span><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">faults</span><span class="zinfix"><span class="symbol">&Iacute;</span></span><span class="zi">bindingFaultIds</span><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">operations</span><span class="zinfix"><span class="symbol">&Iacute;</span></span><span class="zi">bindingOpIds</span><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">features</span><span class="zinfix"><span class="symbol">&Iacute;</span></span><span class="zi">featureIds</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class=zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">properties</span><span class="zinfix"><span class="symbol">&Iacute;</span></span><span class="zi">propertyIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>.</span></span></div>
  	  
  	  <ul>
  	  <li><p>The Interface component of each Binding component is contained in the component model.</p></li>
  	  <li><p>The Binding Fault components of each Binding component are contained in the component model.</p></li>
  	  <li><p>The Binding Operation components of each Binding component are contained in the component model.</p></li>
- 	  <li><p>The Feature components of each Binding component are contained in the component model.</p></li>
- 	  <li><p>The Property components of each Binding component are contained in the component model.</p></li>
  	  </ul>
  	  
--- 4372,4384 ----
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">BindingRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">Binding</span> <span class="zinfix">|</span><span class="zprefix"><span class="zi"><span class="symbol">q</span></span></span><span class="zi">Binding</span><span class="zinfix"><span class="symbol">&Icirc;</span></span><span class="zi">bindingComps</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">BaseRI</span><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">interface</span><span class="zinfix"><span class="symbol">&Iacute;</span></span><span class="zi">interfaceIds</span><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">faults</span><span class="zinfix"><span class="symbol">&Iacute;</span></span><span class="zi">bindingFaultIds</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">operations</span><span class="zinfix"><span class="symbol">&Iacute;</span></span><span class="zi">bindingOpIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>, <a href="#zed-Binding">Binding</a>, <a href="#zed-BaseRI">BaseRI</a>.</span></span></div>
  	  
  	  <ul>
+ 	  <li><p>Every Binding component satifies the base referential integrity constraints.</p></li>
  	  <li><p>The Interface component of each Binding component is contained in the component model.</p></li>
  	  <li><p>The Binding Fault components of each Binding component are contained in the component model.</p></li>
  	  <li><p>The Binding Operation components of each Binding component are contained in the component model.</p></li>
  	  </ul>
  	  
***************
*** 4675,4686 ****
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">BindingFaultRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">bindingFaultComps</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="zi">faultReference</span><span class="zinfix"><span class="symbol">&Icirc;</span></span><span class="zi">interfaceFaultIds</span><span class="zinfix"><span class="mathb">.</san></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">features</span><span class="zinfix"><span class="symbol">&Iacute;</span></span><span class="zi">featureIds</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">properties</span><span class="zinfix"><span class="symbol">&Iacute;</span></span><span class="zi">propertyIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>.</span></span></div>
  	  
  	  <ul>
  	  <li><p>The Interface Fault component of each Binding Fault component is contained in the component model.</p></li>
- 	  <li><p>The Feature components of each Binding Fault component are contained in the component model.</p></li>
- 	  <li><p>The Property components of each Binding Fault component are contained in the component model.</p></li>
  	  </ul>
  	  
--- 4670,4680 ----
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">BindingFaultRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">BindingFault</span> <span class="zinfix">|</span><span class="zprefix"><span class="zi"><span class="symbol">q</span></span></span><span class="zi">BindingFault</span><span class="zinfix"><span class="symbol">&Icirc;</span></span><span class="zi">bindingFaultComps</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">BaseR</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">faultReference</span><span class="zinfix"><span class="symbol">&Icirc;</span></span><span class="zi">interfaceFaultIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>, <a href="#zed-BindingFault">BindingFault</a>, <a href="#zed-BaseRI">BaseRI</a>.</span></span></div>
  	  
  	  <ul>
+ 	  <li><p>Every Binding Fault component satifies the base referential integrity constraints.</p></li>
  	  <li><p>The Interface Fault component of each Binding Fault component is contained in the component model.</p></li>
  	  </ul>
  	  
***************
*** 4890,4902 ****
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">BindingOperationRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">bindingOpComps</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="zi">operationReference</span><span class="zinfix"><span class="symbol">&Icirc;</span></span><span class="zi">interfaceOpIds</span><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">messageReferences</span><span class="zinfix"><span class="symbol">&Iacute;</span></span><span class="zi">bindingMessageRefIds</span><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">features</span><span class="zinfix"><span class="symbol">&Iacute;</span></span><span class="zi">featureIds</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">properties</span><span class="zinfix"><span class="symbol">&Iacute;</span></span><span class="zi">propertyIds</span></span></td></tr><tr><td class="bl"></td><td clss="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>.</span></span></div>
  	  
  	  <ul>
  	  <li><p>The Interface Operation component of each Binding Operation component is contained in the component model.</p></li>
  	  <li><p>The Binding Message Reference components of each Binding Operation component are contained in the component model.</p></li>
- 	  <li><p>The Feature components of each Binding Operation component are contained in the component model.</p></li>
- 	  <li><p>The Property components of each Binding Operation component are contained in the component model.</p></li>
  	  </ul>
  	  
--- 4884,4895 ----
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">BindingOperationRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">BindingOperation</span> <span class="zinfix">|</span><span class="zprefix"><span class="zi"><span class="symbol">q</span></span></span><span class="zi">BindingOperation</span><span class="zinfix"><span class="symbol">&Icirc;</span></span><span class="zi">bindingOpComps</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="i">BaseRI</span><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">operationReference</span><span class="zinfix"><span class="symbol">&Icirc;</span></span><span class="zi">interfaceOpIds</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">messageReferences</span><span class="zinfix"><span class="symbol">&Iacute;</span></span><span class="zi">bindingMessageRefIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>, <a href="#zed-BindingOperation">BindingOperation</a>, <a href="#zed-BaseRI">BaseRI</a>.</span></span></div>
  	  
  	  <ul>
+ 	  <li><p>Every Binding Operation component satifies the base referential integrity constraints.</p></li>
  	  <li><p>The Interface Operation component of each Binding Operation component is contained in the component model.</p></li>
  	  <li><p>The Binding Message Reference components of each Binding Operation component are contained in the component model.</p></li>
  	  </ul>
  	  
***************
*** 5120,5130 ****
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">BindingMessageReferenceRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">bindingMessageRefComps</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="zi">features</span><span class="zinfix"><span class="symbol">&Iacute;</span></span><span class="zi">featureIds</span><span class="zinfix"><span class="mathb"></span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">properties</span><span class="zinfix"><span class="symbol">&Iacute;</span></span><span class="zi">propertyIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>.</span></span></div>
  	  
  	  <ul>
! 	  <li><p>The Feature components of each Binding Message Reference component are contained in the component model.</p></li>
! 	  <li><p>The Property components of each Binding Message Reference component are contained in the component model.</p></li>
  	  </ul>
  	  
--- 5113,5122 ----
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">BindingMessageReferenceRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">BindingMessageReference</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zprefix"><span class="zi"><span class="symbol">q</span></span></span><span class="zi">BindingMessageReference</span><span class="zinfix"><span class="symbol">&Icirc;</span></span><span class="zi">bindingMessageRefComps</span> <span class="zinfix"><span class="symbol">&middo;</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">BaseRI</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>, <a href="#zed-BindingMessageReference">BindingMessageReference</a>, <a href="#zed-BaseRI">BaseRI</a>.</span></span></div>
  	  
  	  <ul>
! 	  <li><p>Every Binding Message Reference component satifies the base referential integrity constraints.</p></li>
  	  </ul>
  	  
***************
*** 5367,5379 ****
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">ServiceRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">serviceComps</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="zi">interface</span><span class="zinfix"><span class="symbol">&Icirc;</span></span><span class="zi">interfaceIds</span><span class="zinfix"><span class="mathb">.</span></span></span></d></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">endpoints</span><span class="zinfix"><span class="symbol">&Iacute;</span></span><span class="zi">endpointIds</span><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">features</span><span class="zinfix"><span class="symbol">&Iacute;</span></span><span class="zi">featureIds</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">properties</span><span class="zinfix"><span class="symbol">&Iacute;</span></span><span class="zi">propertyIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></tale>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>.</span></span></div>
  	  
  	  <ul>
  	  <li><p>The Interface component of each Service component is contained in the component model.</p></li>
  	  <li><p>The Endpoint components of each Service component are contained in the component model.</p></li>
- 	  <li><p>The Feature components of each Service component are contained in the component model.</p></li>
- 	  <li><p>The Property components of each Service component are contained in the component model.</p></li>
  	  </ul>
  	  
--- 5359,5370 ----
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">ServiceRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">Service</span> <span class="zinfix">|</span><span class="zprefix"><span class="zi"><span class="symbol">q</span></span></span><span class="zi">Service</span><span class="zinfix"><span class="symbol">&Icirc;</span></span><span class="zi">serviceComps</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">BaseRI</span><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">interface</span><span class="zinfix"><span class="symbol">&Icirc;</span></span><span class="zi">interfaceIds</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">endpoints</span><span class="zinfix"><span class="symbol">&Iacute;</span></span><span class="zi">endpointIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>, <a href="#zed-Service">Service</a>, <a href="#zed-BaseRI">BaseRI</a>.</span></span></div>
  	  
  	  <ul>
+ 	  <li><p>Every Service component satifies the base referential integrity constraints.</p></li>
  	  <li><p>The Interface component of each Service component is contained in the component model.</p></li>
  	  <li><p>The Endpoint components of each Service component are contained in the component model.</p></li>
  	  </ul>
  	  
***************
*** 5632,5640 ****
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">EndpointRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">endpointComps</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="zi">binding</span><span class="zinfix"><span class="symbol">&Icirc;</span></span><span class="zi">bindingIds</span><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">features</span><span class="zinfix"><span class="symbol">&Iacute;</span></span><span class="zi">featureIds</span><span class="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">properties</span><span class="zinfix"><span class="symbol">&Iacute;</span></span><span class="zi">propertyIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>.</span></span></div>
  	  
  	  <ul>
  	  <li><p>The Binding component of each Endpoint component is contained in the component model.</p></li>
  	  <li><p>The Feature components of each Endpoint component are contained in the component model.</p></li>
--- 5623,5632 ----
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">EndpointRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix"><span class="symbol">"</span></span><span class="zi">Endpoint</span> <span class="zinfix">|</span><span class="zprefix"><span class="zi"><span class="symbol">q</span></span></span><span class="zi">Endpoint</span><span class="zinfix"><span class="symbol">&Icirc;</span></span><span class="zi">endpointComps</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">BaseRI</span><span clss="zinfix"><span class="mathb">.</span></span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">binding</span><span class="zinfix"><span class="symbol">&Icirc;</span></span><span class="zi">bindingIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>, <a href="#zed-Endpoint">Endpoint</a>, <a href="#zed-BaseRI">BaseRI</a>.</span></span></div>
  	  
  	  <ul>
+ 	  <li><p>Every Service component satifies the base referential integrity constraints.</p></li>
  	  <li><p>The Binding component of each Endpoint component is contained in the component model.</p></li>
  	  <li><p>The Feature components of each Endpoint component are contained in the component model.</p></li>
***************
*** 5819,5823 ****
  	    <caption>Table 2-15. Mapping between Endpoint Component Properties and XML Representation</caption>
  		<col width="20%" span="1">
- 
    		<col width="80%" span="1">
  	    <tbody>
--- 5811,5814 ----

Index: wsdl20-i.html
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20-i.html,v
retrieving revision 1.20
retrieving revision 1.21
diff -C2 -d -r1.20 -r1.21
*** wsdl20-i.html	21 Feb 2005 03:36:01 -0000	1.20
--- wsdl20-i.html	22 Feb 2005 02:30:18 -0000	1.21
***************
*** 1833,1844 ****
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">InterfaceFaultRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">interfaceFaultComps</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="zi">element</span><span class="zinfix">&sube;</span><span class="zi">elementDeclIds</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">features</span><span class="zinfix">&sube;</span><span class="zi">featureIds</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">properties</span><span class="zinfix">&sube;</span><span class="zi">propertyIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>.</span></span></div>
  	  
  	  <ul>
  	  <li><p>The Element Declaration components of each Interface Fault component are contained in the component model.</p></li>
- 	  <li><p>The Feature components of each Interface Fault component are contained in the component model.</p></li>
- 	  <li><p>The Property components of each Interface Fault component are contained in the component model.</p></li>
  	  </ul>
  	  
--- 1833,1843 ----
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">InterfaceFaultRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix">&forall;</span><span class="zi">InterfaceFault</span> <span class="zinfix">|</span><span class="zprefix"><span class="zi">θ</span></span><span class="zi">InterfaceFault</span><span class="zinfix">&isin;</span><span class="zi">interfaceFaultComps</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">BaseRI</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschemalasttext" colspan=""><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">element</span><span class="zinfix">&sube;</span><span class="zi">elementDeclIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>, <a href="#zed-InterfaceFault">InterfaceFault</a>, <a href="#zed-BaseRI">BaseRI</a>.</span></span></div>
  	  
  	  <ul>
+ 	  <li><p>Every Interface Fault component satifies the base referential integrity constraints.</p></li>
  	  <li><p>The Element Declaration components of each Interface Fault component are contained in the component model.</p></li>
  	  </ul>
  	  
***************
*** 2169,2181 ****
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">InterfaceOperationRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">interfaceOpComps</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="zi">messageReferences</span><span class="zinfix">&sube;</span><span class="zi">messageRefIds</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">faultReferences</span><span class="zinfix">&sube;</span><span class="zi">faultRefIds</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">features</span><span class="zinfix">&sube;</span><span class="zi">featureIds</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">properties</span><span class="zinfix">&sube;</span><span class="zi">propertyIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>.</span></span></div>
  	  
  	  <ul>
  	  <li><p>The Message Reference components of each Interface Operation component are contained in the component model.</p></li>
  	  <li><p>The Fault Reference components of each Interface Operation component are contained in the component model.</p></li>
- 	  <li><p>The Feature components of each Interface Operation component are contained in the component model.</p></li>
- 	  <li><p>The Property components of each Interface Operation component are contained in the component model.</p></li>
  	  </ul>
  	  
--- 2168,2179 ----
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">InterfaceOperationRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix">&forall;</span><span class="zi">InterfaceOperation</span> <span class="zinfix">|</span><span class="zprefix"><span class="zi">θ</span></span><span class="zi">InterfaceOperation</span><span class="zinfix">&isin;</span><span class="zi">interfaceOpComps</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">BaseRI</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschematext" colsan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">messageReferences</span><span class="zinfix">&sube;</span><span class="zi">messageRefIds</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">faultReferences</span><span class="zinfix">&sube;</span><span class="zi">faultRefIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>, <a href="#zed-InterfaceOperation">InterfaceOperation</a>, <a href="#zed-BaseRI">BaseRI</a>.</span></span></div>
  	  
  	  <ul>
+ 	  <li><p>Every Interface Operation component satifies the base referential integrity constraints.</p></li>
  	  <li><p>The Message Reference components of each Interface Operation component are contained in the component model.</p></li>
  	  <li><p>The Fault Reference components of each Interface Operation component are contained in the component model.</p></li>
  	  </ul>
  	  
***************
*** 2860,2866 ****
  	  </p>
  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">MessageReference</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">Identifier</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">messageLabel</span> <span class="zinfix">:</span> <span class="zi">NCName</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">direction</span> <span class="zinfix">:</span> <span class="zi">Direction</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">messageContentModel</span> <span class="zinfix">:</span> <span class="zi">OPTIONAL</span>[<span class="zi">MessageContentModel</span>]</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class=zi">element</span> <span class="zinfix">:</span> <span class="zi">OPTIONAL</span>[<span class="zi">ID</span>]</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">features</span> <span class="zinfix">:</span><span class="zprefix">ℙ</span><span class="zi">ID</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">properties</span> <span class="zinfix">:</span><span class="zprefix">ℙ</span><span class="zi">ID</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">messageContentModel</span> <span class="zinfix">=</span> {<span class="zi">elementToken</span>}<span class="zinfix">&hArr;</span><span class="zi">element</span><span class="zinfix">&ne;</span>&empty;</span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
   	  
!  	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-NCName">NCName</a>, <a href="#zed-Direction">Direction</a>, <a href="#zed-OPTIONAL">OPTIONAL</a>, <a href="#zed-MessageContentModel">MessageContentModel</a>, <a href="#zed-ID">ID</a>.</span></span></div>
  
  	  <ul>
--- 2858,2864 ----
  	  </p>
  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">MessageReference</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">Base</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">messageLabel</span> <span class="zinfix">:</span> <span class="zi">NCName</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">direction</span> <span class="zinfix">:</span> <span class="zi">Direction</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">messageContentModel</span> <span class="zinfix">:</span> <span class="zi">OPTIONAL</span>[<span class="zi">MessageContentModel</span>]</span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="z">element</span> <span class="zinfix">:</span> <span class="zi">OPTIONAL</span>[<span class="zi">ID</span>]</span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">messageContentModel</span> <span class="zinfix">=</span> {<span class="zi">elementToken</span>}<span class="zinfix">&hArr;</span><span class="zi">element</span><span class="zinfix">&ne;</span>&empty;</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-Base">Base</a>, <a href="#zed-NCName">NCName</a>, <a href="#zed-Direction">Direction</a>, <a href="#zed-OPTIONAL">OPTIONAL</a>, <a href="#zed-MessageContentModel">MessageContentModel</a>, <a href="#zed-ID">ID</a>.</span></span></div>
  
  	  <ul>
***************
*** 2879,2890 ****
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">MessageReferenceRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">messageRefComps</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="zi">element</span><span class="zinfix">&sube;</span><span class="zi">elementDeclIds</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">features</span><span class="zinfix">&sube;</span><span class="zi">featureIds</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">properties</span><span class="zinfix">&sube;</span><span class="zi">propertyIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>.</span></span></div>
  	  
  	  <ul>
  	  <li><p>The Element Declaration components of each Message Reference component are contained in the component model.</p></li>
- 	  <li><p>The Feature components of each Message Reference component are contained in the component model.</p></li>
- 	  <li><p>The Property components of each Message Reference component are contained in the component model.</p></li>
  	  </ul>
  	  
--- 2877,2887 ----
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">MessageReferenceRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix">&forall;</span><span class="zi">MessageReference</span> <span class="zinfix">|</span><span class="zprefix"><span class="zi">θ</span></span><span class="zi">MessageReference</span><span class="zinfix">&isin;</span><span class="zi">messageRefComps</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">BaseRI</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschemalasttext" colspan"3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">element</span><span class="zinfix">&sube;</span><span class="zi">elementDeclIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>, <a href="#zed-MessageReference">MessageReference</a>, <a href="#zed-BaseRI">BaseRI</a>.</span></span></div>
  	  
  	  <ul>
+ 	  <li><p>Every Message Reference component satifies the base referential integrity constraints.</p></li>
  	  <li><p>The Element Declaration components of each Message Reference component are contained in the component model.</p></li>
  	  </ul>
  	  
***************
*** 3206,3212 ****
  	  </p>
  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">FaultReference</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">Identifier</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">faultReference</span> <span class="zinfix">:</span> <span class="zi">ID</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">messageLabel</span> <span class="zinfix">:</span> <span class="zi">NCName</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">direction</span> <span class="zinfix">:</span> <span class="zi">Direction</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">features</span> <span class="zinfix">:</span><span clss="zprefix">ℙ</span><span class="zi">ID</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">properties</span> <span class="zinfix">:</span><span class="zprefix">ℙ</span><span class="zi">ID</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ID">ID</a>, <a href="#zed-NCName">NCName</a>, <a href="#zed-Direction">Direction</a>.</span></span></div>
  
  	  </div>
--- 3203,3209 ----
  	  </p>
  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">FaultReference</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">Base</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">faultReference</span> <span class="zinfix">:</span> <span class="zi">ID</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">messageLabel</span> <span class="zinfix">:</span> <span class="zi">NCName</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">direction</span> <span class="zinfix">:</span> <span class="zi">Direction</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-Base">Base</a>, <a href="#zed-ID">ID</a>, <a href="#zed-NCName">NCName</a>, <a href="#zed-Direction">Direction</a>.</span></span></div>
  
  	  </div>
***************
*** 3221,3232 ****
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">FaultReferenceRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">faultRefComps</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="zi">faultReference</span><span class="zinfix">&isin;</span><span class="zi">interfaceFaultIds</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">features</span><span class="zinfix">&sube;</span><span class="zi">featureIds</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">properties</span><span class="zinfix">&sube;</span><span class="zi">propertyIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>.</span></span></div>
  	  
  	  <ul>
  	  <li><p>The Interface Fault component of each Fault Reference component is contained in the component model.</p></li>
- 	  <li><p>The Feature components of each Fault Reference component are contained in the component model.</p></li>
- 	  <li><p>The Property components of each Fault Reference component are contained in the component model.</p></li>
  	  </ul>
  	  
--- 3218,3228 ----
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">FaultReferenceRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix">&forall;</span><span class="zi">FaultReference</span> <span class="zinfix">|</span><span class="zprefix"><span class="zi">θ</span></span><span class="zi">FaultReference</span><span class="zinfix">&isin;</span><span class="zi">faultRefComps</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">BaseRI</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><spn class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">faultReference</span><span class="zinfix">&isin;</span><span class="zi">interfaceFaultIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>, <a href="#zed-FaultReference">FaultReference</a>, <a href="#zed-BaseRI">BaseRI</a>.</span></span></div>
  	  
  	  <ul>
+ 	  <li><p>Every Fault Reference component satifies the base referential integrity constraints.</p></li>
  	  <li><p>The Interface Fault component of each Fault Reference component is contained in the component model.</p></li>
  	  </ul>
  	  
***************
*** 4374,4387 ****
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">BindingRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">bindingComps</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="zi">interface</span><span class="zinfix">&sube;</span><span class="zi">interfaceIds</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">faults</span><span class="zinfix">&sube;</span><span class="zi">bindingFaultIds</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">operations</span><span class="zinfix">&sube;</span><span class="zi">bindingOpIds</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">features</span><span class="zinfix">&sube;</span><span class="zi">featureIds</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">properties</span><span class="zinfix">&sube;</span><span class="zi">propertyIds</span></span></td></tr><tr><td class="bl"></td><d class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>.</span></span></div>
  	  
  	  <ul>
  	  <li><p>The Interface component of each Binding component is contained in the component model.</p></li>
  	  <li><p>The Binding Fault components of each Binding component are contained in the component model.</p></li>
  	  <li><p>The Binding Operation components of each Binding component are contained in the component model.</p></li>
- 	  <li><p>The Feature components of each Binding component are contained in the component model.</p></li>
- 	  <li><p>The Property components of each Binding component are contained in the component model.</p></li>
  	  </ul>
  	  
--- 4370,4382 ----
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">BindingRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix">&forall;</span><span class="zi">Binding</span> <span class="zinfix">|</span><span class="zprefix"><span class="zi">θ</span></span><span class="zi">Binding</span><span class="zinfix">&isin;</span><span class="zi">bindingComps</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">BaseRI</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">interface</span><span class="zinfix">&sube;</span><span class="zi">interfaceIds</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">faults</span><span class="zinfix">&sube;</span><span class="zi">bindingFaultIds</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">operations</span><span class="zinfix">&sube;</span><span class="zi">bindingOpIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>, <a href="#zed-Binding">Binding</a>, <a href="#zed-BaseRI">BaseRI</a>.</span></span></div>
  	  
  	  <ul>
+ 	  <li><p>Every Binding component satifies the base referential integrity constraints.</p></li>
  	  <li><p>The Interface component of each Binding component is contained in the component model.</p></li>
  	  <li><p>The Binding Fault components of each Binding component are contained in the component model.</p></li>
  	  <li><p>The Binding Operation components of each Binding component are contained in the component model.</p></li>
  	  </ul>
  	  
***************
*** 4673,4684 ****
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">BindingFaultRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">bindingFaultComps</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="zi">faultReference</span><span class="zinfix">&isin;</span><span class="zi">interfaceFaultIds</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbsp;&nbp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">features</span><span class="zinfix">&sube;</span><span class="zi">featureIds</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">properties</span><span class="zinfix">&sube;</span><span class="zi">propertyIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>.</span></span></div>
  	  
  	  <ul>
  	  <li><p>The Interface Fault component of each Binding Fault component is contained in the component model.</p></li>
- 	  <li><p>The Feature components of each Binding Fault component are contained in the component model.</p></li>
- 	  <li><p>The Property components of each Binding Fault component are contained in the component model.</p></li>
  	  </ul>
  	  
--- 4668,4678 ----
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">BindingFaultRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix">&forall;</span><span class="zi">BindingFault</span> <span class="zinfix">|</span><span class="zprefix"><span class="zi">θ</span></span><span class="zi">BindingFault</span><span class="zinfix">&isin;</span><span class="zi">bindingFaultComps</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">BaseRI</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><spanclass="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">faultReference</span><span class="zinfix">&isin;</span><span class="zi">interfaceFaultIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>, <a href="#zed-BindingFault">BindingFault</a>, <a href="#zed-BaseRI">BaseRI</a>.</span></span></div>
  	  
  	  <ul>
+ 	  <li><p>Every Binding Fault component satifies the base referential integrity constraints.</p></li>
  	  <li><p>The Interface Fault component of each Binding Fault component is contained in the component model.</p></li>
  	  </ul>
  	  
***************
*** 4888,4900 ****
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">BindingOperationRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">bindingOpComps</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="zi">operationReference</span><span class="zinfix">&isin;</span><span class="zi">interfaceOpIds</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbsp;&bsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">messageReferences</span><span class="zinfix">&sube;</span><span class="zi">bindingMessageRefIds</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">features</span><span class="zinfix">&sube;</span><span class="zi">featureIds</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">properties</span><span class="zinfix">&sube;</span><span class="zi">propertyIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>.</span></span></div>
  	  
  	  <ul>
  	  <li><p>The Interface Operation component of each Binding Operation component is contained in the component model.</p></li>
  	  <li><p>The Binding Message Reference components of each Binding Operation component are contained in the component model.</p></li>
- 	  <li><p>The Feature components of each Binding Operation component are contained in the component model.</p></li>
- 	  <li><p>The Property components of each Binding Operation component are contained in the component model.</p></li>
  	  </ul>
  	  
--- 4882,4893 ----
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">BindingOperationRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix">&forall;</span><span class="zi">BindingOperation</span> <span class="zinfix">|</span><span class="zprefix"><span class="zi">θ</span></span><span class="zi">BindingOperation</span><span class="zinfix">&isin;</span><span class="zi">bindingOpComps</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">BaseRI</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">operationReference</span><span class="zinfix">&isin;</span><span class="zi">interfaceOpIds</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">messageReferences</span><span class="zinfix">&sube;</span><span class="zi">bindingMessageRefIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>, <a href="#zed-BindingOperation">BindingOperation</a>, <a href="#zed-BaseRI">BaseRI</a>.</span></span></div>
  	  
  	  <ul>
+ 	  <li><p>Every Binding Operation component satifies the base referential integrity constraints.</p></li>
  	  <li><p>The Interface Operation component of each Binding Operation component is contained in the component model.</p></li>
  	  <li><p>The Binding Message Reference components of each Binding Operation component are contained in the component model.</p></li>
  	  </ul>
  	  
***************
*** 5118,5128 ****
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">BindingMessageReferenceRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">bindingMessageRefComps</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="zi">features</span><span class="zinfix">&sube;</span><span class="zi">featureIds</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">properties</span><span class="zinfix">&sube;</span><span class="zi">propertyIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>.</span></span></div>
  	  
  	  <ul>
! 	  <li><p>The Feature components of each Binding Message Reference component are contained in the component model.</p></li>
! 	  <li><p>The Property components of each Binding Message Reference component are contained in the component model.</p></li>
  	  </ul>
  	  
--- 5111,5120 ----
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">BindingMessageReferenceRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix">&forall;</span><span class="zi">BindingMessageReference</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zprefix"><span class="zi">θ</span></span><span class="zi">BindingMessageReference</span><span class="zinfix">&isin;</span><span class="zi">bindingMessageRefComps</span> <span class="zinfix">&bull;</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbs;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">BaseRI</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>, <a href="#zed-BindingMessageReference">BindingMessageReference</a>, <a href="#zed-BaseRI">BaseRI</a>.</span></span></div>
  	  
  	  <ul>
! 	  <li><p>Every Binding Message Reference component satifies the base referential integrity constraints.</p></li>
  	  </ul>
  	  
***************
*** 5365,5377 ****
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">ServiceRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">serviceComps</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="zi">interface</span><span class="zinfix">&isin;</span><span class="zi">interfaceIds</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">endpoints</span><span class="zinfix">&sube;</span><span class="zi">endpointIds</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">features</span><span class="zinfix">&sube;</span><span class="zi">featureIds</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">properties</span><span class="zinfix">&sube;</span><span class="zi">propertyIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>.</span></span></div>
  	  
  	  <ul>
  	  <li><p>The Interface component of each Service component is contained in the component model.</p></li>
  	  <li><p>The Endpoint components of each Service component are contained in the component model.</p></li>
- 	  <li><p>The Feature components of each Service component are contained in the component model.</p></li>
- 	  <li><p>The Property components of each Service component are contained in the component model.</p></li>
  	  </ul>
  	  
--- 5357,5368 ----
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">ServiceRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix">&forall;</span><span class="zi">Service</span> <span class="zinfix">|</span><span class="zprefix"><span class="zi">θ</span></span><span class="zi">Service</span><span class="zinfix">&isin;</span><span class="zi">serviceComps</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">BaseRI</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">interface</span><span class="zinfix">&isin;</span><span class="zi">interfaceIds</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">endpoints</span><span class="zinfix">&sube;</span><span class="zi">endpointIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>, <a href="#zed-Service">Service</a>, <a href="#zed-BaseRI">BaseRI</a>.</span></span></div>
  	  
  	  <ul>
+ 	  <li><p>Every Service component satifies the base referential integrity constraints.</p></li>
  	  <li><p>The Interface component of each Service component is contained in the component model.</p></li>
  	  <li><p>The Endpoint components of each Service component are contained in the component model.</p></li>
  	  </ul>
  	  
***************
*** 5630,5638 ****
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">EndpointRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">endpointComps</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="zi">binding</span><span class="zinfix">&isin;</span><span class="zi">bindingIds</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&bsp;<span class="zi">x</span>.<span class="zi">features</span><span class="zinfix">&sube;</span><span class="zi">featureIds</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">properties</span><span class="zinfix">&sube;</span><span class="zi">propertyIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>.</span></span></div>
  	  
  	  <ul>
  	  <li><p>The Binding component of each Endpoint component is contained in the component model.</p></li>
  	  <li><p>The Feature components of each Endpoint component are contained in the component model.</p></li>
--- 5621,5630 ----
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">EndpointRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix">&forall;</span><span class="zi">Endpoint</span> <span class="zinfix">|</span><span class="zprefix"><span class="zi">θ</span></span><span class="zi">Endpoint</span><span class="zinfix">&isin;</span><span class="zi">endpointComps</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">BaseRI</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematxt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">binding</span><span class="zinfix">&isin;</span><span class="zi">bindingIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>, <a href="#zed-Endpoint">Endpoint</a>, <a href="#zed-BaseRI">BaseRI</a>.</span></span></div>
  	  
  	  <ul>
+ 	  <li><p>Every Service component satifies the base referential integrity constraints.</p></li>
  	  <li><p>The Binding component of each Endpoint component is contained in the component model.</p></li>
  	  <li><p>The Feature components of each Endpoint component are contained in the component model.</p></li>
***************
*** 5817,5821 ****
  	    <caption>Table 2-15. Mapping between Endpoint Component Properties and XML Representation</caption>
  		<col width="20%" span="1">
- 
    		<col width="80%" span="1">
  	    <tbody>
--- 5809,5812 ----

Index: wsdl20.pdf
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.pdf,v
retrieving revision 1.13
retrieving revision 1.14
diff -C2 -d -r1.13 -r1.14
*** wsdl20.pdf	21 Feb 2005 03:36:00 -0000	1.13
--- wsdl20.pdf	22 Feb 2005 02:30:18 -0000	1.14
***************
*** 796,804 ****
  endobj
  537 0 obj <<
! /Length 991       
  /Filter /FlateDecode
  >>
  stream
! xڝVKo�8��W�P`% �Dꝓ[;�H6Z������ʒCI1��wfH9)��E����X����cjT�3S�#?��^��
E1�<6�JK��H-iQ��Ʌ�:%��D �9yuKڃ.%�­��jh*���ŕu�
A^Ȱ��)�����cy:��Ѝ�7�$*��M���<��oO���ef�E��0��+�b�Ҭ�c���6�¡���1��Ldd��a�K_�$u��	t8y�9������nchL4����n��y���
�>��CƇoq�†�½BK�vv����U��h��G���8��:��T�Ҧ%�J'٘��;�")�ƞ��|E�5�X����у�51=�Mi�~���&�Mz��e%�{���'����_��$9endstream
  endobj
  534 0 obj <<
--- 796,807 ----
[...23263 lines suppressed...]
! 0000746159 00000 n 
! 0000746285 00000 n 
! 0000746411 00000 n 
! 0000746491 00000 n 
! 0000746592 00000 n 
! 0000759155 00000 n 
! 0000776027 00000 n 
! 0000776068 00000 n 
! 0000776108 00000 n 
! 0000776300 00000 n 
  trailer
  <<
! /Size 2544
! /Root 2542 0 R
! /Info 2543 0 R
! /ID [<F3CAA967D0201B6BEE58FC3F14A8E95C> <F3CAA967D0201B6BEE58FC3F14A8E95C>]
  >>
  startxref
! 776548
  %%EOF

Index: wsdl20.html
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.html,v
retrieving revision 1.150
retrieving revision 1.151
diff -C2 -d -r1.150 -r1.151
*** wsdl20.html	21 Feb 2005 03:36:00 -0000	1.150
--- wsdl20.html	22 Feb 2005 02:30:18 -0000	1.151
***************
*** 1833,1844 ****
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">InterfaceFaultRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">interfaceFaultComps</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="zi">element</span><span class="zinfix">&sube;</span><span class="zi">elementDeclIds</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">features</span><span class="zinfix">&sube;</span><span class="zi">featureIds</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">properties</span><span class="zinfix">&sube;</span><span class="zi">propertyIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>.</span></span></div>
  	  
  	  <ul>
  	  <li><p>The Element Declaration components of each Interface Fault component are contained in the component model.</p></li>
- 	  <li><p>The Feature components of each Interface Fault component are contained in the component model.</p></li>
- 	  <li><p>The Property components of each Interface Fault component are contained in the component model.</p></li>
  	  </ul>
  	  
--- 1833,1843 ----
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">InterfaceFaultRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix">&forall;</span><span class="zi">InterfaceFault</span> <span class="zinfix">|</span><span class="zprefix"><span class="zi">θ</span></span><span class="zi">InterfaceFault</span><span class="zinfix">&isin;</span><span class="zi">interfaceFaultComps</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">BaseRI</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschemalasttext" colspan=""><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">element</span><span class="zinfix">&sube;</span><span class="zi">elementDeclIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>, <a href="#zed-InterfaceFault">InterfaceFault</a>, <a href="#zed-BaseRI">BaseRI</a>.</span></span></div>
  	  
  	  <ul>
+ 	  <li><p>Every Interface Fault component satifies the base referential integrity constraints.</p></li>
  	  <li><p>The Element Declaration components of each Interface Fault component are contained in the component model.</p></li>
  	  </ul>
  	  
***************
*** 2169,2181 ****
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">InterfaceOperationRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">interfaceOpComps</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="zi">messageReferences</span><span class="zinfix">&sube;</span><span class="zi">messageRefIds</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">faultReferences</span><span class="zinfix">&sube;</span><span class="zi">faultRefIds</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">features</span><span class="zinfix">&sube;</span><span class="zi">featureIds</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">properties</span><span class="zinfix">&sube;</span><span class="zi">propertyIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>.</span></span></div>
  	  
  	  <ul>
  	  <li><p>The Message Reference components of each Interface Operation component are contained in the component model.</p></li>
  	  <li><p>The Fault Reference components of each Interface Operation component are contained in the component model.</p></li>
- 	  <li><p>The Feature components of each Interface Operation component are contained in the component model.</p></li>
- 	  <li><p>The Property components of each Interface Operation component are contained in the component model.</p></li>
  	  </ul>
  	  
--- 2168,2179 ----
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">InterfaceOperationRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix">&forall;</span><span class="zi">InterfaceOperation</span> <span class="zinfix">|</span><span class="zprefix"><span class="zi">θ</span></span><span class="zi">InterfaceOperation</span><span class="zinfix">&isin;</span><span class="zi">interfaceOpComps</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">BaseRI</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschematext" colsan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">messageReferences</span><span class="zinfix">&sube;</span><span class="zi">messageRefIds</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">faultReferences</span><span class="zinfix">&sube;</span><span class="zi">faultRefIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>, <a href="#zed-InterfaceOperation">InterfaceOperation</a>, <a href="#zed-BaseRI">BaseRI</a>.</span></span></div>
  	  
  	  <ul>
+ 	  <li><p>Every Interface Operation component satifies the base referential integrity constraints.</p></li>
  	  <li><p>The Message Reference components of each Interface Operation component are contained in the component model.</p></li>
  	  <li><p>The Fault Reference components of each Interface Operation component are contained in the component model.</p></li>
  	  </ul>
  	  
***************
*** 2860,2866 ****
  	  </p>
  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">MessageReference</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">Identifier</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">messageLabel</span> <span class="zinfix">:</span> <span class="zi">NCName</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">direction</span> <span class="zinfix">:</span> <span class="zi">Direction</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">messageContentModel</span> <span class="zinfix">:</span> <span class="zi">OPTIONAL</span>[<span class="zi">MessageContentModel</span>]</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class=zi">element</span> <span class="zinfix">:</span> <span class="zi">OPTIONAL</span>[<span class="zi">ID</span>]</span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">features</span> <span class="zinfix">:</span><span class="zprefix">ℙ</span><span class="zi">ID</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">properties</span> <span class="zinfix">:</span><span class="zprefix">ℙ</span><span class="zi">ID</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">messageContentModel</span> <span class="zinfix">=</span> {<span class="zi">elementToken</span>}<span class="zinfix">&hArr;</span><span class="zi">element</span><span class="zinfix">&ne;</span>&empty;</span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
   	  
!  	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-NCName">NCName</a>, <a href="#zed-Direction">Direction</a>, <a href="#zed-OPTIONAL">OPTIONAL</a>, <a href="#zed-MessageContentModel">MessageContentModel</a>, <a href="#zed-ID">ID</a>.</span></span></div>
  
  	  <ul>
--- 2858,2864 ----
  	  </p>
  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">MessageReference</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">Base</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">messageLabel</span> <span class="zinfix">:</span> <span class="zi">NCName</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">direction</span> <span class="zinfix">:</span> <span class="zi">Direction</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">messageContentModel</span> <span class="zinfix">:</span> <span class="zi">OPTIONAL</span>[<span class="zi">MessageContentModel</span>]</span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="z">element</span> <span class="zinfix">:</span> <span class="zi">OPTIONAL</span>[<span class="zi">ID</span>]</span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">messageContentModel</span> <span class="zinfix">=</span> {<span class="zi">elementToken</span>}<span class="zinfix">&hArr;</span><span class="zi">element</span><span class="zinfix">&ne;</span>&empty;</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-Base">Base</a>, <a href="#zed-NCName">NCName</a>, <a href="#zed-Direction">Direction</a>, <a href="#zed-OPTIONAL">OPTIONAL</a>, <a href="#zed-MessageContentModel">MessageContentModel</a>, <a href="#zed-ID">ID</a>.</span></span></div>
  
  	  <ul>
***************
*** 2879,2890 ****
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">MessageReferenceRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">messageRefComps</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="zi">element</span><span class="zinfix">&sube;</span><span class="zi">elementDeclIds</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">features</span><span class="zinfix">&sube;</span><span class="zi">featureIds</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">properties</span><span class="zinfix">&sube;</span><span class="zi">propertyIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>.</span></span></div>
  	  
  	  <ul>
  	  <li><p>The Element Declaration components of each Message Reference component are contained in the component model.</p></li>
- 	  <li><p>The Feature components of each Message Reference component are contained in the component model.</p></li>
- 	  <li><p>The Property components of each Message Reference component are contained in the component model.</p></li>
  	  </ul>
  	  
--- 2877,2887 ----
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">MessageReferenceRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix">&forall;</span><span class="zi">MessageReference</span> <span class="zinfix">|</span><span class="zprefix"><span class="zi">θ</span></span><span class="zi">MessageReference</span><span class="zinfix">&isin;</span><span class="zi">messageRefComps</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">BaseRI</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschemalasttext" colspan"3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">element</span><span class="zinfix">&sube;</span><span class="zi">elementDeclIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>, <a href="#zed-MessageReference">MessageReference</a>, <a href="#zed-BaseRI">BaseRI</a>.</span></span></div>
  	  
  	  <ul>
+ 	  <li><p>Every Message Reference component satifies the base referential integrity constraints.</p></li>
  	  <li><p>The Element Declaration components of each Message Reference component are contained in the component model.</p></li>
  	  </ul>
  	  
***************
*** 3206,3212 ****
  	  </p>
  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">FaultReference</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">Identifier</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">faultReference</span> <span class="zinfix">:</span> <span class="zi">ID</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">messageLabel</span> <span class="zinfix">:</span> <span class="zi">NCName</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">direction</span> <span class="zinfix">:</span> <span class="zi">Direction</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">features</span> <span class="zinfix">:</span><span clss="zprefix">ℙ</span><span class="zi">ID</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">properties</span> <span class="zinfix">:</span><span class="zprefix">ℙ</span><span class="zi">ID</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ID">ID</a>, <a href="#zed-NCName">NCName</a>, <a href="#zed-Direction">Direction</a>.</span></span></div>
  
  	  
--- 3203,3209 ----
  	  </p>
  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">FaultReference</span></span></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">Base</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">faultReference</span> <span class="zinfix">:</span> <span class="zi">ID</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zi">messageLabel</span> <span class="zinfix">:</span> <span class="zi">NCName</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">direction</span> <span class="zinfix">:</span> <span class="zi">Direction</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-Base">Base</a>, <a href="#zed-ID">ID</a>, <a href="#zed-NCName">NCName</a>, <a href="#zed-Direction">Direction</a>.</span></span></div>
  
  	  
***************
*** 3221,3232 ****
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">FaultReferenceRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">faultRefComps</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="zi">faultReference</span><span class="zinfix">&isin;</span><span class="zi">interfaceFaultIds</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">features</span><span class="zinfix">&sube;</span><span class="zi">featureIds</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">properties</span><span class="zinfix">&sube;</span><span class="zi">propertyIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>.</span></span></div>
  	  
  	  <ul>
  	  <li><p>The Interface Fault component of each Fault Reference component is contained in the component model.</p></li>
- 	  <li><p>The Feature components of each Fault Reference component are contained in the component model.</p></li>
- 	  <li><p>The Property components of each Fault Reference component are contained in the component model.</p></li>
  	  </ul>
  	  
--- 3218,3228 ----
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">FaultReferenceRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix">&forall;</span><span class="zi">FaultReference</span> <span class="zinfix">|</span><span class="zprefix"><span class="zi">θ</span></span><span class="zi">FaultReference</span><span class="zinfix">&isin;</span><span class="zi">faultRefComps</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">BaseRI</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><spn class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">faultReference</span><span class="zinfix">&isin;</span><span class="zi">interfaceFaultIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>, <a href="#zed-FaultReference">FaultReference</a>, <a href="#zed-BaseRI">BaseRI</a>.</span></span></div>
  	  
  	  <ul>
+ 	  <li><p>Every Fault Reference component satifies the base referential integrity constraints.</p></li>
  	  <li><p>The Interface Fault component of each Fault Reference component is contained in the component model.</p></li>
  	  </ul>
  	  
***************
*** 4374,4387 ****
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">BindingRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">bindingComps</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="zi">interface</span><span class="zinfix">&sube;</span><span class="zi">interfaceIds</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">faults</span><span class="zinfix">&sube;</span><span class="zi">bindingFaultIds</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">operations</span><span class="zinfix">&sube;</span><span class="zi">bindingOpIds</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">features</span><span class="zinfix">&sube;</span><span class="zi">featureIds</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">properties</span><span class="zinfix">&sube;</span><span class="zi">propertyIds</span></span></td></tr><tr><td class="bl"></td><d class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>.</span></span></div>
  	  
  	  <ul>
  	  <li><p>The Interface component of each Binding component is contained in the component model.</p></li>
  	  <li><p>The Binding Fault components of each Binding component are contained in the component model.</p></li>
  	  <li><p>The Binding Operation components of each Binding component are contained in the component model.</p></li>
- 	  <li><p>The Feature components of each Binding component are contained in the component model.</p></li>
- 	  <li><p>The Property components of each Binding component are contained in the component model.</p></li>
  	  </ul>
  	  
--- 4370,4382 ----
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">BindingRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix">&forall;</span><span class="zi">Binding</span> <span class="zinfix">|</span><span class="zprefix"><span class="zi">θ</span></span><span class="zi">Binding</span><span class="zinfix">&isin;</span><span class="zi">bindingComps</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">BaseRI</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">interface</span><span class="zinfix">&sube;</span><span class="zi">interfaceIds</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">faults</span><span class="zinfix">&sube;</span><span class="zi">bindingFaultIds</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">operations</span><span class="zinfix">&sube;</span><span class="zi">bindingOpIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>, <a href="#zed-Binding">Binding</a>, <a href="#zed-BaseRI">BaseRI</a>.</span></span></div>
  	  
  	  <ul>
+ 	  <li><p>Every Binding component satifies the base referential integrity constraints.</p></li>
  	  <li><p>The Interface component of each Binding component is contained in the component model.</p></li>
  	  <li><p>The Binding Fault components of each Binding component are contained in the component model.</p></li>
  	  <li><p>The Binding Operation components of each Binding component are contained in the component model.</p></li>
  	  </ul>
  	  
***************
*** 4673,4684 ****
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">BindingFaultRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">bindingFaultComps</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="zi">faultReference</span><span class="zinfix">&isin;</span><span class="zi">interfaceFaultIds</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbsp;&nbp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">features</span><span class="zinfix">&sube;</span><span class="zi">featureIds</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">properties</span><span class="zinfix">&sube;</span><span class="zi">propertyIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>.</span></span></div>
  	  
  	  <ul>
  	  <li><p>The Interface Fault component of each Binding Fault component is contained in the component model.</p></li>
- 	  <li><p>The Feature components of each Binding Fault component are contained in the component model.</p></li>
- 	  <li><p>The Property components of each Binding Fault component are contained in the component model.</p></li>
  	  </ul>
  	  
--- 4668,4678 ----
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">BindingFaultRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix">&forall;</span><span class="zi">BindingFault</span> <span class="zinfix">|</span><span class="zprefix"><span class="zi">θ</span></span><span class="zi">BindingFault</span><span class="zinfix">&isin;</span><span class="zi">bindingFaultComps</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">BaseRI</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><spanclass="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">faultReference</span><span class="zinfix">&isin;</span><span class="zi">interfaceFaultIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>, <a href="#zed-BindingFault">BindingFault</a>, <a href="#zed-BaseRI">BaseRI</a>.</span></span></div>
  	  
  	  <ul>
+ 	  <li><p>Every Binding Fault component satifies the base referential integrity constraints.</p></li>
  	  <li><p>The Interface Fault component of each Binding Fault component is contained in the component model.</p></li>
  	  </ul>
  	  
***************
*** 4888,4900 ****
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">BindingOperationRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">bindingOpComps</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="zi">operationReference</span><span class="zinfix">&isin;</span><span class="zi">interfaceOpIds</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbsp;&bsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">messageReferences</span><span class="zinfix">&sube;</span><span class="zi">bindingMessageRefIds</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">features</span><span class="zinfix">&sube;</span><span class="zi">featureIds</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">properties</span><span class="zinfix">&sube;</span><span class="zi">propertyIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>.</span></span></div>
  	  
  	  <ul>
  	  <li><p>The Interface Operation component of each Binding Operation component is contained in the component model.</p></li>
  	  <li><p>The Binding Message Reference components of each Binding Operation component are contained in the component model.</p></li>
- 	  <li><p>The Feature components of each Binding Operation component are contained in the component model.</p></li>
- 	  <li><p>The Property components of each Binding Operation component are contained in the component model.</p></li>
  	  </ul>
  	  
--- 4882,4893 ----
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">BindingOperationRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix">&forall;</span><span class="zi">BindingOperation</span> <span class="zinfix">|</span><span class="zprefix"><span class="zi">θ</span></span><span class="zi">BindingOperation</span><span class="zinfix">&isin;</span><span class="zi">bindingOpComps</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">BaseRI</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">operationReference</span><span class="zinfix">&isin;</span><span class="zi">interfaceOpIds</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">messageReferences</span><span class="zinfix">&sube;</span><span class="zi">bindingMessageRefIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>, <a href="#zed-BindingOperation">BindingOperation</a>, <a href="#zed-BaseRI">BaseRI</a>.</span></span></div>
  	  
  	  <ul>
+ 	  <li><p>Every Binding Operation component satifies the base referential integrity constraints.</p></li>
  	  <li><p>The Interface Operation component of each Binding Operation component is contained in the component model.</p></li>
  	  <li><p>The Binding Message Reference components of each Binding Operation component are contained in the component model.</p></li>
  	  </ul>
  	  
***************
*** 5118,5128 ****
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">BindingMessageReferenceRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">bindingMessageRefComps</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="zi">features</span><span class="zinfix">&sube;</span><span class="zi">featureIds</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">properties</span><span class="zinfix">&sube;</span><span class="zi">propertyIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>.</span></span></div>
  	  
  	  <ul>
! 	  <li><p>The Feature components of each Binding Message Reference component are contained in the component model.</p></li>
! 	  <li><p>The Property components of each Binding Message Reference component are contained in the component model.</p></li>
  	  </ul>
  	  
--- 5111,5120 ----
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">BindingMessageReferenceRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix">&forall;</span><span class="zi">BindingMessageReference</span> <span class="zinfix">|</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zprefix"><span class="zi">θ</span></span><span class="zi">BindingMessageReference</span><span class="zinfix">&isin;</span><span class="zi">bindingMessageRefComps</span> <span class="zinfix">&bull;</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbs;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">BaseRI</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>, <a href="#zed-BindingMessageReference">BindingMessageReference</a>, <a href="#zed-BaseRI">BaseRI</a>.</span></span></div>
  	  
  	  <ul>
! 	  <li><p>Every Binding Message Reference component satifies the base referential integrity constraints.</p></li>
  	  </ul>
  	  
***************
*** 5365,5377 ****
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">ServiceRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">serviceComps</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="zi">interface</span><span class="zinfix">&isin;</span><span class="zi">interfaceIds</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">endpoints</span><span class="zinfix">&sube;</span><span class="zi">endpointIds</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">features</span><span class="zinfix">&sube;</span><span class="zi">featureIds</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">properties</span><span class="zinfix">&sube;</span><span class="zi">propertyIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>.</span></span></div>
  	  
  	  <ul>
  	  <li><p>The Interface component of each Service component is contained in the component model.</p></li>
  	  <li><p>The Endpoint components of each Service component are contained in the component model.</p></li>
- 	  <li><p>The Feature components of each Service component are contained in the component model.</p></li>
- 	  <li><p>The Property components of each Service component are contained in the component model.</p></li>
  	  </ul>
  	  
--- 5357,5368 ----
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">ServiceRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix">&forall;</span><span class="zi">Service</span> <span class="zinfix">|</span><span class="zprefix"><span class="zi">θ</span></span><span class="zi">Service</span><span class="zinfix">&isin;</span><span class="zi">serviceComps</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">BaseRI</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">interface</span><span class="zinfix">&isin;</span><span class="zi">interfaceIds</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">endpoints</span><span class="zinfix">&sube;</span><span class="zi">endpointIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>, <a href="#zed-Service">Service</a>, <a href="#zed-BaseRI">BaseRI</a>.</span></span></div>
  	  
  	  <ul>
+ 	  <li><p>Every Service component satifies the base referential integrity constraints.</p></li>
  	  <li><p>The Interface component of each Service component is contained in the component model.</p></li>
  	  <li><p>The Endpoint components of each Service component are contained in the component model.</p></li>
  	  </ul>
  	  
***************
*** 5630,5638 ****
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">EndpointRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix">&forall;</span><span class="zi">x</span> <span class="zinfix">:</span> <span class="zi">endpointComps</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="zi">binding</span><span class="zinfix">&isin;</span><span class="zi">bindingIds</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&bsp;<span class="zi">x</span>.<span class="zi">features</span><span class="zinfix">&sube;</span><span class="zi">featureIds</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">x</span>.<span class="zi">properties</span><span class="zinfix">&sube;</span><span class="zi">propertyIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>.</span></span></div>
  	  
  	  <ul>
  	  <li><p>The Binding component of each Endpoint component is contained in the component model.</p></li>
  	  <li><p>The Feature components of each Endpoint component are contained in the component model.</p></li>
--- 5621,5630 ----
  	  </p>
  	  
! 	  <table class="zschema"><col class="zschema1"><col class="zschema2"><col class="zschema3"><tbody><tr><td colspan="2" class="zschemaname"><span class="zschemaname"><span class="zi">EndpointRI</span></span></td><td></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematext"><span class="zi">ComponentModel2</span></span></td></tr><tr><td class="bl"></td><td></td><td></td></tr><tr><td class="zschematext" colspan="3"><span class="zschematext"><span class="zprefix">&forall;</span><span class="zi">Endpoint</span> <span class="zinfix">|</span><span class="zprefix"><span class="zi">θ</span></span><span class="zi">Endpoint</span><span class="zinfix">&isin;</span><span class="zi">endpointComps</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">BaseRI</span><span class="zinfix">&and;</span></span></td></tr><tr><td class="zschemalasttext" colspan="3"><span class="zschematxt">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="zi">binding</span><span class="zinfix">&isin;</span><span class="zi">bindingIds</span></span></td></tr><tr><td class="bl"></td><td class="b"></td><td></td></tr></tbody></table>
  	  
! 	  <div class="zsee"><span class="zsmall">See<span class="zi"> <a href="#zed-ComponentModel2">ComponentModel2</a>, <a href="#zed-Endpoint">Endpoint</a>, <a href="#zed-BaseRI">BaseRI</a>.</span></span></div>
  	  
  	  <ul>
+ 	  <li><p>Every Service component satifies the base referential integrity constraints.</p></li>
  	  <li><p>The Binding component of each Endpoint component is contained in the component model.</p></li>
  	  <li><p>The Feature components of each Endpoint component are contained in the component model.</p></li>
***************
*** 5817,5821 ****
  	    <caption>Table 2-15. Mapping between Endpoint Component Properties and XML Representation</caption>
  		<col width="20%" span="1">
- 
    		<col width="80%" span="1">
  	    <tbody>
--- 5809,5812 ----

Received on Tuesday, 22 February 2005 02:30:25 UTC