Synthesizing Processes
Use AI Planning, constraints from business policies, and user goals:
Goal(s) are desired state
Initial State given
Respect all Constraints/Enterprise Laws
Ensure consistency of states
Process can be soundly proven if it exists.
Really radical: correct message exchange is an epiphenomenon.
@copy 2007 Charles Petrie - permission to reproduce widely with attribution
