W3C home > Mailing lists > Public > public-ws-desc-eds@w3.org > March 2006

2002/ws/desc/wsdl20 adjuncts-exchange-assertion-table.xml,NONE,1.1 adjuncts-assertion-summary.xml,1.1,1.2 Makefile.adjuncts,1.10,1.11 Makefile.base,1.100,1.101 wsdl20-adjuncts.xml,1.159,1.160

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
Message-Id: <20060327180308.BC82B4EFDE@homer.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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 27 March 2006 18:03:21 GMT