Fusion Engines and Melting Pots

  • J. K. Hyde
  • D. J. Duke
Conference paper
Part of the Eurographics book series (EUROGRAPH)


Emerging multi-modal technology relies on innovative techniques for managing data, both at the user interface level, and at the internal application level. To assess design alternatives for this class of system, it is desirable to have models that focus attention on the critical features of these systems. Formal methods of software specification are known to provide this abstractive power in many contexts. This paper shows that an established specification technique can be used profitably to model, assess and improve the design of a generic kernel for multimodal systems.


Formal Method Temporal Window Fusion Strategy Domain Information Usability Criterion 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    M. Abadi and L. Lamport. An old-fashioned recipe for real time. Technical Report 91, DEC Systems Research Center, October 1992.Google Scholar
  2. 2.
    G. Abowd. Formal aspects of human-computer interaction. D.Phil Thesis, Oxford University Computing Laboratory: Programming Research Group, 1991. Available as Technical Monograph PRG-97.Google Scholar
  3. 3.
    P.J. Barnard and J. May. Cinematography and user interface design. In Human-Computer Interaction: INTERACT’95, pages 26–31. Chapman and Hall, 1995.Google Scholar
  4. 4.
    P.J. Barnard and J. May. Interactions with advanced graphical interfaces and the deployment of latent human knowledge. In Eurographics Workshop on Design, Specification and Verification of Interactive Systems, pages 15–49. Springer, June 1995.Google Scholar
  5. 5.
    J. Coutaz, D.J. Duke, G. Faconti, M.D. Harrison, and F. Paterno’. Formal methods and multimodal interactive systems. Technical Report SM/WP61, ESPRIT BRA 7040 Amodeus-2, 1995.Google Scholar
  6. 6.
    J. Coutaz, L. Nigay, and D. Salber. The MSM framework: A design space for multi-sensorymotor systems. In Proc. EWHCI’93, volume 753 of Lecture Notes in Computer Science, pages 231–241. Springer-Verlag, 1993.Google Scholar
  7. 7.
    J. Coutaz, L. Nigay, D. Salber, A.E. Blandford, J. May, and R.M. Young. Four easy pieces for assessing the usability of multimodal interaction: the CARE properties. In Human-Computer Interaction: INTERACT’95, pages 115–120. Chapman and Hall, 1995.Google Scholar
  8. 8.
    D.J. Duke, P.J. Barnard, D.A. Duce, and J. May. Systematic development of the human interface. In APSEC’95: Second Asia-Pacific Software Engineering Conference, pages 313–321. IEEE Computer Society Press, 1995.Google Scholar
  9. 9.
    D.J. Duke and M.D. Harrison. Interaction and task requirements. In P. Palanque and R. Bastide, editors, DSV-IS’95: Eurographics Workshop on Design, Specification and Verification of Interactive Systems, pages 54–75. Springer-Verlag, 1995.Google Scholar
  10. 10.
    A. Hall. Seven myths of formal methods. Software, pages 11–19, September 1990.Google Scholar
  11. 11.
    J.K. Hyde. Fusion engines and melting pots. Msc Project Dissertation, Department of Computer Science, University of York, 1995.Google Scholar
  12. 12.
    L. Nigay. Conception et modélisation logicielles des systèmes interactifs. Ph.D. Thèse de l’Université Joseph Fourier, Grenoble, 1994.Google Scholar
  13. 13.
    L. Nigay and J. Coutaz. A design space for multimodal systems: Concurrent processing and data fusion. In S. Ashlund, K. Mullet, A. Henderson, E. Hollnagel, and T. White, editors, Proc. INTERCHI’93, pages 172–178. Addison-Wesley, 1993.Google Scholar
  14. 14.
    L. Nigay and J. Coutaz. A generic platform for addressing the multimodal challenge. In Proc. of CHI’95. Addison-Wesley, 1995.Google Scholar
  15. 15.
    J.M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International, second edition, 1992.Google Scholar

Copyright information

© Springer-Verlag/Wien 1996

Authors and Affiliations

  • J. K. Hyde
    • 1
  • D. J. Duke
    • 2
  1. 1.School of Computing ScienceMiddlesex UniversityLondonUK
  2. 2.Department of Computer ScienceUniversity of YorkHeslington, YorkUK

Personalised recommendations