A Distributed Implementation of Mobile Maude

Authors:
Francisco Durán;Adrián Riesco;Alberto Verdejo
Affiliations:
ETSI Informática, Universidad de Málaga, Spain;Facultad de Informática, Universidad Complutense, Madrid, Spain;Facultad de Informática, Universidad Complutense, Madrid, Spain
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2007

Citing 4
Cited 2

The temporal logic of reactive and concurrent systems

The temporal logic of reactive and concurrent systems
Model checking

Model checking
Principles of Mobile Maude

ASA/MA 2000 Proceedings of the Second International Symposium on Agent Systems and Applications and Fourth International Symposium on Mobile Agents
State space reduction of rewrite theories using invisible transitions

AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology

Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol

Electronic Notes in Theoretical Computer Science (ENTCS)
Making maude definitions more interactive

WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a new specification/implementation of the mobile agent language Mobile Maude. This new version uses the external sockets provided by Maude since its 2.2 version, thus obtaining a really distributed implementation of the mobile language, where messages and mobile objects now may travel from one machine to another one in a transparent way. We also show how, even though the complexity of the Mobile Maude specification and the use of reflection, we have managed to use the Maude's model checker to prove properties about mobile agents applications.