Summary: The service-oriented paradigm is founded on an assumption of well-specified and well-understood contracts that isn’t realized in practice. Our approach extends the WSDL specification language with support for argument- and return-format specification and brings us one step closer to realizing the assumptions on which the paradigm is based. This work is important in reducing the adoption barriers that have slowed the acceptance of Web services and SOAs.