- From: Arthur Ryman via cvs-syncmail <cvsmail@w3.org>
- Date: Mon, 18 Apr 2005 20:53:36 +0000
- To: public-ws-desc-eds@w3.org
Update of /sources/public/2002/ws/desc/wsdl20
In directory hutz:/tmp/cvs-serv13995
Modified Files:
wsdl20.xml wsdl20.tex
Log Message:
[LC6a] Updated Z Notation to reflect renaming of {name} to {uri} in Features and Properties.
Index: wsdl20.tex
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.tex,v
retrieving revision 1.37
retrieving revision 1.38
diff -C2 -d -r1.37 -r1.38
*** wsdl20.tex 17 Apr 2005 23:13:53 -0000 1.37
--- wsdl20.tex 18 Apr 2005 20:53:34 -0000 1.38
***************
*** 157,161 ****
optional to the client. But it needs to be supported by the Web service.
! A WSDL 2.0 interface describes potential interaction with a service -not
required interaction. The declaration of an operation in a WSDL
interface is not an assertion that the interaction described by the
--- 157,161 ----
optional to the client. But it needs to be supported by the Web service.
! A WSDL 2.0 interface describes potential interaction with a service--not
required interaction. The declaration of an operation in a WSDL
interface is not an assertion that the interaction described by the
***************
*** 1797,1805 ****
\forall c : interfaceComps; x, y : featureComps | \\
\t1 x.id \in c.features \land y.id \in c.features @ \\
! \t2 x.name = y.name \implies x = y
\also
\forall c : interfaceComps; x, y : propertyComps | \\
\t1 x.id \in c.properties \land y.id \in c.properties @ \\
! \t2 x.name = y.name \implies x = y
\end{schema}
--- 1797,1805 ----
\forall c : interfaceComps; x, y : featureComps | \\
\t1 x.id \in c.features \land y.id \in c.features @ \\
! \t2 x.uri = y.uri \implies x = y
\also
\forall c : interfaceComps; x, y : propertyComps | \\
\t1 x.id \in c.properties \land y.id \in c.properties @ \\
! \t2 x.uri = y.uri \implies x = y
\end{schema}
***************
*** 3588,3591 ****
--- 3588,3592 ----
The type of the \texttt{messageLabel} \textit{attribute information item} is
\textit{xs:NCName}.
+
***************
*** 3743,3747 ****
\begin{schema}{Feature}
Identifier \\
! name : AbsoluteURI \\
required : Boolean
\end{schema}
--- 3744,3748 ----
\begin{schema}{Feature}
Identifier \\
! uri : AbsoluteURI \\
required : Boolean
\end{schema}
***************
*** 4195,4199 ****
\begin{schema}{Property}
Identifier \\
! name : AbsoluteURI \\
required : Boolean \\
valueConstraint : OPTIONAL[ValueConstraint] \\
--- 4196,4200 ----
\begin{schema}{Property}
Identifier \\
! uri : AbsoluteURI \\
required : Boolean \\
valueConstraint : OPTIONAL[ValueConstraint] \\
***************
*** 7407,7411 ****
The WSDL \texttt{include} \textit{element information item} allows for the separation of
! different components of a service definition, belonging the same target
namespace, into independent WSDL documents which can be merged as
needed.
--- 7408,7412 ----
The WSDL \texttt{include} \textit{element information item} allows for the separation of
! different components of a service definition, belonging to the same target
namespace, into independent WSDL documents which can be merged as
needed.
***************
*** 7814,7817 ****
--- 7815,7819 ----
attached. Thus, the meaning of the element may not be fully
understood without understanding the attached extension.
+
A NON-mandatory extension, on the other hand, can be safely ignored
without danger of misunderstanding the rest of the WSDL document.
***************
*** 8024,8028 ****
An \textit{element information item} whose namespace name is {\tt "http://www.w3.org/@@@@/@@/wsdl"} and
whose local part is \texttt{description} conforms to this
! specification if it is valid acoording to the XML Schema for that
element as defined by this specification (\href{http://www.w3.org/@@@@/@@/wsdl/wsdl20.xsd}{http://www.w3.org/@@@@/@@/wsdl/wsdl20.xsd}) and
additionally adheres to all the constraints contained in this
--- 8026,8030 ----
An \textit{element information item} whose namespace name is {\tt "http://www.w3.org/@@@@/@@/wsdl"} and
whose local part is \texttt{description} conforms to this
! specification if it is valid according to the XML Schema for that
element as defined by this specification (\href{http://www.w3.org/@@@@/@@/wsdl/wsdl20.xsd}{http://www.w3.org/@@@@/@@/wsdl/wsdl20.xsd}) and
additionally adheres to all the constraints contained in this
***************
*** 8566,8569 ****
--- 8568,8572 ----
\item[Optional parameters:]
+
\begin{description}
Index: wsdl20.xml
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.xml,v
retrieving revision 1.210
retrieving revision 1.211
diff -C2 -d -r1.210 -r1.211
*** wsdl20.xml 18 Apr 2005 19:49:13 -0000 1.210
--- wsdl20.xml 18 Apr 2005 20:53:34 -0000 1.211
***************
*** 1772,1780 ****
<forall/> c : interfaceComps; x, y : featureComps | <nl/>
<t1/> x.id <in/> c.features <land/> y.id <in/> c.features @ <nl/>
! <t2/> x.name = y.name <implies/> x = y
<also/>
<forall/> c : interfaceComps; x, y : propertyComps | <nl/>
<t1/> x.id <in/> c.properties <land/> y.id <in/> c.properties @ <nl/>
! <t2/> x.name = y.name <implies/> x = y
</schema>
--- 1772,1780 ----
<forall/> c : interfaceComps; x, y : featureComps | <nl/>
<t1/> x.id <in/> c.features <land/> y.id <in/> c.features @ <nl/>
! <t2/> x.uri = y.uri <implies/> x = y
<also/>
<forall/> c : interfaceComps; x, y : propertyComps | <nl/>
<t1/> x.id <in/> c.properties <land/> y.id <in/> c.properties @ <nl/>
! <t2/> x.uri = y.uri <implies/> x = y
</schema>
***************
*** 3689,3693 ****
<schema xmlns="http://www.w3.org/2004/zml" name="Feature">
Identifier <nl/>
! name : AbsoluteURI <nl/>
required : Boolean
</schema>
--- 3689,3693 ----
<schema xmlns="http://www.w3.org/2004/zml" name="Feature">
Identifier <nl/>
! uri : AbsoluteURI <nl/>
required : Boolean
</schema>
***************
*** 4129,4133 ****
<schema xmlns="http://www.w3.org/2004/zml" name="Property">
Identifier <nl/>
! name : AbsoluteURI <nl/>
required : Boolean <nl/>
valueConstraint : OPTIONAL[ValueConstraint] <nl/>
--- 4129,4133 ----
<schema xmlns="http://www.w3.org/2004/zml" name="Property">
Identifier <nl/>
! uri : AbsoluteURI <nl/>
required : Boolean <nl/>
valueConstraint : OPTIONAL[ValueConstraint] <nl/>
Received on Monday, 18 April 2005 20:53:36 UTC