In this report we describe the development of a specfication technique for specifying interactive web-based services. We wanted to design a language that can be a means of communication between designers and developers of interactive services, that makes it easier to develop web-based services fitted to the users and that shortens the pathway from design to implementation.The language, still under development, is based on process algebra and can be connected to the results of task analysis. We have been working on the automatic generation of executable prototypes out of the specifications. In this way the specification language can establish a connection between users,design and implementation. A first version of this language is available as well as prototype tools for executing the specifications. Ideas will be given as to how to make the connection between specifications and task analysis.
|Name||CTIT Technical Report Series|