Formal modeling method of the weaponry using process based on multi-views and SysML

To solve the problem of process description caused by the coupling of man-machine and environment in the use process of weapons and equipment, a formal modeling method for the weaponry using process is presented based on the multi-views form and system modeling language SysML. First of all, based on the characteristics of the weaponry using process, a multi-views structure of process description is defined with "process view" as the core and "function view", "organization view", "information view" and "resource view" as the supplement, which realizes the planning and sorting of equipment use process information and effectively solves the problem that traditional workflow diagram description methods do not cover part of the information comprehensively. On this basis, The conversion relationship between the process description view and the formal model view of SysML is analyzed, which makes the process description view serve as a bridge, provides information support from all angles for formal modeling based on SysML, and improves the accuracy of modeling based on SysML.