详情

原文传递 Automatic Synthesis of Planners and Schedulers..

题名：	Automatic Synthesis of Planners and Schedulers..
作者：	Westfold, Stephen J.;Liu, Junbo;Smith, Douglas R.;
关键词：	COMPUTER PROGRAMS, SCHEDULING, PLANNING, TRANSFORMATIONAL GRAMMARS, DATA BASES, ALGORITHMS, TRANSPORTATION, OPTIMIZATION, SPECIFICATIONS, SYNTHESIS, THEORY, AUTOMATIC.
摘要：	This report describes our research on the transformational development of transportation plans and schedules. Our approach to developing scheduling software involves several stages. The first step is to develop a formal model of the transportation scheduling domain, called a domain theory. Second, the constraints, objectives, and preferences of a particular scheduling problem are stated within 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. Furthermore, the resulting code can be extremely efficient.
总页数：	28
报告类型：	科技报告