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

2002/ws/desc/wsdl20 wsdl20.xml,1.269,1.270

From: Arthur Ryman via cvs-syncmail <cvsmail@w3.org>
Date: Mon, 23 May 2005 21:17:36 +0000
To: public-ws-desc-eds@w3.org
Message-Id: <E1DaKIq-0000S9-2o@lionel-hutz.w3.org>

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

Modified Files:
	wsdl20.xml 
Log Message:
Refined Z Notation.

Index: wsdl20.xml
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.xml,v
retrieving revision 1.269
retrieving revision 1.270
diff -C2 -d -r1.269 -r1.270
*** wsdl20.xml	23 May 2005 16:22:20 -0000	1.269
--- wsdl20.xml	23 May 2005 21:17:33 -0000	1.270
***************
*** 685,688 ****
--- 685,709 ----
    </ulist>
    
+    </z:notation>
+    
+    <z:notation name="IdentifierValid">
+    
+    	<p>An identifier is valid if it is the identifier of a component in the component model.</p>
+    	
+    	<p>Let <z:i>IdentifierValid</z:i> express this validity constraint:</p>
[...1111 lines suppressed...]
! 	  		express this constraint:
  	  	</p>
  
! 	  	<schema xmlns="http://www.w3.org/2004/zml" name="EndpointOK">
  	  		ComponentModel2
  	  	<where />
--- 7697,7709 ----
  	  </p>
  	  
! 	  <z:notation name="EndpointConsistent">
  	  
  	  	<p>
  	  		Let
! 	  		<z:i>EndpointConsistent</z:i>
! 	  		express this consistency constraint:
  	  	</p>
  
! 	  	<schema xmlns="http://www.w3.org/2004/zml" name="EndpointConsistent">
  	  		ComponentModel2
  	  	<where />
Received on Monday, 23 May 2005 21:17:38 UTC

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