[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]
Subject: Question on editing of 234
The resolution has:
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. |
[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]