AUTOMATIC SYNTHESIS OF PLANNERS AND SCHEDULERS

This report describes research on the transformational development of transportation plans and schedules. The approach to developing scheduling software involves several stages. The first step is to develop a formal model of the transportation scheduling domain, called ah domain theory. Second, the constraints, objectives, and preferences of a particular scheduling problem are stated with a domain theory as a problem specification. Finally, an executable scheduler is produced semi-automatically by applying a sequence of transformations to the problem specification. The transformations embody programming knowledge about algorithms, data structures, program optimization techniques, etc. The result of the transformation process is executable code that is consistent with the given problem specification. The resulting code can be extremely efficient.

Language

  • English

Media Info

  • Pagination: 28 p.

Subject/Index Terms

Filing Info

  • Accession Number: 00778778
  • Record Type: Publication
  • Report/Paper Numbers: AFRL-IFRSTR-1999-123
  • Files: NTL, TRIS
  • Created Date: Nov 10 1999 12:00AM