A CPN Based Runtime Assurance Mechanism for Critical Properties of Services Interactive Behaviors
Quanyuan Wu · 2011
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.