Cited By
View all- Chebieb AAit Ameur Y(2018)A formal model for plastic human computer interfacesFrontiers of Computer Science: Selected Publications from Chinese Universities10.1007/s11704-016-5460-312:2(351-375)Online publication date: 1-Apr-2018
Modelling information fission in output multi-modal interactive systems using event-b
Pages 200 - 213
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 multimodal 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 submodel.
References
[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).
[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).
[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).
[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).
[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).
[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).
[7]
Rousseau, C.: Présentation multi-modale et contextuelle de l'information. Ph.D thesis (universit é Paris sud XI-Orsay) (2006).
[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).
[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).
[10]
Abrial, J.-R.:Modeling in Event-B: system and software engineering. Cambridge University Press, Cambridge (2010).
[11]
Abrial, J.-R.: The B-Book. Cambridge University Press, Cambridge (1996).
[12]
Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall, Inc., Englewood Cliffs (1976).
[13]
Rodin, European Project Rodin (2004), http://rodin.cs.ncl.ac.uk
[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).
Recommendations
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Published: 28 September 2011
Author Tags
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 03 Mar 2025
Other Metrics
Citations
Cited By
View all- Chebieb AAit Ameur Y(2018)A formal model for plastic human computer interfacesFrontiers of Computer Science: Selected Publications from Chinese Universities10.1007/s11704-016-5460-312:2(351-375)Online publication date: 1-Apr-2018