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

周国富; 杜卓敏

引用本文:	周国富,杜卓敏.程序代码中隐含数据与控制的Petri 网建模技术.软件学报,2011,22(12):2905-2918

【打印本页】【下载PDF全文】【查看/发表评论】【EndNote】【RefMan】【BibTex】

←前一篇|后一篇→

过刊浏览高级检索

本文已被：浏览 5232次下载 7220次	码上扫一扫！
分享到：微信更多字体:加大+\|默认\|缩小-
程序代码中隐含数据与控制的Petri 网建模技术
周国富^1,2, 杜卓敏²
1.武汉大学软件工程国家重点实验室,湖北武汉 430072;2.武汉大学计算机学院,湖北武汉 430072

摘要:

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

关键词: 形式化 Petri 网程序语义静态分析

DOI：10.3724/SP.J.1001.2011.03956

分类号:

基金项目:国家自然科学基金(61040036); 国家教育部留学回国人员科研启动基金; 湖北省自然科学基金(2009CDB218); 中央高校基本科研业务费专项资金(6082015); 高等学校学科创新引智计划(B07037)

Petri Nets Model of Implicit Data and Control in Program Code

ZHOU Guo-Fu^1,2, DU Zhuo-Min²

1.State Key Laboratory of Software Engineering, Wuhan University, Wuhan 430072, China;2.School of Computer, Wuhan University, Wuhan 430072, China

Abstract:

To describe the implicit data and the implicit control in program code, CNets, one extension of Petri nets, is applied. By data view nets and control view nets, data and control of the program code are modeled. Based on the CNets specification, interactions between data flow and control flow, relations among data, operations, and resources are also captured respectively. Meanwhile, mapping rules from CNets specification to Petri nets are presented. According to the rules, from CNets specification, properties of the program are analysized through Petri nets techniques without a running a program.

Key words: formalization Petri net program semantics static analysis