CHOREOS: Large scale choreographies for the future internet | IEEE Conference Publication | IEEE Xplore