W3C home > Mailing lists > Public > public-ws-desc-eds@w3.org > October 2004

2002/ws/desc/wsdl20 wsdl20.xml,1.136,1.137

From: Arthur Ryman <aryman@dev.w3.org>
Date: Wed, 13 Oct 2004 17:59:33 +0000
To: public-ws-desc-eds@w3.org
Message-ID: <E1CHnPS-0003Yf-1F@lionel-hutz.w3.org>

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

Modified Files:
	wsdl20.xml 
Log Message:
Added Z notation for Definitions. 

Index: wsdl20.xml
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20.xml,v
retrieving revision 1.136
retrieving revision 1.137
diff -C2 -d -r1.136 -r1.137
*** wsdl20.xml	1 Oct 2004 03:04:38 -0000	1.136
--- wsdl20.xml	13 Oct 2004 17:59:31 -0000	1.137
***************
*** 11,15 ****
  ]>
  
! <spec w3c-doctype="wd" role="&document.role;">
  
  <header>
--- 11,15 ----
  ]>
  
! <spec w3c-doctype="wd" role="&document.role;" xmlns:z="http://www.w3.org/2004/zml">
  
  <header>
***************
*** 414,417 ****
--- 414,428 ----
  	  </ulist>
  
+ <z:notation name="DefinitionsComponent">	
+ <p>The properties of the Definitions component are described by <z:i>DefinitionsComponent</z:i>:</p>
+ <schema xmlns="http://www.w3.org/2004/zml" name="DefinitionsComponent">
+ 	interfaces : <finset/> InterfaceComponent <nl/>
+ 	bindings : <finset/> BindingComponent <nl/>
+ 	services : <finset/> ServiceComponent <nl/>
+ 	elementDeclarations : <finset/> ElementDeclarationComponent <nl/>
+ 	typeDefinitions : <finset/> TypeDefinitionComponent
+ </schema>
+ </z:notation>
+ 
         <p>The set of interfaces/binding/services/etc. available in the
         Definitions component include those that are defined within the
***************
*** 457,460 ****
--- 468,501 ----
         space of those components in a given target namespace.</p>
  
+ <z:notation name="DefinitionsComponent1">
+        <p>The QName uniqueness constraint on components is expressed
+        by <z:i>DefinitionsComponent1</z:i>:</p>
+ <schema xmlns="http://www.w3.org/2004/zml" name="DefinitionsComponent1">
+ 	DefinitionsComponent
+ <where/>
+ 	<forall/> x, y : interfaces @ <nl/>
+ 	<t1/>	x.qName = y.qName <implies/> x = y
+ <also/>
+ 	<forall/> x, y : bindings @ <nl/>
+ 	<t1/>	x.qName = y.qName <implies/> x = y
+ <also/>
+ 	<forall/> x, y : services @ <nl/>
+ 	<t1/>	x.qName = y.qName <implies/> x = y
+ <also/>
+ 	<forall/> x, y : elementDeclarations @ <nl/>
+ 	<t1/>	x.qName = y.qName <implies/> x = y
+ <also/>
+ 	<forall/> x, y : typeDefinitions @ <nl/>
+ 	<t1/>	x.qName = y.qName <implies/> x = y
+ </schema>
+ <ulist>
+ <item><p>No two interfaces have the same QName.</p></item>
+ <item><p>No two bindings have the same QName.</p></item>
+ <item><p>No two services have the same QName.</p></item>
+ <item><p>No two element declarations have the same QName.</p></item>
+ <item><p>No two type definitions have the same QName.</p></item>
+ </ulist>
+ </z:notation>
+ 
         <p>In addition to WSDL components and type system
         components, additional extension components MAY be added via
Received on Wednesday, 13 October 2004 17:59:34 UTC

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