Research Reports

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

Browse

Filters

2009 - 200912010 - 20163

Settings

Author: search.filters.author.Mohand Oussaïd, LindaHas files: Yes

Search Results

Now showing 1 - 4 of 4
  • Thumbnail Image
    Item
    Ontological Interaction Modeling and Semantic Rule-Based Reasoning for User Interface Adaptation
    (CERIST, 2016) Lebib, Fatma-Zohra; Mellah, Hakima; Mohand Oussaïd, Linda
    Disabled users conducting their interactive tasks on their devices address challenges such as user interface adaptation. The paper provides a valuable knowledge for supporting adaptive user interfaces. In this work an interactive application development, in handicrafts’ domain is considered, with the aim to build ontology which models the available interaction modalities and resources to be used by craftswomen interacting with the system. The paper is more focused on the Semantic Web Rule Language (SWRL) rules allowing to derive the appropriate modalities for specific woman considering different factors related to its sensory perception and motor skills to one finality that is enriching interaction ontology.
  • 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.
  • Thumbnail Image
    Item
    Un modèle formel générique de fission des modalités dans les systèmes multimodaux en sortie
    (CERIST, 2009-05) Mohand Oussaïd, Linda
    Les interfaces homme-machine multi-modales en sortie combinent sémantiquement les médias et modalités en sortie en vue d'accroître les capacités d'interaction de la machine. L'objectif de ce rapport est de présenter un modèle formel permettant la spécification formelle des systèmes interactifs multi-modaux en sortie. Ainsi, les propriétés d'utilisabilité et de robustesse peuvent être exprimées et vérifiées. Ce rapport propose en plus du modèle générique un modèle paramétré permettant la spécification des systèmes interactifs multimodaux en sortie selon l'espace de conception CASE.