A CASE tool for modelling and automatically generating web service-enabled applications