Encoding abstract descriptions into executable Web services: towards a formal development | IEEE Conference Publication | IEEE Xplore