Issue - 9 - Proposal for Vote

["Yaron Y. Goland" <ygoland@bea.com>]

Section 5:
From: BPEL4WS takes it as a general principle that compliant 
implementations MAY choose to perform static analysis to detect and 
reject process definitions that may have undefined semantics. Such 
analysis is necessarily pessimistic and therefore might in some cases 
prevent the use of processes that would not, in fact, create situations 
with undefined semantics, either in specific uses or in any use.

To: BPEL4WS takes it as a general principle that compliant 
implementations MAY choose to perform static analysis to detect and 
reject process definitions that may have undefined semantics. Such 
analysis MUST be performed optimistically, that is, assuming the process 
has no syntactic errors then if there exists at least one execution path 
from each start activity in the process that can complete successfully 
then the process MUST be accepted for execution.