Formal modeling of combat under satellite communication network support based on pi-calculus

A typical multi-layer satellite communication network structure is proposed according to the features of satellite communication network. The process of combat under satellite communication network support is analyzed based on OODA (observe, orient, decide, act) theory. The pi-calculus syntax is defined with extension, and it is used as a new pi-calculus formally modeling method. The process of combat under satellite communication network support is resolved into combat mission order transmission, target information transmission and combat effectiveness evaluation, each part is formalized, and the complexity, uncertainty and dynamic evolution are analyzed, which support the simulation of combat process with the information support.