基于时态描述逻辑ALC-μ的语义物联网服务验证

• 作者: 常亮 韩乔
• 来源期刊: 桂林电子科技大学学报
• 学科: 工学
• 关键词: 语义物联网 时态描述逻辑 μ-演算 模型检测
• 年，卷（期）: 2017,（6）
• 页码范围: 498-502
• 页数: 5页
• 分类号: TP301
• 字数: 5370字
• 语种: 中文

摘要

针对语义物联网服务的正确性验证问题,提出基于时态描述逻辑与命题μ-演算相结合的语义物联网服务验证方法.利用描述逻辑中的ABox对系统模型进行标注,引入语义标注的有限状态机对语义物联网服务进行建模.将描述逻辑ALC与命题μ-演算结合,构建时态描述逻辑ALC-μ,用于待验证性质的刻画.采用模型检测机制与描述逻辑推理机制相结合的模型检测算法,验证语义物联网服务的正确性.该方法可准确地对语义物联网服务进行建模和对所期望性质进行验证,并得到符合该性质的状态集合.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	常亮	桂林电子科技大学计算机与信息安全学院	77	450	12.0	17.0
2	韩乔	桂林电子科技大学计算机与信息安全学院	1	0	0.0	0.0