Home // COMPUTATION TOOLS 2023, The Fourteenth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking // View article

A Formal Model for the Simulation of Mobile Networks

Authors:
Emanuele Covino

Keywords: AODV, Abstract State Machines, Mobile ad-hoc networks, Mobile computing, Social network analysis

Abstract:
We introduce MOTION (MOdeling and simulaTIng mObile ad-hoc Networks), a Java tool that simulates a well known protocol for mobile networks (the Ad-hoc On-demand Distance Vector - AODV); its definition is based on the Abstract State Machine formal model used within the framework ASMETA (ASM mETAmodeling). Morover, we suggest that some protocols for mobile networks could be used to provide a formal definition of social structures and to analyze the related properties.

Pages: 9 to 16

Copyright: Copyright (c) IARIA, 2023

Publication date: June 26, 2023

Published in: conference

ISSN: 2308-4170

ISBN: 978-1-68558-050-6

Location: Nice, France

Dates: from June 26, 2023 to June 30, 2023