modélisation formelle d'IHM multi-modales en sortie avec B Evénementiel

Simple item page
dc.contributor.authorMohand Oussaïd, Linda
dc.contributor.authorAit Sadoune, Idir
dc.contributor.authorAit Ameur, Yamine
dc.contributor.authorAhmed-Nacer, Mohamed
dc.date.accessioned2014-04-23T15:07:36Z
dc.date.available2014-04-23T15:07:36Z
dc.date.issued23-04-2014
dc.description.abstractLes interfaces homme-machine (IHM) multi-modales offrent à l’utilisateur la possibilité de combiner les modalités d’interaction afin d’augmenter la robustesse et l’utilisabilité de l’interface utilisateur d’un système. Plus particulièrement, en sortie, les IHM multi-modales permettent au système de restituer à l’utilisateur, l’information produite par le noyau fonctionnel en combinant sémantiquement plusieurs modalités. Dans l’optique de concevoir de telles interfaces pour des systèmes critiques, nous avons proposé un modèle formel de conception des interfaces multi-modales en sortie. Le modèle proposé se décompose en deux modèles : le modèle de fission sémantique qui décrit la décomposition de l’information à restituer en informations élémentaires, et le modèle d’allocation qui spécifie l’allocation des modalités et médias aux informations élémentaires. Nous avons également développé une formalisation B Événementiel détaillée des deux modèles : fission sémantique et allocation. Cet article est dédié à la présentation d’une démarche formelle et générique relative au modèle proposé, il décrit la démarche générale de développement B Événementiel ainsi que le modèle générique B Événementiel correspondant au modèle de conception générique.fr_FR
dc.identifier.isrnCERIST-DSISM/RR--14-0000000012--dz
dc.identifier.urihttp://dl.cerist.dz/handle/CERIST/651
dc.publisherCERIST
dc.relation.ispartofRapports de recherche internes
dc.relation.placeAlger
dc.structureSûreté de Fonctionnement dans le Développement des Logicielsfr_FR
dc.subjectInteraction Homme Machine, multi-modalité en sortie, développement formel, B Événementielfr_FR
dc.titlemodélisation formelle d'IHM multi-modales en sortie avec B Evénementielfr_FR
dc.typeTechnical Report
Files
Collections
Research Reports