Validation of Context Based Service Discovery Protocol for Ubiquitous Applications

Abstract

Service Discovery Protocol (SDP) is important in ubiquitous applications, where a large number of devices and software components collab orate unobtrusively and provide numerous services without user intervention. Existing service discovery schemes use a service matching process in order to offer services of interest to the users. Potentially, the context information of the users and surrou nding environment can be used to improve the quality of service matching. We propose a C -IOB (Context- Information, Observation and Belief) based service discovery model, which deals with the above challenges by processing the context information and by formulating the beliefs based on the basis of observations. With these formulated beliefs the required services will be provided to the users. In this work, we present an approach for automated validation of C-IOB based service discovery model in a typical u biquitous museum environment, where the external behavior of the system can be predicted and compared to a model of expected behavior from the original requirements. Formal specification using SDL (Specification and Description Language) based system has been used to conduct verification and validation of the system. The purpose of this framework is to provide a formal basis for their performance evaluation and behavioral study of the SDP.