Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks

A. Benczúr, U. Glässer, T. Lukovszki, Proc. of 10th International Workshop on Abstract State Machines, LNCS (2002).

Download
Restricted asm03.pdf 162.22 KB
Journal Article | Published | English
Author
; ;
Abstract
We define here a distributed abstract state machine (DASM) [7] of the network or routing layer of mobile ad hoc networks [13]. Such networks re- quire routing strategies substantially different from those used in static commu- nication networks, since storing and updating large routing tables at mobile hosts would congest the network with administration packets very fast. In [1], the hypercubic location service is presented, which considers a very strong definition of fault-tolerance thereby improving state-of-the-art ad hoc routing protocols in several respects. Our goal in modeling the protocols for the distrib- uted location service and the position based routing is twofold. First, we support the definition and validation of wireless communication protocols and imple- mentations based thereon. Second, we feel that the abstract computation model naturally reflects the layering principle of communication architectures in com- bination with an uncompromisingly local view of the application domain. Thus we can identify fundamental semantic concepts, such as concurrency, reactivity and asynchronism, directly with the related concepts as imposed by the given application context.
Publishing Year
Journal Title
Proc. of 10th International Workshop on Abstract State Machines, LNCS
LibreCat-ID

Cite this

Benczúr A, Glässer U, Lukovszki T. Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks. Proc of 10th International Workshop on Abstract State Machines, LNCS. Published online 2002.
Benczúr, A., Glässer, U., & Lukovszki, T. (2002). Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks. Proc. of 10th International Workshop on Abstract State Machines, LNCS.
@article{ Benczúr_Glässer_Lukovszki_2002, title={Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks}, journal={Proc. of 10th International Workshop on Abstract State Machines, LNCS}, author={ Benczúr, András and Glässer, Uwe and Lukovszki, Tamás}, year={2002} }
Benczúr, András, Uwe Glässer, and Tamás Lukovszki. “Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks.” Proc. of 10th International Workshop on Abstract State Machines, LNCS, 2002.
A. Benczúr, U. Glässer, and T. Lukovszki, “Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks,” Proc. of 10th International Workshop on Abstract State Machines, LNCS, 2002.
Benczúr, András, et al. “Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks.” Proc. of 10th International Workshop on Abstract State Machines, LNCS, 2002.
Main File(s)
File Name
asm03.pdf 162.22 KB
Access Level
Restricted Closed Access
Last Uploaded
2021-09-14T09:09:28Z


Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar