ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique

APPEL À
CONTRIBUTION
Décisions, argumentation et traçabilité dans l’Ingénierie des Systèmes d’Information
En savoir plus >>
Autres revues >>

Ingénierie des Systèmes d'Information

Networking and Information Systems
1633-1311
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 13/2 - 2008  - pp.127-154  - doi:10.3166/isi.13.2.127-154
TITRE
Développements formels d'interfaces multimodales fondés sur la preuve et le raffinement. Scénarios de développement

RÉSUMÉ
Les architectures d'un système interactif reposent sur la séparation du noyau fonctionnel et de l'interface utilisateur du logiciel. Le développement de ces deux modules implique l'utilisation de techniques et d'approches différentes et engendre un développement hétérogène. La validation du système interactif peut être une étape complexe puisque ces modules sont développés séparément. Dans le cadre du projet RNRT Verbatim, l'étude de différents scénarios de développement formels des systèmes interactifs multimodaux, a été menée en utilisant la méthode B événementiel. Le raffinement est mis en oeuvre pour structurer les développements et la preuve pour établir les propriétés. Il s'intéresse principalement à la liaison entre les deux modules d'un système interactif que sont le noyau fonctionnel et l'interface utilisateur. Quatre scénarios de développement différents sont étudiés et comparés.


ABSTRACT
The software architecture models of interactive systems are based on the separation of the functional core from the interface itself. The development of this two modules implies the use of several different software engineering techniques and approaches. Due to the resulting heterogeneity, the validation of the system may become a hard task.In the context of the RNRT Verbatim project, the study of different development scenarios for multimodal human interfaces has been conducted within the formal event B method. Refinement of specifications is put into practice in order tu structure developments and proofs for establishing the relevant properties of the system. The main interest of this paper is the link between both functional core and interface modules. Four different development scenarios are studied and compared.


AUTEUR(S)
Yamine AÏT-AMEUR, Idir AÏT-SADOUNE, Mickael BARON, Jean-Marc MOTA

MOTS-CLÉS
B événementiel, IHM, architectures logicielles, systèmes interactifs.

KEYWORDS
Event B, HCI, software architectures, interactive systems.

CITATIONS
isi.revuesonline.com/revues/24/citation/11734.html

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  (389 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

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

 English version >> 
Lavoisier