Agentware: Automated Synthesis of Software Agents
Douglas R. Smith, Stephen J. Westfold · 2002
This report describes our research on developing and applying synthesis technology to agent-based systems in the DARPA/AFRL COABS program. We summarize our results in the following areas: generic synthesis frameworks, synthesis of scheduling agents, synthesis of authentication protocols, formal metalevel specifications, and synthesis of authentication protocols, formal metalevel specifications, and synthesis of glue code.