Goal-Driven Service Composition in Mobile and Pervasive Computing | IEEE Journals & Magazine | IEEE Xplore