Modelling Information Fission in Output Multi-modal Interactive Systems Using Event-B

  • Linda Mohand-Oussaïd
  • Idir Aït-Sadoune
  • Yamine Aït-Ameur
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6918)


Output multi-modal human-machine interfaces combine semantically output medias and modalities to increase interaction machine capabilities. In order to provide a rigorous development approach for these interfaces, we have proposed a generic formal model that formally describes the output multi-modal interface construction starting from the information generated by the functional core. This formal model is composed of two sub-models: the first one dedicated to the semantic fission of information and the second one relative to the allocation of modalities and medias for information.

This paper presents an Event-B implementation of the semantic fission sub-model.


Multi-modal interaction semantic fission formal modelling 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Nigay, L., Coutaz, J.: Espaces conceptuels pour l’interaction multi-média et multi-modale. Spécial Multi-média et Collecticiel, 1195–1225 (1996)Google Scholar
  2. 2.
    Palanque, P., Schyn, A.: A Model-based for engineering multi-modal interactive systems. In: 9th IFIP TC13 International Conference on Human Computer Interaction (2003)Google Scholar
  3. 3.
    Schyn, A., Navarre, D., Palanque, P., Nedel, L.P.: Description Formelle d’une Technique d’Interaction Multi-modale dans une Application de Réalité Virtuelle Immersive. In: Proceeding of the 15th French Speaking Conference on Human-Computer Interaction (IHM 2003), Caen, France, November 25-28 (2003)Google Scholar
  4. 4.
    Navarre, D., Palanque, P., Bastide, R., Schyn, A., Winckler, M., Nedel, L.P., Freitas, C.M.D.S.: A Formal Description of Multi-modal Interaction Techniques for Immersive Virtual Reality Applications. In: Costabile, M.F., Paternó, F. (eds.) INTERACT 2005. LNCS, vol. 3585, pp. 170–183. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  5. 5.
    Kamel, N.: Un cadre formel généric pour la specification et la vérification des interfaces multi-modales. Cas de la multi-modalité en entrée, Ph.D thesis, Université de Poitiers (2006)Google Scholar
  6. 6.
    Bordegoni, M., Faconti, G., Maybury, M.T., Rist, T., Ruggieri, S., Trahanias, P., Wilson, M.: A Standard Reference Model for Intelligent Multi-media Presentation Systems. Computer Standards and Interfaces 18(6-7), 477–496 (1997)CrossRefGoogle Scholar
  7. 7.
    Rousseau, C.: Présentation multi-modale et contextuelle de l’information. Ph.D thesis (université Paris sud XI-Orsay) (2006)Google Scholar
  8. 8.
    Aït-Ameur, Y., Aït-Sadoune, I., Baron, M., Mota, J.: Vérification et validation formelles de systémes interactifs fondées sur la preuve: application aux systémes Multi-Modaux. Journal d’Interaction Personne-Systéme (JIPS) 1(1) (Septembre 2010)Google Scholar
  9. 9.
    Mohand-Oussaïd, L., Aït-Ameur, Y., Ahmed-Nacer, M.: A generic formal model for fission of modalities in output multi-modal interactive systems. In: 3rd International Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2009, Rabat, Morroco (July 2009)Google Scholar
  10. 10.
    Abrial, J.-R.: Modeling in Event-B: system and software engineering. Cambridge University Press, Cambridge (2010)CrossRefMATHGoogle Scholar
  11. 11.
    Abrial, J.-R.: The B-Book. Cambridge University Press, Cambridge (1996)CrossRefMATHGoogle Scholar
  12. 12.
    Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall, Inc., Englewood Cliffs (1976)MATHGoogle Scholar
  13. 13.
    Rodin, European Project Rodin (2004),
  14. 14.
    Ait-Ameur, Y., Baron, M., Kamel, N., Mota, J.: Encoding a process algebra using the Event-B method. International Journal on Software Tools for Technology Transfer (STTT) 11(3), 239–253 (2009)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Linda Mohand-Oussaïd
    • 1
  • Idir Aït-Sadoune
    • 1
  • Yamine Aït-Ameur
    • 1
  1. 1.Laboratory of Applied Computer Science (LISI)ENSMA and University of PoitiersFrance

Personalised recommendations