A Distributed Implementation of Mobile Maude

被引：8
|
作者：
Duran, Francisco [1 ]
Riesco, Adrian [2 ]
Verdejo, Alberto [2 ]
机构：
[1] Univ Malaga, ETSI Informat, Malaga, Spain
[2] Univ Complutense, Fac Informat, Madrid, Spain
来源：
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2007年 / 176卷 / 04期
关键词：
Mobile agents; Mobile Maude; model checking;
D O I：
10.1016/j.entcs.2007.06.011
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
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.
引用
收藏
页码：113 / 131
页数：19
相关论文
共 50 条
  • [1] Semantics, distributed implementation, and formal analysis of KLAIM models in Maude
    Eckhardt, Jonas
    Muehlbauer, Tobias
    Meseguer, Jose
    Wirsing, Martin
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2015, 99 : 24 - 74
  • [2] Principles of Mobile Maude
    Durán, F
    Eker, S
    Lincoln, P
    Meseguer, J
    [J]. AGENT SYSTEMS, MOBILE AGENTS AND APPLICATIONS, 2000, 1882 : 73 - 85
  • [3] A distributed implementation of mobile nets as mobile agents
    Busi, N
    Padovani, L
    [J]. FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS, 2005, 3535 : 259 - 274
  • [4] Typed Mobile Ambients in Maude
    Rosa-Velardo, Fernando
    Segura, Clara
    Verdejo, Alberto
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 147 (01) : 135 - 161
  • [5] A Natural Implementation of Plural Semantics in Maude
    Riesco, Adrian
    Rodriguez-Hortala, Juan
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2010, 253 (07) : 165 - 175
  • [6] A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude
    Duran, Francisco
    Olveczky, Peter Csaba
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 238 (03) : 83 - 102
  • [7] Microcontroller implementation for distributed motion control of mobile robots
    Yasuda, G
    [J]. 6TH INTERNATIONAL WORKSHOP ON ADVANCED MOTION CONTROL, PROCEEDINGS, 2000, : 114 - 119
  • [8] Implementation and examination of mobile agents based on distributed platform
    Wang, Dan
    Wei, Bao-Zhong
    Yu, Ge
    Wang, Guo-Ren
    [J]. Dongbei Daxue Xuebao/Journal of Northeastern University, 2002, 23 (05): : 413 - 416
  • [9] Implementation of HEVC Decoder in Distributed Mobile Embedded System
    Wei, Liu
    Park, Yeongkwang
    Cho, Yongbeom
    [J]. 2017 IEEE 7TH ANNUAL COMPUTING AND COMMUNICATION WORKSHOP AND CONFERENCE IEEE CCWC-2017, 2017,
  • [10] SAGA Distributed Transactions Verification Using Maude
    Djerou, Manel
    Tibermacine, Okba
    [J]. 2022 INTERNATIONAL SYMPOSIUM ON INNOVATIVE INFORMATICS OF BISKRA, ISNIB, 2022, : 42 - 47
12345