But Wait!
This approach assumes things we don't have in web services:
- Common semantics
- Pre- and post-conditions
That's ok - because
web services won't be
do anything in the real world until we have those anyway.
PS And, btw, the simple rules just shown work
without pre- and post-conditions because they
only plan on how to know information, rather
than cause actions.
PSS Try writing C code with similar
generality.
cjp