MOTION: An Application of ASMETA to Mobile Ad-hoc NETworks Domain

被引：0
|
作者：
Bevilacqua, Gianluca Gennaro [1 ]
Bianchi, Alessandro [1 ]
机构：
[1] Univ Bari, Dept Informat, Bari, Italy
来源：
ECSA 2018: PROCEEDINGS OF THE 12TH EUROPEAN CONFERENCE ON SOFTWARE ARCHITECTURE: COMPANION PROCEEDINGS | 2018年
关键词：
MANET; Simulation; ASMETA;
D O I：
10.1145/3241403.3241444
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This paper introduces MOTION (MOdeling and simulaTIng mObile ad-hoc Networks), a Java application for both formally modeling and simulating Mobile Ad-hoc NETworks (MANETs). The behavior under study is firstly modeled as an Abstract State Machine, then the model is translated within the ASMETA framework for executing the simulation.
引用
收藏
页数：4
相关论文
共 50 条
  • [21] Group Monitoring in Mobile Ad-Hoc Networks
    Gaba, Albana
    Voulgaris, Spyros
    van Steen, Maarten
    NEXT GENERATION SOCIETY: TECHNOLOGICAL AND LEGAL ISSUES, 2010, 26 : 441 - 451
  • [22] A PERCOLATION MODEL OF MOBILE AD-HOC NETWORKS
    Mohammadi, Hossein
    Oskoee, Ehsan Nedaaee
    Afsharchi, Mohsen
    Yazdani, Nasser
    Sahimi, Muhammad
    INTERNATIONAL JOURNAL OF MODERN PHYSICS C, 2009, 20 (12): : 1871 - 1902
  • [23] Cluster Maintenance in Mobile Ad-hoc Networks
    Lan Wang
    Stephan Olariu
    Cluster Computing, 2005, 8 : 111 - 118
  • [24] Quantifying trust in mobile ad-hoc networks
    Virendra, M
    Jadliwala, M
    Chandrasekaran, M
    Upadhyaya, S
    2005 International Conference on Integration of Knowledge Intensive Multi-Agent Systems: KIMAS'05: MODELING, EXPLORATION, AND ENGINEERING, 2005, : 65 - 70
  • [25] SECURITY IN MULTICAST MOBILE AD-HOC NETWORKS
    Visu, P.
    Chembian, W. T.
    Koteeswaran, S.
    FIRST INTERNATIONAL CONFERENCE ON ADVANCED COMPUTING 2009 (ICAC 2009), 2009, : 38 - 44
  • [26] Routing protocols in mobile Ad-hoc networks
    Gilaberte, RL
    Herrero, LP
    Proceedings of the Fourth IASTED International Conference on Communication Systems and Networks, 2005, : 196 - 201
  • [27] Wormhole Attack in Mobile Ad-hoc Networks
    Sharma, Madhu
    Jain, Ashish
    Shah, Shweta
    2016 SYMPOSIUM ON COLOSSAL DATA ANALYSIS AND NETWORKING (CDAN), 2016,
  • [28] On service prioritization in mobile Ad-hoc networks
    Xiao, H
    Chua, KC
    Seah, W
    Lo, A
    2001 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS, VOLS 1-10, CONFERENCE RECORD, 2001, : 1900 - 1904
  • [29] Mobile Advertisement in Vehicular Ad-Hoc Networks
    Dobre, Ciprian
    Tudor, George Cristian
    EUROMEDIA'2011, 2011, : 43 - 49
  • [30] QoS support in mobile ad-hoc networks
    Gupta, A
    Sanghi, D
    2000 IEEE INTERNATIONAL CONFERENCE ON PERSONAL WIRELESS COMMUNICATIONS, 2000, : 340 - 344
12345