Constraint specification and processing in Web services publication and discovery | IEEE Conference Publication | IEEE Xplore