节点文献
基于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
- 【主办单位】中国计算机学会开放系统专业委员会