A rude contract language for web services