Efficient run-time verification of web service composition. - Yik-Shiung Yau; Fang-Fang Chua (Int. J. Web Eng. Technol., 2015)