Verification of Service Replaceability with Colored Petri Net

Abstract

The verification of service replace ability is an important issue for service composition in a seamless way. In this paper, it proposes the definition of service behavior impaction to judge the service replace ability. It defines the service behavior model based on the colored Petri Net, put forward service behavior impaction and service replaceability. The application of the method in the scenarios of replacing services dynamically shows that the verification is very useful for correctly building and reliably executing composing service after service replacement.