Anatomy of a Web Service Contract