Tools for designing and prototyping activity-based pervasive applications