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

摘要：

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

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

所属期刊栏目：22

分类号：TP311(计算技术、计算机技术)

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

在线出版日期：2012-03-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共14页

页码：2905-2918