层次化对象Petri网模型到Ada程序框架的自动转换工具的研究与开发
文献类型 | 学位 |
作者 | 白炯心[1] |
机构 | 北京航空航天大学 ↓ |
授予学位 | 硕士 |
年度 | 1999 |
学位授予单位 | 北京航空航天大学 |
语言 | 中文 |
关键词 | Petri网;代码生成;面向对象;并发软件;Ada语言 |
摘要 | 该文将面向对象方法与Petri网理论相结合,提出了用于并发软件建模的层次化对象Petri网模型HOPN.文中首先讨论了Ada语言的并发机制以及Ada 95语言的面向对象特性.通过引入并改进并发对象模板的概念,探讨了面向对象方法与并发过程的结合方式.在此基础上,通过分析HOPN模型的语法和语义,提出了HOPN模型到Ada源程序的映射方案,并对模型到Ada源程序自动转换工具、实现过程中的一些技术难点作了详细的阐述.在研究HOPN模型到Ada源程序的转换方案过程中,该文不仅尽量保持了用户建立的并发软件模型的语法和定义,还对所生成的Ada程序的效率、可读性、可扩展性和可维护性等方面作了综合考虑.使为目标系统所生成的源程序能较好的地满足实际系统开发的需要. |
影响因子:
dc:title:层次化对象Petri网模型到Ada程序框架的自动转换工具的研究与开发
dc:creator:白炯心
dc:date: publishDate:1753-01-01
dc:type:学位
dc:format: Media:北京航空航天大学
dc:identifier: LnterrelatedLiterature:北京航空航天大学.1999.
dc:identifier:DOI:
dc: identifier:ISBN: