- From: Arthur Ryman <aryman@dev.w3.org>
- Date: Wed, 13 Oct 2004 17:59:33 +0000
- To: public-ws-desc-eds@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