Customized Process Solution slide-4

What is Deductive Synthesis?

≈ means Goals, Constraints are preserved.

- What services, logic would satisfy goal(s)? Work backwards.
- Prefer steps that correspond to old process
- Each step should be sound (may need new definition)
- Sufficiently complete
- Interactive

If pre-conditions/effects are used with AI planning,
all paths are reachable, deadlock-free. (?)
Distinct from process algebra synthesis approaches:
messages are an epiphenomenon.
Recovery from failure? Undo commitment?
Loops? Homestasis processes?