Towards a User Interface Description Language Based on Bigraphs - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Towards a User Interface Description Language Based on Bigraphs

Nicolas Nalpon
Cyril Allignol
Célia Picard

Résumé

User interface description languages (UIDL) are high-level languages allowing to model user interfaces (UI). Their purpose is to ease the design of UIs. They are widely used, including to develop critical interactive systems. Nevertheless, the problem of verifying systems developed with UIDLs is barely addressed in the literature. The first step is to provide a formal semantics using an appropriate theory. We claim that the bigraphs theory is a good candidate theory. In this short paper, presenting a work in progress, we introduce the common features of UIDLs and show how bigraphs could be used to define UIDLs semantics and help with UI verification.
Fichier principal
Vignette du fichier
ICTAC2.pdf (275.21 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03790499 , version 1 (10-11-2023)

Identifiants

  • HAL Id : hal-03790499 , version 1

Citer

Nicolas Nalpon, Cyril Allignol, Célia Picard. Towards a User Interface Description Language Based on Bigraphs. Theoretical Aspects of Computing – ICTAC 2022, Sep 2022, tbilisi, Georgia. ⟨hal-03790499⟩

Collections

ENAC LII OPTIM
81 Consultations
15 Téléchargements

Partager

Gmail Facebook X LinkedIn More