| 基于ASM的混合式情境感知共享机制研究 |
| |
| 引用本文： | 蒋晶晶,叶剑,朱珍民.基于ASM的混合式情境感知共享机制研究[J].计算机工程与科学,2012,34(6):50-58. |
| |
| 作者姓名： | 蒋晶晶 叶剑 朱珍民 |
| |
| 作者单位： | 1. 湘潭大学信息工程学院,湖南湘潭 411105;中国科学院计算技术研究所,北京 100190
2. 湘潭大学信息工程学院,湖南湘潭,411105 |
| |
| 基金项目： | 国家863计划资助项目，国家自然科学基金资助项目 |
| |
| 摘 要： | 移动的用户能够方便地访问分布在普适计算环境中的传感器,进而获得情境信息,是情境感知系统的核心目标。本文提出了一种融合分布式P2P和Publish/Subscribe模式的混合式情境感知共享机制,基于抽象状态机对该机制的高鲁棒和可扩展的特性进行设计和规约,并采用AsmL测试工具生成有限状态机验证该机制的有效性和合理性,表明该机制可满足动态的分布式情境感知系统要求。
|
| 关 键 词： | 情境感知 P2P 抽象状态机 可执行规范 有限状态机 抽象状态机语言 |
Research on a Hybrid Context-Aware Sharing Mechanism Based on ASM |
| |
| JIANG Jing-jing
,
YE Jian
,
ZHU Zhen-min.Research on a Hybrid Context-Aware Sharing Mechanism Based on ASM[J].Computer Engineering & Science,2012,34(6):50-58. |
| |
| Authors: | JIANG Jing-jing YE Jian ZHU Zhen-min |
| |
| Affiliation: | 1,2(1.School of Information Engineering,Xiangtan University,Xiangtan 411105;2.Institute of Computing Technology,Chinese Academy of Sciences,Beijing 100190,China) |
| |
| Abstract: | It is the core objective of the context-aware systems that mobile users can easily acquire sensor data distributed over the ubiquitous computing environment to get those context information.Therefore,this paper proposes a hybrid context-aware sharing mechanism which combines distributed peer-to-peer with Publish/Subscribe.Based on the Abstract State Machine,the paper designs and specifies the mechanism with high robustness and extensibility,and applies the AsmL tools to generate a finite a state machine to verify the validity and rationality,At the end of this paper,this mechanism is proved to be able to satisfy the requirements of dynamic distributed context-aware systems. |
| |
| Keywords: | context-aware peer-to-peer abstract state machine executable specification finite state machine AsmL |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与科学》浏览原始摘要信息 |
|
点击此处可从《计算机工程与科学》下载全文 |
|
