加权迁移系统线性时间属性及其安全性检测

• 作者: 林运国
• 来源期刊: 计算机应用
• 学科: 工学
• 关键词: 迁移系统 线性时间属性 模型检测 安全性 半环
• 年，卷（期）: 2014,（5）
• 所属期刊栏目: 计算机软件技术
• 页码范围: 1413-1417
• 页数: 5页
• 分类号: TP311
• 字数: 7510字
• 语种: 中文
• DOI: 10.11772/j.issn.1001-9081.2014.05.1413

摘要

针对加权迁移系统,提出了线性时间属性及其安全性检测.首先定义了半环K上的加权迁移系统,提出了加权线性时间属性概念,并根据权重函数确定加权线性时间属性的上确界、下确界和闭包;接着给出了几种常见的加权线性时间属性并且讨论了它们的关系;然后重点研究了加权安全性,通过加权自动机和闭包给出了加权正则安全性;最后基于加权有穷自动机,建立了加权正则安全性的检测方法.检测过程结合半环和形式幂级数,构造了加权迁移系统和加权有穷自动机的乘积系统,将加权安全性检测问题转化为验证乘积系统的不变性,给出了加权正则安全性检测的算法和复杂度.实例结果表明,所提的方法能够对加权迁移系统的安全性进行检测.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	林运国	福建农林大学计算机与信息学院	18	37	4.0	5.0