Performance evaluation of DPS coordination strategies modelled in pi-calculus. (17th December 2009)

• Record Type: Journal Article
• Authors: Khorasani, Elham S.; Carver, Norman; Rahimi, Shahram
• Is Part Of: International journal of intelligent information and database systems. Volume 3:Number 4(2009)
• Page Start: 419
• Page End: 439
• Publication Date: 2009-12-17
• Subjects: distributed problem solving -- DPS -- multi-agent systems -- MAS -- coordination strategies -- performance evaluation -- pi-calculus -- formal verification -- modelling -- agent-based systems -- agent coordination; Database management -- Computer programs -- Periodicals; Information retrieval -- Computer programs -- Periodicals; Information storage and retrieval systems -- Computer programs -- Periodicals; Artificial intelligence -- Periodicals; Expert systems (Computer science) -- Periodicals; Intelligent agents (Computer software) -- Periodicals; 006.33
• Languages: English
• ISSNs: 1751-5858

Abstract

Distributed problem solving (DPS) is the subfield of multi-agent systems concerned with using systems of agents to solve large-scale, distributed problems like data interpretation in sensor networks. Coordination of agent actions is a key issue in DPS. There are not yet methods that can automatically produce effective coordination strategies for most real-world applications. We envision a tool that would support human engineering by allowing a strategy to be modelled at various levels of abstraction, with incomplete specification of the inter- and intra-agent order of actions. The tool would be able to analyse various properties of such strategies, determine the best possible time performance, and derive ordering constraints to guarantee best performance. This paper reports on research to develop key elements for such a tool, including using pi-calculus as a formal framework for defining DPS coordination strategies, and techniques for evaluating the time performance of such strategies defined with pi-calculus.