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.
Maude
Specifications and Samples |
-
The Full Maude specification of Mobile Maude (mobile-maude.fm)
-
The Mobile Maude specification of the Cell Phone example (cell-phone.fm)
-
The Mobile Maude specification of a Conference Reviewing System (conference.mm)
-
F. Durán, S. Eker, P. Lincoln, and J. Meseguer. Principles of
Mobile Maude. In D. Kotz and F. Mattern, editors, Agent Systems, Mobile
Agents, and Applications, Second International Symposium on Agent Systems
and Applications and Fourth International Symposium in Mobile Agents,
ASA/MA 2000, LNCS 1882. Springer-Verlag, Sept. 2000. (gzip'ped ps)
- Francisco Durán and Alberto Verdejo. A Conference Reviewing
System in Mobile Maude. In 4th International Workshop on Rewriting
Logic and its Applications (WRLA'02). (gzip'ped ps)