Formal Agent-Oriented Ubiquitous Computing: A Computational Intelligence Support for Information and Services Integration

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7197)


Agent-based ubiquitous computing (AUC) is a form of distributed computing by which computational processes are executed concurrently by assigning each computational process to one of agents on a ubiquitous computing system (UCS). One of AUC goals is to support the seamless integration of information and services. Meeting this grand challenge of AUC requires that agent-orientation not tackled before is necessarily featured. To this end, this paper presents a firm formal development for featuring agent-orientation of ubiquitous computing to integrate smoothly information and services.


Agent-orientation Context-awareness Information and services integration Ubiquitous computing systems 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Denko, M.K., Yang, L.T., Zhang, Y. (eds.): Autonomic Computing and Networking, 1st edn., 464 pages. Springer, USA (2009)Google Scholar
  2. 2.
    Kwon, O.B.: Multi-agent System Approach to Context-aware Coordinated Web Services under General Market Mechanism. Decision Support Systems 41(2), 380–399 (2006)CrossRefGoogle Scholar
  3. 3.
    Mangina, E., Carbo, J., Molina, J.M.: Agent-based Ubiquitous Computing, 1st edn., 216 pages. Atlantis Press (2009)Google Scholar
  4. 4.
    Parashar, M., Hariri, S. (eds.): Autonomic Computing: Concepts, Infrastructure and Applications, 1st edn., 568 pages. CRC Press (2006)Google Scholar
  5. 5.
    Vinh, P.C.: Formal Aspects of Self-* in Autonomic Networked Computing Systems. In: Autonomic Computing and Networking, 1st edn., pp. 383–412. Springer, USA (2009)Google Scholar
  6. 6.
    Vinh, P.C.: Categorical Approaches to Models and Behaviors of Autonomic Agent Systems. The International Journal of Cognitive Informatics and Natural Intelligence (IJCiNi) 3(1), 17–33 (2009)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  1. 1.Department of ITNTT UniversityHCM CityVietnam

Personalised recommendations