Declarative Specification of Web Applications exploiting Web Services and Workflows