Abstract
This paper proposes a language called CLAIM : Computational Language for Autonomous Intelligent and Mobile agents. CLAIM allows designing Multi-Agent Systems that support both stationary and mobile agents. Agents designed thanks to CLAIM are endowed with cognitive capabilities (e.g. reasoning), are able to communicate with other agents and are mobile. The primitives of mobility are inspired from the ambient calculus. The CLAIM language is supported by a multi-platform system (SyMPA) compliant with the specifications of the MASIF standard (from OMG);i.e. agents can be distributed over several sites and can move from one to another with respect to MASIF specifications. this paper presents the main features of our language CLAIM, resumes the most significant aspects of SyMPA, shows the expressiveness of our language, and discusses the completeness of the mobility.
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.: Mobile Ambients Synchronization, SRC Technical Note, Digital Equipment Corporation System Research Center (1997)
Cardelli, L.: Obliq: A Language with Distributed Scope SRC Technical Note, Digital Equipment Corporation System Research Center (1995)
Cardelli, L., Gordon, A.D.: Mobile Ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol. 1378, pp. 140–155. Springer, Heidelberg (1998)
Cardelli, L.: Abstractions for Mobile Computation. In: Vitek, J. (ed.) Secure Internet Programming. LNCS, vol. 1603, pp. 51–94. Springer, Heidelberg (1999)
Clark, K.L., Skarmeas, N., McCabe, F.: Agents as Clonable Objects with Knowledge Base State. In: Proc. of ICMAS 1996, AAAI Press, Menlo Park (1996)
Davies, W.H.E., Edwards, P.: Agent-K: An Integration of AOP and KQLM. In: Proceedings of the CIKM 1994 Workshop on Intelligent Agents (1994)
Conchon, S., Le Fessant, F.: Jocaml: Mobile Agents for Objective-Caml. In: ASA/MA 1999, pp. 22–29. IEEE Computer Society, Los Alamitos (1999)
Fallah-Seghrouchni, A.E., Suna, A.: An Unified Framework for Programming Autonomous, Intelligent and Mobile Agents. In: Mařík, V., Müller, J.P., Pěchouček, M. (eds.) CEEMAS 2003. LNCS (LNAI), vol. 2691, p. 353. Springer, Heidelberg (2003) (to appear)
Hashimoto, M., Yonezawa, A.: MobileML: A Programming Language for Mobile Computation Coordination Models and Languages, pp. 198–215 (2000)
Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.J.C.: Agent Programming in 3APL. Intelligent Agents and Multi-Agent Systems 2, 357–401 (1999)
d’Inverno, M., Kinny, D., Luck, M., Wooldridge, M.: A Formal Specification of dMARS. In: Rao, A., Singh, M.P., Wooldridge, M.J. (eds.) ATAL 1997. LNCS, vol. 1365, pp. 155–176. Springer, Heidelberg (1998)
Levi, F., Sangiori, D.: Controlling Interference in Ambients. In: Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 352–364 (2000)
McCabe, F.G., Clark, K.L.: April Agent PRocess Interaction Language Intelligent Agents: Theories, Architectures, and Languages. In: Wooldridge, M.J., Jennings, N.R. (eds.) ECAI 1994 and ATAL 1994. LNCS (LNAI), vol. 890, Springer, Heidelberg (1995)
Milojicic, D., Breugst, M., Busse, I., Campbell, J., Covaci, S., Friedman, B., Kosaka, K., Lange, D., Ono, K., Oshima, M., Tham, C., Virdhagriswaran, S., White, J.: MASIF, The OMG Mobile Agent System Interoperability Facility (1998)
DeNicola, R., Ferrari, G., Pugliese, R.: KLAIM: a Kernel Language for Agents Interaction and Mobility. IEEE Transactions on Software Engineering 24(5), 315–330 (1998)
Sampath, P.: Modelling Multi-agent Reactive Systems. In: Stuckey, P.J. (ed.) ICLP 2002. LNCS, vol. 2401, p. 476. Springer, Heidelberg (2002)
Shoham, Y.: Agent Oriented Programming. Artificial 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)
Vitek, J., Castagna, G.: Towards a Calculus of Secure Mobile Computations. In: IEEE Workshop on Internet Programming Languages (1998)
Gerd Wagner - VIVA Knowledge-Based Agent Programming (1996), Preprint on-line at: http://www.inf.fu-berlin.de/wagner/VIVA.ps.gz
White, J.: Mobile agents. In: Bradshaw, J. (ed.) Software Agents, MIT Press, Cambridge (1997)
Weerasooriya, D., Rao, A.S., Ramamohanarao, K.: Design of a Concurrent Agent-Oriented Language. In: Wooldridge, M.J., Jennings, N.R. (eds.) ECAI 1994 and ATAL 1994. LNCS (LNAI), vol. 890, Springer, Heidelberg (1995)
Wojciechowski, P.T., Sewell, P.: Normand Pict: Language and Infrastructure Design for Mobile Agents. In: Proceedings of ASA/MA (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
El Fallah-Seghrouchni, A., Suna, A. (2004). CLAIM: A Computational Language for Autonomous, Intelligent and Mobile Agents. In: Dastani, M.M., Dix, J., El Fallah-Seghrouchni, A. (eds) Programming Multi-Agent Systems. ProMAS 2003. Lecture Notes in Computer Science(), vol 3067. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25936-7_5
Download citation
DOI: https://doi.org/10.1007/978-3-540-25936-7_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22180-7
Online ISBN: 978-3-540-25936-7
eBook Packages: Springer Book Archive