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.
1. A formal model for the simulation of mobile networks
EManuele Covino
2023-01-01
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.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
