OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.

 


Help: OASIS Mailing Lists Help | MarkMail Help

wsbpel-spec-edit message

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]


Subject: Question on editing of 234


The resolution has:

  1. 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.
  2. 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.





[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]