Abstract
We present here an ASM view and an SDL view of the same protocol. We show how the two different modeling paradigms complement each other and that they are similar in their underlying semantic models. Our application example is sufficiently complex, including both architectural as well as non-trivial algorithmic aspects, and overall addresses an interesting problem in a demanding technological sector.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Benczur, A., Glässer, U., Lukovszki, T.: Formal Description of a Distributed Location Service for Ad Hoc Mobile Networks. In: Börger, E., Gargantini, A., Riccobene, E. (eds.) ASM 2003. LNCS, vol. 2589, pp. 204–217. Springer, Heidelberg (2003)
Börger, E., Stärk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)
Cinderella home page, URL: http://www.cinderella.dk
Ellsberger, J., Hogrefe, D., Sarma, A.: SDL — Formal Object-oriented Language for Communicating Systems. Prentice-Hall, Englewood Cliffs (1997)
Glässer, U., Gu, Q.-P.: Formal Description and Analysis of a Distributed Location Service for Mobile Ad Hoc Networks. Theoretical Computer Science (May 2005)
Mauve, M., Widmer, J., Hartenstein, H.: A Survey on Position-Based Routing in Mobile Ad-Hoc Networks. IEEE Network 15(6), 30–39 (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Glässer, U., Prinz, A. (2005). ASM and SDL Models of Geographic Routing in Mobile Ad Hoc Networks. In: Prinz, A., Reed, R., Reed, J. (eds) SDL 2005: Model Driven. SDL 2005. Lecture Notes in Computer Science, vol 3530. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11506843_11
Download citation
DOI: https://doi.org/10.1007/11506843_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-26612-9
Online ISBN: 978-3-540-31539-1
eBook Packages: Computer ScienceComputer Science (R0)