A Layered Semantics for Mobile Computation

  • Jianghua Lv
  • Shilong Ma
  • Jing Pan
  • Li Ma
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4088)


Since mobile computation involves variants information and different behaviors, it is very complicated in mobile computation systems. In order to analysis mobile computation and understand the essential of mobile computing, in the paper we develop a denotational semantics for mobile computation. Here we take CLAIM, a computational language for autonomous, intelligent and mobile agents, as our object language because it characterizes the essential ingredients in mobile computation. After abstracting the syntax construction of CLAIM, we give its semantics description. This is achieved by structuring the semantics in layers working at three different levels: internal ambient, ambients and programs based on the basic concept: ambient. For each of these three levels, their semantics are defined in detail as well as the relationship between levels. Through our approach, we can also obtain an explicit model of behaviors in mobile computation.


Mobile Agent Operational Semantic Agent Program Reduction Rule Semantic Description 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Cardelli, L., Gordon, A.D.: Mobile Ambient. In: Nivat, M. (ed.) ETAPS 1998 and FOSSACS 1998. LNCS, vol. 1378, pp. 140–155. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  2. 2.
    Cardelli, L., Gordon, A.D.: Types for Mobile Ambients. In: Proc. 26th POPL, pp. 79–92. ACM Press, New York (1999)Google Scholar
  3. 3.
    Shoham, Y.: Agent Oriented Programming. Artifficial Intelligence (60), 51–92 (1993)Google Scholar
  4. 4.
    Thomas, R.S.: The PLACA Agent Programming Language. In: Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents, pp. 355–370 (1995)Google Scholar
  5. 5.
    Wagner, G.: VIVA Knowledge-Based Agent Programming (1996) (Preprint) on-line at:
  6. 6.
    Hindriks, K.V., deBoer, F.S., van der Hoek, W., Meyer, J.J.Ch.: Agent Programming in 3APL. Intelligent Agents and Multi-Agent Systems 2, 357–401 (1999)CrossRefGoogle Scholar
  7. 7.
    El Fallah-Seghrouchni, A., Suna, A.: An Unified Framework for Programming Autonomous. In: Mařík, V., Müller, J.P., Pěchouček, M. (eds.) CEEMAS 2003. LNCS (LNAI), vol. 2691, pp. 353–362. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  8. 8.
    El Fallah-Seghrouchni, A., Suna, A.: CLAIM: A Computational Language for Autonomous, Intelligent and Mobile Agents. In: Dastani, M., Dix, J., El Fallah-Seghrouchni, A. (eds.) PROMAS 2003. LNCS (LNAI), vol. 3067, Springer, Heidelberg (2004)CrossRefGoogle Scholar
  9. 9.
    America, P.: The Practical Importance of Formal Semantics. In: Klop, J.W., Meyer, J.-J.Ch., Rutten, J.J.M.M. (eds.) J. W. de Bakker, 25 Jaar Semantiek, Liber Amicorum, Amsterdam, the Netherlands. Centre for Mathematics and Computer Science, April 1989, pp. 31–40 (1989)Google Scholar
  10. 10.
    Alexandru Suna, A., Fallah-Seghrouchni, E., Fouquer, C., Baillot, P.: Mobile Multi-agent Systems: A Programming Language and Its Semantics. In: Third International Joint Conference on Autonomous Agents and Multi-agent Systems (AAMAS 2004), New York, USA, vol. 3, pp. 1386–1387 (2004)Google Scholar
  11. 11.
    Gordon, M.J.C.: The Denotational Description of Programming Languages: An Introduction. Springer, Heidelberg (1979)MATHGoogle Scholar
  12. 12.
    Levi, F., Sangiorgi, D.: Controlling Interference in Ambients. In: Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium, 2000, pp. 352–364 (2000)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Jianghua Lv
    • 1
    • 2
  • Shilong Ma
    • 1
  • Jing Pan
    • 3
  • Li Ma
    • 1
  1. 1.National Lab of Software Development EnvironmentBeijing University of Aeronautics and AstronauticsBeijingChina
  2. 2.College of Computer Science and TechnologyJilin UniversityChangchunChina
  3. 3.School of ManagementUniversity of Science and Technology BeijingBeijingChina

Personalised recommendations