孙海春
- 作品数：4 被引量：1H指数：1
- 供职机构：山东科技大学更多>>
- 发文基金：山东省科技发展计划项目山东省“泰山学者”建设工程项目国家重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于程序Petri网的新型软件开发方法研究
- 从软件可信本源出发,提出了一种新型的软件开发体系。基于这种新型的软件开发体系,研究Petri网模型到可执行代码的自动转换问题。创造性地提出程序Petri网的概念,给出程序 Petri网的定义,制定程序Petri网的构造规...
- 孙海春杜玉越
- 关键词：PETRI网软件开发自动转换可执行代码
- 文献传递
- C_net到可编译表达式的映射方法
- 近几年,为了缩短软件的开发周期和提高软件的开发质量,柔性的软件开发模式被提出。柔性软件开发模式能灵活和快速地响应用户需求的变更。其主要特点有以下四点：模型是可模拟的；开发过程中建模过程自顶向下,模拟修改由底向上地进行；在...
- 孙海春
- 关键词：PETRI网映射
- 文献传递
- 基于程序Petri网的新型软件开发方法研究被引量：1
- 2008年
- 从软件可信本源出发,提出了一种新型的软件开发体系。基于这种新型的软件开发体系,研究Petri网模型到可执行代码的自动转换问题。创造性地提出程序Petri网的概念,给出程序Petri网的定义,制定程序Petri网的构造规则。进一步地,给出几种基本Petri网结构的程序Petri网时间序列图和等效的程序运行过程。
- 孙海春杜玉越
- 关键词：PETRI网
- Petri网与函数的映射关系研究
- 2010年
- 本文讨论Petri网模型和函数之间的映射问题。用Petri网的运行等效完成程序的执行。为系统中每一个功能模块建立一个Petri网模型,对每个Petri网进行封装,组合所有的Petri网,完成系统的开发。最后,给出一个实例,验证了Petri网与函数之间的对应关系。
- 孙海霞孙海春
- 关键词：PETRI网函数
