I am uncertain about how to express an asynchronous message with the sequence diagram. In most UML I've seen, either an open arrow (stick arrow) or a half arrow is used to indicate an async message.