论文部分内容阅读
在系统与流程的建模过程中，将具有界面友好、可视直观等优势的UML与具有精确数学语义基础的Petri网相结合，既克服了UML缺少模型分析、验证手段的不足，又避免了普通形式化方法不宜直接用于建模的局限性。全面系统地研究了基于UML和Pe埘网建模与验证的可行性和相关技术，提出了该方法的具体流程。并以战时“武器打击”行动中的信息支持流程为例，对此方法进行了完整的演示。