10.3969/j.issn.1007-130X.2012.06.010
基于ASM的混合式情境感知共享机制研究
移动的用户能够方便地访问分布在普适计算环境中的传感器,进而获得情境信息,是情境感知系统的核心目标.本文提出了一种融合分布式P2P和Publish/Subscribe模式的混合式情境感知共享机制,基于抽象状态机对该机制的高鲁棒和可扩展的特性进行设计和规约,并采用AsmL测试工具生成有限状态机验证该机制的有效性和合理性,表明该机制可满足动态的分布式情境感知系统要求.
情境感知、P2P、抽象状态机、可执行规范、有限状态机、抽象状态机语言
34
TP391(计算技术、计算机技术)
国家863计划资助项目2009AA011902;国家自然科学基金资助项目61070109
2012-07-27(万方平台首次上网日期,不代表论文的发表时间)
共9页
50-58