A New Representation and Planner for Computer Batch Job Scheduling, Execution Monitoring, Problem Diagnosis and Correction