[wsbpel] new issue: Assigning from/to partnerLinks requires additionalstatic analysis statements

[Thomas Schulze <ThomasSchulze@de.ibm.com>]

Hi Peter, please add this one to the issues list. Maybe this time a
sub-issue for 247? If not, please add a link to 247. Thanks in advance!

Best regards/Mit freundlichen Grüßen,

       Thomas Schulze

Issue - 247.1 - Assigning from/to partnerLinks requires additional static
analysis statements
Document: WS-BPEL 2.0 Committee Draft, section 8.4.
Description: Action Item #125 addresses this additional text. Because this
is a normative change AI #125 will be closed and is addressed by this
issue.

There is currently no text which specifies that static analysis have to
catch possible errors when assigning from/to partnerLinks.

Submitter's proposal:

Change/add the following sentences in the PartnerLink variant paragraph in
section 8.4.

From:
--------------------------------------------------------
The value "myRole" means that the endpoint reference of the process with
respect to that partnerLink is the source, while the value "partnerRole"
means that the partner's endpoint reference for the partnerLink is the
source.
--------------------------------------------------------
To:
--------------------------------------------------------
The value "myRole" means that the endpoint reference of the process with
respect to that partnerLink is the source, while the value "partnerRole"
means that the partner's endpoint reference for the partnerLink is the
source. If the value "myRole" or "partnerRole" is used,  the corresponding
partnerLink MUST specify the corresponding myRole or partnerRole attribute.
This restriction MUST be statically enforced.
--------------------------------------------------------

From:
--------------------------------------------------------
For the to-spec, the assignment is only possible to the partnerRole, hence
there is no need to specify the role.
--------------------------------------------------------
To:
--------------------------------------------------------
For the to-spec, the assignment is only possible to the partnerRole, hence
there is no need to specify the role. Therefore, in the to-spec only
partnerLinks are permitted which specify the attribute partnerRole. This
restriction MUST be statically enforced.
--------------------------------------------------------