Models, tools, and transformations for design and evaluation of interactive applications

This paper discusses a framework to address issues related to the design and evaluation of interactive systems in current technological settings characterised by wide variability of context of use. The basic idea is that effective solutions can be provided only if a meaningful set of models are identified along with transformations that allow moving from one model either to another model or to an implementation system and vice versa. In such a framework, the environment calls for the support of a set of tools able to ease model development and analysis and possible transformations.