摘要
在综合研究已有的服务组合的各种方案的基础上,采用层次结构的服务组合框架,同时利用回溯树进行服务的动态组合,最后用ASM建立一个普适环境下服务动态组合的基础模型并对其进行精化,同时通过CoreASM对该模型进行模拟执行验证.
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.
出处
《微电子学与计算机》
CSCD
北大核心
2010年第8期86-90,95,共6页
Microelectronics & Computer
基金
国家自然科学基金项目(60970010)
高等学校博士学科点专项科研基金课题(20090073110026)
关键词
普适计算
服务动态组合
回溯树
层次结构
ASM
pervasive computing
dynamic service composition
backward tree
hierarchical structure
ASM
