Using the Dual-Level Modeling Approach to Developing Applications in the Pervasive Healthcare Environment