[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]
Subject: Outgoing link from a fault handler
Hi,
Could someone help me understand a restriction on link?
In the last paragraph of "12.6 Flow",
In addition, a link that crosses a fault-handler boundary
MUST be outbound, that is, it MUST have its source activity
within the fault handler and its target activity within a
scope that encloses the scope associated with the fault handler.
What is the rationale behind the line above?
Example:
Scope A
Sequence
Scope B
Sequence
Scope C
FaultHandler D
Activity E
Activity F
Scope G
Activity H
Activity I
As far as I understand the specification,
Link from E:
to F: Allowed, because B encloses C
to H: Disallowed, because G does not enclose C.
to I: Allowed, because A encloses C, although indirectly via B.
I don't quite understand why we should allow/disallow linking as above.
Some may claim:
E to H is allowed, because it is within A, because it is WITHIN A,
although indirectly.
One of the problems is, IMHO, the definition of "WITHIN A SCOPE" is unclear.
Yuzo Fujishima
NEC Corporation
[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]