A basic contract language for web services