Amleto Di Salle: Automated synthesis of service choreographies. University of L'Aquila, Italy 2015