iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://doi.org/10.1007/978-3-319-14484-9_3
A Stepwise Refinement Based Development of Self-Organizing Multi-Agent Systems: Application to the Foraging Ants | SpringerLink
Skip to main content
Springer Nature Link
Log in

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

  • Conference paper
Engineering Multi-Agent Systems (EMAS 2014)

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

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

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

    Chapter  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

    Chapter  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)

    Article  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

    Chapter  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)

    Article  Google Scholar 

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

    Article  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)

Publish with us

Policies and ethics

Search

Navigation