Paper Info
Title
Modélisation formelle d'IHM multimodales en sortie avec B Événementiel. Approche par généralisation et instanciation.
Abstract
Les Interfaces Homme-Machine multimodales (IHM3) offu000brent a l’utilisateur la possibilitede combiner les modalites d’interaction afin d’augmenter la robustesse et l’utilisabilitede l’interface utilisateur d’un systeme. Plus particulierement, en sortie, les IHM3 permettentau systeme de restituer a l’utilisateur, l’information produite par le noyau fonctionnel en combinantsemantiquement plusieurs modalites. Dans l’optique de concevoir de telles interfacespour des systemes critiques, nous avons propose un modele formel de conception des interfacesmultimodales en sortie. Le modele propose se decompose en deux modeles : le modelede fission semantique qui decrit la decomposition de l’information a restituer en informationselementaires, et le modele d’allocation qui specifie l’allocation des modalites et medias auxinformations elementaires. Nous avons egalement developpe une formalisation B Evenementieldetaillee des deux modeles : fission semantique et allocation. Cette formalisation B Evenementielrepose sur une demarche generique par raffiu000enements successifs articulee autour de quatremodeles generiques parametres, accompagnes de mecanismes d’instanciation permettant l’utilisationdes modeles generiques pour la formalisation d’interfaces concretes. Cet article estdedie a la presentation de cette formalisation B Evenementiel, il decrit la demarche generalede developpement B Evenementiel ainsi que les mecanismes d’instanciation.
Year
Venue
Field
2015
Technique et Science Informatiques
Computer science,Humanities,Distributed computing
DocType
Volume
Issue
Journal
34
5
Citations 
PageRank 
References 
0
0.34
0
Authors
4
Name
Order
Citations
PageRank
Linda Mohand-Oussaïd112.04
Idir Aït-sadoune2244.72
Yamine Aït Ameur328752.61
Mohamed Ahmed-Nacer400.34