Towards a User Interface Description Language Based on Bigraphs - Archive ouverte HAL Access content directly
Conference Papers Year : 2022

Towards a User Interface Description Language Based on Bigraphs

(1) , (2) , (1)
1
2
Nicolas Nalpon
Cyril Allignol
Célia Picard

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.
Not file

Dates and versions

hal-03790499 , version 1 (28-09-2022)

Identifiers

  • HAL Id : hal-03790499 , version 1

Cite

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
17 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More