We introduce MOTION (MOdeling and simulaTIng mObile ad-hoc Networks), a tool for the definition and simulation of some protocols for mobile networks; among them, the well known Ad-hoc On-demand Distance Vector (AODV). Protocols’ definitions are based on the Abstract State Machine formal model, and their simulations are performed within the ASM mETAmodeling framework (ASMETA). Moreover, 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.
Simulation of mobile ad-hoc networks' protocols
covino
2024-01-01
Abstract
We introduce MOTION (MOdeling and simulaTIng mObile ad-hoc Networks), a tool for the definition and simulation of some protocols for mobile networks; among them, the well known Ad-hoc On-demand Distance Vector (AODV). Protocols’ definitions are based on the Abstract State Machine formal model, and their simulations are performed within the ASM mETAmodeling framework (ASMETA). Moreover, 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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
2024 IJANS covino.pdf
non disponibili
Tipologia:
Documento in Post-print
Licenza:
Copyright dell'editore
Dimensione
399.83 kB
Formato
Adobe PDF
|
399.83 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
|
netser_v17_n12_2024_1.pdf
accesso aperto
Tipologia:
Documento in Versione Editoriale
Licenza:
Creative commons
Dimensione
500.62 kB
Formato
Adobe PDF
|
500.62 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
