TitleModel-Driven Agile Development of Reactive Multi-Agent Systems
Publication TypeConference Paper
Year of Publication2006
AuthorsKirby, Jr, J.
Conference Name30th Annual International Computer Software and Applications Conference (COMPSAC 2006)
Conference LocationChicago, Illinois
Abstract

The Sage development method and associated tool set support an incremental, iterative, model-driven process to build and maintain high assurance, reactive multi-agent systems. A set of interconnected models provide documentation supporting high assurance certification efforts, maintenance, and reuse. Tools can analyze the models for important classes of errors, and generate complete multi-agent systems.

Full Text

Kirby2006.pdf

NRL Publication Release Number

06-1226-1333