A generalized transition network representation for interactive systems

Kieras, David E.; Polson, Peter G.

doi:10.1145/800045.801590

Cited by 28 publications

(12 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…networks. It has been suggested that they could be used as the basis for the dialogue control component of a UIMS (e.g., see Kamran [24], Kieras and Polson [27], or Sibert [36]). Jacob [23] has used a notation similar to augmented transition networks for specifying and prototyping user interfaces.…”

Section: Transition Networkmentioning

confidence: 99%

A survey of three dialogue models

Green

1986

ACM Trans. Graph.

200

View full text Add to dashboard Cite

A dialogue model is an abstract model that is used to describe the structure of the dialogue between a user and an interactive computer system. Dialogue models form the basis of the notations that are used in user interface management systems (UIMS). In this paper three classes of dialogue models are investigated. These classes are transition networks, grammars, and events. Formal definitions of all three models are presented, along with algorithms for converting the notations into an executable form. It is shown that the event model has the greatest descriptive power. Efficient algorithms for converting from the transition diagram and grammar models to the event model are presented. The implications of these results for the design and implementation of UIMSs are also discussed.

show abstract

Section: Transition Networkmentioning

confidence: 99%

A survey of three dialogue models

Green

1986

ACM Trans. Graph.

200

View full text Add to dashboard Cite

show abstract

“…Transition diagrams have been similarly used by others for specifying interactive systems [7]- [9]. We found that state transition diagrams were a useful mechanism for modeling interactive systems.…”

Section: Specifying Interactive Information Systemsmentioning

confidence: 81%

Building reliable interactive information systems

Wasserman¹,

Piercher²,

Shewmake³

1986

IIEEE Trans. Software Eng.

View full text Add to dashboard Cite

User Software Engineering is a methodology, with supporting tools, for the specification, design, and implementation of interactive information systems. With the USE approach, the user interface is formally specified with augmented state transition diagrams, and the operations may be formally specified with preconditions and postconditions. The USE state transition diagrams may be directly executed, with the application development tool RAPID/USE. RAPID/USE and its associated tool RAPSUM create and analyze logging information that is useful for system testing, and for evaluation and modification of the user interface. We briefly describe the USE transition diagrams and the formal specification approach, and show how these tools and techniques aid in the creation of reliable interactive information systems.

show abstract

“…Some UIDLs can also represent states of the system, such as GTN [Kieras and Polson 1983], which represents the states with nodes in the models. Events are also sometimes explicitly represented as in Wizz'ed [Esteban et al 1995] where connections between bricks represent event flows.…”

Section: :6mentioning

confidence: 99%

“…Section 3 presents in detail the ICOs notation and uses the example of the description of a lowlevel interaction technique to present the main characteristics of the notation. Section 4 is dedicated to PetShop and presents on an interactive cockpit [Hudson 1989] [Cardelli et al 1985] Y Y N N Y Code Code CSP [Smith & Duke 1999] [Hudson et al 2005] N N N N N Code N XISL [Katsurada et al 2003 [Buxton 1990] Y N N N N N N GTN [Kieras & Polson 1983] Y N N N N N N HephaisTK [Dumas et al 2008 [Carr 1994] …”

Section: Introductionmentioning

confidence: 99%

ICOs

Navarre

Palanque

Ladry

et al. 2009

ACM Trans. Comput.-Hum. Interact.

121

View full text Add to dashboard Cite

The design of real-life complex systems calls for advanced software engineering models, methods, and tools in order to meet critical requirements such as reliability, dependability, safety, or resilience that will avoid putting the company, the mission, or even human life at stake. When such systems encompass a substantial interactive component, the same level of confidence is required towards the human-computer interface. Conventional empirical or semiformal techniques, although very fruitful, do not provide sufficient insight on the reliability of the human-system cooperation, and offer no easy way to, for example, quantitatively and qualitatively compare two design options with respect to that reliability. The aim of this article is to present a user interface description language (called ICOs) for the engineering and development of usable and reliable user interfaces. The CASE tool supporting the ICOs notation (called Petshop) is a Petri nets-based-tool for the design, specification, prototyping, and validation of interactive software. In that environment models (built with the formal description technique ICOs) of the interactive application can be interactively modified and executed. This is used to support prototyping phases (when the models and the interactive application evolve significantly to meet late user requirements, for instance) as well as the operation phase (after the system is deployed). The use of ICOs and PetShop is presented on several large-scale systems such as a multimodal ground segment application for satellite control, an air traffic control interactive application, and an application for new generation of interactive cockpits in large civil aircraft such as Airbus A380 or Boeing 787. The article emphasizes the demonstration of the expressive power of the notation and how it can support the description of various aspects of user interfaces, namely interaction techniques (both WIMP and post-WIMP), interactive components (such as widgets), and the behavioral part of interactive applications such as the dialog and the functional core. It also demonstrates that PetShop provides dedicated support for prototyping activities of behavioral aspects at the various levels of the architecture of interactive systems. 2009. ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability.

show abstract

A generalized transition network representation for interactive systems

Abstract: A general method for describing the behavior of an interactive system is presented which is based on transition networks generalized enough to describe even very complex systems easily, as shown by an example description of a word processor.

Cited by 28 publications

References 7 publications

A survey of three dialogue models

A survey of three dialogue models

Building reliable interactive information systems

ICOs

Contact Info

Product

Resources

About