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

摘要：

移动的用户能够方便地访问分布在普适计算环境中的传感器,进而获得情境信息,是情境感知系统的核心目标.本文提出了一种融合分布式P2P和Publish/Subscribe模式的混合式情境感知共享机制,基于抽象状态机对该机制的高鲁棒和可扩展的特性进行设计和规约,并采用AsmL测试工具生成有限状态机验证该机制的有效性和合理性,表明该机制可满足动态的分布式情境感知系统要求.

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

所属期刊栏目：34

分类号：TP391(计算技术、计算机技术)

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

在线出版日期：2012-07-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：50-58