Re: [wsbpel] Issue - 302 - Amended Voted on proposal, approved onJuly 12.

Closed with the following, as amended by Chris:

  
    
Adding declarations of variables,
partner links, and correlation sets in existing scopes MUST NOT be done
if they hide existing declarations that are used by existing constructs
in the scope.

  

Spec-text repercussions:

In 82.3 lost section (http://www.oasis-open.org/apps/org/workgroup/wsbpel/download.php/18965/82.3-lost-section_EDITED.doc

http://www.oasis-open.org/apps/org/workgroup/wsbpel/download.php/18966/82.3-lost-section_EDITED.pdf):

-Add to the bullet that starts with:

  
A valid executable completion MUST NOT
add: 

  
the amended text:

      "declarations of variables, partner links, and correlation sets
in existing scopes  if they hide existing declarations that are used by
existing constructs in the scope."

-Delete these sentences in the first bullet:

"New partnerLink declarations thatwould hide existing ones, thereby
changing the partnerLink to which an existing activity refers MUST NOT
be used.

[Last sentence on “New partnerLink …” depends on accepting proposed
resolution of 302]"

-Delete the third bullet:

"New variable declarations that would hide existing ones, thereby
changing the branching behavior MUST NOT be used.

[Normative change: assumes/depends on adoption of 302 proposed
resolution]"