Correlation sets which appear within invoke activities have an additional attribute, pattern, which specifies during the execution of the invoke activity the correlation set that is to be applied. The pattern
Issues in transformation from business models (e.g. BPMN) to executable languages, including a link to the Model-Driven Engineering for BPM workshop that they're giving at the BPM conference in Milan next month.