Agentware: Automated Synthesis of Software Agents

Abstract

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 2002
Accession Number
ADA408501

Entities

People

  • Douglas R. Smith
  • Stephen J. Westfold

Organizations

  • Kestrel Institute

Tags

Communities of Interest

  • Air Platforms
  • Autonomy
  • Human Systems

DTIC Thesaurus Topics

  • Air Force Research Laboratories
  • Algorithms
  • Artificial Intelligence
  • Authentication
  • Automatic Programming
  • Computer Programming
  • Computer Science
  • Engineering
  • Information Systems
  • Language
  • Multiagent Systems
  • Scheduling (Production)
  • Security Protocols
  • Software Agents
  • Software Development
  • Specifications
  • Standards

Fields of Study

  • Chemistry
  • Computer science

Readers

  • Agent-Based Social Robotics and Mobile-Assisted Learning in Virtual Environments.
  • Computer Engineering
  • Database Systems and Applications