We define MOTION (MOdeling and simulaTIng mObile adhoc
Networks), a Java application based on the framework ASMETA
(ASM mETAmodeling), that uses the ASM (Abstract State Machine)
formalism to model and simulate mobile networks. In particular, the
AODV (Ad-hoc On-demand Distance Vector) protocol is used to show
the behaviour of the application