Compatibility Checking of Heterogeneous Web Service Policies Using VDM++ | IEEE Conference Publication | IEEE Xplore