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

[Anish Karmarkar <Anish.Karmarkar@oracle.com>]

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
--