Inter-module Dependency Directed Backtracking
Generation of Alternative Plan
Generate compact explanation of the
Scheduler’s failure in allocating resources
Translate the explanation into the form
that make sense to the planner.
Use the translated explanation to
generate plan that avoid this failure.