Nadia Busi Roberto Gorrieri Claudio Guidi Roberto Lucchi Gianluigi Zavattaro Choreography and Orchestration Conformance for System Design. 63-81 2006 conf/coordination/2006 COORDINATION http://dx.doi.org/10.1007/11767954_5 db/conf/coordination/coordination2006.html#BusiGGLZ06