%0 Conference Proceedings
%T QBP Notation for Explicit Representation of Properties, Their Refinement and Their Potential Conflicts: Application to Interactive Systems
%+ Interactive Critical Systems (IRIT-ICS)
%+ Ecole Nationale Supérieure d'Electrotechnique, d'Electronique, d'Informatique, d'Hydraulique et de Télécommunications (ENSEEIHT)
%A Fayollas, Camille
%A Martinie, Célia
%A Palanque, Philippe
%A Aït-Ameur, Yamine
%Z Part 3: Dealing with Conflicting User Interface Properties in User-Centered Development Processes
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 16th IFIP Conference on Human-Computer Interaction (INTERACT)
%C Bombay, India
%Y Torkil Clemmensen
%Y Venkatesh Rajamanickam
%Y Peter Dannenmann
%Y Helen Petrie
%Y Marco Winckler
%I Springer International Publishing
%3 Global Thoughts, Local Designs
%V LNCS-10774
%P 91-105
%8 2017-09-25
%D 2017
%R 10.1007/978-3-319-92081-8_9
%K Safety
%K Security
%K Usability
%K User experience
%K Properties
%K Interactive systems
%Z Computer Science [cs]Conference papers
%X This paper presents a notation called QBP (Question, Behavior, Property) to represent software and system properties and their relationship. The properties are structured in a tree-shape format from very abstract and generic ones (such as safety or security) to more concrete (leave of the tree). This tree-shape representation is used in the paper to represent properties classification in several areas such as Dependable and Secure computing and Human-Computer Interaction. The notation makes it possible to connect the properties among each other and to connect them to concrete properties expressed in temporal logic. Those concrete properties are, in turn, connected to behavioral descriptions of interactive systems satisfying (or not) the properties. An example is given on a set of different traffic lights from different countries.
%G English
%Z TC 13
%2 https://inria.hal.science/hal-01821411/document
%2 https://inria.hal.science/hal-01821411/file/468709_1_En_9_Chapter.pdf
%L hal-01821411
%U https://inria.hal.science/hal-01821411
%~ UNIV-TLSE2
%~ UNIV-TLSE3
%~ CNRS
%~ UT1-CAPITOLE
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC13
%~ IFIP-INTERACT
%~ IFIP-LNCS-10774
%~ IRIT
%~ IRIT-ICS
%~ ANR
%~ IRIT-FSL
%~ IRIT-INPT
%~ IRIT-UT3
%~ TOULOUSE-INP
%~ UNIV-UT3
%~ UT3-INP
%~ UT3-TOULOUSEINP
%~ SITE-WEB-MODELE-1
%~ SITE-WEB-MODELE-2
%~ SITE-WEB-MODELE-3
%~ SITE-WEB-MODELE-4