Contracts for Cooperation between Web Service Programmers and HTML Designers