TY - GEN
T1 - Principles of mobile Maude
AU - Durán, Francisco
AU - Eker, Steven
AU - Lincoln, Patrick
AU - Meseguer, José
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2000.
PY - 2000
Y1 - 2000
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84944872561&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84944872561&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-45347-5_7
DO - 10.1007/978-3-540-45347-5_7
M3 - Conference contribution
AN - SCOPUS:84944872561
SN - 354041052X
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 73
EP - 85
BT - Agent Systems, Mobile Agents and Applications - 2nd International Symposiumon Agent Systems and Applications and 4th International Symposium on Mobile Agents, ASA/MA 2000, Proceedings
A2 - Kotz, David
A2 - Mattem, Friedernann
PB - Springer
T2 - 2nd International Symposium on Agent Systems and Applications, ASA 2000 and 4th International Symposium on Mobile Agents, MA 2000
Y2 - 13 September 2000 through 15 September 2000
ER -