BPEL process QName is assumed to be unique

This is feedback from our development team:

The BPEL specification does not say that the BPEL process QName is 
unique. The SCA BPEL C&I spec assumes that it is, but does not state 
this assumption in the spec.

-Anish
--