- 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
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