Skip to main content
SpringerLink
Log in

A Multi-Agent System for Service Acquiring in Smart Environments

  • Conference paper
Intelligent Distributed Computing VI

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

Abstract

This paper proposes a multi-agent system architecture for a service acquiring system. The proposed system is integrated in an ambient intelligent system, AmIHomCare, a smart house who supervises elderly people in their homes and also helps people during their daily activities. The service acquiring system is specified and validated using a formal specification method - Event B.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover 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.

References

  1. Rodin platform, http://wiki.event-b.org/index.php/Rodin_Platform

  2. Rodin user’s handbook v.2.5., http://handbook.event-b.org/current/html/index.html

  3. Abrial, J.-R.: The B book (1996)

    Google Scholar 

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

    Google Scholar 

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

    Chapter  Google Scholar 

  6. Das, S.K., Cook, D.J.: Designing Smart Environments: A Paradigm Based on Learning and Prediction. In: Pal, S.K., Bandyopadhyay, S., Biswas, S. (eds.) PReMI 2005. LNCS, vol. 3776, pp. 80–90. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  7. Mocanu, I., Florea, A.M.: A multi-agent supervising system for smart environments. In: Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics – WIMS 2012. ACM (2012)

    Google Scholar 

  8. Mocanu, S., Mocanu, I., Anton, S., Munteanu, C.: AmIHomCare: A complex ambient intelligent system for home medical assistance. In: Proceedings of the 10th International Conference on Applied Computer and Applied Computational Science, pp. 181–186 (2011)

    Google Scholar 

  9. Ramos, C., Augusto, J., Shapiro, D.: Ambient intelligence - the next step for artificial intelligence. IEEE Intelligent Systems 23(2), 15–18 (2008)

    Article  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. , Department of Electronics, Informatics, University of Calabria, Via P. Bucci, cubo 41C, Rende (CS), 87036, Italy

    Giancarlo Fortino

  2. Faculty of Automatics, Computers and Ele, Software Engineering Department, University of Craiova, Bvd. Decebal 107, Craiova, 200440, Romania

    Costin Badica

  3. , Dipartimento di Ingegneria Elettrica,, Università di Catania, V.le Andrea Doria, 6, Catania, 95125, Italy

    Michele Malgeri

  4. , Institute for Computer Science and, University of Duisburg-Essen, Schuetzenbahn 70, Essen, 45117, Germany

    Rainer Unland

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mocanu, I., Negreanu, L., Florea, A.M. (2013). A Multi-Agent System for Service Acquiring in Smart Environments. In: Fortino, G., Badica, C., Malgeri, M., Unland, R. (eds) Intelligent Distributed Computing VI. Studies in Computational Intelligence, vol 446. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32524-3_37

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-32524-3_37

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-32523-6

  • Online ISBN: 978-3-642-32524-3

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation