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.
Work partially supported by MIUR PRIN project 2010LHT4KM, CINA.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Bacci, G., Grohmann, D.: On the decidability of bigraphical sorting. In: Haveraaen, M., Lenisa, M., Power, J., Seisenberger, M. (eds.) Proc. CALCO Young Researchers Workshop, number 05/2010 in Technical Report, pp. 1–14 (2009)
Bacci, G., Grohmann, D., Miculan, M.: Bigraphical models for protein and membrane interactions. In: Ciobanu, G. (ed.) Proc. MeCBIC. Electronic Proceedings in Theoretical Computer Science, vol. 11, pp. 3–18 (2009)
Bernon, C., Cossentino, M., Gleizes, M.P., Turci, P., Zambonelli, F.: A study of some multi-agent meta-models. In: Odell, J., Giorgini, P., Müller, J.P. (eds.) AOSE 2004. LNCS, vol. 3382, pp. 62–77. Springer, Heidelberg (2005)
Birkedal, L., Debois, S., Elsborg, E., Hildebrandt, T., Niss, H.: Bigraphical models of context-aware systems. In: Aceto, L., Ingólfsdóttir, A. (eds.) FOSSACS 2006. LNCS, vol. 3921, pp. 187–201. Springer, Heidelberg (2006)
Conforti, G., Macedonio, D., Sassone, V.: Spatial logics for bigraphs. In: Caires, L., Italiano, G.F., Monteiro, L., Palamidessi, C., Yung, M. (eds.) ICALP 2005. LNCS, vol. 3580, pp. 766–778. Springer, Heidelberg (2005)
De Nicola, R., Loreti, M., Pugliese, R., Tiezzi, F.: A formal approach to autonomic systems programming: the SCEL language. ACM Transactions on Autonomous and Adaptive Systems, 1–29 (2014)
Elsborg, E., Hildebrandt, T.T., Sangiorgi, D.: Type systems for bigraphs. In: Kaklamanis, C., Nielson, F. (eds.) TGC 2008. LNCS, vol. 5474, pp. 126–140. Springer, Heidelberg (2009)
Faithfull, A.J., Perrone, G., Hildebrandt, T.T.: BigRed: A development environment for bigraphs. In: ECEASST, vol. 61 (2013)
Hildebrandt, T., Niss, H., Olsen, M.: Formalising business process execution with bigraphs and reactive XML. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol. 4038, pp. 113–129. Springer, Heidelberg (2006)
Krivine, J., Milner, R., Troina, A.: Stochastic bigraphs. In: Proc. 24th MFPS. Electronic Notes in Theoretical Computer Science, vol. 218, pp. 73–96 (2008)
Ma, J., Broda, K., Goebel, R., Hosobe, H., Russo, A., Satoh, K.: Speculative abductive reasoning for hierarchical agent systems. In: Dix, J., Leite, J., Governatori, G., Jamroga, W. (eds.) CLIMA XI. LNCS, vol. 6245, pp. 49–64. Springer, Heidelberg (2010)
Milner, R.: The Space and Motion of Communicating Agents. Cambridge University Press (2009)
Pereira, E., Kirsch, C.M., de Sousa, J.B., Sengupta, R.: BigActors: a model for structure-aware computation. In: Lu, C., Kumar, P.R., Stoleru, R. (eds.) ICCPS, pp. 199–208. ACM (2013)
Perrone, G., Debois, S., Hildebrandt, T.T.: Bigraphical refinement. In: Derrick, J., Boiten, E.A., Reeves, S. (eds.) Proc. REFINE. Electronic Proceedings in Theoretical Computer Science, vol. 55, pp. 20–36 (2011)
Perrone, G., Debois, S., Hildebrandt, T.T.: A model checker for bigraphs. In: Ossowski, S., Lecca, P. (eds.) Proc. SAC, pp. 1320–1325. ACM (2012)
Ribino, P., Cossentino, M., Lodato, C., Lopes, S., Sabatucci, L., Seidita, V.: Ontology and goal model in designing BDI multi-agent systems. In: WOA@AI*IA. CEUR Workshop Proceedings, vol. 1099, pp. 66–72. CEUR-WS.org (2013)
Zhang, M., Shi, L., Zhu, L., Wang, Y., Feng, L., Pu, G.: A bigraphical model of WSBPEL. In: Proc. TASE, pp. 117–120. IEEE Computer Society (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 IFIP International Federation for Information Processing
About this paper
Cite this paper
Mansutti, A., Miculan, M., Peressotti, M. (2014). Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems. In: Magoutis, K., Pietzuch, P. (eds) Distributed Applications and Interoperable Systems. DAIS 2014. Lecture Notes in Computer Science(), vol 8460. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-43352-2_16
Download citation
DOI: https://doi.org/10.1007/978-3-662-43352-2_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-43351-5
Online ISBN: 978-3-662-43352-2
eBook Packages: Computer ScienceComputer Science (R0)