Run-Time Monitoring of Instances and Classes of Web Service Compositions | IEEE Conference Publication | IEEE Xplore