Structuring Interactive Systems Specifications for Executability and Prototypability

This paper presents structuring mechanisms for building executable specifications, in the field of interactive applications, using the Interactive Cooperative Object formal description technique. The design life cycle of the specification is presented as well as how PetShop (a software tool support the ICO formal description technique) can effectively support the various phases of the life cycle. The concepts and the tool are presented on a Range Slider case study. The Range Slider is a medium size component, used for instance, in the field of dynamic queries for information retrieval and visualisation.

[1]  Philippe A. Palanque,et al.  Formal Specification and Prototyping of CORBA Systems , 1999, ECOOP.

[2]  Joëlle Coutaz,et al.  PAC, an Object Oriented Model for Dialog Design , 1987 .

[3]  Philippe A. Palanque,et al.  A Petri Net based Environment for the Design of Event-driven Interfaces , 1995, Application and Theory of Petri Nets.

[4]  D. Norman.  The psychology of everyday things , 1990 .

[5]  Philippe A. Palanque,et al.  Verification of an interactive software by analysis of its formal specification , 1995, INTERACT.

[6]  Ben Shneiderman,et al.  The alphaslider: a compact and rapid selector , 1994, CHI Conference Companion.

[7]  Peter Sommerlad,et al.  Pattern-Oriented Software Architecture: A System of Patterns: John Wiley & Sons , 1987 .

[8]  Philippe A. Palanque,et al.  Formal Specification and Verification of CSCW using the Interactive Cooperative Object Formalism , 1995, BCS HCI.

[9]  Paul Clements,et al.  Software architecture in practice , 1999, SEI series in software engineering.

[10]  Cliff B. Jones,et al.  Specifications are not (necessarily) executable , 1989 .

[11]  Philippe A. Palanque,et al.  Synergistic Modelling of Tasks, Users and Systems using Formal Specification Techniques , 1997, Interact. Comput..

[12]  Joëlle Coutaz,et al.  A design space for multimodal systems: concurrent processing and data fusion , 1993, INTERCHI.

[13]  David Robson,et al.  Smalltalk-80: The Language and Its Implementation , 1983 .

[14]  B. F. Castro.  Buschmann, Frank; Meunier, Regine; Rohnert, Hans; Sommerlad, Peter; Stal, Michael. Pattern-oriented software architecture: a system of patterns, John Wiley & Sons Ltd, 1996 , 1997 .

[15]  Christopher Ahlberg,et al.  Exploring terra incognita in the design space of query devices , 1995, EHCI.

[16]  Michael D. Harrison,et al.  Formally verifying interactive systems: A review , 1997, DSV-IS.

[17]  Philippe A. Palanque,et al.  Petri Net Based Behavioural Specification of CORBA Systems , 1999, ICATPN.

[18]  Ben Shneiderman,et al.  Direct Manipulation: A Step Beyond Programming Languages , 1983, Computer.

[19]  Philippe A. Palanque,et al.  A Making-Movies Metaphor for Structuring Software Components in Highly Interactive Applications , 1997, BCS HCI.

[20]  Philippe A. Palanque,et al.  A Visual and Formal Glue between Application and Interaction , 1999, J. Vis. Lang. Comput..

[21]  Jon Siegel,et al.  OMG overview: CORBA and the OMA in enterprise computing , 1998, CACM.

[22]  Thomas P. Moran,et al.  Embodied User Interfaces: Towards Invisible User Interfaces , 1998, EHCI.

[23]  Norbert E. Fuchs.  Specifications are (preferably) executable , 1992, Softw. Eng. J..