基于ASM的普适服务动态组合研究

More and more pervasive devices which provide versatile service functions have been brought forth in our working and living environment. A major challenge in pervasive computing is how to integrate all these provided services effectively and meaning fully to form novel service composition applications. This paper analyzes the problem of dynamic service composition in the environment of pervasive computing, and then proposes a formal model for dynamic service composition under pervasive computing. Mainly, we use the hierarchical structure service organization mode and compose the services automatically based on Rule Tree. Finally we verify the feasibility of the model by CoreASM.