基于ASM的混合式情境感知共享机制研究  

Research on a Hybrid Context-Aware Sharing Mechanism Based on ASM

作　　者：蒋晶晶[1,2] 叶剑[1] 朱珍民[1,2] 

机构地区：[1]湘潭大学信息工程学院,湖南湘潭411105 [2]中国科学院计算技术研究所,北京100190

出　　处：《计算机工程与科学》2012年第6期50-58,共9页Computer Engineering & Science

基　　金：国家863计划资助项目(2009AA011902);国家自然科学基金资助项目(61070109)

摘　　要：移动的用户能够方便地访问分布在普适计算环境中的传感器,进而获得情境信息,是情境感知系统的核心目标。本文提出了一种融合分布式P2P和Publish/Subscribe模式的混合式情境感知共享机制,基于抽象状态机对该机制的高鲁棒和可扩展的特性进行设计和规约,并采用AsmL测试工具生成有限状态机验证该机制的有效性和合理性,表明该机制可满足动态的分布式情境感知系统要求。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 speci- fies the mechanism with high robustness and extensibility, and applies the AsmL tools to generate a fi- nite 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.

关 键 词：情境感知 P2P 抽象状态机 可执行规范 有限状态机 抽象状态机语言 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]