To efficiently meet the flexible service requests in Cloud Computing Data Centers (CloudCDC), the integrated construction of Service Function Chaining (SFC) and business system is researched based on Colored Petri Net (CPN). The general composition of multiple Service Functions (SFs) is studied at first. After analyzing the possible conflicts among the SFs that compose SFC, a novel method of SFC construction is proposed. Besides, to prove the correctness of the SFC construction, a method for verifying the constructed SFC before deployment is designed which composes the CPN model of object-oriented technology to observe the local behavior and global interaction of SFC respectively.

With the development of software defined network and network function virtualization, network operators can flexibly deploy service function chains (SFC) to provide network security services more than before according to the network security requirements of business systems. At present, most research on verifying the correctness of SFC is based on whether the logical sequence between service functions (SF) in SFC is correct before deployment, and there is less research on verifying the correctness after SFC deployment. Therefore, this paper proposes a method of using Colored Petri Net (CPN) to establish a verification model offline and verify whether each SF deployment in SFC is correct after online deployment. After the SFC deployment is completed, the information is obtained online and input into the established model for verification. The experimental results show that the SFC correctness verification method proposed in this paper can effectively verify whether each SF in the deployed SFC is deployed correctly. In this process, the correctness of SF model is verified by using SF model in the model library, and the model reuse technology is preliminarily discussed.