基于程序Petri网的新型软件开发方法研究

摘要：

从软件可信本源出发,提出了一种新型的软件开发体系。基于这种新型的软件开发体系,研究Petri网模型到可执行代码的自动转换问题。创造性地提出程序Petri网的概念,给出程序 Petri网的定义,制定程序Petri网的构造规则。进一步地,给出几种基本Petri网结构的程序Petri网时间序列图和等效的程序运行过程。

关键词： Petri网 软件开发 自动转换 可执行代码

作者: 孙海春 杜玉越

作者单位: 山东科技大学信息科学与工程学院,青岛 266510 山东科技大学信息科学与工程学院,青岛 266510 中国科学院计算机科学国家重点实验室,北京 100080

会议类型: 国内会议

会议名称: 第十二届全国petri网理论与应用学术年会

会议地点: 天津

会议语种:中文

页码: 55-58

在线出版日期: 2009-08-22（万方平台首次上网日期，不代表论文的发表时间）