This work is about supporting user interface design by means of explicit design representations, in particular models. We take as a starting point two different development traditions: the formal, analytic, topdown ...