ASM and SDL models of geographic routing in mobile ad hoc networks

Authors:
Uwe Glässer;Andreas Prinz
Affiliations:
School of Computing Science, Simon Fraser University, B.C., Canada;Faculty of Engineering, Agder University College, Grimstad, Norway
Venue:
SDL'05 Proceedings of the 12th international conference on Model Driven
Year:
2005

Citing 4
Cited 0

Abstract State Machines: A Method for High-Level System Design and Analysis

Abstract State Machines: A Method for High-Level System Design and Analysis
Formal description and analysis of a distributed location service for mobile ad hoc networks

Theoretical Computer Science - Abstract state machines and high-level system design and analysis
Formal description of a distributed location service for mobile ad hoc networks

ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
A survey on position-based routing in mobile ad hoc networks

IEEE Network: The Magazine of Global Internetworking

Quantified Score

Hi-index	0.00

Visualization

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.