W3C home > Mailing lists > Public > public-ws-desc-eds@w3.org > April 2005

2002/ws/desc/wsdl20 wsdl20.xml,1.210,1.211 wsdl20.tex,1.37,1.38

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
Message-Id: <E1DNdFQ-0003dr-Fi@lionel-hutz.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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:31:34 UTC