RE: [wsbpel] Issue - 37 - Initiating Correlation Set More Than Once

From
Satish Thatte <>
Date
2003-08-11T19:38:38+00:00
ID
Thread
RE: [wsbpel] Issue - 37 - Initiating Correlation Set More Than Once
Question:
What will happen if a correlation set is initiated more than once during the
lifetime of the corresponding scope? 

The
intent of the original authors was

A.
bpws:correlationViolation fault is always thrown -- for executable processes and
the situation is marked as “undefined” for abstract processes.

The other
two alternatives each mask a modeling error with “reasonable”
interpretations:   

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. 

 

Satish

 

From: ws-bpel issues
list editor [mailto:] 

Sent: Friday, July 11, 2003 9:55 AM

To: 

Subject: [wsbpel] 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. 

---------------------------------------------------------------------
To unsubscribe, e-mail: 
For additional commands, e-mail: