A programming language for service-oriented computing with mobile agents

作者: Hervé Paulino , Luís Lopes

DOI: 10.1002/SPE.V38:7

关键词:

摘要: We present MOB, a service-oriented scripting language, for programming mobile agents. argue that combining the and agent paradigms provides very natural model large class of distributed applications. In agents in network simultaneously provide use services. The service interfaces constitute contracts bind among themselves. language features static type-checking to guarantee are respected at run-time. Other features, such as redundant providers, allow certain degree fault-tolerance by allowing applications switch servers dynamically case failure is detected (e.g. server crash). For these reasons, target we envision more interesting develop using MOB services networks with highly dynamic, volatile resources or simply adaptive, reconfigurable classical networks. paper presents its implementation from an application programmer's systems developer's view. Copyright © 2007 John Wiley & Sons, Ltd.

参考文章(30)
Alvaro Reis Figueira, Hervé Paulino, Luís MB Lopes, Fernando MA Silva, None, Distributed Typed Concurrent Objects: a Programming Language for Distributed Computations with Mobile Resources Journal of Universal Computer Science. ,vol. 9, pp. 745- 760 ,(2003) , 10.3217/JUCS-009-08-0745
Keith Ballinger, David S. Platt, Introducing Microsoft .Net ,(2002)
Lorenzo Bettini, Rocco De Nicola, Mobile distributed programming in X-KLAIM formal methods. ,vol. 3465, pp. 29- 68 ,(2005) , 10.1007/11419822_2
Hervé Paulino, Luís Lopes, Fernando Silva, Mob: a scripting language for mobile agents based on a process calculus international conference on web engineering. pp. 40- 43 ,(2003) , 10.1007/3-540-45068-8_6
Gordon Plotkin, Colin Stirling, Mads Tofte, None, Proof, language, and interaction: essays in honour of Robin Milner MIT Press. ,(2000)
Hervé Paulino, Pedro Marques, Luís Lopes, Vasco Vasconcelos, Fernando Silva, A Multi-threaded Asynchronous Language parallel computing technologies. pp. 316- 323 ,(2003) , 10.1007/978-3-540-45145-7_29
Kohei Honda, Mario Tokoro, An Object Calculus for Asynchronous Communication european conference on object oriented programming. pp. 133- 147 ,(1991) , 10.1007/BFB0057019
Vasco T. Vasconcelos, Typed Concurrent Objects european conference on object oriented programming. pp. 100- 117 ,(1994) , 10.1007/BFB0052178
Benjamin C. Pierce, David N. Turner, Pict: a programming language based on the Pi-Calculus Proof, language, and interaction. pp. 455- 494 ,(2000)