The MHS Methodology: Analysis and Design for Context-Aware Systems