To assure the accordance of services interactive behaviors and defined critical properties

this paper provides a CPN based runtime assurance mechanism.A service interactive behaviors CPN model is introduced to analyze reachability sets and critical properties of a composed service sample.It also depicts the mechanism on how to runtime monitoring these properties.At the end

evaluations show that this runtime assurance mechanism has very good performance and efficiency.