- From: Hugo Haas via cvs-syncmail <cvsmail@w3.org>
- Date: Mon, 27 Mar 2006 18:03:08 +0000
- To: public-ws-desc-eds@w3.org
Update of /sources/public/2002/ws/desc/wsdl20
In directory homer:/tmp/cvs-serv7391
Modified Files:
adjuncts-assertion-summary.xml Makefile.adjuncts Makefile.base
wsdl20-adjuncts.xml
Added Files:
adjuncts-exchange-assertion-table.xml
Log Message:
Added assertions about message exchange
--- NEW FILE: adjuncts-exchange-assertion-table.xml ---
<?xml version="1.0" encoding="UTF-8"?>
<tbody>
<tr>
<th>Id</th>
<th>Assertion</th>
</tr>
<tr>
<td>
<assert-summary ref="FaultDelivery-2200202"/>
</td>
<td>The fault message MUST be delivered to the same target node as the
message it replaces, unless otherwise specified by an extension or
binding extension. If there is no path to this node, the fault MUST
be discarded.</td>
</tr>
<tr>
<td>
<assert-summary ref="FaultDelivery-2200302"/>
</td>
<td>The fault message MUST be delivered to the originator of the
triggering message, unless otherwise specified by an extension of
binding extension. Any node MAY propagate a fault message, and MUST
not do so more than once for each triggering message. If there is no
path to the originator, the fault MUST be discarded.</td>
</tr>
<tr>
<td>
<assert-summary ref="FaultPropagation-2200101"/>
</td>
<td>Nodes which generate a fault MUST attempt to propagate the faults in
accordance with the governing ruleset, but it is understood that any
delivery of a network message is best effort, not guaranteed.</td>
</tr>
<tr>
<td>
<assert-summary ref="FaultPropagation-2200102"/>
</td>
<td>When a fault is generated, the generating node MUST attempt to
propagate the fault, and MUST do so in the direction and to the
recipient specified by the ruleset.</td>
</tr>
<tr>
<td>
<assert-summary ref="FaultReplacesMessage-2200201"/>
</td>
<td>
Any message after the first in the pattern MAY be replaced with
a fault message, which MUST have identical direction.
</td>
</tr>
<tr>
<td>
<assert-summary ref="InOnlyFaults-2200502"/>
</td>
<td>This pattern uses the rule <specref ref="no-fault"/>.</td>
</tr>
<tr>
<td>
<assert-summary ref="InOptOutFaults-2200802"/>
</td>
<td>This pattern uses the rule <specref ref="fault-trigger"/>.</td>
</tr>
<tr>
<td>
<assert-summary ref="InOutFaults-2200702"/>
</td>
<td>This pattern uses the rule <specref ref="fault-replacement"/>.</td>
</tr>
<tr>
<td>
<assert-summary ref="MEPDescriptiveness-2200001"/>
</td>
<td>by some prior agreement, another node and/or the
service MAY send other messages (to each other or to other nodes) that
are not described by the pattern.</td>
</tr>
<tr>
<td>
<assert-summary ref="MEPTermination-2200104"/>
</td>
<td>Generation of a fault, regardless of
ruleset, terminates the exchange.</td>
</tr>
<tr>
<td>
<assert-summary ref="MessageTriggersFault-2200301"/>
</td>
<td>
Any message, including the first in the pattern, MAY trigger a
fault message, which MUST have opposite direction.
</td>
</tr>
<tr>
<td>
<assert-summary ref="NoFaults-2200401"/>
</td>
<td>
Faults MUST NOT be propagated.
</td>
</tr>
<tr>
<td>
<assert-summary ref="NodeIdentity-2200000"/>
</td>
<td>A
node MAY be accessible via more than one physical address or transport.</td>
</tr>
<tr>
<td>
<assert-summary ref="OutInFaults-2201102"/>
</td>
<td>This pattern uses the rule <specref ref="fault-replacement"/>.</td>
</tr>
<tr>
<td>
<assert-summary ref="OutOnlyFaults-2200902"/>
</td>
<td>This pattern uses the rule <specref ref="no-fault"/>.</td>
</tr>
<tr>
<td>
<assert-summary ref="OutOptInFaults-2201202"/>
</td>
<td>This pattern uses the rule <specref ref="fault-trigger"/>.</td>
</tr>
<tr>
<td>
<assert-summary ref="RobustInOnlyFaults-2200602"/>
</td>
<td>This pattern uses the rule <specref ref="fault-trigger"/>.</td>
</tr>
<tr>
<td>
<assert-summary ref="RobustOutOnlyFaults-2201002"/>
</td>
<td>This pattern uses the rule <specref ref="fault-trigger"/>.</td>
</tr>
</tbody>
Index: Makefile.adjuncts
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/Makefile.adjuncts,v
retrieving revision 1.10
retrieving revision 1.11
diff -C2 -d -r1.10 -r1.11
*** Makefile.adjuncts 9 Mar 2006 11:41:32 -0000 1.10
--- Makefile.adjuncts 27 Mar 2006 18:03:06 -0000 1.11
***************
*** 18,22 ****
xmlspec-wsdl.xsl
! ASSERTIONS=adjuncts-component-assertion-table.xml adjuncts-document-assertion-table.xml
include Makefile.base
--- 18,22 ----
xmlspec-wsdl.xsl
! ASSERTIONS=adjuncts-component-assertion-table.xml adjuncts-document-assertion-table.xml adjuncts-exchange-assertion-table.xml
include Makefile.base
Index: Makefile.base
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/Makefile.base,v
retrieving revision 1.100
retrieving revision 1.101
diff -C2 -d -r1.100 -r1.101
*** Makefile.base 23 Mar 2006 12:54:00 -0000 1.100
--- Makefile.base 27 Mar 2006 18:03:06 -0000 1.101
***************
*** 85,88 ****
--- 85,92 ----
$(XSLTPROC) --stringparam class document $(ATABLEXSL) $< > $@
+ adjuncts-exchange-assertion-table.xml: wsdl20-adjuncts.xml
+ @echo "Generating $@";\
+ $(XSLTPROC) --stringparam class exchange $(ATABLEXSL) $< > $@
+
wsdl20-defs.xml: wsdl20.xml wsdl20-adjuncts.xml wsdl20-specs.xml $(ENTITIES)
@echo "Validating wsdl20-specs.xml";\
Index: wsdl20-adjuncts.xml
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/wsdl20-adjuncts.xml,v
retrieving revision 1.159
retrieving revision 1.160
diff -C2 -d -r1.159 -r1.160
*** wsdl20-adjuncts.xml 22 Mar 2006 18:26:00 -0000 1.159
--- wsdl20-adjuncts.xml 27 Mar 2006 18:03:06 -0000 1.160
***************
*** 8,11 ****
--- 8,12 ----
<!ENTITY component-assertion-table SYSTEM "adjuncts-component-assertion-table.xml">
<!ENTITY document-assertion-table SYSTEM "adjuncts-document-assertion-table.xml">
+ <!ENTITY exchange-assertion-table SYSTEM "adjuncts-exchange-assertion-table.xml">
<!ENTITY assertion-summary SYSTEM "adjuncts-assertion-summary.xml">
<!ENTITY extra-ack "<p>Previous editors of this document were:
Index: adjuncts-assertion-summary.xml
===================================================================
RCS file: /sources/public/2002/ws/desc/wsdl20/adjuncts-assertion-summary.xml,v
retrieving revision 1.1
retrieving revision 1.2
diff -C2 -d -r1.1 -r1.2
*** adjuncts-assertion-summary.xml 18 Nov 2005 20:16:29 -0000 1.1
--- adjuncts-assertion-summary.xml 27 Mar 2006 18:03:06 -0000 1.2
***************
*** 26,28 ****
--- 26,37 ----
</table>
+ <table width="100%" id="component-assertion-summary" border="1">
+ <caption>
+ Summary of Assertions about message exchanges
+ </caption>
+ <col width="20%" />
+ <col width="80%" />
+ &exchange-assertion-table;
+ </table>
+
</inform-div1>
\ No newline at end of file
Received on Monday, 27 March 2006 18:03:21 UTC