An approach for automatically generating web services contract | IEEE Conference Publication | IEEE Xplore