程序代码中隐含数据与控制的Petri网建模技术

• 作者: 周国富 杜卓敏
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 形式化 Petri网 程序语义 静态分析
• 年，卷（期）: 2011,（12）
• 所属期刊栏目: 系统软件与软件工程
• 页码范围: 2905-2918
• 分类号: TP311
• 字数: 9678字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2011.03956

摘要

应用一种Petri网扩展CNets,描述程序代码中所隐含着的数据与控制,分别给出了程序代码的数据视图和控制视图,在CNets规范的基础上,研究程序中的数据与控制流之间的交互以及程序中数据、操作和资源之间的关系,同时给出CNets规范向经典Petri网规范的转换规则.在不运行程序的前提下,根据这一映射机制,通过CNets规范,利用经典Petri网理论对程序的性质进行分析.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杜卓敏	武汉大学计算机学院	10	68	4.0	8.0
2	周国富	武汉大学软件工程国家重点实验室	7	37	3.0	6.0