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.
- Record URL:
Kestrel InstitutePalo Alto, CA United States
- Smith, D R
- Liu, J
- Westfold, S J
- Publication Date: 1999-6
- Pagination: 28 p.
- TRT Terms: Planning stages; Programming (Planning); Schedules and scheduling; Software; Syntheses; Transformations (Mathematics)
- Subject Areas: Highways; Operations and Traffic Management; Planning and Forecasting; Public Transportation;
- Accession Number: 00778778
- Record Type: Publication
- Report/Paper Numbers: AFRL-IFRSTR-1999-123
- Files: NTL, TRIS
- Created Date: Nov 10 1999 12:00AM