doi dblpCorrectness-aware high-level functional matching approaches for semantic Web servicesIslam Elgedawy | Zahir Tari | James A. Thom2008 Volume 2 Issue 2