学位论文 > 优秀研究生学位论文题录展示
基于ASM的普适服务动态组合研究
作 者: 曾慧清
导 师: 黄林鹏
学 校: 上海交通大学
专 业: 计算机软件与理论
关键词: 普适计算 服务动态组合 抽象状态机 精化模型 规则树
分类号: TP393.09
类 型: 硕士论文
年 份: 2011年
下 载: 29次
引 用: 0次
阅 读: 论文下载
内容摘要
随着Internet技术,传感器网络和移动设备的发展,普适计算得到了越来越多的关注和研究,越来越多的普适设备融入到人们的生活与工作环境中,为人们提供各种各样的服务功能。因此如何有效地整合这些服务功能,简单、方便、有效地构造复杂的服务组合应用已经成为了普适计算中的一个研究热点。本文对普适环境下的服务动态组合问题进行研究,基于抽象状态机理论提出一套适合普适环境下服务组合的形式化模型,并验证其在普适服务开发应用领域的可行性。首先,本文在分析现有服务组合技术的基础上,提出一套适合普适环境下进行服务动态组合的基础框架,主要是采用分级结构的服务组织方式,将参与到普适环境中的所有设备按照性能差异组织成层次的结构,然后在该分级服务模型的基础上,采用基于规则树的服务自动组合方法,即先为用户期望的每一个目标分别生成最优目标路径,最后将所有的最优目标路径进行合成,从而得到满足用户需求的组合服务。该组合框架具有重组效率高,复杂度低的特点。其次,利用抽象状态机刻画该服务动态组合的基础框架,构建普适环境下服务动态组合的基础模型,然后对该基础模型中各个模块内部的处理行为和输入输出行为又进行了进一步的分解和精化,并对应成为抽象状态机的各个子规则。最后,利用抽象状态机执行引擎CoreASM,按照各个子规则来模拟执行组合服务流程,从而验证所提出模型的可行性和正确性。实验结果表明,我们所提出的模型能够有效地构建正确的普适环境下服务动态组合系统,对后续普适服务应用开发具有一定的指导意义。
|
全文目录
摘要 3-5 ABSTRACT 5-9 第一章 引言 9-14 1.1 普适计算简介 9-10 1.2 抽象状态机简介 10-11 1.3 本文研究内容 11-12 1.4 本文研究意义 12-13 1.5 本文结构组织 13 1.6 本章小结 13-14 第二章 普适环境中的服务组合技术 14-20 2.1 面向服务的体系结构 14-15 2.1.1 SOA 14 2.1.2 Web 服务 14-15 2.1.3 Web 服务组合 15 2.2 普适环境下面向服务的软件架构 15-19 2.2.1 JINI 16-17 2.2.2 UPnP 17 2.2.3 OSGi 17-18 2.2.4 小结 18-19 2.3 本章小结 19-20 第三章 普适环境下服务动态组合的基础框架 20-33 3.1 普适环境中的服务动态组合 20-21 3.2 分级结构的服务组织方式 21-26 3.2.1 基于设备性能差异的分类 21-22 3.2.2 分级结构的构造 22-23 3.2.3 相关概念 23-26 3.2.4 服务的变动更新 26 3.3 基于规则树的服务自动组合 26-31 3.3.1 相关概念 26-30 3.3.2 基于规则树的服务自动组合算法 30-31 3.4 普适环境下服务动态组合的基础框架 31-32 3.5 本章小结 32-33 第四章 基于ASM 的普适环境下的服务动态组合 33-69 4.1 抽象状态机理论 33-39 4.1.1 相关概念 33-34 4.1.2 ASM 迁移规则语法 34-35 4.1.3 基础抽象状态机 35 4.1.4 ASM 中函数、关系及位置的分类 35-36 4.1.5 ASM 的精化 36-39 4.2 普适环境下服务动态组合的基础模型 39-40 4.3 普适环境下服务动态组合的基础模型的精化 40-53 4.3.1 分级结构管理抽象状态机 40-43 4.3.2 服务编排抽象状态机 43-50 4.3.3 服务执行抽象状态机 50-52 4.3.4 服务执行监控抽象状态机 52-53 4.4 从模型精化到代码的指导方法 53-54 4.5 可执行验证机制 54-68 4.5.1 CoreASM 54-56 4.5.2 CoreASM 的ASM 语法规约 56-58 4.5.3 实验 58-68 4.6 本章小结 68-69 第五章 全文总结 69-71 5.1 主要结论 69-70 5.2 研究展望 70-71 参考文献 71-75 致谢 75-76 攻读硕士学位期间已发表或录用的论文 76-77 附录 77-79
|
相似论文
- 普适计算下智能空间的哲学探究,N02
- 普适计算中上下文推理及不一致性检测技术的研究,TP391.1
- 基于Petri网的情境感知服务逻辑建模研究,TP301.1
- 普适计算中动态更新及其形式化研究,TP338
- 基于模式匹配与协议分析的分布式入侵检测研究,TP393.08
- 基于RFID的上下文感知若干关键技术研究,TP391.1
- 心电图QRS波实时检测技术研究与设计,R318.6
- 智能家庭中个性化规则生成与多Agent技术应用研究,TP18
- 面向自适应中间件实体分层建模的研究与应用,TP311.52
- 状态监控器软件构架及监控方法研究,TP368.1
- 普适计算环境下基于SVM的信息分类方法的研究,TP181
- 普适环境下一种分布式可靠服务组合机制研究,TP393.09
- 普适计算环境下的访问控制研究,TP393.08
- 基于抽象状态机的协议软件测试方法研究,TP311.52
- 基于语义的普适服务发现策略的研究,TP393.09
- 面向普适计算的上下文建模和推理技术研究,TP391.1
- 基于传感网络与计算机视觉的儿童危险感知系统,TP212.9
- 汽车普适计算环境下面向自适应的上下文感知计算研究,TP391.1
- 探索行走导航系统,TN965
- 基于测试流程的运载火箭控制系统故障诊断,V467
- 一种普适虚拟仪器设计方法研究,TP274
中图分类: > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 计算机的应用 > 计算机网络 > 一般性问题 > 计算机网络应用程序
© 2012 www.xueweilunwen.com
|