With the rapid development of quantum communication, various types of quantum communication protocols emerge one after another, and their number has been very large. Usually a quantum communication protocol is expressed in long words. Formalized processing of quantum communication protocol can simplify its expression mode, which is conducive to fast reading and selection of required protocols according to actual application requirements. In this paper, quantum communication protocols that use entangled particles as quantum channels to transmit known or unknown quantum states are classified based on classification of set, and the classified protocols are described in formalized language. A new quantum communication network model is constructed by using the formalized quantum communication protocol.