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.
AllenR., DouenceR. and GarlanD., Specifying and analyzing dynamic software architectures, in: Fundamental Approaches to Software Engineering of LNCS, AstesianoE., ed., Vol. 1382, Springer Berlin Heidelberg, Portugal, 1998, pp. 21-37.
2.
BellifemineF., BergentiF., CaireG. and PoggiA., Jade - A java agent development framework, in: Multi-Agent Programming, BordiniR.H., DastaniM., DixJ. and Fallah SeghrouchniA., eds, Vol. 15, Springer US, Massachusetts, 2005, pp. 125-147.
3.
BernonC., GleizesM., PeyruqueouS. and PicardG., ADELFE: A methodology for adaptive multi-agent systems engineering, in: Engineering Societies in the Agents World III of LNCS, PettaP., TolksdorfR., ZambonelliF., eds, Vol. 2577, Springer Berlin Heidelberg, Spain, 2003, pp. 156-169.
4.
BrescianiP., PeriniA., GiorginiP., GiunchigliaF. and MylopoulosJ., Tropos: An agent-oriented software development methodology, Autonomous Agents and Multi-Agent Systems8(3) (2004), 203-236.
5.
CalderM. and SevegnaniM., Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing, Formal Aspects of Computing26(3) (2013), 537-561.
6.
CherfiaT.A., BelalaF. and BarkaouiK., Towards formal modeling and verification of context-aware systems, in: Proceedings of the 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, AllaH. and BoualloucheL., eds, Vol. 1256, CEUR-WS.org, Algeria, 2014, pp. 18-24.
7.
CheyerA. and MartinD., The open agent architecture, Autonomous Agents and Multi-Agent Systems4(1/2) (2001), 143-148.
8.
DamH. and WinikoffM., Towards a next-generation AOSE methodology, Science of Computer Programming78(6) (2013), 684-694.
9.
DeloachS., WoodM. and SparkmanC., Multiagent systems engineering, International Journal of Software Engineering and Knowledge Engineering11(3) (2001), 231-258.
10.
DibA.T. and SahnounZ., Formal specification of multiagent system architecture, in: Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, SahnounZ., ed., Vol. 1294, CEUR-WS.org, Algeria, 2014, pp. 65-72.
11.
DignumV., Vázquez-SalcedaJ. and DignumF., OMNI: Introducing social structure, norms and ontologies into agent organizations, in: Programming Multi-Agent Systems of LNCS, BordiniR.H., DastaniM., DixJ., SeghrouchniA.E.F., eds, Vol. 3346, Springer Berlin Heidelberg, New York, 2005, pp. 181-198.
12.
SeghrouchniA.E.F. and SunaA., Himalaya framework: Hierarchical intelligent mobile agents for building large-scale and adaptive systems based on ambients, in: Massively Multi-Agent Systems I, IshidaT., GasserL., NakashimaH., eds, Vol. 3446, Springer Berlin Heidelberg, Japan, 2005, pp. 202-216.
13.
FaulknerS. and KolpM., A towards an agent architectural description language for information systems, in: Proceeding of the 5th International Conference on Enterprise Information Systems, Angers, France, 2003, pp. 59-66.
14.
FerberJ., GutknechtO. and MichelF., From agents to organizations: An organizational view of multi-agent systems, in: Agent-Oriented Software Engineering IV of LNCS, GiorginiP., MüllerJ.P. and OdellJ., eds, Vol. 2935, Springer Berlin Heidelberg, Australia, 2004, pp. 214-230.
15.
FininT., FritzsonR., McKayD. and McEntireR., KQML as an agent communication language, in: CIKM '94 Proceedings of the Third International Conference on Information and Knowledge, AdamN.R., BhargavaB.K. and YeshY., eds, ACM, New York, 1994, pp. 456-463.
16.
FIPAA.C.L., FIPA ACL message structure specification, [online] Fipa Org Available At: Http://www Fipa Org/specs/ fipa00061/index Html [Accessed 3 Feb 2016].
17.
GeneserethM. and KetchpelS., Software agents, Communications of the ACM37(7) (1994), 48-53.
18.
HarringtonD., WijnenB. and PresuhnR., An architecture for describing simple network management protocol (SNMP) management frameworks, [online] Available At: Http://tools Ietf Org/html/rfc3411 [Accessed 9 Nov 2015], RFC Editor, United States, 2002.
19.
KefalasP., StamatopoulouI. and GheorgheM., A formal modelling framework for developing multi-agent systems with dynamic structure and behaviour, in: Multi-Agent Systems and Applications IV of LNCS, PěchoučekM., PettaP. and VargaL.Z., eds, Vol. 3690, Springer Berlin Heidelberg, Hungary, 2005, pp. 122-131.
20.
MansuttiA., MiculanM. and PeressottiM., Multi-agent systems design and prototyping with bigraphical reactive systems, in: Distributed Applications and Interoperable Systems of LNCS, MagoutisK. and PietzuchP., eds, Vol. 8460, Springer Berlin Heidelberg, Germany, 2014, pp. 201-208.
21.
MarzouguiB., HassineK. and BarkaouiK., A new formalism for modeling a multi agent systems: Agent petri nets, Journal of Software Engineering and Applications3(12) (2010), 1118-1124.
22.
MilnerR., Bigraphs and their algebra, Electronic Notes in Theoretical Computer Science209 (2008), 5-19.
23.
MilnerR., Axioms for bigraphical structure, Mathematical Structures in Computer Science15(6) (2005), 1005-1032.
24.
MorandiniM., MigeonF., GleizesM., MaurelC., PenseriniL. and PeriniA., A goal-oriented approach for modelling self-organising MAS, in: Engineering Societies in the Agents World X of LNCS, AldewereldH., DignumV. and PicardG., eds, Vol. 5881, Springer Berlin Heidelberg, Netherlands, 2009, pp. 33-48.
25.
MullerJ. and FischerK., Application impact of multi-agent systems and technologies: A survey, in: Agent-Oriented Software Engineering, ShehoryO. and SturmA., eds, Springer Berlin Heidelberg, chapter 4, 2014, pp. 27-53.
26.
NormanT., JenningsN., FaratinP. and MamdaniE., Designing and implementing a multi-agent architecture for business process management, in: Intelligent Agents III Agent Theories, Architectures, and Languages of LNCS, MüllerJ.P., WooldridgeM.J. and JenningsN.R., eds, Vol. 1193, Springer Berlin Heidelberg, Hungary, 1997, pp. 261-275.
27.
OquendoF., π -ADL: An architecture description language based on the higher-order typed π -calculus for specifying dynamic and mobile software architectures, ACM SIGSOFT Software Engineering Notes29(5) (2004), 1-14.
28.
ParkS. and SugumaranV., Designing multi-agent systems: A framework and application, Expert Systems with Applications28(2) (2005), 259-271.
29.
PerroneG., DeboisS. and HildebrandtT., A model checker for Bigraphs, in: Proceedings of the 27th Annual ACM Symposium on Applied Computing - SAC '12, ACM New York, Trento, Italy, 2012, pp. 1320-1325.
30.
RaoA. and GeorgeffM., BDI-agents: From theory to practice, in: Proceedings of the First International Conference on Multi Agent Systems, AAAI Press, San Francisco, California, 1995, pp. 312-319.
31.
SahliH., BelalaF. and BouanakaC., A BRS-based approach to model and verify cloud systems elasticity, Procedia Computer Science68 (2015), 29-41.
32.
ScalabrinE., VandenbergheL., de AzevedoH. and BarthèsJ., A generic model of cognitive agent to develop open systems, in: Distributed AI And Multi-Agent Systems I of LNCS, BorgesD.L., KaestnerC.A.A., eds, Vol. 1159, Springer Berlin Heidelberg, Brazil, 1996, pp. 61-70.
33.
SevegnaniM. and CalderM., Bigraphs with sharing, Theoretical Computer Science577 (2015), 43-73.
34.
SmithR., The contract net protocol: High-level communication and control in a distributed problem solver, IEEE Transactions on ComputersC-29(12) (1980), 1104-1113.
35.
WittigT., JenningsN. and MamdaniE., ARCHON: Framework for intelligent co-operation, Intelligent Systems Engineering3(3) (1994), 168-179.
36.
WooldridgeM., An Introduction to Multiagent Systems, Wiley Publishing, Chichester, UK, 2009.
37.
YuZ. and CaiY., Object-oriented Petri nets based architecture description language for multi-agent systems, International Journal of Computer Science and Network Security6(1) (2006), 123-131.
38.
ZambonelliF., JenningsN. and WooldridgeM., Developing multiagent systems, ACM Transactions on Software Engineering and Methodology12(3) (2003), 317-370.
39.
ZhangP., MucciniH. and LiB., A classification and comparison of model checking software architecture techniques, Journal of Systems and Software83(5) (2010), 723-744.
