“…Choreography synthesis concerns the realization of distributed coordination delegates that, supported by the CHOReOS middleware, cooperatively work to support the enactment and execution of the choreography. By relying on the CHOReOS service base management mechanisms, Model-to-Model Transformation techniques [10] are used to refine the Choreography Model together with the service Behavioral Models into a Peer-style Specification (see Figure 3).…”