Extending Web Services Semantics to Support Asynchronous Invocations and Continuation