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

Petri Nets Model of Implicit Data and Control in Program Code

作　　者：周国富[1,2] 杜卓敏[2] 

机构地区：[1]武汉大学软件工程国家重点实验室,湖北武汉430072 [2]武汉大学计算机学院,湖北武汉430072

出　　处：《软件学报》2011年第12期2905-2918,共14页Journal of Software

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

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

关 键 词：形式化 PETRI网 程序语义 静态分析 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]