As knowledge of solutions to recurring design problems, a large number of software design patterns (DP) has been identified, catalogued and formalized in the past decades. Tools have been developed to support the application and recognition of patterns. However, although the notions of pattern in different subject domains carry a great deal of similarity, we are in lack of a general theory that...

Model-based tools enable developers to produce prototype user-interface designs from a model of the system. However existing model-based tools do not enable a developer to work from an abstract speciication of the system to produce a prototype design. Consequently, much design work focuses prematurely on the concrete visual appearance of the user-interface. To address this issue, this paper dis...