Runtime Enforcement of Web Service Message Contracts with Data | IEEE Journals & Magazine | IEEE Xplore