NEW ISSUE: SBPEL2005 doesn't take into account the fact that a PLmay have sca-bpel:ignore="false" on it

Title: SBPEL2005 doesn't take into account the fact that a PL may have
sca-bpel:ignore="false" on it

Target:

SCA BPEL C&I

Description: 

2005 says --

"[SBPEL2005] If none of the attributes sca-bpel:ignore,
sca-bpel:service, or sca-bpel:reference are present on the partner
link, then if a static analysis of the process determines that it is
possible that the first message for a partner link will be received in
a <receive> activity, the <onMessage> element of a
<pick> activity or the <onEvent> element of an event
handler then the introspected component type MUST include an SCA
service that corresponds to the partner link in the component type. "

The 'if' condition has to include a PL that has sca-bpel:ignore
attribute with a value of "false", since it is equivalent to the
attribute not being present.

Proposal:

Change 2005 to --

"[SBPEL2005] If none of the attributes sca-bpel:ignore with a canonical value of "false",
sca-bpel:service, or sca-bpel:reference are present on the partner
link, then if a static analysis of the process determines that it is
possible that the first message for a partner link will be received in
a <receive> activity, the <onMessage> element of a
<pick> activity or the <onEvent> element of an event
handler then the introspected component type MUST include an SCA
service that corresponds to the partner link in the component type. "

-Anish

--