论文摘要：面向对象Petri网理论的扩展及建模与仿真工具的重构

Petri网[1]是一种可执行的可视化建模语言，是通过图形方式描述并发程序的理想工具，适合于对各种并发系统的建模[2]。随着面向对象技术的发展，利用面向对象的封装性，北京航空航天大学软件工程研究所Petri网课题组将Petri网技术与面向对象思想结合从而形成面向对象Petri网（OOPN）[3]。并且在面向对象Petri网理论思想的指导下，用Java语言设计实现支持OOPN可视化建模、死锁检测和仿真运作的集成开发环境OOPN-IDE[3]。经过多年的研究及扩展，OOPN-IDE已经变得愈加成熟，经过小组成员的不懈努力，OOPN-IDE能够支持针对不同领域的建模和仿真工作。但系统本身还存在不少需要完善之处。OOPN的理论基础尚有不足，面向对象中的一些面向对象的特性仍无法完全的融合到OOPN中。设计OOPN-IDE之初的体系结构，随着对OOPN的拓展研究在原有的系统之上进行修改，逐渐变得杂乱而不清晰，并且会由此引发一些无法预知的异常和错误。针对上述问题，本文首先完善了OOPN的理论基础，将面向对象中的继承、多态等特性仍融合到OOPN中。其次，完成了对OOPN-IDE的重构，主要完成了网模型的层次结构的接口与实现的分离，并使用MVC模式将模型部分与其可视化视图部分的分离；将OOPN-IDE以插件形式移植到开源框架Eclipse当中。这种插件式体系结构大大增强了集成开发环境的可扩展性。建模技术可以帮助开发人员更容易地理解复杂的技术环境。它们增强了技术背景各不相同的利益相关者、组织内部的不同团队和多个组织之间的沟通。模型驱动开发把模型置于开发过程的核心，通过这种方法，模型可以直接转化成为实现。本文的最后，基于OOPN-IDE，对使用面向对象Petri网作为模型的模型驱动开发方法进行了一些探索。