[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]
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
[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]