Integrated Construction of Service Function Chain and Business System Based on Colored Petri Net

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.