Modeling non functional requirements in designing middleware for pervasive healthcare system | IEEE Conference Publication | IEEE Xplore