Encapsulating multiple perspectives in interaction specification

In this paper, a design model that regards an interactive application as a set of processes is described. Each process can be specified using the IMPG (Interactive Multi Flow Graph) model, a process model that combines Petri Net models properties with users' cognitive aspects. In this way, several perspectives of interactive applications are offered to designers; these are behavioral, informational, causal and contextual. IMFG is used as the specification model of a graphical tool that supports the design of interactive applications as the continuous refinement of users' goals, thus forcing designers to "think in users' terms". The strongest feature of IMFG is that it can be adapted to every domain of interactive applications. As an example, the model application to the design of the user interface of a highly-interactive authoring environment is briefly presented.<<ETX>>

[1]  Wolfgang Reisig,et al.  A Primer in Petri Net Design , 1992, Springer Compass International.

[2]  Bill Curtis,et al.  Process modeling , 1992, CACM.

[3]  Allen Newell,et al.  The psychology of human-computer interaction , 1983 .

[4]  A. Jávor,et al.  Conflict handling in high level Petri Nets , 1993, Microprocess. Microprogramming.

[5]  Kimon P. Valavanis.  On the hierarchical modeling analysis and simulation of flexible manufacturing systems with extended Petri nets , 1990, IEEE Trans. Syst. Man Cybern..

[6]  Manuel Silva Suárez,et al.  Petri Nets applied to the modelling and analysis of computer architecture problems , 1993, Microprocess. Microprogramming.

[7]  Giuliana Franceschinis,et al.  Understanding Parallel Program Behavior through Petri Net Models , 1992, J. Parallel Distributed Comput..

[8]  Philippe A. Palanque,et al.  Petri net objects for the design, validation and prototyping of user-driven interfaces , 1990, INTERACT.

[9]  G. Pavlides,et al.  IDFG: An interactive applications specification model with phenomenological properties , 1993, Microprocess. Microprogramming.

[10]  Harold W. Thimbleby,et al.  User interface design , 1990, ACM Press Frontier Series.

[11]  P. David Stotts,et al.  Petri-net-based hypertext: document structure with browsing semantics , 1989, TOIS.

[12]  William Fornaciari,et al.  X-Nets: A visual formalism for system specification and analysis , 1993, Microprocess. Microprogramming.

[13]  David E. Kieras,et al.  An Approach to the Formal Analysis of User Complexity , 1999, Int. J. Man Mach. Stud..