Title: Performance evaluation of DPS coordination strategies modelled in pi-calculus
Authors: Elham S. Khorasani, Norman Carver, Shahram Rahimi
Addresses: Department of Computer Science, Southern Illinois University, Carbondale 62901 USA. ' Department of Computer Science, Southern Illinois University, Carbondale 62901 USA. ' Department of Computer Science, Southern Illinois University, Carbondale 62901 USA
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.
Keywords: distributed problem solving; DPS; multi-agent systems; MAS; coordination strategies; performance evaluation; pi-calculus; formal verification; modelling; agent-based systems; agent coordination.
DOI: 10.1504/IJIIDS.2009.030438
International Journal of Intelligent Information and Database Systems, 2009 Vol.3 No.4, pp.419 - 439
Published online: 16 Dec 2009 *
Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article