Skip to Main content Skip to Navigation
New interface
Conference papers

Towards a User Interface Description Language Based on Bigraphs

Nicolas Nalpon 1 Cyril Allignol 2 Célia Picard 1 
1 LII - ENAC - Equipe Informatique Interactive
ENAC - Ecole Nationale de l'Aviation Civile
2 OPTIM - ENAC - Equipe Optim
ENAC - Ecole Nationale de l'Aviation Civile
Abstract : 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.
Document type :
Conference papers
Complete list of metadata
Contributor : Nicolas Nalpon Connect in order to contact the contributor
Submitted on : Wednesday, September 28, 2022 - 1:38:17 PM
Last modification on : Tuesday, October 25, 2022 - 5:40:05 PM


  • HAL Id : hal-03790499, version 1




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⟩



Record views