T. . Elena, I. . Saad, and A. R. . Yahya, “Verification Method of Complex Web-Services”, 102, vol. 1, no. 1, pp. 1–15, Mar. 2014.