Interacting with Haggis: Implementing Agent Based Specifications in a Functional Style
Meurig Sage, Chris Johnson · 1997
Formal specifications, of interactive systems, provide a precise and concise means of representing and reasoning about interactive systems. Executing these specifications allows designers to conduct usability testing. This, in turn, provides the feedback necessary for an iterative approach to interface design. We argue that new developments in concurrent functional languages, make them ideally suited as tools for executing specifications. To demonstrate this, we make use of Haggis, a concurrent functional graphical toolkit. We describe the development of a highly interactive game, from specification to execution, using this system. This application is appropriate as it demonstrates the real-time interaction that previous approaches to the prototyping of formal specifications could not support.