Issue - 37 - Initiating Correlation Set More Than Once

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 wsbpel_issues_list.html 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 - 37 - Initiating Correlation Set More Than Once
Status: open

Date added: 11 Jul 2003

Submitter: Yuzo Fujishima

Date submitted: 11 July 2003

Document: BPEL 1.1 Specification

Description: 

What will happen if a correlation set is initiated more than once during the lifetime

of the corresponding scope?

Quote from 10.2 Defining and Using Correlation Sets:

  After a correlation set is initiated, the values of the

  properties for a correlation set must be identical for all the

  messages in all the operations that carry the correlation set

  and occur within the corresponding scope until its completion.

Candidates are:

A. bpws:correlationViolation fault is always thrown.

B. bpws:correlationViolation fault is thrown only if the new

   property values are different from the old ones.

C. The old property values remain valid and no fault is thrown.

   The new property values are ignored.

Changes: 11 Jul 2003 - new issue

To comment on this issue, please follow-up to this announcement on the 
 list (replying to this message should automatically send your message to that list), or ensure
the subject line as you send it starts "Issue - 37 - [anything]".

To add a new issue, see the issues procedures document.