New wording for issue 200

[Dieter Koenig1 <dieterkoenig@de.ibm.com>]

Put the last sentence to the end of 12.5 (i.e. last paragraph before
12.5.1):
"It is illegal for a link to have an activity as a target if the source
of the link is an ancestor of the target of the link."

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 two paragraphs without the last sentence below, i.e.:

"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 after all activities A have completed where X has
a control dependency on A.

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)."

Kind Regards
DK



                                                                           
             "Trickovic,                                                   
             Ivana"                                                        
             <ivana.trickovic@                                          To 
             sap.com>                  Dieter Koenig1/Germany/IBM@IBMDE    
                                                                        cc 
             02.06.2005 00:55          <satisht@microsoft.com>             
                                                                   Subject 
                                       New wording for issue 200 - does it 
                                       work                                
                                                                           
                                                                           
                                                                           
                                                                           
                                                                           
                                                                           





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 after all activities A have completed where X has
a control dependency on A.

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).
It is illegal to have control links which source is a structured
activity and the target one of its child activities.