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


Help: OASIS Mailing Lists Help | MarkMail Help

wsbpel message

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

Subject: Issue 218 - informal recap of discussion

Hi all,

Informal recap of discussion today:

  • Properties are merely projections of variables and so any use of properties are always coupled with a variable. Hence, the isolation semantics is applied to the variable. [as mentioned in the issue description]
  • messageExchange handles declared in a scope are just an identifier-like handle. The handler by itself does not have any mutatable state. Any use of messageExchange handles are always coupled with a partnerLink and the actual message exchange states (i.e. open or close state of a request-response operation) are parts of the state of a partnerLink and accessed with a messageExchange identifier. Hence, messageExchange handles are under the isolation realm.
  • partnerLinks declared in a scope are under isolation realm. To be more specific, the isolation is applicable only to the end point reference part of the partnerLink state, not the message exchange parts of the partnerLink state.
  • correlationSets can be mutated only once by initialization. Isolation on correlationSet does not produce any valuable usage pattern in WS-BPEL. Hence, correlationSets are not under the isolation realm.

I hope these wording reflects the intended semantics that we discussed today.

Alex Yiu

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