[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]
Subject: Re: [wsbpel] Issue - 120 - What are the semantics when an initial<receive> has no correlation set?
Ugo, I would phrase this as follows: Before a correlation set is "used" (that is, initiate = "no") in a process graph, it must be "initialized" (that is, initiate = "yes") . This must be verified by static analysis of the process. This is similar to our rules about initialization of variables before they are used. I have avoided using <receive> in this, because csets can be initialized in other activities in the process. -Ron Ugo Corda wrote:
|
[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]