Conversation specification: a new approach to design and analysis of e-service composition
Semantic Web Services