基于面向对象Petri网的并发软件集成开发环境的研究与实现
| 文献类型 | 学位 |
| 作者 | 牛锦中[1] |
| 机构 | 北京航空航天大学 ↓ |
| 授予学位 | 硕士 |
| 年度 | 1999 |
| 学位授予单位 | 北京航空航天大学 |
| 语言 | 中文 |
| 关键词 | 并发软件;面向对象;Petri网;集成开发工具 |
| 摘要 | 网络技术和环境的日益发展和普及,使对并发软件的需求日益增加,但并发问题的诸多特点使之很难开发.该论文把面向对象技术和Petri网理论相结合,提出了OOPN模型以对并发软件进行描述.在此基础上,通过对传统的并发软件开发方法的研究,提出一种基于OOPN模型的集规格说明定义、验证、代码生成于一体的新方法,并开发了相应的以OOPN模型为核心的并发软件集成开发环境-OOPN-IDE.它由几个子工具构成:OOPN模型图形和文本建模工具、多机协同建立/编辑系统模型环境、并发系统仿真和运作工具、死锁检测工具. |
影响因子：
dc:title:基于面向对象Petri网的并发软件集成开发环境的研究与实现
dc:creator:牛锦中
dc:date: publishDate:1753-01-01
dc:type:学位
dc:format: Media：北京航空航天大学
dc:identifier: LnterrelatedLiterature：北京航空航天大学.1999.
dc:identifier:DOI：
dc: identifier:ISBN:
