Exploiting web service annotations in model-based user interface development