Dialogue and process design for interactive information systems using Taxis

This paper deals with dialogue and process management for interactive information systems [abbrev. IISs) within the framework of Taxis Mylopoulos et al 80, a language for IIS design. Dialogues between a user and the system are represented through a small set of primitives incorporated into Taxis while process control is accomplished by incorporating Hoare's I/O commands for communicating sequential processes {Hoare 78}. The overall organization and structure of dialogue and process control for a particular IIS is achieved using scripts, a modified version of augmented Petri nets {Zisman 77}, and the Taxis conceptual framework which stresses generalization abstraction. A journal editing procedure is used to illustrate the proposed extension.