Facilitating the Specification of Semantic Web Services Using Model-Driven Development