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

[Michael Rowley <michael.rowley@activevos.com>]

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

 

From: Danny van der Rijn [mailto:dannyv@tibco.com]
Sent: Thursday, November 05, 2009 1:47 PM
To: sca-bpel@lists.oasis-open.org
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