A Pattern based Modelling for Self-organizing Multi-agent Systems with Event-B

Zeineb Graja, Frederic Migeon, Christine Maurel, Marie-Pierre Gleizes, Linas Laibinis, Amira Regayeg, Ahmed Hadj Kacem

2014

Abstract

Self-Organizing Multi-Agent Systems (SO-MAS) are defined as a set of autonomous entities called agents interacting together in order to achieve a given task. Generally, the development process of these systems is based on the bottom-up approach which focuses on the design of the entities individual behavior. The main question arising when developing SO-MAS is how to insure that the designed entities, when interacting together, will give rise to the desired behavior? Our proposition to deal with this question is to use formal methods. We propose a correct by construction method for systematic design of SO-MAS based on the use of design patterns and formal stepwise refinements. Our work gives guidelines to assist the designer when developing the individual behavior of the entities and prove its correctness at the early stages of the design process. The method is illustrated with the foraging ants’ case study.

References

  1. Abrial, J.-R. (2010). Modeling in Event-B - System and Software Engineering. Cambridge University Press.
  2. Abrial, J.-R. and Hoang, T. S. (2008). Using design patterns in formal methods: An event-b approach. In ICTAC, pages 1-2.
  3. Bernon, C., Camps, V., Gleizes, M.-P., and Picard, G. (2005). Engineering Adaptive Multi-Agent Systems: The ADELFE Methodology . In Henderson-Sellers, B. and Giorgini, P., editors, Agent-Oriented Methodologies , volume ISBN1-59140-581-5, pages 172- 202. Idea Group Pub, NY, USA.
  4. Bernon, C., Gleizes, M. P., and Picard, G. (2006). Enhancing self-organising emergent systems design with simulation. In ESAW, volume 4457 of Lecture Notes in Computer Science, pages 284-299. Springer.
  5. Brambilla, M., Pinciroli, C., Birattari, M., and Dorigo, M. (2012). Property-driven design for swarm robotics. In Conitzer, Winikoff, P. and van der Hoek, editors, AAMAS 2012, pages 139-146.
  6. Casadei, M. and Viroli, M. (2009). Using probabilistic model checking and simulation for designing selforganizing systems. In Proceedings of the 2009 ACM symposium on Applied Computing, SAC 7809, pages 2103-2104, New York, NY, USA. ACM.
  7. Di Marzo Serugendo, G., Gleizes, M.-P., and Karageorgos, A. (2005). Self-organization in multi-agent systems. In Knowl. Eng. Rev., volume 20, pages 165-189, New York, NY, USA. Cambridge University Press.
  8. Gardelli, L., Viroli, M., and Omicini, A. (2006). Exploring the dynamics of self-organising systems with stochastic p-calculus: Detecting abnormal behaviour in mas. In (AT2AI5).
  9. Hoang, T. S. and Abrial, J.-R. (2011). Reasoning about liveness properties in event-b. In ICFEM, pages 456- 471.
  10. Hoang, T. S., Fürst, A., and Abrial, J.-R. (2013). Event-b patterns and their tool support. Software and System Modeling, 12(2):229-244.
  11. Hoang, T. S., Kuruma, H., Basin, D. A., and Abrial, J.- R. (2009). Developing topology discovery in event-b. Sci. Comput. Program., 74(11-12):879-899.
  12. Konur, S., Dixon, C., and Fisher, M. (2012). Analysing robot swarm behaviour via probabilistic model checking. Robot. Auton. Syst., 60(2):199-213.
  13. Méry, D. and Poppleton, M. (2013). Formal Modelling and Verification of Population Protocols. In Johnsen, E. B. and Petre, L., editors, iFM - 10th International Conference on integrated Formal Methods - 2013, LNCS, Turku, Finlande. Springer.
  14. Orfanus, D., Janacik, P., Eliassen, F., and Orten, P. (2011). High-level construction of emergent self-organizing behavior in massively distributed embedded systems. In NaBIC, pages 335-341.
  15. Pereverzeva, I., Troubitsyna, E., and Laibinis, L. (2012). Development of fault tolerant mas with cooperative error recovery by refinement in event-b. CoRR, abs/1210.7035.
Download


Paper Citation


in Harvard Style

Graja Z., Migeon F., Maurel C., Gleizes M., Laibinis L., Regayeg A. and Hadj Kacem A. (2014). A Pattern based Modelling for Self-organizing Multi-agent Systems with Event-B . In Proceedings of the 6th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, ISBN 978-989-758-016-1, pages 229-236. DOI: 10.5220/0004906902290236


in Bibtex Style

@conference{icaart14,
author={Zeineb Graja and Frederic Migeon and Christine Maurel and Marie-Pierre Gleizes and Linas Laibinis and Amira Regayeg and Ahmed Hadj Kacem},
title={A Pattern based Modelling for Self-organizing Multi-agent Systems with Event-B},
booktitle={Proceedings of the 6th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},
year={2014},
pages={229-236},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004906902290236},
isbn={978-989-758-016-1},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 6th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,
TI - A Pattern based Modelling for Self-organizing Multi-agent Systems with Event-B
SN - 978-989-758-016-1
AU - Graja Z.
AU - Migeon F.
AU - Maurel C.
AU - Gleizes M.
AU - Laibinis L.
AU - Regayeg A.
AU - Hadj Kacem A.
PY - 2014
SP - 229
EP - 236
DO - 10.5220/0004906902290236