Skip to main content
Springer Nature Link
Log in

Agents Modeling under Fairness Assumption in Event-B

  • Conference paper
Intelligent Distributed Computing VII

Part of the book series: Studies in Computational Intelligence ((SCI,volume 511))

  • 1205 Accesses

Abstract

Multi-agent systems, which are composed of autonomous agents are present in applications that span a wide range of domains: ambient intelligence, telecommunications, finance, Internet, energy, health. Therefore, it is critical to have rigorous, effective design and verification methods to ensure their development. In this paper, we present a formal modeling and proof of a multi-agent system for requesting services, under the fairness assumption. Themodel is specified and verified using Event-B and the Rodin platform.

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

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. EB2J Tool (2013), http://eb2all.loria.fr/

  2. Rodin Platform (2013), http://wiki.eventb.org/index.php/Rodin_Platform

  3. Rodin User’s Handbook v.2.5 (2013), http://handbook.eventb.org/current/html/index.html

  4. UML-B (2013), http://wiki.eventb.org/index.php/UML-B

  5. Abrial, J.-R.: The B book. Cambridge University Press (1996)

    Google Scholar 

  6. Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge Press (2010)

    Google Scholar 

  7. Abrial, J.-R., Cansell, D., Méry, D.: Refinement and reachability in event_B. In: Treharne, H., King, S., Henson, M., Schneider, S. (eds.) ZB 2005. LNCS, vol. 3455, pp. 222–241. Springer, Heidelberg (2005)

    Google Scholar 

  8. Sun, J., Liu, Y., Dong, J.S., Wang, H.H.: Specifying and verifying event-based fairness enhanced systems. In: Liu, S., Araki, K. (eds.) ICFEM 2008. LNCS, vol. 5256, pp. 5–24. Springer, Heidelberg (2008)

    Google Scholar 

  9. Negreanu, L., Mocanu, I.: Formal verification of service requests in a multi-agent system using Event-B method. In: 8th Workshop on Workshop Knowledge Engineering and Software Engineering (KESE 2012), ECAI 2012, Technical Report TR-2012/1, Montpellier, France, August 27-31, pp. 62–65. University of Almeria, Almeria (2012)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, University “Politehnica” of Bucharest, Splaiul Independentei 313, 060042, Bucharest, Romania

    Irina Mocanu, Lorina Negreanu & Adina Magda Florea

Authors
  1. Irina Mocanu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Lorina Negreanu
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Adina Magda Florea
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Irina Mocanu .

Editor information

Editors and Affiliations

  1. Faculty of Mathematics and Physics, Charles University in Prague, Prague, Czech Republic

    Filip Zavoral

  2. Department of Computer Engineering, Yeungnam University, Gyeingsan, Korea, Republic of (South Korea)

    Jason J. Jung

  3. Faculty of Automatics, Computers and Electronics, University of Craiova Software Engineering Department, Craiova, Romania

    Costin Badica

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Mocanu, I., Negreanu, L., Florea, A.M. (2014). Agents Modeling under Fairness Assumption in Event-B. In: Zavoral, F., Jung, J., Badica, C. (eds) Intelligent Distributed Computing VII. Studies in Computational Intelligence, vol 511. Springer, Cham. https://doi.org/10.1007/978-3-319-01571-2_35

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-01571-2_35

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-01570-5

  • Online ISBN: 978-3-319-01571-2

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics