An approach integrating two complementary model-based environments for the construction of multimodal interactive applications

Interacting with Computers

Volumn 18, Issue 5, 2006, Pages 910-941

  Navarre, David ^a   Palanque, Philippe ^a   Dragicevic, Pierre ^a   Bastide, Rémi ^a  

^a UNIVERSITÉ PAUL SABATIER   (France)

Author keywords

CASE tools Formal methods; Interactive systems engineering; Multimodal interaction; Prototyping

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SIMULATION; COMPUTER SOFTWARE; INFORMATION TECHNOLOGY; INTERACTIVE COMPUTER SYSTEMS; MATHEMATICAL MODELS; SOFTWARE PROTOTYPING;

CASE TOOLS FORMAL METHODS; INTERACTIVE SYSTEMS ENGINEERING; MULTIMODAL INTERACTION;

USER INTERFACES;

EID: 33748910483     PISSN: 09535438     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.intcom.2006.03.002     Document Type: Article

References (40)

1. Ahlberg C., and Shneiderman B. The alphaslider: a compact and rapid selector. Human Factors in Computing Systems (CHI'94) (1994), Addison-Wesley, Boston, MA pp. 365-371
2. Ahlberg C., and Truvé S. Exploring Terra Incognita in the design space of query devices. In: Bass L., and Unger C. (Eds). Sixth IFIP Conference on Engineering for Human-Computer Interaction, EHCI'95, Gran Targhee Resort (1995), Chapman & Hall, USA 49-68
3. Bass, L., Little, R., Pellegrino, R., Reed, S., Seacord, R., Sheppard, S., Szezur, M.R., 1991. The arch model: seeheim revisited. User Interface Developers Workshop. Version 1.0.
4. Bass L., Clements P., and Kazman R. Software architecture in practice. second ed. (2003), Addison-Wesley, Boston, MA
5. Bastide, R., Palanque, P., 1990. Petri nets with objects for specification, design and validation of user-driven interfaces. In: Proceedings of the Third IFIP Conference on Human-Computer Interaction, Interact'90. Cambridge 27-31 August 1990 (UK).
6. Bastide R., and Palanque P. Verification of interactive software by analysis of its formal specification. Fifth IFIP TC13 International Conference, Interact'95 (1995), Chapman & Hall, Lillehamer, Norway pp. 191-196
7. Bastide R., Palanque P., Le Duc H., and Muńoz J. Integrating rendering specifications into a Formalism for the design of interactive systems. Proceedings of the Fifth Eurographics Workshop on Design, Specification and Verification of Interactive Systems DSV-IS'98R (1998), Springer, Berlin
8. Bastide R., Sy O., and Palanque P. Formal specification and prototyping of CORBA systems. In: Guerraoui R. (Ed). Thirteenth european conference on object-oriented programming, ECOOP'99 (1999), Springer, Lisbon, Portugal 474-494 (Lecture Notes in Computer Science, no. 1628)
9. Bastide R., Sy O., Palanque P., and Navarre D. Formal specification of CORBA services: experience and lessons learned. ACM Conference on Object-oriented Programming, Systems, Languages, and Applications (OOPSLA'2000) (2000), ACM Press, Minneapolis, MN, USA pp. 105-117 (ACM SIGPLAN Notices. v. 35 (10))
10. Beaudouin-Lafon M. Instrumental interaction: an interaction model for designing post-WIMP user interfaces. ACM Conference on Human Factors and Computing Systems, CHI'2000 (2000), The Hague, The Netherlands pp. 446-453
11. Berry, G., 1999. The Esterel v5 language primer. Technical report, April 1999. www-sop.inria.fr/meije/esterel/doc/main-papers.html
12. Carr, D., 1994. Specification of interface interaction objects, Proceedings of the ACM CHI'94 Conference on Human Factors in Computing Systems, Boston, MA. 24-28 April 1994, pp. 372-378
13. Coutaz J., Paterno F., Faconti G., and Nigay L. A comparison of approaches for specifying multimodal interactive systems. Proceedings of the ERCIM Workshop on Multimodal Human-Computer Interaction (1993) pp. 165-174
14. Dragicevic P., and Fekete J.-D. Input device selection and interaction configuration with icon. Proceedings of IHM-HCI 2001. In: Blandford A., Vanderdonckt J., and Gray P. (Eds). People and Computers XV-Interaction without Frontiers (2001), Springer, Lille, France 543-548
15. Dragicevic P., and Fekete J.-D. Icon: input device selection and interaction configuration. Companion proceedings of UIST'02, Fifteenth Annual Symposium on User Interface Software and Technology (2002)
16. Dragicevic, P., Fekete, J.-D., 2004. Icon: towards high input adaptability of interactive applications. Internal Report 04/01/INFO, Ecole des Mines de Nantes. Nantes, France.
17. Duke, D., Harrison, M.D., 1994. MATIS: a case study in formal specification. Technical Report SM/WP17, ESPRIT BRA 7040, Amodeus-2.
18. Esteban O., Chatty S., and Palanque P. Whizz'Ed: a visual environment for building highly interactive interfaces. Proceedings of the Interact'95 Conference (1995) 121-126
19. Genrich H.J. Predicate/Transition nets. In: Jensen K., and Rozenberg G. (Eds). High-Level Petri Nets: Theory and Application (1991), Springer, Berlin 3-43
20. Hinckley, K., Czerwinski, M., Sinclair, M., 1998. Interaction and Modeling Techniques for Desktop Two-Handed Input.
21. Jacob R.J.K., Deligiannidis L., and Morrison S. A software model and specification language for non-WIMP user interfaces. ACM Transactions on Computer-Human Interaction 6 1 (1999) 1-46
22. Jacob R.J.K. A specification language for direct-manipulation user interfaces. ACM Transactions on Graphics (1986) 283-317
23. Martin C. Software life cycle automation for interactive applications: the ame design environment. Computer-Aided Design of User Interfaces (1996), Namur University Press, Namur, Belgium pp. 57-74
24. Navarre, D., Palanque, P., Bastide, R., Sy, O., 2000. Structuring interactive systems specifications for executability and prototypability. Seventh Eurographics Workshop on Design, Specification and Verification of Interactive Systems, DSV-IS'2000, Limerick, Ireland, 2000, Lecture notes in Computer Science n° 1946.
25. Navarre D., Palanque P., and Bastide R. A Tool-Supported Design Framework for Safety Critical Interactive Systems in Interacting with Computers vol. 15/3 (2003), Elsevier, Amsterdam 15/3, pp 309-328
26. Navarre, D., Palanque, P., Bastide, R., 2004. A Formal Description Technique for the Behavioral Description of Interactive Applications Compliant with ARINC 661 Specifications. HCI-Aero'04 Toulouse, France, 29 September-1st October 2004.
27. Norman D.A. The Psychology of Everyday Things (1988), Harper and Collins, New York
28. OMG., 1998. The Common Object Request Broker: Architecture and Specification. CORBA IIOP 2.2 /98-02-01, Framingham, MA.
29. Ould, M., Bastide, R., Navarre, D., Palanque, P., Rubio, F., Schyn, A., 2004. Multimodal and 3D graphic man-machine interfaces to improve operations. Eighth International Conference on Space Operations, Montréal, Canadian space agency, 2004. www.spaceops2004.org/papers/.
30. Palanque P., and Bastide R. Synergistic modeling of tasks, users and systems using formal specification techniques. Interacting With Computers 9 2 (1997) 129-153
31. Palanque, P., Schyn, A., 2003. A model-based approach for engineering multimodal interactive systems in INTERACT 2003, IFIP TC 13 conference on Human Computer Interaction.
32. Parnas D.L. On the use of transition diagram in the design of a user interface for interactive computer system. Proceedings of the 24th ACM Conference (1969) 379-385
33. Pfaff G.E. User interface management systems. Proceedings of the Seeheim Workshop (1985), Springer, Berlin (v. 1-800-777-4643)
34. Sukaviriya P.N., Kovacevic S., Foley J.D., Myers B.A., Olsen Jr. D.R., and Schneider-Hufschmidt M. Model-based user interfaces: what are they and why should we care?. Proceedings UIST'94 (1994) pp. 133-135
35. Sy, O., Bastide, R., Palanque, P., Le, D.-H., Navarre, D. 1999. PetShop: a CASE tool for the Petri Net based specification and prototyping of CORBA systems. Twentieth International Conference on Applications and Theory of Petri Nets, ICATPN'99, Williamsburg, VA, USA.
36. Vanderdonckt J., and Bodart F. Encapsulating knowledge for intelligent automatic interaction objects selection. Proceedings of the ACM Conference on Human Factors in Computing Systems INTERCHI'93 (1993), ACM Press, Amsterdam, pp. 424-429
37. Wieting R. Hybrid high-level nets. Proceedings of the Winter Simulation Conference (1996), ACM Press, Amsterdam New York pp. 848-855
38. Willans J.S., and Harrison M.D. Prototyping pre-implementation designs of virtual environment behaviour. Eighth IFIP Working Conference on Engineering for Human-Computer Interaction (EHCI'01) 2001 (2001), LNCS, Springer, Berlin
39. van Biljon W. Extending Petri nets for specifying man-machine dialogues. International Journal of Man-Machine Studies 28 4 (1988) 437-455 Publisher Academic Press, London, UK
40. van Dam A. Post-WIMP user interfaces. Communications of the ACM 40 2 (1997) 63-67