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

A New Software Development Method Based on Programming Petri Nets

作　　者：孙海春[1] 杜玉越[1,2] 

机构地区：[1]山东科技大学信息科学与工程学院,青岛266510 [2]中国科学院计算机科学国家重点实验室,北京100080

出　　处：《系统仿真学报》2008年第S2期55-58,共4页Journal of System Simulation

基　　金：国家自然科学基金(60773034,90818023,90718012,60803032);山东省科技发展计划项目(2008GG30001024);中国科学院计算机科学国家重点实验室开放课题(SYSKF0804);山东省“泰山学者”建设工程专项经费;山东科技大学研究生创新基金

摘　　要：从软件可信本源出发,提出了一种新型的软件开发体系。基于这种新型的软件开发体系,研究Petri网模型到可执行代码的自动转换问题。创造性地提出程序Petri网的概念,给出程序Petri网的定义,制定程序Petri网的构造规则。进一步地,给出几种基本Petri网结构的程序Petri网时间序列图和等效的程序运行过程。Considering the unsafe source of software,a new kind of software development system is proposed in software field recently.In this paper,we improve the new software development system.This paper focuses on the translation from the model to its executable codes.In this paper,the definition of programming Petri nets and the rules of make programming Petri nets are given out creatively.Further,this paper gives out four kinds of basic structure of Programming Petri nets,their time sequence diagrams and the equivalent program operation.

关 键 词：PETRI网 程序Petri网 软件开发体系 可信性 

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