← Prev in month ← Prev in thread
Next in thread → Next in month →

Question on editing of 234

From
Danny van der Rijn <>
Date
2006-03-07T21:32:07+00:00
ID
Thread
Question on editing of 234
The resolution has:

  
The last paragraph before 12.6.1 (now
11.6.1) where a fault-handler is mentioned, the words "or a
termination handler" should be added. 

  
in the same paragraph add a sentance: In the case of
termination handler, the scope of target activity MUST not be the
parent scope of the scope associated with the termination handler.
  

#4 seems to me to be unneccessary, since the paragraph has this:

A link is said to cross the
boundary of a syntactic construct if the source or target activity for
the link
is nested within the construct while the link is declared outside the
construct. Note that it is possible for a link to cross the boundary of
a
syntactic construct even in those cases where both the source and the
target
activities are nested within the same construct (so long as the link is
declared outside that construct).A link MUST NOT cross the boundary of
a while
or forEach activity, an event handler or a compensation handler (see Scopes for the specification of event,
fault and
compensation handlers). In addition, a link that
crosses a fault-handler or
termination-handler boundary MUST be outbound, that is, it MUST have
its source
activity within the fault handler and its target activity outside of
the scope
associated with the handler. Finally, a link MUST NOT create a
control cycle,
that is, the source activity must not have the target activity as a
logically
preceding activity, where an activity A logically precedes an activity
B if the
initiation of B semantically requires the completion of A. Therefore,
directed
graphs created by links are always acyclic.
← Prev in month ← Prev in thread
Next in thread → Next in month →