doi dblp Simulation, verification and automated composition of web services Srini Narayanan | Sheila A. McIlraith Proceedings of the Eleventh International World Wide Web Conference, WWW 2002, May 7-11, 2002, Honolulu, Hawaii, USA