Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
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)
Palanque, P., Schyn, A.: A Model-based for engineering multi-modal interactive systems. In: 9th IFIP TC13 International Conference on Human Computer Interaction (2003)
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)
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)
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)
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)
Rousseau, C.: Présentation multi-modale et contextuelle de l’information. Ph.D thesis (université Paris sud XI-Orsay) (2006)
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)
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)
Abrial, J.-R.: Modeling in Event-B: system and software engineering. Cambridge University Press, Cambridge (2010)
Abrial, J.-R.: The B-Book. Cambridge University Press, Cambridge (1996)
Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall, Inc., Englewood Cliffs (1976)
Rodin, European Project Rodin (2004), http://rodin.cs.ncl.ac.uk
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mohand-Oussaïd, L., Aït-Sadoune, I., Aït-Ameur, Y. (2011). Modelling Information Fission in Output Multi-modal Interactive Systems Using Event-B. In: Bellatreche, L., Mota Pinto, F. (eds) Model and Data Engineering. MEDI 2011. Lecture Notes in Computer Science, vol 6918. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24443-8_22
Download citation
DOI: https://doi.org/10.1007/978-3-642-24443-8_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-24442-1
Online ISBN: 978-3-642-24443-8
eBook Packages: Computer ScienceComputer Science (R0)