[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]