基于UML和Petri网的武器装备体系需求分析方法

Method of Analyzing Requirements of Weapon Equipment Architecture Based on UML and Petri Net

将武器装备体系分为逻辑体系结构和物理体系结构,给出对体系进行需求分析的过程.探讨了利用UML对武器装备体系进行需求描述的方法和步骤,以海洋监视与打击体系为例,利用UML中的协作图和活动图从顶层分别描述了体系的物理体系结构和逻辑体系结构.建立了利用UML构建的体系静态结构模型到利用着色随机Petri网构建的动态运行模型之间的映射关系.针对实例建立了相应的评估模型,利用可达树分析法初步分析了体系的一些逻辑性能.在构建体系结构模型和评估模型的过程中,各模型间既有延续性,又从不同角度反映了体系结构的不同方面,既可保证需求描述和分析模型的一致性,又可比较全面地分析装备体系结构.

According to its characteristics, weapon equipment architecture was divided into logical architecture and physical architecture. The process of analyzing requirements of the architecture was given. The method and steps of describing weapon equipment requirements using UML were discussed. Taking ocean surveillance and hitting target architecture as example, its physical architecture and logical architecture were described by using of activity diagram and collaboration diagram in UML from top level, respectively. The mapping relations between the static architecture model built using UML and the dynamic model built using colored stochastic Pctri net were presented. The evaluation model for the example was made. Some logical performances of the architecture was analyzed preliminarily using the reachable tree approach. In the process of building the architecture models and evaluation model, all models not only maintain continuity, but also reflect the different aspects of the architecture from different angles. Hence, unity between the models is guaranteed, and the architecture can also be analyzed completely.