A model-driven approach for specifying semantic Web services | IEEE Conference Publication | IEEE Xplore