Algorithms for checking channel passing in web service choreography