- From: Arthur Ryman via cvs-syncmail <cvsmail@w3.org>
- Date: Wed, 18 May 2005 21:40:49 +0000
- To: public-ws-desc-eds@w3.org
Update of /sources/public/2002/ws/desc/wsdl20
In directory hutz:/tmp/cvs-serv24967/wsdl20
Modified Files:
wsdl20.xml wsdl20.tex
Log Message:
Added integrity constraints to the Z notation.
Index: wsdl20.tex
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.tex,v
retrieving revision 1.47
retrieving revision 1.48
diff -C2 -d -r1.47 -r1.48
*** wsdl20.tex 18 May 2005 21:30:51 -0000 1.47
--- wsdl20.tex 18 May 2005 21:40:47 -0000 1.48
***************
*** 5406,5410 ****
\begin{schema}{BindingFault}
NestedBase \\
! faultReference : ID
\end{schema}
--- 5406,5410 ----
\begin{schema}{BindingFault}
NestedBase \\
! interfaceFault : ID
\end{schema}
***************
*** 5428,5432 ****
\forall BindingFault | \theta BindingFault \in bindingFaultComps @ \\
\t1 NestedBaseRI \land \\
! \t1 faultReference \in interfaceFaultIds
\end{schema}
--- 5428,5432 ----
\forall BindingFault | \theta BindingFault \in bindingFaultComps @ \\
\t1 NestedBaseRI \land \\
! \t1 interfaceFault \in interfaceFaultIds
\end{schema}
***************
*** 5439,5442 ****
--- 5439,5483 ----
+
+ \hypertarget{zed-BindingFaultOK}{}
+
+
+
+ A Binding Fault component MUST refer to an Interface
+ Fault component that is available in the Interface
+ component associated with the Binding component. An Interface
+ Fault component is available if it is contained in the
+ Interface component or is available in an extended Interface
+ component.
+
+
+ Let $BindingFaultOK$ express this contraint on Binding Fault components:
+
+ \begin{schema}{BindingFaultOK}
+ ComponentModel2
+ \where
+ \forall bf : bindingFaultComps; \\
+ \t1 b : bindingComps; \\
+ \t1 i : interfaceComps | \\
+ \t1 bf.parent = b.id \land \\
+ \t1 b.interface = \{i.id\} @ \\
+ \t1 bf.interfaceFault \in i.allInterfaceFaults
+ \end{schema}
+
+ \begin{quote}\begin{small}See\begin{itshape} \hyperlink{zed-ComponentModel2}{ComponentModel2}.\end{itshape}\end{small}\end{quote}
+
+ \begin{itemize}
+ \item
+
+ Each Binding Fault component MUST refer to an
+ Interface Fault component that is available in the
+ Interface component that is associated with its parent
+ Binding component.
+
+
+ \end{itemize}
+
+
+
For each Binding Fault component in the \{binding faults\} property of
***************
*** 10111,10115 ****
20050518&
AGR&
! Added parent constraints to Z notation.
\\ \hline
--- 10152,10156 ----
20050518&
AGR&
! Added parent and integrity constraints to the Z notation.
\\ \hline
Index: wsdl20.xml
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.xml,v
retrieving revision 1.262
retrieving revision 1.263
diff -C2 -d -r1.262 -r1.263
*** wsdl20.xml 18 May 2005 21:30:51 -0000 1.262
--- wsdl20.xml 18 May 2005 21:40:47 -0000 1.263
***************
*** 5326,5330 ****
<schema xmlns="http://www.w3.org/2004/zml" name="BindingFault">
NestedBase <nl/>
! faultReference : ID
</schema>
--- 5326,5330 ----
<schema xmlns="http://www.w3.org/2004/zml" name="BindingFault">
NestedBase <nl/>
! interfaceFault : ID
</schema>
***************
*** 5347,5351 ****
<forall/> BindingFault | <theta/>BindingFault <in/> bindingFaultComps @ <nl/>
<t1/> NestedBaseRI <land/> <nl/>
! <t1/> faultReference <in/> interfaceFaultIds
</schema>
--- 5347,5351 ----
<forall/> BindingFault | <theta/>BindingFault <in/> bindingFaultComps @ <nl/>
<t1/> NestedBaseRI <land/> <nl/>
! <t1/> interfaceFault <in/> interfaceFaultIds
</schema>
***************
*** 5358,5361 ****
--- 5358,5401 ----
</z:notation>
+
+ <z:notation name="BindingFaultOK">
+
+ <p>
+ A Binding Fault component MUST refer to an Interface
+ Fault component that is available in the Interface
+ component associated with the Binding component. An Interface
+ Fault component is available if it is contained in the
+ Interface component or is available in an extended Interface
+ component.
+ </p>
+
+ <p>Let <z:i>BindingFaultOK</z:i> express this contraint on Binding Fault components:</p>
+
+ <schema xmlns="http://www.w3.org/2004/zml" name="BindingFaultOK">
+ ComponentModel2
+ <where/>
+ <forall/> bf : bindingFaultComps; <nl/>
+ <t1/> b : bindingComps; <nl/>
+ <t1/> i : interfaceComps | <nl/>
+ <t1/> bf.parent = b.id <land/> <nl/>
+ <t1/> b.interface = {i.id} @ <nl/>
+ <t1/> bf.interfaceFault <in/> i.allInterfaceFaults
+ </schema>
+
+ <z:see names="ComponentModel2"/>
+
+ <ulist>
+ <item>
+ <p>
+ Each Binding Fault component MUST refer to an
+ Interface Fault component that is available in the
+ Interface component that is associated with its parent
+ Binding component.
+ </p>
+ </item>
+ </ulist>
+
+ </z:notation>
+
<p> For each Binding Fault component in the {binding faults} property of
Received on Wednesday, 18 May 2005 21:43:03 UTC