Deductive synthesis produces a composition that is correct and
respects enterprise policies.
Such processes can be synthesized and revised dynamically.
Some issues about descriptions and planning remain. People, and software, responsible for different partsof the process can be notified as needed.
