Applying ADLs to Assess Emerging Industry Specifications for Dynamic Discovery of Ad Hoc Network Services

摘要

The objectives of this program are to 1. Provide increased understanding of the competing dynamic discovery services emerging in industry; 2. Develop metrics/gauges for comparative analysis of different approaches to dynamic discovery and for analyzing consistency and completeness of discovery protocols; and 3. Assess suitability of architecture description languages to model and analyze emerging dynamic discovery protocols. The program will develop ADL models from selected specifications for service discovery protocols and develop a suite of scenarios and topologies with which to exercise the ADL models; propose a set of invariant properties that all dynamic discovery protocols should satisfy; propose a set of metrics, based on partially ordered sets, with which to compare and contrast discovery protocols; analyze the ADL models for inconsistencies, to assess invariant satisfaction and to compare and contrast protocols.