Engineering Framework for Context-Aware Pervasive Computing ∗