ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 34/5 - 2015  - pp.523-548  - doi:10.3166/TSI.34.523-548
TITRE
Modélisation formelle d’IHM multimodales en sortie avec B Événementiel. Approche par généralisation et instanciation

TITLE
Outpout multimodal HC1 formal modeling in Event-B. Generalization and instantiation approach

RÉSUMÉ

Les interfaces homme-machine multimodales en sortie permettent 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 qui se décompose en deux modèles : le modèle de fission sémantique et le modèle d’allocation. Nous avons également développé une formalisation B Événementiel détaillée de ces deux modèles, elle repose sur une démarche générique par raffinements successifs articulée autour de quatre modèles génériques paramétrés, accompagnés de mécanismes d’instanciation permettant l’utilisation des modèles génériques pour la formalisation d’interfaces concrètes. Cet article est dédié à la présentation de cette formalisation B Événementiel, il décrit la démarche générale de développement B Événementiel.



ABSTRACT

Multimodal human-computer interfaces allow to return to the user, the information generated by the functional core by combining semantically several modalities. In order to design such interfaces for critical systems, we proposed a formal design model composed of two models: the semantic fission model and the allocation model. We have also developed a detailed Event B formalization for these two models, it is based on a generic approach by successive refinements, using four generic parameterized models combined to instantiation mechanisms that allows the formalization of concrete interfaces. This article is dedicated to the presentation of this Event B formalization, it describes the generic Event B development approach.



AUTEUR(S)
Linda MOHAND-OUSSAID, Idir AIT-SADOUNE, Yamine AIT-AMEUR, Mohamed AHMED-NACER

Reçu le 6 février 2015.    Accepté le 16 juillet 2015.

MOTS-CLÉS
interaction homme machine, multimodalité en sortie, développement formel, B Évé- nementiel, généralisation, instanciation.

KEYWORDS
human computer interaction, output multimodality, formal development, B Event, generalization, instantiation.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (899 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier