Modeling and verification of Web services composition based on model transformation. - Zhu, Yi; Huang, Zhiqiu; Zhou, Hang (Software: Practice & Experience, 2017)