A reverse engineering approach for specifying Semantic Web Service with respect to MDA | IEEE Conference Publication | IEEE Xplore