Automatic Composition of Transition-based Semantic Web Services with Messaging