基于UML和OCPN的防空作战仿真系统建模研究

Study on system modeling of air defense simulation by integrating UML and object colored Petri nets technique

通过深入分析防空作战仿真系统,综合运用形式化和非形式化建模技术,提出了UML和对象有色Petri网相结合的防空作战仿真系统混合建模方法,并给出了防空作战仿真系统的UML和OCPN的混合建模实例,为防空作战仿真系统采用复合建模技术、克服单一建模的缺陷提供了有益的思路。

Firstly air defense simulation system is analyzed, then the system modeling method of air defense simulation with combination of UML and object colored Petri nets (OCPN) is put forward in detail, by integrating formal and informal modeling technique, at last, an example is given to illustrate this method. The works of this paper can provide a good idea to adopt multiple modeling techniques and overcome the limitation of single modeling technique for air defense simulation system modeling.