Abstract
We discuss how mobile agents, moving in the Internet from node to node, can communicate with each other by forwarding messages in a robust way. As a solution, we present the general idea of a class of communication networks called the multi-path message forwarding networks (MMFNs), which can transmit the messages to mobile agents at the current location in a robust way based on multiple paths between the nodes and the target. The networks are formally defined in terms of graph theory, and the dynamic nature of the networks (i.e., how they evolve) is represented by a logical system, named \(\mathcal{L}_{n}\), consisting of six inference rules. It is shown that the system is sound in the sense that it generates only MMFNs. A computational interpretation of \(\mathcal{L}_{n}\) is also discussed.
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
Appleby, S., Steward, S.: Mobile software agents for control in telecommunication networks. In: Hayzelden, A.L.G., et al. (eds.) Software Agents for Future Communication Systems, pp. 270–286. Springer, Heidelberg (1999)
Cockayne, W.R., Zyda, M.: Mobile Agents. Manning Publications (1998)
Kotz, D., et al.: Mobile agents for mobile Internet computing. IEEE Internet Computing 1(4), 58–67 (1997)
Pham, A., Karmouch, A.: Mobile software agents: an overview. IEEE Communications magazine 36(7), 26–37 (1998)
Aridor, Y., Oshima, M.: Infrastructure for mobile agents: requirements and design. In: Rothermel, K., Hohl, F. (eds.) MA 1998. LNCS, vol. 1477, pp. 38–49. Springer, Heidelberg (1998)
Milojicic, D., LaForge, W., Chauhan, D.: Mobile objects and agents. In: Proc. 4th USENIX Conf. on Object-Oriented Technologies and Systems (1998)
Murphy, A.L., Picco, G.P.: Reliable communication for highly mobile agents. In: Proc. 1st Intern. Symposium on Agent Systems and Applications, and 3rd Intern. Symposium on Mobile Agents, pp. 141–150. IEEE Computer Society Press, Los Alamitos (1999)
Chen, W.-S.E., Leng, C.-W.R.: A novel mobile agent search algorithm. In: Rothermel, K., Popescu-Zeletin, R. (eds.) MA 1997. LNCS, vol. 1219, pp. 162–173. Springer, Heidelberg (1997)
Xianping, T., Lu, J., et al.: Communication mechanism in Mogent system. Journal of Software 2000 11(8), 1060–1065 (2000)
van Steen, M., Hauck, F.J., Homburg, P., Tanenbaum, A.S.: Locating objects in wide-area systems. IEEE Communications Magazine 36(7), 104–109 (1998)
Roth, V., Peters, J.: A scalable and secure global tracking service for mobile agents. In: Picco, G.P. (ed.) MA 2001. LNCS, vol. 2240, pp. 169–181. Springer, Heidelberg (2001)
Lazar, S., Weerakoon, I., Sidhu, D.: A scalable location tracking and message delivery scheme for mobile agents. In: Proc. 7th IEEE Intern. Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, pp. 243–248. IEEE Computer Society Press, Los Alamitos (1998)
van Belle, W., Verelst, K., D’Hondt, T.: Location transparent routing in mobile agent systems merging name lookups with routing. In: Proc. 7th IEEE Workshop on Future Trends of Distributed Computing Systems, pp. 207–212 (1999)
Kurihara, M., Numazawa, M.: Evolution and maintenance of proxy networks for location transparent mobile agents and formal representation by graph transformation rules. In: Proc. Pacific Asian Conf. on Intelligent Systems, pp. 151–155 (2001)
Moreau, L.: Distributed directory service and message routing for mobile agents. Technical Report ECSTR M99/3, Department of Electronics and Computer Science, Univ. Southampton (1999)
Wojciechowski, P., Sewell, P.: Nomadic Pict: Language and infrastructure design for mobile agents. In: Proc. 1st Intern. Symposium on Agent Systems and Applications, and 3rd Intern. Symposium on Mobile Agents, pp. 821–826. IEEE Computer Society Press, Los Alamitos (1999)
Feng, X., Cao, J., Lü, J., Chan, H.: An efficient mailbox-based algorithm for message delivery in mobile agent systems. In: Picco, G.P. (ed.) MA 2001. LNCS, vol. 2240, pp. 135–151. Springer, Heidelberg (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kurihara, M., Numazawa, M. (2003). Logic for Multi-path Message Forwarding Networks for Mobile Agents. In: Zhong, N., RaÅ›, Z.W., Tsumoto, S., Suzuki, E. (eds) Foundations of Intelligent Systems. ISMIS 2003. Lecture Notes in Computer Science(), vol 2871. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39592-8_52
Download citation
DOI: https://doi.org/10.1007/978-3-540-39592-8_52
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20256-1
Online ISBN: 978-3-540-39592-8
eBook Packages: Springer Book Archive