A runtime monitoring and validation framework for Web service interactions | IEEE Conference Publication | IEEE Xplore