Make a web service technology such that the desciption is enforceable.
Models without execution are never a good idea.

Eiffel has enforced pre- and post-conditions. Contract Programming also supported by many other languages: e.g. Ada/GNAT, C|C++/DBC4C, C#|.NET/CodeContracts, Java/OVal, JavaScrip/Cerny,CommonLisp/macro, Scheme/PLT, Perl/CPAN, and Ruby/DesignbyContract.

Can the web service research community not do as least as well?