An Overall Process for Self-Adaptive Pervasive Systems