Paper Info
Title
Multi-Agent Systems Design And Prototyping With Bigraphical Reactive Systems
Abstract
Several frameworks and methodologies have been proposed to ease the design of Multi Agent Systems (MAS), but the vast majority of them is tightly tied to specific implementation platforms. In this paper, we outline a methodology for MAS design and prototyping in the more abstract framework of Bigraphical Reactive Systems (BRS). In our approach, components and elements of the application domain are modelled as bigraphs, and their dynamics as graph rewriting rules. Desiderata can be encoded by means of type systems or logical formulae. Then, the BDI agents (i.e., their beliefs, desires and intentions) are identified and extracted from the BRS. This yield a prototype which can be run as distributed bigraphical system, evolving by means of distributed transactional rewritings triggered by cooperating agents depending on their internal intentions and beliefs.This methodology allows the designer to benefit from the results and tools from the theory of BRS, especially in the requirement analysis and validation phases. Among other results, we mention behavioural equivalences, temporal/spatial logics, visual tools for editing, for simulation and for model checking, etc. Moreover, bigraphs can be naturally composed, thus allowing for modular design of MAS.
Year
DOI
Venue
2014
10.1007/978-3-662-43352-2_16
DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS (DAIS 2014)
Field
DocType
Volume
Computation tree logic,Bigraph,Programming language,Model checking,Computer science,Requirements analysis,Real-time computing,Multi-agent system,Graph rewriting,Modular design,Reactive system,Distributed computing
Conference
8460
ISSN
Citations 
PageRank 
0302-9743
12
0.61
References 
Authors
20
3
Name
Order
Citations
PageRank
Alessio Mansutti1165.79
Marino Miculan250243.24
Marco Peressotti3328.48