基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
通过分支时序逻辑(CTL)公式表示系统约束,利用Petri网的可达性分析技术来验证约束一致性是一种重要的、切实可行的约束一致性验证方法.文章描述了一种由CTL公式向Petri网映射的算法,将表示系统约束和组件约束的CTL公式分别映射为Petri网,然后利用Petri网的组合、可达性分析等技术从语义上来验证系统约束与组件约束的一致性.最后,通过对算法的实现开发了一个工具包,并通过一个实例验证了算法正确性和约束一致性验证方法的可行性.
推荐文章
基于Petri网的一致性检验的计算机实现
Petri网
建模
一致性检验
基于Petri网的WIA-PA协议一致性测试工具
WIA-PA协议
Petri网
错误诊断
一致性测试系统
包含协议和语义的构件一致性验证方法
构件式设计
方法语义
语义扩展接口自动机
一致性
带语义约束的交互概观图
基于时间约束Petri网的一致性验证算法
工作流
时间约束一致性
时间约束工作流网
验证算法
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于CTL和Petri网的约束一致性验证方法研究
来源期刊 计算机工程与应用 学科 工学
关键词 CTL Petri Net 约束 一致性
年,卷(期) 2006,(23) 所属期刊栏目 学术探讨
研究方向 页码范围 52-57
页数 6页 分类号 TP311
字数 6905字 语种 中文
DOI 10.3321/j.issn:1002-8331.2006.23.015
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 张斌 清华大学软件学院 56 870 15.0 28.0
2 罗贵明 清华大学软件学院 19 125 6.0 10.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (6)
节点文献
引证文献  (2)
同被引文献  (0)
二级引证文献  (0)
1985(1)
  • 参考文献(1)
  • 二级参考文献(0)
1986(3)
  • 参考文献(3)
  • 二级参考文献(0)
2003(1)
  • 参考文献(1)
  • 二级参考文献(0)
2004(1)
  • 参考文献(1)
  • 二级参考文献(0)
2006(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2011(1)
  • 引证文献(1)
  • 二级引证文献(0)
2012(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
CTL
Petri Net
约束
一致性
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机工程与应用
半月刊
1002-8331
11-2127/TP
大16开
北京619信箱26分箱
82-605
1964
chi
出版文献量(篇)
39068
总下载数(次)
102
总被引数(次)
390217
相关基金
国家自然科学基金
英文译名:the National Natural Science Foundation of China
官方网址:http://www.nsfc.gov.cn/
项目类型:青年科学基金项目(面上项目)
学科类型:数理科学
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导