Research Reports

Permanent URI for this collectionhttp://dl.cerist.dz/handle/CERIST/34

Browse

Author: search.filters.author.Ait Ameur, Yamine

Search Results

Now showing 1 - 2 of 2
  • Thumbnail Image
    Item
    modélisation formelle d'IHM multi-modales en sortie avec B Evénementiel
    (CERIST, 23-04-2014) Mohand Oussaïd, Linda; Ait Sadoune, Idir; Ait Ameur, Yamine; Ahmed-Nacer, Mohamed
    Les 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.
  • Thumbnail Image
    Item
    Formal modelling of output multi-modal HCI in Event-B. Modalities and media allocation
    (CERIST, 2013-12-15) Mohand Oussaïd, Linda; Ait Sadoune, Idir; Ait Ameur, Yamine
    Multi-modal Human-Computer Interfaces (HCI) allow interface designers to combine interactive modalities in order to increase interactive systems robustness and usability. In particular, output multi-modal interfaces allow the system to return the information to the user by using several modalities and media. In order to design such interfaces for critical systems, we proposed a generic formal model for the design of output multimodal interfaces. The proposed model consists of two successive models: the fission model that describes the semantic decomposition of information produced by the functional core into elementary information, and the allocation model that specifies the allocation of pairs modality/media for each elementary information. In a previous work (Mohand-Oussaid, Ait-Sadoune, and Ait-Ameur 2011), we have proposed an Event-B implementation of the fission model. In this paper, we present an Event-B implementation of the allocation model.