摘要
在系统与流程的建模过程中,将具有界面友好、可视直观等优势的UML与具有精确数学语义基础的Petri网相结合,既克服了UML缺少模型分析、验证手段的不足,又避免了普通形式化方法不宜直接用于建模的局限性。全面系统地研究了基于UML和Petri网建模与验证的可行性和相关技术,提出了该方法的具体流程,并以战时"武器打击"行动中的信息支持流程为例,对此方法进行了完整的演示。
In the system and process modeling process, UML has many advantages such as friendly interface and visible ,intuitive model,the combination of UML and Petri net which has precise mathe- matical semantic foundation not only overcomes the deficiency that UML lacks model analysis and veri- fication means,but also avoids the limitation that ordinary formalism methods should not be used direct- ly for modeling. This paper researches on the feasibility and related technologies of the modeling and validation of UML and Petri net comprehensively and systematically, brings forward its specific process- es, and takes the information support process for wartime weapon attacks as an example to completely demonstrate this method.
出处
《火力与指挥控制》
CSCD
北大核心
2013年第10期154-156,共3页
Fire Control & Command Control
