Abstract
Mobile Maude is a mobile agent language extending the rewriting logic language Maude and supporting mobile computation. Mobile Maude uses reflection to obtain a simple and general declarative mobile language design and makes possible strong assurances of mobile agent behavior. The two key notions are processes and mobile objects. Processes are located computational environments where mobile objects can reside. Mobile objects have their own code, can move between different processes in different locations, and can communicate asynchronously with each other by means of messages. Mobile Maude’s key novel characteristics include: (1) reflection as a way of endowing mobile objects with “higher-order” capabilities; (2) object-orientation and asynchronous message passing; (3) a high-performance implementation of the underlying Maude basis; (4) a simple semantics without loss in the expressive power of application code; and (5) security mechanisms supporting authentication, secure message passing, and secure object mobility. Mobile Maude has been specified and prototyped in Maude. Here we present the Mobile Maude language for the first time, and illustrate its use in applications by means of Milner’s cell-phone example. We also discuss security and implementation issues.
Supported by DARPA through Rome Laboratories Contract F30602-97-C-0312, by ONR Contract N00014-99-C-0198, and by NSF Grant CCR-9505960.
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.
Similar content being viewed by others
References
Abadi, M., Gordon, A.: A calculus for cryptographic protocols: the spi calculus. Information and Computation 148, 1–70 (1999); An extended version of this paper appears as Research Report 149, Digital Equipment Corporation Systems Research Center (January 1998)
Cardelli, L., Gordon, A.: Mobile ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol. 1378, pp. 140–155. Springer, Heidelberg (1998); (to appear in TCS July 2000)
Ciancarini, P., Wolf, A.L. (eds.): COORDINATION 1999. LNCS, vol. 1594. Springer, Heidelberg (1999)
Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Quesada, J.: Maude: specification and programming in rewriting logic. SRI International (January 1999), http://maude.csl.sri.com
Clavel, M., Durán, F., Eker, S., Meseguer, J.: Building equational proving tools by reflection in rewriting logic. In: Proc. of the CafeOBJ Symposium 1998, Numazu, Japan, April 1998. CafeOBJ Project (1998), http://maude.csl.sri.com
Denker, G., Meseguer, J., Talcott, C.: Formal specification and analysis of active networks and communication protocols: the Maude experience. In: Proc. DARPA Information Survivability Conference and Exposition DICEX 2000, Hilton Head, South Carolina, vol. 1, pp. 251–265. IEEE, Los Alamitos (2000)
Fournet, C., Gonthier, G.: The reflexive cham and the join-calculus. In: Proceedings of 23rd ACM Symposium on Principles of Programming Languages, pp. 52–66. ACM, New York (1996)
Gray, R.S., Kotz, D., Cybenko, G., Rus, D.: D’Agents: Security in a multiple language, mobile-agent system. In: Vigna, G. (ed.) Mobile Agents and Security. LNCS, vol. 1419, pp. 154–187. Springer, Heidelberg (1998)
Kotz, D., Gray, R.S.: Mobile agents and the future of the Internet. ACM Operating Systems Review 33(3), 7–13 (1999)
Lange, D., Oshima, M.: Programming and Deploying Java Mobile Agents with Aglets. Addison-Wesley, Reading (1998)
Lange, D.B., Oshima, M.: Seven good reasons for mobile agents. Communications of the Association for Computing Machinery 42, 88–89 (1999)
Martin, D., Cheyer, A., Moran, D.: The open agent architecture: A framework for building distributed software systems. Applied Artificial Intelligence 13, 91–128 (1999), (available via), http://www.ai.sri.com/~cheyer/papers/aai/oaa.html
Meseguer, J.: Rewriting logic and Maude: a wide-spectrum semantic framework for object-based distributed systems. In: Proc. FMOODS 2000. Kluwer, Dordrecht (2000) (to appear)
Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science 96(1), 73–155 (1992)
Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes (Parts I and II). Information and Computation 100, 1–77 (1992)
Roman, G., McCann, P., Plun, J.: Mobile UNITY: Reasoning and specification in mobile computing. ACM Transactions on Software Engineering and Methodology 6, 250–282 (1997)
Tripathi, A., Karnik, N., Vora, M., Ahmed, T., Singh, R.: Mobile agent programming in ajanta. In: Proceedings of the 19th International Confernce on Distributed Computing Systems, ICDCS 1999 (1999)
White, J.: Telescript technology: the foundation for the electronic marketplace. General Magic White Paper, General Magic, Inc. (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Durán, F., Eker, S., Lincoln, P., Meseguer, J. (2000). Principles of Mobile Maude. In: Kotz, D., Mattern, F. (eds) Agent Systems, Mobile Agents, and Applications. ASA MA 2000 2000. Lecture Notes in Computer Science, vol 1882. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45347-5_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-45347-5_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41052-2
Online ISBN: 978-3-540-45347-5
eBook Packages: Springer Book Archive