RE: [wsbpel] Issue 200 - Proposal For Vote

["Dumas, Marlon" <marlon.dumas@sap.com>]

Indeed, control dependencies generated by structured activities must be taken into account in this rule.

The idea of using the notion of control dependencies here seems OK, but I think we should avoid the expression "all activities A have completed" since some of these activities might not be executed at all (and thus we cannot talk about the the activities being "completed").

Also, by the same token I suggest to document the reason why this rule is being introduced. So I propose a variation over Dieter's proposal:

"If, during the performance of structured activity S,
the semantics of S dictate that activity X nested within S
will not be performed as part of the behavior of S,
the status of all outgoing links from X is set to negative.
>>>
 In order to avoid violating control dependencies, this step 
 is performed only after all of X's incoming links and all 
 incoming links of any activity A upon which X has a control 
 dependency, have been determined.
<<<
An example >>> where this rule applies <<< is an activity within 
a branch that is not taken in a switch activity, or activities that 
were not completed in a scope in which processing was halted due to a
fault, including a bpws:joinFailure (see Scopes and Compensation
Handlers)."

[Note that I also slightly modified the beginning of the last sentence of the paragraph in order to maintain the articulation between sentences.]

Regards

marlon

-----Original Message-----
From: Dieter Koenig1
To: Satish Thatte
Cc: Assaf Arkin; Trickovic, Ivana; Dumas, Marlon; wsbpel@lists.oasis-open.org
Sent: 4/26/2005 9:30 AM
Subject: RE: [wsbpel] Issue 200 - Proposal For Vote

I agree, sequence is another case that must be considered.
How about using the control dependency relationship here:

"If, during the performance of structured activity S,
the semantics of S dictate that activity X nested within S
will not be performed as part of the behavior of S,
the status of all outgoing links from X is set to negative.
>>>
   This step is performed after all activities A have
   completed where X has a control dependency on A.
<<<
An example is an activity within a branch that is not taken
in a switch activity..."

Kind Regards
DK



 

             "Satish Thatte"

             <satisht@microsof

             t.com>
To 
                                       "Assaf Arkin"
<arkin@intalio.com>,  
             26.04.2005 07:22          "Trickovic, Ivana"

                                       <ivana.trickovic@sap.com>

 
cc 
                                       <wsbpel@lists.oasis-open.org>,

                                       "Dumas, Marlon"

                                       <marlon.dumas@sap.com>

 
Subject 
                                       RE: [wsbpel] Issue 200 - Proposal

                                       For Vote

 

 

 

 

 

 





This might not take care of all the wierd cases.  Suppose X is part of a
sequence that is in an else branch that will not be taken, but there is
a
link that comes into an activity that precedes X in the sequence.  Isn't
that also a similar example?

________________________________

From: Assaf Arkin [mailto:arkin@intalio.com]
Sent: Mon 4/25/2005 4:58 PM
To: Trickovic, Ivana
Cc: wsbpel@lists.oasis-open.org; Dumas, Marlon
Subject: Re: [wsbpel] Issue 200 - Proposal For Vote



+1

Assaf

Trickovic, Ivana wrote:

>I am resending Marlon's proposal:
>
>Replace the following paragraph in section 12.5.1 (Link Semantics) "If,
>during the performance of structured activity S, the semantics of S
>dictate
>that activity X nested within S will not be performed as part of the
>behavior of S, then the status of all outgoing links from X is set to
>negative. An example is an activity within a branch that is not taken
in
>a
>switch activity..."
>
>With the following one:
>"If, during the performance of structured activity S, the semantics of
S
>dictate that activity X nested within S will not be performed as part
of
>the behavior of S, then after all the incoming control links to X are
>determined, the status of all outgoing links from X is set to negative.
>An
>example is an activity within a branch that is not taken in a switch
>activity..."
>
>
>Kind regards,
>
>Ivana
>
>---------------------------------------------------------------------
>To unsubscribe from this mail list, you must leave the OASIS TC that
>generates this mail.  You may a link to this group and all your TCs in
OASIS
>at:
>https://www.oasis-open.org/apps/org/workgroup/portal/my_workgroups.php
>
>
>
>




---------------------------------------------------------------------
To unsubscribe from this mail list, you must leave the OASIS TC that
generates this mail.  You may a link to this group and all your TCs in
OASIS
at:
https://www.oasis-open.org/apps/org/workgroup/portal/my_workgroups.php