> ****b. BPEL
> Monica. Design Time Verification: Structure: The key is to be capable 
> of generating a behavioral interface regardless of the underlying 
> orchestration mechanism or process. This is creating an explicit 
> dependency to BPEL. Suggest more generic language.
> David. This is an area where it is not clear what we should do. I DO 
> think that there is benefit in being able to use a Choreography 
> definition to generate a process definition for each of the 
> participants. However, as recently discussed on the list, it is not 
> clear whether or how this should be done, and the extent to which it 
> should be constrained to BPEL. This is something which needs more 
> discussion.****