Ground Model and Refinements in Modeling for Manet

Abstract

In recent years, the spread of wireless network technologies, allowing you to connect disparate devices (pda, laptop, mobile phones) at relatively low cost and without the need for cables allowed the various devices to communicate with one another via radio waves. In this context it develops Manet network whose nodes communicate as working station and router, able to deliver messages to other stations. Model a wireless network means using a tool, such as the Abstract State Machine, which is able to express the behavior of the network through functions. Based on this premise in this paper we analyze the various refinements to the next steps in bringing back hierarchically for each correct.