{Conversation Specification: A New Approach to Design and Analysis of E-Service Composition}