Hi Danny, I meant *any* join condition, either implicit or explicit.
This applies to *every* activity, either with one or with more
incoming links. This is also how I read the spec:
"(...) propagating negative link status transitively along
entire paths formed by consecutive links until a join condition
is reached that evaluates to true."
"Every activity that is the target of a link has an implicit or
explicit “join condition” associated with it. This applies even
when an activity has exactly one incoming link"
"If the explicit join condition is missing, the implicit
condition requires the status of at least one incoming link
to be positive"
Maybe I am still missing the point, but with these three
statements in the spec, I see no more room for interpretation.
Kind Regards
DK
Danny van der
Rijn
< To
> Dieter Koenig1/Germany/IBM@IBMDE
cc
27.01.2005 19:51 ,
Subject
Re: [wsbpel] Dead Path Elimination
and Join Conditions
Do you mean that DPE always ends at "an explicit join condition"? Every
activity in a flow has at least an implicit join condition. While I
agree that an implementation can do what you describe, the especially
pathological case that I describe doesn't even meet the (implied)
semantics of the word "join," since there is only one control path. I
am bothered more by the ability to create extremely confusing semantics
than by any non-implementability.
Danny
Dieter Koenig1 wrote:
