Logo des Repositoriums
 

Verification of Plastic Interactive Systems

Kurzanzeige
dc.contributor.authorOliveira, Raquelde_DE
dc.contributor.authorDupuy-Chessa, Sophiede_DE
dc.contributor.authorCalvary, Gaëllede_DE
dc.contributor.editorZiegler, Jürgende_DE
dc.date.accessioned2017-11-20T08:44:46Z
dc.date.available2017-11-20T08:44:46Z
dc.date.issued2015
dc.description.abstractInteractive systems have largely evolved over the past years. Nowadays, different users can interact with systems on different devices and in different environments. The user interfaces (UIs) are expected to cope with such variety. Plastic UIs have the capacity to adapt to changes in their context of use while preserving usability. Such capability enhances UIs, however, it adds complexity on them. We propose an approach to verifying interactive systems considering this adaptation capability of the UIs. The approach applies two formal techniques: model checking, to the verification of properties over the system model, and equivalence checking, to compare different versions of a UI, thereby identifying different levels of UI equivalence. We apply the approach to a case study in the nuclear power plant domain in which several UI are analyzed, properties are verified, and the level of equivalence between them is demonstrated.de_DE
dc.identifier.pissn2196-6826de_DE
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/6247
dc.publisherDe Gruyterde_DE
dc.relation.ispartofi-com: Vol. 14, No. 3de_DE
dc.subjectEquivalence Checkingde_DE
dc.subjectFormal Verificationde_DE
dc.subjectInteractive Systemsde_DE
dc.subjectModel Checkingde_DE
dc.subjectPlasticityde_DE
dc.subjectUser Interfacesde_DE
dc.titleVerification of Plastic Interactive Systemsde_DE
dc.typeText/Conference Paperde_DE
gi.citation.publisherPlaceBerlinde_DE
gi.citation.startPage192–204de_DE
gi.document.qualitydigidocde_DE

Dateien

Sammlungen

i-com Band 14 (2015) Heft 3