The Analysis And Validation Of Service Composition In Pervasive Computing Based On ASM

The concept of Pervasive Computing is initiated by Weiser since1990s. The development of embedded systems, wireless communication technology is accelerating the process to make pervasive computing from theory into reality. The goal of Pervasive Computing is to combine the physical space and the digital space using network, sensors as well as mobile devices, so as to support the need of clients everywhere. So the research of service composition in a pervasive environment becomes a hot topic.In pervasive environment, there are not only web services on network but also many services supported by sensors and mobile devices. The services, combined with the concept of SOA, consist of a service composition and finally build an application model. But because of the autonomy, dynamic features and limited resources of pervasive computing environment, service composition is facing many unique problems and challenges. For example, it may face the error and monitoring of the process in the service composition as well as the adding and removing of devices. It gradually becomes a key problem to build a reliable service composition in the pervasive computing environment.In this paper, we firstly analyze the existing technology and model of service composition. A method of modeling service is initiated and we propose a validation method. The way of describing service in ASM is beneficial for the formal describe of services in different refinement level, so as to meet the need of correctness. Then, we use SPIN to do model checking. Finally, we choose CoreASM and SPIN as a tool to validate the correctness of service composition in the experiment. The result of the experiment indicates that the model the method proposed in this paper is suitable for the need in pervasive environment. It can bring positive significance to the practical application and development of such service compositions.