Further Reading

You can read more about this type of verification in the following publication(s):

H.Foster, S.Uchitel, J.Kramer, J.Magee, Towards Self-Management in Service-oriented Computing with Modes , in Proceedings of the Workshop on Engineering Service-Oriented Applications (WESOA07), Vienna, Austria. Sept 2007.

H.Foster, A.Mukhija, S.Uchitel and D.Rosenblum, A Model-Driven Approach to Dynamic and Adaptive Service Brokering using Modes, in Proceedings of the 6th International Conference on Service Oriented Computing (ICSOC 2008), Sydney, Australia. December 2008.