A Description Language for Universal Understandings of Heterogeneous Services in Pervasive Computing | IEEE Conference Publication | IEEE Xplore