Spécification du dialogue et génération d'interfaces à l'aide d'interacteurs à réseau de contrôle

Gérard Tisseau (1) , Hélène Giroire (1) , Jacques Duma , Françoise Le Calvez , Marie Urtasun

1 SYSDEF - Systèmes d'aide à la décision et à la formation

Cet article présente d’abord un formalisme de spécification du dialogue d’une interface, apparenté aux réseaux de Petri, les interacteurs à réseaux de contrôle (IREC). Le réseau de contrôle d’un interacteur comporte des variables contenant des données et des commandes traitant ces données et les faisant circuler dans les variables en réponse aux événements d’affectation des variables. IREC offre des possibilités de composition par imbrication des interacteurs et de communication par partage de variables. Nous décrivons ensuite une architecture générique à objets, AGIREC, qui réifie les concepts du formalisme, qui les rend exécutables et qui permet de les relier aux widgets de la présentation. Nous présentons enfin un environnement interactif de développement d’interfaces, EDIREC, permettant d’éditer une spécification IREC et de la transformer en code exécutable fondé sur l’architecture AGIREC. EDIREC est intégré à VisualWorks et il a été produit à partir de lui-même par amorçage (bootstrap).

Domaines: Informatique [cs]

Gérard Tisseau, Hélène Giroire, Jacques Duma, Françoise Le Calvez, Marie Urtasun. Spécification du dialogue et génération d'interfaces à l'aide d'interacteurs à réseau de contrôle. IHM'99 - 11ème conférence francophone sur l'Interaction Homme-Machine, Nov 1999, Montpellier, France. pp.94-101. ⟨hal-01573990⟩