Academic & Scientific Articles

Permanent URI for this communityhttp://dl.cerist.dz/handle/CERIST/3

Browse

Author: search.filters.author.Mohand Oussaïd, LindaSubject: search.filters.subject.formal design

Search Results

Now showing 1 - 2 of 2
  • 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
    A generic formal model for fission of modalities in output multi-modal interactive systems
    (2009) Mohand Oussaïd, Linda; Ait Ameur, Yamine; Ahmed-Nacer, Mohamed
    Output multi-modal human-machine interfaces combine semantically output medias and modalities in order to increase interaction machine capabilities. The aim of this paper is to present a formal model supporting formal specifications of output multi-modal interactive systems. As a consequence, the expected usability and robustness properties can be expressed and checked. This paper proposes a generic model which permits to specify the output multimodal interfaces following the CASE design space.