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 formal semantics of Mobile Maude is given by a rewrite theory in
rewriting logic. Since this specification is executable, it can be used
as a prototype of the language, in which mobile agent systems can be
simulated. 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 characteristics include: (1) reflection as a way of endowing mobile
objects with higher-order capabilities; (2) object-orientation and
asynchronous message passing; and (3) a simple semantics without loss
in the expressive power of application code.
Mobile Maude has been specified
and prototyped in Maude.
Specifications and Samples
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. (pdf)
- F. Durán and A. Verdejo. A conference reviewing
system in Mobile Maude.
In F. Gadducci and U. Montanari, editors, Proceedings Fourth International Workshop on Rewriting Logic and its Applications, WRLA 2002, ENTCS 71, pages 79-95. Elsevier, 2002.
- F. Durán, A. Riesco and A. Verdejo. A distributed implementation of Mobile
In C. Talcott and G. Denker, editors, Proceedings Sixth International Workshop on Rewriting Logic and its Applications, WRLA 2006, ENTCS. Elsevier, 2009.