[wsbpel] Issue 246 - Resolution

["Mark Ford" <mark.ford@active-endpoints.com>]

A quick note for tracking purposes and for the editing team to review.

There are three places remaining in the spec that include mention of undefined behavior.

#1 Section 5.5 paragraph 8 (undefined is really bpws:missingReply)

Resolution: Remove the paragraph that mentions the undefined behavior since bpws:missingReply is discussed in detail elsewhere in the spec.

#2 Section 8.3 2nd to last paragraph (undefined behavior for missing property or propertyAlias)

Resolution: Remove the mention of missing properties or property aliases from Section 8.3 in favor of adding text to 7.3. The text at the end of Section 7.3 identifies duplicate property aliases as a static analysis issue and should be amended to include mention of missing properties or property aliases as well. This is consistent with the static analysis appendix for Issue 84 and is in fact identified as SA fault #11.

#3 Section 10.4 Paragraph beginning with "The correlation between a request and the corresponding reply…" (undefined behavior is really bpws:missingRequest)

Resolution: This part of the spec has undergone some changes since I originally reviewed the document so it may already have been addressed. If not then the last two sentences in the paragraph should be stricken since a bpws:missingRequest is discussed in the following paragraphs.