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

• 作者: 叶剑 朱珍民 蒋晶晶
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 情境感知 P2P 抽象状态机 可执行规范 有限状态机 抽象状态机语言
• 年，卷（期）: 2012,（6）
• 所属期刊栏目: 高性能计算
• 页码范围: 50-58
• 分类号: TP391
• 字数: 7651字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2012.06.010

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	朱珍民	湘潭大学信息工程学院	69	715	14.0	24.0
5	叶剑	湘潭大学信息工程学院	2	1	1.0	1.0
6	蒋晶晶	湘潭大学信息工程学院	1	1	1.0	1.0