Synthesizing Processes
Use Database Update Constraints, AI Planning
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.
Details in presentation on
Solving the Customized Process Problem
@copy 2007 Charles Petrie - permission to reproduce widely with attribution
