A Semantic-based Registry enabling Discovery, Composition and Substitution of Pervasive Services