CHOREOS: Large scale choreographies for the future internet