skip to main content
10.1145/3241403.3241444acmotherconferencesArticle/Chapter ViewAbstractPublication PagesecsaConference Proceedingsconference-collections
short-paper

MOTION: an application of ASMETA to mobile ad-hoc NETworks domain

Published: 24 September 2018 Publication History

Abstract

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.

References

[1]
Dharma P. Agrawal and Qing-An Zeng. 2016. Introduction to Wireless and Mobile Systems. Cengage Learning - Fourth Edition, Boston.
[2]
Gennaro Vessio Alessandro Bianchi, Sebastiano Pizzutilo. 2014. Preliminary description of NACK-based ad-hoc On-demand Distance Vector routing protocol for MANETs. In 2014 9th International Conference on Software Engineering and Applications (ICSOFT-EA), Vienna, Austria. IEEE Computer Society, 500--505.
[3]
Gennaro Vessio Alessandro Bianchi, Sebastiano Pizzutilo. 2018. Intercepting Blackhole Attacks in MANETs: An ASM-based Model, Cerone A., Roveri M. (eds) Software Engineering and Formal Methods. SEFM 2017. Lecture Notes in Computer Science, vol 10729). Springer. pp. 137--152.
[4]
Stefano Basagni, Michele Mastrogiovanni, Alessandro Panconesi, and Chiara Petrioli. 2006. Localized Protocols for Ad Hoc Clustering and Backbone Formation: A Performance Comparison. IEEE Trans. Parallel Distrib. Syst. 17, 4 (2006), 292--306.
[5]
Alessandro Bianchi, Sebastiano Pizzutilo, and Gennaro Vessio. 2016. CoreASM-based Evaluation of the N-AODV Protocol for MANETs. J. Mobile Multimedia 12, 1&2 (2016), 31--51. http://www.rintonpress.com/xjmm12/jmm-12-12/031-051.pdf
[6]
Egon Börger and Alexander Raschke. 2018. Modeling Companion for Software Practitioners. Springer.
[7]
Egon Börger and Robert StÃd'rk. 2003. Abstract State Machines: A Method for High-Level System Design and Analysis. Springer Verlag, Berlin.
[8]
Azzedine Boukerche and Luciano Bononi. 2004. Simulation and Modelling of Wireless, Mobile and Ad Hoc Networks, in Mobile ad hoc networking, Basagni S., Conti M., Giordano S. and Stojmenovic I. (eds). IEEE Press Wiley, New York. pp. 373--410.
[9]
Roozbeh Farahbod, Vincenzo Gervasi, and Uwe Glässer. 2007. CoreASM: An Extensible ASM Execution Engine. Fundam. Inform. 77, 1-2 (2007), 71--103. http://content.iospress.com/articles/fundamenta-informaticae/fi77-1-2-04
[10]
Ansgar Fehnker, Peter Höfner, Maryam Kamali, and Vinay Mehta. 2013. Topology-Based Mobility Models for Wireless Networks. In Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. 389--404.
[11]
Angelo Gargantini, Elvinia Riccobene, and Patrizia Scandurra. 2008. A Metamodel-based Language and a Simulation Engine for Abstract State Machines. J. UCS 14, 12 (2008), 1949--1983.
[12]
Angelo Gargantini, Elvinia Riccobene, and Patrizia Scandurra. 2008. Model-Driven Language Engineering: The ASMETA Case Study. In Proceedings of the Third International Conference on Software Engineering Advances, ICSEA 2008, October 26-31, 2008, Sliema, Malta. 373--378.
[13]
Uwe Glässer, Yuri Gurevich, and Margus Veanes. 2004. Abstract Communication Model for Distributed Systems. IEEE Trans. Software Eng. 30, 7 (2004), 458--472.
[14]
Yuri Gurevich. 2000. Sequential Abstract State Machines Capture Sequential Algorithms. ACM Transactions on Computational Logic 1, 1 (2000), 77--111.
[15]
Yuri Gurevich, Benjamin Rossman, and Wolfram Schulte. 2005. Semantic essence of AsmL. Theor. Comput. Sci. 343, 3 (2005), 370--412.
[16]
Elvinia Riccobene Paolo Arcaini, Angelo Gargantini. 2017. Rigorous development process of a safety-critical system: from ASM models to Java code. International Journal on Software Tools for Technology Transfer 19, 2 (2017), 247--269.
[17]
Charles E. Perkins, Elizabeth M. Belding-Royer, and Samir R. Das. 2003. Ad hoc On-Demand Distance Vector (AODV) Routing. RFC 3561 (2003), 1--37.
[18]
Duc A. Tran and Harish Raghavendra. 2006. Congestion Adaptive Routing in Mobile Ad Hoc Networks. IEEE Trans. Parallel Distrib. Syst. 17, 11 (2006), 1294--1305.
[19]
Fan-Hsun Tseng, Li-Der Chou, and Han-Chieh Chao. 2011. A survey of black hole attacks in wireless mobile ad hoc networks. Human-centric Computing and Information Sciences 1, 1 (22 Nov 2011), 4.
[20]
Jie Wu and Fei Dai. 2006. Mobility-Sensitive Topology Control in Mobile Ad Hoc Networks. IEEE Trans. Parallel Distrib. Syst. 17, 6 (2006), 522--535.

Index Terms

  1. MOTION: an application of ASMETA to mobile ad-hoc NETworks domain

      Recommendations

      Comments

      Information & Contributors

      Information

      Published In

      cover image ACM Other conferences
      ECSA '18: Proceedings of the 12th European Conference on Software Architecture: Companion Proceedings
      September 2018
      325 pages
      ISBN:9781450364836
      DOI:10.1145/3241403
      Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      Published: 24 September 2018

      Permissions

      Request permissions for this article.

      Check for updates

      Author Tags

      1. ASMETA
      2. MANET
      3. simulation

      Qualifiers

      • Short-paper

      Conference

      ECSA '18

      Acceptance Rates

      Overall Acceptance Rate 48 of 72 submissions, 67%

      Contributors

      Other Metrics

      Bibliometrics & Citations

      Bibliometrics

      Article Metrics

      • 0
        Total Citations
      • 19
        Total Downloads
      • Downloads (Last 12 months)0
      • Downloads (Last 6 weeks)0
      Reflects downloads up to 22 Feb 2025

      Other Metrics

      Citations

      View Options

      Login options

      View options

      PDF

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader

      Figures

      Tables

      Media

      Share

      Share

      Share this Publication link

      Share on social media