OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.

 


Help: OASIS Mailing Lists Help | MarkMail Help

wsbpel message

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]


Subject: Issue - 123 - Matching <reply> with <receive>


This issue has been added to the wsbpel issue list. The issues list is posted as a Technical Committee document to the OASIS WSBPEL TC pages on a regular basis. The current edition, as a TC document, is the most recent document with the title in the "Issues" folder of the WSBPEL TC document list - the next posting will include this issue. The list editor's working copy, which will normally include an issue when it is announced, is available at this constant URL.

Issue - 123 - Matching <reply> with <receive>

Status: open
Categories: Correlation
Date added: 18 May 2004
Submitter: Yuzo Fujishima
Date submitted: 18 May 2004
Champion: Yuzo Fujishima <fujishima@bc.jp.nec.com>
Document: WSBPEL Working Draft, April 23, 2004
Description:

The rule of matching a reply activity with a receive activity is not clearly defined in the current specification.

Discussion:

The current specification is not defined clearly enough to answer the following questions.

[Q1] Must <reply> always specify all the correlation sets specified by the corresponding <receive>?

For example, if there are two <receive>'s outstanding as follows,

    receive name="rec1" partnerLink="pl" portType="pt" operation="op"
      correlation set="cs1" initiate="no"
      correlation set="cs2" initiate="no"
      correlation set="cs3" initiate="yes"
      correlation set="cs4" initiate="yes"

receive name="rec2" partnerLink="pl" portType="pt" operation="op" correlation set="cs1" initiate="no" correlation set="cs2" initiate="no" correlation set="cs5" initiate="yes" correlation set="cs6" initiate="yes"

Must a <reply> specify all of the corresponding <receive>'s CS's? That is, for rec1,

    reply name="rep1" partnerLink="pl" portType="pt" operation="op"
      correlation set="cs1" initiate="no"
      correlation set="cs2" initiate="no"
      correlation set="cs3" initiate="no"
      correlation set="cs4" initiate="no"

Or only as many as necessary to disambiguate the matching?

    reply name="rep1" partnerLink="pl" portType="pt" operation="op"
      correlation set="cs3" initiate="no"

[Q2] Does it follow that if a <receive> specify a correlation set, the corresponding reply can only send a message that contains the correlation set?

If it does, then the rule seems to be too restrictive. For example, the following process will be illegal.

  1. receive a Purchase Order and initialize correlation set CS-PO.
  2. synchronously reply with an acknowledge message not containing CS-PO. <- Illegal
  3. receive and/or invoke using CS-PO to perform the rest of the PO process.

Links: Yuzo Fujishima, 13 May 2004     Satish Thatte, 13 May 2004     Ugo Corda, 13 May 2004     Eckenfels. Bernd, 17 May 2004     Satish Thatte, 17 May 2004
Changes: 18 May 2004 - new issue

To comment on this issue, please follow-up to this announcement on the wsbpel@lists.oasis-open.org list (replying to this message should automatically send your message to that list), or ensure the subject line as you send it starts "Issue - 123 - [anything]" or is a reply to such a message. If you want to formally propose a resolution, please start the subject line "Issue - 123 - Proposed resolution", without any Re: or similar.

To add a new issue, see the issues procedures document (but the address for new issue submission is the sender of this announcement).



[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]