[发明专利]基于UML和Petri网的作战任务规划模型及建模方法

说明书

本发明提供一种基于UML和Petri网的作战任务规划模型及建模方法，所述建模方法包括：确认多层反导协同作战任务规划的有关问题的界定；根据S1中确认的结果，基于UML构建多层反导协同作战任务规划的概念模型；基于Petri网对所述概念模型进行验证。通过概念模型对多层反导协同作战任务规划的功能需求和静态结构进行描述，并通过基于Petri网对所述概念模型进行验证，以对多层反导协同作战任务规划的动态活动进行说明，使得作战任务规划模型能够在保证功能需求和静态结构的同时使各结构间的动态活动具有一定的逻辑顺序，解决了现有的建模语言很难在保证模型系统的结构清晰准确的同时使各结构间的活动具有一定的逻辑顺序的问题。

技术领域

本发明涉及建模技术领域，特别涉及一种基于UML和Petri网的作战任务规划模型及建模方法。

背景技术

作战任务规划是网络信息体系的大脑和灵魂，是推进作战管理现代化的重要方法。通过作战任务规划研究设计战争、牵引战争准备、指导战争实践已成为世界军事强国的普遍做法。而多层反导协同作战任务规划，是在充分考虑各种约束的基础上，通过系统运筹、科学利用反导作战资源，获得上级作战意图框架下的多层反导体系最大作战效能，并形成反导作战行动预案的过程。该过程是特定背景下多层反导协同作战的模拟再现，可为交战阶段的指挥控制提供战场态势匹配原则下的最优作战预案。

军事概念建模语言有很多，选择适用的概念建模语言和建模方法对模型质量具有重要意义。常用的建模语言包括IDEF(Integrated Computer Aided ManufacturingDefinition)、UML(Unified Modeling Language)和Petri网等。IDEF适合于系统的功能定义及分解和描述活动间的先后顺序关系，但其对系统的动态特定，如同步性、并发性以及活动间的冲突等无法表达。UML具有直观的优点，有利于对系统的理解、分析和设计，然而其难以描述系统结构和工作步骤，不能进行动态仿真。Petri网虽然利于描述具有分步、并发、异步特征的离散事件动态系统，但其难于描述系统的组成结构等系统特征，不能进行数据处理，没有层次化的设计思想，无法描述系统内的时序关系等。

对于作战任务规划，尤其是多层反导协同作战任务规划，不仅需要保证模型系统的结构清晰准确，还要使得各结构间的活动具有一定的逻辑顺序，如此才能保证模型系统的仿真实现的质量。然而现有的建模语言很难在保证模型系统的结构清晰准确的同时使各结构间的活动具有一定的逻辑顺序。

发明内容

本发明的目的在于提供一种基于UML和Petri网的作战任务规划模型及建模方法，以解决现有的建模语言很难在保证模型系统的结构清晰准确的同时使各结构间的活动具有一定的逻辑顺序的问题。

为解决上述技术问题，本发明提供一种基于UML和Petri网的作战任务规划模型的建模方法，所述作战任务规划模型用于对多层反导协同作战任务规划进行模拟，所述建模方法包括：

S1，确认多层反导协同作战任务规划的有关问题的界定；

S2，根据S1中确认的结果，基于UML构建多层反导协同作战任务规划的概念模型；

S3，基于Petri网对所述概念模型进行验证。

可选的，在所述的基于UML和Petri网的作战任务规划模型的建模方法中，所述步骤S1包括：

S11，确认多层反导协同作战任务规划的对象，所述对象包括预警探测资源和拦截打击资源；所述预警探测资源用于在弹道导弹各飞行阶段对弹道目标进行探测发现、稳定跟踪，并辅助开展杀伤效果评估；所述拦截打击资源用于对探测发现的弹道目标进行拦截打击；

S12，确认多层反导协同作战任务规划所要实现的功能，所述功能包括计算确定兵力需求，对所述拦截打击资源进行作战部署、任务分配和目标分配，形成反导作战预案，以及对所述反导作战预案进行修改；

S13，确认多层反导协同作战任务规划的作战流程。