Causette

Martin, Alice; Magnaudet, Mathieu; Conversy, Stéphane

doi:10.1145/3524610.3527885

Search citation statements

Order By: Relevance

Paper Sections

Select...

Properties Verification On Ui1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2022

Publication Types

Select...

Book1

Relationship

Self Cite0

Independent1

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 50 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This feature of bigraphs, can be useful for developers to check the soundness of the UI described. Indeed, the size of the UI makes the debugging much more harder [15] which can be eased my automatic verification. This feature could also be used to check that an UI satisfy semantics properties of the UIDL used.…”

Section: Properties Verification On Uimentioning

confidence: 99%

Towards a User Interface Description Language Based on Bigraphs

Nalpon

Allignol

Picard

2022

Lecture Notes in Computer Science

View full text Add to dashboard Cite

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.

show abstract

Section: Properties Verification On Uimentioning

confidence: 99%