节点文献
基于ASM的普适环境下的服务动态组合
Dynamic Service Composition in Pervasive Computing Based on ASM
【Author】 ZENG Hui-qing,HUANG Lin-peng,CHEN Jun-qing (Department of Computer Science & Engineering, Shanghai Jiaotong University, Shanghai 200240, China)
【机构】 上海交通大学计算机科学与工程系；
【摘要】 在综合研究已有的服务组合的各种方案的基础上,采用层次结构的服务组合框架,同时利用回溯树进行服务的动态组合,最后用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.
【关键词】 普适计算；
服务动态组合；
回溯树；
层次结构；
ASM；
【Key words】 pervasive computing； dynamic service composition； backward tree； hierarchical structure； ASM；
【Key words】 pervasive computing； dynamic service composition； backward tree； hierarchical structure； ASM；
【基金】 国家自然科学基金项目(60970010);高等学校博士学科点专项科研基金课题(20090073110026)
- 【会议录名称】 2010年全国开放式分布与并行计算机学术会议论文集
- 【会议名称】2010年全国开放式分布与并行计算机学术会议
- 【会议时间】2010-08-19
- 【会议地点】中国新疆乌鲁木齐
- 【分类号】TP393.09
- 【主办单位】中国计算机学会开放系统专业委员会