Integrating rendering specifications into a formalism for the design of interactive systems
In interactive systems, the term rendering applies to any form of communication directed from the application towards the users. The present paper deals with the specification of rendering, and its relationship with the formal specification of the dialogue between application and user. We first present a taxonomy of rendering according to its function in the application. We briefly recall the basics of the ICO formalism, which is used for the formal specification of the application. We then present a case study illustrating how various categories of rendering are taken into account in the ICO formalism. Lastly, we show how mathematical analysis can be performed on the ICO models to verify predictability properties of the interactive system.
KeywordsInteractive System Interaction Space Functional Core Rendering Function Input Place
Unable to display preview. Download preview PDF.
- 1.Bastide, Rémi; Palanque, Philippe. Petri Net based design of user-driven interfaces using the Interactive Cooperative Objects formalism, in: Paternò, Fabio, Volume editor. Interactive systems: design, specification, and verification (DSV-IS’94). Springer-Verlag; 1994. pp. 383–400.Google Scholar
- 2.Bastide, Rémi; Palanque, Philippe. Implementation techniques for Petri net based specifications of human computer dialogues, in: Vanderdonkt, Jean, Editor. 2nd workshop on Computer Aided Design of User Interfaces, CADUI’96; Universite Notre-Dame de la Paix, Namur (Belgium). Presses Universitaires de Namur; 1996. pp. 285–302.Google Scholar
- 3.Bumbulis, Peter; Alencar, P.; Cowan, D.; Lucena, C. Combining formal techniques in user interface construction and verification, in: Palanque, Philippe; Bastide, Remi, Editors. 2nd Eurographics workshop on Design Specification and Verification of Interactive System (DSV-IS’95) Jun 7–9 1995; Toulouse, France. Springer-Verlag; 1995. pp. 174–192.Google Scholar
- 4.Campos, José C; Harrison, Michael. Formally verifying interactive systems: A review, in: Harrison, Michael; Torres, Juan C, Editors. 4th Eurographics workshop on Design, Specification and Verification of Interactive System (DSV-IS’97) Jun 4–6 1997; Granada, Spain. Springer-Verlag; 1997. pp. 109–124.Google Scholar
- 5.Carr, David. Interaction Object Graphs: an executable graphical notation for specifying user interfaces, in: Palanque, Philippe; Paternò, Fabio, Editors. Formal methods in Human-Computer Interaction. Springer-Verlag; 1997. pp. 141–155.Google Scholar
- 6.Coutaz, Joëlle; Nigay, Laurence; Salber, Daniel. Conceptual software architecture models for interactive system. ESPRIT BRA 7040 Amodeus-2; 1993 Mar. Report No.:WP11.Google Scholar
- 9.Dix, Alan J. Formal methods for interactive systems. Academic Press; 1991.Google Scholar