Skip to Main content Skip to Navigation
Conference papers

QBP Notation for Explicit Representation of Properties, Their Refinement and Their Potential Conflicts: Application to Interactive Systems

Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [25 references]  Display  Hide  Download

https://hal.inria.fr/hal-01821411
Contributor : Hal Ifip <>
Submitted on : Friday, June 22, 2018 - 2:42:03 PM
Last modification on : Thursday, July 16, 2020 - 10:56:03 AM
Document(s) archivé(s) le : Tuesday, September 25, 2018 - 10:13:30 PM

File

 Restricted access
To satisfy the distribution rights of the publisher, the document is embargoed until : 2021-01-01

Please log in to resquest access to the document

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Camille Fayollas, Célia Martinie, Philippe Palanque, Yamine Aït-Ameur. QBP Notation for Explicit Representation of Properties, Their Refinement and Their Potential Conflicts: Application to Interactive Systems. 16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.91-105, ⟨10.1007/978-3-319-92081-8_9⟩. ⟨hal-01821411⟩

Share

Metrics

Record views

438