Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Engineering Multi-Agent Systems

EMAS 2014: Engineering Multi-Agent Systems pp 40–57Cite as

A Stepwise Refinement Based Development of Self-Organizing Multi-Agent Systems: Application to the Foraging Ants

  • Conference paper

Part of the Lecture Notes in Computer Science book series (LNAI,volume 8758)

Abstract

This paper proposes a formal modeling for Self-Organizing Multi-Agent Systems (SOMAS) based on stepwise refinements, with the Event-B language and the Temporal Logic of Actions (TLA). This modeling allows to develop this kind of systems in a more structured manner. In addition, it enables to reason, in a rigorous way, about the correctness of the derived models both at the individual level and the global level. Our work is illustrated by the foraging ants case study.

Keywords

  • Self-organizing MAS
  • foraging ants
  • formal verification
  • refinement
  • Event-B
  • TLA

This is a preview of subscription content, access via your institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abrial, J.R.: Modelling in Event-B. Cambridge University Press (2010)

    Google Scholar 

  2. Bankes, S.C.: Robustness, adaptivity, and resiliency analysis. In: AAAI Fall Symposium: Complex Adaptive Systems. AAAI Technical Report, vol. FS-10-03. AAAI (2010)

    Google Scholar 

  3. Bernon, C., Gleizes, M.-P., Picard, G.: Enhancing self-organising emergent systems design with simulation. In: O’Hare, G.M.P., Ricci, A., O’Grady, M.J., Dikenelli, O. (eds.) ESAW 2006. LNCS (LNAI), vol. 4457, pp. 284–299. Springer, Heidelberg (2007), http://dblp.uni-trier.de/db/conf/esaw/esaw2006.html#BernonGP06

    CrossRef  Google Scholar 

  4. Casadei, M., Viroli, M.: Using probabilistic model checking and simulation for designing self-organizing systems. In: SAC, pp. 2103–2104 (2009)

    Google Scholar 

  5. Serugendo, G.D.M.: Robustness and dependability of self-organizing systems - A safety engineering perspective. In: Guerraoui, R., Petit, F. (eds.) SSS 2009. LNCS, vol. 5873, pp. 254–268. Springer, Heidelberg (2009), http://dx.doi.org/10.1007/978-3-642-05118-0_18

    CrossRef  Google Scholar 

  6. Gardelli, L., Viroli, M., Omicini, A.: Exploring the dynamics of self-organising systems with stochastic π-calculus: Detecting abnormal behaviour in MAS. In: Trappl, R. (ed.) Cybernetics and Systems 2006, April 18-21, vol. 2, pp. 539–544. Austrian Society for Cybernetic Studies, Vienna (2006), 18th European Meeting on Cybernetics and Systems Research (EMCSR 2006), Proceedings of the 5th International Symposium “From Agent Theory to Theory Implementation” (AT2AI-5)

    Google Scholar 

  7. Hoang, T.S., Kuruma, H., Basin, D.A., Abrial, J.R.: Developing topology discovery in Event-B. Sci. Comput. Program. 74(11-12), 879–899 (2009)

    CrossRef  MathSciNet  MATH  Google Scholar 

  8. Méry, D., Poppleton, M.: Formal modelling and verification of population protocols. In: Johnsen, E.B., Petre, L. (eds.) IFM 2013. LNCS, vol. 7940, pp. 208–222. Springer, Heidelberg (2013), http://dx.doi.org/10.1007/978-3-642-38613-8_15

    CrossRef  Google Scholar 

  9. Kaddoum, E., Raibulet, C., George, J.P., Picard, G., Gleizes, M.P.: Criteria for the evaluation of self-* systems. In: Workshop on Software Engineering for Adaptive and Self-Managing Systems (2010)

    Google Scholar 

  10. Konur, S., Clare, D., Fisher, M.: Analysing robot swarm behaviour via probabilistic model checking. Robot. Auton. Syst. 60(2), 199–213 (2012)

    CrossRef  Google Scholar 

  11. Lamport, L.: The temporal logic of actions. ACM Trans. Program. Lang. Syst. 16(3), 872–923 (1994)

    CrossRef  Google Scholar 

  12. Pereverzeva, I., Troubitsyna, E., Laibinis, L.: Development of fault tolerant MAS with cooperative error recovery by refinement in Event-B. CoRR abs/1210.7035 (2012)

    Google Scholar 

  13. Pereverzeva, I., Troubitsyna, E., Laibinis, L.: Formal development of critical multi-agent systems: A refinement approach. In: EDCC, pp. 156–161 (2012)

    Google Scholar 

  14. Serugendo, G.D.M., Gleizes, M.P., Karageorgos, A.: Self-organization in multi-agent systems. Knowledge Eng. Review (2005)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Research on Development and Control of Distributed Applications Laboratory (ReDCAD) Faculty of Economics and Management, University of Sfax, Tunisia

    Zeineb Graja & Ahmed Hadj Kacem

  2. Institute for Research in Computer Science in Toulouse (IRIT), Paul Sabatier University, Toulouse, France

    Zeineb Graja, Frédéric Migeon, Christine Maurel & Marie-Pierre Gleizes

Authors
  1. Zeineb Graja
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Frédéric Migeon
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Christine Maurel
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Marie-Pierre Gleizes
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Ahmed Hadj Kacem
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Information and Computing Sciences, Utrecht University, Princetonplein 5, De Uithof, 3584 CC, Utrecht, The Netherlands

    Fabiano Dalpiaz

  2. Department of Informatics, Clausthal University of Technology, Julius-Albert-Str. 4, 38678,, Clausthal-Zellerfeld, Germany

    Jürgen Dix

  3. Department of Intelligent Systems, Faculty of Electrical Engineering, Delft University of Technology, Mekelweg 4, 2628 CD, Delft, The Netherlands

    M. Birna van Riemsdijk

Rights and permissions

Reprints and Permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Graja, Z., Migeon, F., Maurel, C., Gleizes, MP., Kacem, A.H. (2014). A Stepwise Refinement Based Development of Self-Organizing Multi-Agent Systems: Application to the Foraging Ants. In: Dalpiaz, F., Dix, J., van Riemsdijk, M.B. (eds) Engineering Multi-Agent Systems. EMAS 2014. Lecture Notes in Computer Science(), vol 8758. Springer, Cham. https://doi.org/10.1007/978-3-319-14484-9_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-14484-9_3

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-14483-2

  • Online ISBN: 978-3-319-14484-9

  • eBook Packages: Computer ScienceComputer Science (R0)

search

Navigation