Pre- and postconditions, plus axioms, also could allow "traditional" AI planning technologies to compose services into a plan. Dynamically. Later.

But first, what would it take to allow a web service to be used by a human?

Can a web service directory be used as a web service browser?