PaperCHASTE

The aim of this project is to examine the feasibility of integrating requirements validation techniques based on execution of formal specifications, with user-interface design techniques based on informal representations such as storyboards and paper prototypes. The project will extend existing executable specification tools developed at Sheffield Hallam University (Siddiqi et al., 1997; Özcan, 1998; Özcan et al. 1998) to enable their use in conjunction with informal representations of user-interaction such as storyboards & paper prototypes.
The project will develop a tool to allow designers to scan and edit paper prototypes, edit representations of the behaviour associated with the paper prototype, and combine these with executable requirements specifications.

The ultimate goal of the work is to enable a design strategy for interactive systems that.

• exploits the idea of incremental formalisation (Shipman & McCall, 1999) to maximise the benefits of user participation in requirements specification and interaction design;
• permits designers selectively to apply 'high-cost, high-value' techniques (Johnson, 1995) to areas of systems design that are identified as involving high risk, without undermining a fundamentally collaborative approach;
• incorporates formal specification within a conversational or dialogical perspective on software design (McCarthy, 2000; O'Neill, 1998).

paperCHASTE is an EPSRC funded project GR/R87918
paperCHASTE proposal document 75 kb