RE: [sca-bpel] ISSUE 61: Need to deal with variable initializationnot being idempotent

http://www.osoa.org/jira/browse/BPEL-61

 

From: Danny van der Rijn
[mailto:] 

Sent: Thursday, November 05, 2009 1:47 PM

To: 

Subject: [sca-bpel] NEW ISSUE: Title: Need to deal with variable
initialization not being idempotent

 

TARGET: SCA C+I WS-BPEL spec,
General

DESCRIPTION: 

  

WS-BPEL section 8.1 contains the following requirement:

[SA00026]
Variable initialization logic contained in scopes that contain or whose
children contain a start activity MUST only use idempotent functions in the
from-spec. The use of idempotent functions allows for all the values for such
variables to be pre-computed and re-used on each process instance.

SCA-BPEL 3.2 (CD02-rev4) has the following new text

Variable
(sic) with “sca-bpel:multiReference” extension is initialized by sca runtime
using an implicit <from-spec> that uses an expression that  points
to a virtual sca runtime variable holding a list of endpoint references for the
targets of the multi-reference represented by a partner link referencing this
variable.  

Which
is in conflict with WS-BPEL SA00026.  Similarly, but not as precisely,
SCA-BPEL 3.1 describes how properties are initialized, and that section runs
afoul of the same statement.

PROPOSAL: none