基于ASM的普适环境下的服务动态组合
Dynamic Service Composition in Pervasive Computing Based on ASM
-
摘要: 在综合研究已有的服务组合的各种方案的基础上,采用层次结构的服务组合框架,同时利用回溯树进行服务的动态组合,最后用ASM建立一个普适环境下服务动态组合的基础模型并对其进行精化,同时通过CoreASM对该模型进行模拟执行验证.Abstract: In this paper, based on comprehensive analysis of various service composition methods, we present a hierarchical structure on service composition framework and an approach to compose services automatically by using backward tree. Finally we build a ground model for dynamic service composition in pervasive computing based on ASM, then refine and verify the model by CoreASM tool.