Abstract
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. While the focus is on past work done on various large-scale applications, the article also highlights why and how ICOs and Petshop are able to address challenges raised by next-generation user interfaces.
- Anson, E. 1982. The device model of interaction. In Proceedings of the 9th Annual Conference on Computer Graphics and Interactive Techniques (SIGGRAPH'82). ACM, New York, 107--114. Google ScholarDigital Library
- Appert, C. and Beaudouin-Lafon, M. 2006. SwingStates: Adding state machines to the swing toolkit. In Proceedings of the 19th Annual ACM Symposium on User Interface Software and Technology (UIST '06). ACM, New York, 319--322. Google ScholarDigital Library
- ARINC 661-2. 2005. ARINC Specification 661-2. Prepared by Airlines Electronic Engineering Committee. Cockpit Display System Interfaces to User Systems.Google Scholar
- Barboni, E., Bastide, R., Lacaze, X., Navarre, D., and Palanque, P. Petri net centered versus user centered Petri nets tools. In Proceedings of the 10th Workshop on Algorithms and Tools for Petri Nets (AWPN'03).Google Scholar
- Barboni, E., Conversy, S., Navarre, D., and Palanque, P. 2006. Model-Based engineering of widgets, user applications and servers compliant with ARINC 661 specification. In Proceedings of the 13th Conference on Design Specification and Verification of Interactive Systems (DSVIS'06). Lecture Notes in Computer Science, Springer. Google ScholarDigital Library
- Barboni, E., Navarre, D., Palanque, P., and Basnyat, S. 2006. Exploitation of formal specification techniques for ARINC 661 interactive cockpit applications. In Proceedings of the HCI Aero Conference (HCI Aero'06).Google Scholar
- Basnyat, S., Chozos, N., and Palanque, P. 2006. Multidisciplinary perspective on accident investigation. Reliab. Engin. Syst. Safety 91, 12, 1502--1520.Google ScholarCross Ref
- Bass, L., Little, R., Pellegrino, R., Reed, S., Seacord, R., Sheppard, S., and Szezur, M. R. 1991. The Arch model: Seeheim revisited. In User Interface Developers' Workshop, Version 1.0.Google Scholar
- Bastide, R. and Palanque, P. 1990. Petri nets with objects for specification, design and validation of userdriven interfaces. In Proceedings of the 3rd IFIP Conference on Human-Computer Interaction (Interact'90). Google ScholarDigital Library
- Bastide, R., Palanque, P., Ousmane, S., Le, D.-H., and Navarre, D. 1999. Petri net based behavioral specification of CORBA systems. In Proceedings of the International Conference on Application and Theory of Petri nets (ATPN'99). Lecture Notes in Computer Science. Springer. Google ScholarDigital Library
- Bastide, R., Navarre, D., Palanque, P., Schyn, A., and Dragicevic, P. 2004. A model-based approach for real-time embedded multimodal systems in aircrafts. In Proceedings of the 6th International Conference on Multimodal Interfaces (ICMI'04). Google ScholarDigital Library
- Bastide, R., Barboni, E., Lacaze, X., Navarre, D., Palanque, P., Schyn, A., and Bazalgette, D. 2005. Supporting INTUITION through formal specification of the user interface for military aircraft cockpit. In Proceedings of the HCI International Conference.Google Scholar
- Bernhaupt, R., Navarre, D., Palanque, P., and Winckler, M. 2007. Model-Based evaluation: A new way to support usability evaluation of multimodal interactive applications. In Maturing Usability: Quality in Software, Interaction and Quality, E. Law, E. Thora Hvannberg, G. Cockton, and J. Vanderdonckt, Eds., HCI Series, Springer.Google Scholar
- Berti, S. and Paternò, F. 2005. Migratory multimodal interfaces in multidevice environments. In Proceedings of the 7th International Conference on Multimodal Interfaces. ACM Press, 92--99. Google ScholarDigital Library
- Blanch, R. and Beaudouin-Lafon, M. 2006. Programming rich interactions using the hierarchical state machine toolkit. In Proceedings of the Working Conference on Advanced Visual Interfaces (AVI'06). ACM, New York, 51--58. Google ScholarDigital Library
- Buxton, W. 1990. A three-state model of graphical input. In Proceedings of the IFIP Tc13 3rd International Conference on Human-Computer Interaction, D. Diaper, D. J. Gilmore, G. Cockton, and B. Shackel, Eds. North-Holland Publishing, Amsterdam, The Netherlands, 449--456. Google ScholarDigital Library
- Cardelli, L. and Pike, R. 1985. Squeak: A language for communicating with mice. SIGGRAPH Comput. Graph. 19, 3, 199--204. Google ScholarDigital Library
- Carr, D. A. 1994. Specification of interface interaction objects. In Proceedings of the SIGCHI Conference on Human Factors in Computing Systems: Celebrating Interdependence, B. Adelson, S. Dumais, and J. Olson, Eds. ACM, New York, 372--378. Google ScholarDigital Library
- Coninx, K., Cuppens, E., De Boeck, J., and Raymaekers, C. 2007. Integrating support for usability evaluation into high level interaction descriptions with nimmit. In Interactive Systems: Design, Specification, and Verification. Lecture Notes in Computer Science. Springer. Google ScholarDigital Library
- Dragicevic, P. 2004. Combining crossing-based and paper-based interaction paradigms for dragging and dropping between overlapping windows. In Proceedings of the 17th Annual ACM Symposium on User Interface Software and Technology (UIST'04). ACM Press, 193--196. Google ScholarDigital Library
- Dragicevic, P. and Fekete, J. 2004. Support for input adaptability in the ICON toolkit. In Proceedings of the 6th International Conference on Multimodal Interfaces (ICMI'04). ACM, New York, 212--219. Google ScholarDigital Library
- Dumas, B., Lalanne, D., Guinard, D., Koenig, R., and Ingold, R. 2008. Strengths and weaknesses of software architectures for the rapid creation of tangible and multimodal interfaces. In Proceedings of the 2nd International Conference on Tangible and Embedded Interaction (TEI'08). ACM, New York, 47--54. Google ScholarDigital Library
- Esteban, O., Chatty, S., and Palanque, P. 1995. Whizz'Ed: A visual environment for building highly interactive interfaces. In Proceedings of the Interact'95 Conference. 121--126.Google Scholar
- Gamma, E., Helm, R., Johnson, R., and Vlissides, J. 1994. Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley. Google ScholarDigital Library
- Genrich, H. J. 1991. Predicate/Transitions nets. In High-Levels Petri Nets: Theory and Application, K. Jensen and G. Rozenberg, Eds. Springer, 3--43.Google Scholar
- Green, M. 1986. A survey of three dialog models. ACM Trans. Graph. 5, 3, 244--275. Google ScholarDigital Library
- Hinckley, K., Czerwinski, M., and Sinclair, M. 1998. Interaction and modeling techniques for desktop twohanded input. In Proceedings of the 11th Annual ACM Symposium on User Interface Software and Technology (UIST'98). ACM, New York, 49--58. Google ScholarDigital Library
- Hudson, S. E. 1989. Graphical specification of flexible user interface displays. In Proceedings of the 2nd Annual ACM SIGGRAPH Symposium on User Interface Software and Technology (UIST'89). ACM, New York, 105--114. Google ScholarDigital Library
- Hudson, S. E., Mankoff, J., and Smith, I. 2005. Extensible input handling in the subArctic toolkit. In Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI'05). ACM, New York, 381--390. Google ScholarDigital Library
- IBM. 1989. Common user access: Advanced interface design guide. IBM, SC26-4582-0.Google Scholar
- Jacob, R. J. 1986. A specification language for direct-manipulation user interfaces.ACM Trans. Graph. 5, 4, 283--317. Google ScholarDigital Library
- Jacob, R. J., Deligiannidis, L., and Morrison, S. 1999. A software model and specification language for non-WIMP user interfaces. ACM Trans. Comput.-Hum. Interact. 6, 1, 1--46. Google ScholarDigital Library
- Jensen, K., Kristensen, L., and Wells, L. 2007. Coloured Petri nets and CPN tools for modeling and validation of concurrent systems. Int. J. Softw.Tools Technol. Transfer 9, 3, 213--254.Google ScholarDigital Library
- Jobs, S. P., Forstall, S., Christie, G., Lemay, S. O., Herz, S., et al. 2008. Touch screen device, method, and graphical user interface for determining commands by applying heuristics. United States Patent Application 20080122796. Kind Code A.Google Scholar
- Katsurada, K., Nakamura, Y., Yamada, H., and Nitta, T. 2003. XISL: A language for describing multimodal interaction scenarios. In Proceedings of the 5th International Conference on Multimodal Interfaces (ICMI'03). ACM, New York, 281--284. Google ScholarDigital Library
- Keh, H. C. and Lewis, T. G. 1991. Direct-Manipulation user interface modeling with high-level Petri nets. In Proceedings of the 19th Annual Conference on Computer Science (CSC'91). ACM, New York, 487--495. Google ScholarDigital Library
- Kieras, D. and Polson, P. G. 1983. A generalized transition network representation for interactive systems. In Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI'83), A. Janda, Ed. ACM, New York, 103--106. Google ScholarDigital Library
- Ladry, J-F., Navarre, D., and Palanque, P. 2009. Formal description techniques to support the design, construction and evaluation of fusion engines for sure (safe, usable, reliable and evolvable) multimodal interfaces. In Proceedings of the 10th International Conference on Multimodal Interfaces (ICMI'09). Google ScholarDigital Library
- Lakos, C. 1991. Language for object-oriented Petri nets. #91-1. Department of Computer Science, University of Tasmania.Google Scholar
- Latoschik, M. E. 2002. Designing transition networks for multimodal VR-interactions using a markup language. In Proceedings of the 4th IEEE International Conference on Multimodal Interfaces. 411--416. Google ScholarDigital Library
- Limbourg, Q., Vanderdonck, J., Michotter, M., Bouillon, L., and Lopez-Jaquero, V. 2005. USIXML: A language supporting multi-path development of user interfaces. In Proceedings of EHCI-DSVIS'04 Conference. Lecture Notes in Computer Science, vol. 3425. Springer, 200--220. Google ScholarDigital Library
- Meskens, J., Vermeulen, J., Luyten, K., and Coninx, K. 2008. Gummy for multi-platform user interface designs: Shape me, multiply me, fix me, use me. In Proceedings of the Working Conference on Advanced Virtual Interfaces (AVI'08). 233--240. Google ScholarDigital Library
- Navarre, D., Palanque, P., Bastide, R., and Sy, O. 2000. Structuring interactive systems specifications for executability and prototypability. In Proceedings of the 7th Eurographics Workshop on Design, Specification and Verification of Interactive Systems (DSV-IS'00). Lecture Notes in Computer Science. Springer. Google ScholarDigital Library
- Navarre, D., Palanque, P., Bastide, R., and Sy, O. 2001. A model-based tool for interactive prototyping of highly interactive applications. In Proceedings of the 12th IEEE International Workshop on Rapid System Prototyping. IEEE Press. Google ScholarDigital Library
- Navarre, D., Palanque, P., and Bastide, R. 2002. Reconciling safety and usability concerns through formal specification-based development process. In Proceedings of the HCI-Aero'02 Conference.Google Scholar
- Navarre, D., Palanque, P., Bastide, R., Schyn, A., Winckler, M., Nedel, L., and Freitas, C. 2005. A formal description of multimodal interaction techniques for immersive virtual reality applications. In Proceedings of the INTERACT'05 Conference. Lecture Notes in Computer Science, Springer. Google ScholarDigital Library
- Navarre, D., Palanque, P., and Basnyat, S. 2008. Usability service continuation through reconfiguration of input and output devices in safety critical interactive systems. In Proceedings of the 27th International Conference on Computer Safety, Reliability and Security (SAFECOMP'08), M. D. Harrison and M.-A. Sujan, Eds. Lecture Notes in Computer Science, vol. 5219. Springer, 373--386.Google Scholar
- Navarre, D., Palanque, P., Ladry, J. F., and Basnyat, S. 2008. An architecture and a formal description technique for user interaction reconfiguration of safety critical interactive systems. In Proceedings of the XVth International Workshop on the Design, Verification and Specification of Interactive Systems (DSVIS'08).Google Scholar
- Nedel, L. P., Freitas, C. M. D. S., Jacob, L. J., and Pimenta, M. S. 2003. Testing the use of egocentric interactive techniques in immersive virtual environments. In Proceedings of the INTERACT IFIP TC 13 Conference on Human Computer Interaction. IOS Press, 471--478.Google Scholar
- Palanque, P. 1992. User-Driven user interfaces modeling using interactive cooperative objects. (in french). Ph.D. University Toulouse I, France.Google Scholar
- Palanque, P. and Bastide, R. 1995. Verification of an interactive software by analysis of its formal specification. In Proceedings of the IFIP Human-Computer Interaction Conference (Interact'95). 181--197.Google Scholar
- Palanque, P., Bastide, R., and Paterno, F. 1997. Formal specification as a tool for objective assessment of safety-critical interactive systems. In Proceedings of the Interact'97 Conference. Chapman and Hall. Google ScholarDigital Library
- Palanque, P., Bernhaupt, R., Navarre, D., Ould, M., and Winckler, M. 2006. Supporting usability evaluation of multimodal man-machine interfaces for space ground segment applications using Petri net based formal specification. In Proceedings of the 9th International Conference on Space Operations.Google Scholar
- Parnas, D. L. 1969. On the use of transition diagrams in the design of a user interface for an interactive computer system. In Proceedings of the 24th National ACM Conference. 379--385. Google ScholarDigital Library
- Petri, C. A. 1962. Kommunikation mit Automaten. Rheinisch-Westfaliches Institut fur Intrumentelle Mathematik an der Universitat Bonn, Schrift Nr 2.Google Scholar
- Riley, V. 2004. Human factors in avionics certification. Avionics Mag. 28, 9, 42--46.Google Scholar
- Schlomer, T., Poppinga, B., Henze, N., and Boll, S. 2008. Gesture recognition with a Wii controller. In Proceedings of the 2nd International Conference on Tangible and Embedded Interaction. ACM Press. Google ScholarDigital Library
- Shaer, O. and Jacob, R. J. K. 2005. Toward a software model and a specification language for next-generation user interfaces. In Proceedings of the ACM CHI Workshop on The Future of User Interface Software Tools.Google Scholar
- Sibert, J. L., Hurley, W. D., and Bleser, T. W. 1986. An object-oriented user interface management system. In Proceedings of the 13th Annual Conference on Computer Graphics and Interactive Techniques (SIGGRAPH'86), D. C. Evans and R. J. Athay, Eds. ACM, New York, 259--268. Google ScholarDigital Library
- Smith, S. and Duke, D. 1999. Using CSP to specify interaction in virtual environments. Tech. rep. YCS 321. University of York.Google Scholar
- SVG W3C. 2003. Scalable vector graphics (SVG) 1.1 specification. http://www.w3.org/TR/SVG11/.Google Scholar
- Szekely, P. and Myers, B. 1988. A user interface toolkit based on graphical objects and constraints. In Proceedings of the Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA'88), N. Meyrowitz, Ed. ACM, New York, 36--45. Google ScholarDigital Library
- Tatsukawa, K. 1991. Graphical toolkit approach to user interaction description. In Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI'91), S. P. Robertson, G. M. Olson, and J. S. Olson, Eds. ACM, New York, 323--328. Google ScholarDigital Library
- Valk, R. 1998. Petri nets as token objects: An introduction to elementary object nets. In Proceedings of the 19th International Conference on Application and Theory of Petri Nets (ICATPN'98). Springer. Google ScholarDigital Library
- Willans, J. S. and Harrison, M. D. 2001. Prototyping pre-implementation designs of virtual environment behavior. In Proceedings of the 8th IFIP International Conference on Engineering for Human-Computer Interaction, M. R. Little and L. Nigay, Eds. Lecture Notes In Computer Science, vol. 2254. Springer, 91--108. Google ScholarDigital Library
Index Terms
- ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability
Recommendations
High-Fidelity Prototyping of Interactive Systems Can Be Formal Too
Proceedings of the 13th International Conference on Human-Computer Interaction. Part I: New TrendsThe design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life at stake. When the safety critical system encompasses a substantial ...
Formal description techniques to support the design, construction and evaluation of fusion engines for sure (safe, usable, reliable and evolvable) multimodal interfaces
ICMI-MLMI '09: Proceedings of the 2009 international conference on Multimodal interfacesRepresenting the behaviour of multimodal interactive systems in a complete, concise and non-ambiguous way is still a challenge for formal description techniques (FDT). Depending on the FDT, multimodal interactive systems feature specific characteristics ...
Fault-Tolerant User Interfaces for Critical Systems: Duplication, Redundancy and Diversity as New Dimensions of Distributed User Interfaces
DUI '14: Proceedings of the 2014 Workshop on Distributed User Interfaces and Multimodal InteractionAssuring that operators will be able to perform their activities even thought the interactive system exhibits failures is one of the main issues to address when designing and implementing interactive systems in safety critical contexts. The zero-defect ...
Comments