TitleA Framework for the Formal Analysis of Multi-Agent Systems
Publication TypeConference Paper
Year of Publication2003
AuthorsBharadwaj, R.
Conference NameFormal Approaches to Multi-Agent Systems (FAMAS), affiliated with ETAPS 2003
Conference LocationWarsaw, Poland
Abstract

In this paper we present an integrated formal framework for the specification and analysis of Multi-Agent Systems (MAS). Agents are specified in a synchronous programming language called Secure Operations Language (SOL) which supports the modular development of secure agents. Multi-agent systems are constructed from individual agent modules by using the composition operator of SOL, the semantics of which are guaranteed to preserve certain individual agent properties. The formal semantics and the underlying framework of SOL also serve as the basis for analysis and transformation techniques such as abstraction, consistency checking, verification by model checking or theorem proving, and automatic synthesis of agent code. Based on this framework, we are currently developing a suite of analysis and transformation tools for the formal specification, analysis, and synthesis of multi-agent systems.

Full Text

Bharadwaj2003c.pdf

NRL Publication Release Number

03-1221.1-0517