Agentware: Automated Synthesis of Software Agents

摘要

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.