Abstract
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.
Supported by the National 973 Project under the grant number G1999032701 and China Postdoctoral Science Foundation.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
Cardelli, L., Gordon, A.D.: Types for Mobile Ambients. In: Proc. 26th POPL, pp. 79–92. ACM Press, New York (1999)
Shoham, Y.: Agent Oriented Programming. Artifficial Intelligence (60), 51–92 (1993)
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)
Wagner, G.: VIVA Knowledge-Based Agent Programming (1996) (Preprint) on-line at: www.inf.fu-berlin.de/wagner/VIVA.ps.gz
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)
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)
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)
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)
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)
Gordon, M.J.C.: The Denotational Description of Programming Languages: An Introduction. Springer, Heidelberg (1979)
Levi, F., Sangiorgi, D.: Controlling Interference in Ambients. In: Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium, 2000, pp. 352–364 (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lv, J., Ma, S., Pan, J., Ma, L. (2006). A Layered Semantics for Mobile Computation. In: Shi, ZZ., Sadananda, R. (eds) Agent Computing and Multi-Agent Systems. PRIMA 2006. Lecture Notes in Computer Science(), vol 4088. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11802372_19
Download citation
DOI: https://doi.org/10.1007/11802372_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-36707-9
Online ISBN: 978-3-540-36860-1
eBook Packages: Computer ScienceComputer Science (R0)