A Taxonomy-Driven Approach to Visually Prototyping Pervasive Computing Applications