Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

11

ENTCS
2007

favoriteEmaildiscussreport

94views more ENTCS 2007»

A Distributed Implementation of Mobile Maude

13 years 4 months ago

A Distributed Implementation of Mobile Maude

Download maude.sip.ucm.es

We present a new speciﬁcation/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 speciﬁcation and the use of reﬂection, we have managed to use the Maude’s model checker to prove properties about mobile agents applications.

Francisco Durán, Adrián Riesco, Albe

Real-time Traffic

ENTCS 2007 | Language Mobile Maude | Mobile Agents | Mobile Maude |

claim paper

Related Content

» Principles of Mobile Maude

» From Maude Specifications to SOAP Distributed Implementations A Smooth Transition

» Rewriting Logic Using Strategies for Neural Networks An Implementation in Maude

» Distributed Applications Implemented in Maude with Parameterized Skeletons

» Typed Mobile Ambients in Maude

» Plan in Maude Specifying an Active Network Programming Language

» DistOrc A Rewritingbased Distributed Implementation of Orc with Formal Analysis

» Authentication Revisited Flaw or Not the Recursive Authentication Protocol

» Using Bayesian Networks to Implement Adaptivity in Mobile Learning

Post Info
More Details (n/a)

Added	13 Dec 2010
Updated	13 Dec 2010
Type	Journal
Year	2007
Where	ENTCS
Authors	Francisco Durán, Adrián Riesco, Alberto Verdejo

Comments (0)