Name
Abstract | ||
|---|---|---|
Multi-Agent Systems (MAS) can be subject to changes reflecting the continuous emergence of new requirements. Thus, diversity of the basics on one hand, and the complexity of the concepts related to agents on the other hand, make it difficult to conceive and develop a reconfigurable multi-agent system architecture. In this paper, we relay on formal methods to manage the complexity of these aspects and reason on the design of MAS architectures. Precisely, we propose a formal modelling approach based on Bigraphs (BRS) for the specification of multi-agent system architectures and their reconfiguration. BRS present a promising and effective solution for the development of high quality and safe MAS at reasonable cost and time span. In addition, they enable the verification of MAS relevant properties using a bigraphical model checking tool named BigMC. |
Year | DOI | Venue |
|---|---|---|
2016 | 10.3233/MGS-160246 | MULTIAGENT AND GRID SYSTEMS |
Keywords | Field | DocType |
Multi-agent systems, reconfiguration, formal specification, formal verification, bigraphical reactive system | Bigraph,Model checking,Computer science,Real-time computing,Multi-agent system,Formal methods,Systems architecture,Relay,Control reconfiguration,Distributed computing | Journal |
Volume | Issue | ISSN |
12 | 2 | 1574-1702 |
Citations | PageRank | References |
2 | 0.38 | 23 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Ahmed Taki Eddine Dib | 1 | 2 | 0.38 |
| Kamel Barkaoui | 2 | 536 | 76.60 |
| Zaïdi Sahnoun | 3 | 26 | 9.08 |