Development of a Constraint-Based Airlift Scheduler by Program Synthesis from Formal Specifications

Authors:
Thomas Emerson;Mark H. Burstein
Affiliations:
-;-
Venue:
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
Year:
1999

Citing 0
Cited 5

Derivation of glue code for agent interoperation

AGENTS '00 Proceedings of the fourth international conference on Autonomous agents
Coalition Agents Experiment: Multiagent Cooperation in International Coalitions

IEEE Intelligent Systems
Synthesis of efficient constraint-satisfaction programs

The Knowledge Engineering Review
A Framework for Dynamic Information Flow in Mixed-Initiative Human/Agent Organizations

Applied Intelligence
Ontology-Driven Information Systems: Past, Present and Future

Proceedings of the 2008 conference on Formal Ontology in Information Systems: Proceedings of the Fifth International Conference (FOIS 2008)

Quantified Score

Hi-index	0.00

Visualization

Abstract

We describe the formal specification and automated synthesis of a strategic airlift scheduler for the Air Mobility Command of the U. S. Air Force. The program synthesis system, the Kestrel Interactive Development System, composes a formal domain theory with a formal description of a class of algorithms (global search with constraint propagation) to produce provably correct and highly efficient code that outperforms more conventional approaches to this scheduling problem.