formally defining the dispatcher engine