Given an initial state, a goal state, and a set of operators that
change state, prove a partial ordering of operators that entails
the goal state.
A goal might be "procure parts for order 23821."
- Enterprise laws provide the logical context
- Web service laws describe state change operators
- Current state of the enterprise must be available
as statements, possibly databases.
@copy 2007 Charles Petrie - permission to reproduce widely with attribution