A framework for specification and performance evaluation of service discovery protocols in mobile ad-hoc networks

Authors:
Avinash Shenoi;Yelena Yesha;Yaacov Yesha;Anupam Joshi
Affiliations:
Department of Computer Science and Electrical Engineering, University of Maryland Baltimore County, 1000 Hilltop Circle, Baltimore, MD 21250, USA;Department of Computer Science and Electrical Engineering, University of Maryland Baltimore County, 1000 Hilltop Circle, Baltimore, MD 21250, USA;Department of Computer Science and Electrical Engineering, University of Maryland Baltimore County, 1000 Hilltop Circle, Baltimore, MD 21250, USA;Department of Computer Science and Electrical Engineering, University of Maryland Baltimore County, 1000 Hilltop Circle, Baltimore, MD 21250, USA
Venue:
Ad Hoc Networks
Year:
2006

Citing 5
Cited 1

Specification and Analysis of System Architecture Using Rapide

IEEE Transactions on Software Engineering - Special issue on software architecture
Rapide: a language and toolset for simulation of distributed systems by partial orderings of events

POMIV '96 Proceedings of the DIMACS workshop on Partial order methods in verification
GloMoSim: a library for parallel simulation of large-scale wireless networks

PADS '98 Proceedings of the twelfth workshop on Parallel and distributed simulation
The Unified Modeling Language reference manual

The Unified Modeling Language reference manual
Jini Specification

Jini Specification

An efficient multilateral negotiation system for pervasive computing environments

Engineering Applications of Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

Service discovery protocols are extremely important for developing distributed applications in ad-hoc environments. However to perform Service Discovery in mobile ad-hoc networks requires the design and development of extremely complex and dynamic systems. This requires a paradigm shift in the methodologies employed to design and evaluate these systems so as to ensure quality and correctness. Currently there exists no generic method for formally specifying these systems. Due to this it is extremely difficult to formally analyze protocols in this domain to study and observe the behavior. The same issue also hinders comparison of different protocols against a fixed set of metrics. In this work we propose a framework for the formal specification of service discovery protocols in mobile ad-hoc networks. The purpose of this framework is to provide a formal basis for performance evaluation and behavioral study of these protocols. This allows different service discovery architectures to be evaluated against a given set of metrics, a generic way to specify protocols and an automated process for performance evaluation and behavioral study.