Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Design for Cultural Heritage – Developing Understanding in Teaching and Practice Kapitel lesen Erstes Kapitel lesen

2018 | OriginalPaper | Buchkapitel

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

verfasst von : Camille Fayollas, Célia Martinie, Philippe Palanque, Yamine Ait-Ameur, FORMEDICIS

Erschienen in: Global Thoughts, Local Designs

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel Declarative Interaction Towards Evolutionary User Interface Prototyping
Nächstes Kapitel Reflections on System Properties Valued by End Users in Designing End-User Development Systems
Literatur
1.
Dix, A.J.: Abstract, Generic Models of Interactive Systems. In: BCS HCI 1988, pp. 63–77 (1988)
2.
3.
4.
Hassenzahl, M., Platz, A., Burmester, M., Lehner, K.: Hedonic and ergonomic quality aspects determine a software’s appeal. In: CHI 2000, pp. 201–208 (2017)
5.
International Standard Organization: “ISO 9241-11” Ergonomic requirements for office work with visual display terminals (VDT) – Part 11 Guidance on Usability (1996)
6.
Lacaze, X., Palanque, P., Barboni, E., Bastide, R., Navarre, D.: From DREAM to reality: specificities of interactive systems development with respect to rationale management. In: Dutoit, A.H., McCall, R., Mistrík, I., Paech, B. (eds.) Rationale Management in Software Engineering. Springer, Heidelberg (2006). https://​doi.​org/​10.​1007/​978-3-540-30998-7_​7
7.
8.
Laprie, J., Randell, B.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secur. Comput. 1(1), 11–33 (2004)
9.
MacLean, A., Young, R.M., Bellotti, V.M.E., Moran, T.P.: Questions, options, and criteria: elements of design space analysis. J. Hum. Comput. Interact. 6, 201–250 (1991)CrossRef
10.
Manna, Z., Pnueli, A.: A hierarchy of temporal properties. In: ACM Symposium on Principles of Distributed Computing 1990, pp. 377–410 (1990)
11.
Martinie, C., Palanque, P., Winckler, M., Conversy, S.: DREAMER: a design rationale environment for argumentation, modeling and engineering requirements. In: Proceedings of the 28th ACM International Conference on Design of Communication (SIGDOC 2010), 26–29 September 2010, São Carlos, Brazil, pp. 73–80. ACM Press (2010)
12.
Masip, L., Martinie, C., Winckler, M., Palanque, P., Granollers, T., Oliva, M.: A design process for exhibiting design choices and trade-offs in (potentially) conflicting user interface guidelines. In: Winckler, M., Forbrig, P., Bernhaupt, R. (eds.) HCSE 2012. LNCS, vol. 7623, pp. 53–71. Springer, Heidelberg (2012). https://​doi.​org/​10.​1007/​978-3-642-34347-6_​4CrossRef
13.
Lacaze, X., Palanque, P.: DREAM & TEAM: a tool and a notation supporting exploration of options and traceability of choices for safety critical interactive systems. In: Baranauskas, C., Palanque, P., Abascal, J., Barbosa, S.D.J. (eds.) Human-Computer Interaction – INTERACT 2007. INTERACT 2007. LNCS, vol. 4663. Springer, Heidelberg (2007). https://​doi.​org/​10.​1007/​978-3-540-74800-7_​48
14.
Petrie, H., Kheir, O.: The relationship between accessibility and usability of websites. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI 2007), pp. 397–406. ACM, New York (2007)
15.
Pirker, M., Bernhaupt, R.: Measuring user experience in the living room: results from an ethnographically oriented field study indicating major evaluation factors. In: EuroITV 2011, pp. 79–82 (2011)
16.
Pnueli, A.: Applications of temporal logic to the specification and verification of reactive systems: a survey of current trends. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) Current Trends in Concurrency. LNCS, vol. 224, pp. 510–584. Springer, Heidelberg (1986). https://​doi.​org/​10.​1007/​BFb0027047CrossRef
17.
Pnueli, A.: The temporal logic of programs. In: 18th IEEE Symposium on the Foundations of Computer Science, pp. 46–57 (1977)
18.
Sasse, M.A., Karat, C.-M., Maxion, R.: Designing and evaluating usable security and privacy technology. In: Proceedings of the 5th Symposium on Usable Privacy and Security (SOUPS 2009), Article 16, 1 p. ACM, New York (2009)
19.
20.
Sistla, A.P.: On characterization of safety and liveness properties in temporal logic. In: Proceedings of the Fourth Annual ACM Symposium on Principles of Distributed Computing, pp. 39–48. ACM (1985)
21.
Toulmin, S.E.: The Uses of Argument. Cambridge University Press, Cambridge (1958)
22.
Vanderdonckt, J.: Development milestones towards a tool for working with guidelines. Interact. Comput. 12(2), 81–118 (1999)CrossRef
23.
Whitacre, J.M., Bender, A.: Degeneracy: a design principle for achieving robustness and evolvability. J. Theor. Biol. 263(1), 143–153 (2010)MathSciNetCrossRef
24.
Wood, W.A.: Transition network grammars for natural language analysis. Commun. ACM 13(10), 591–606 (1970)CrossRef
25.
Yan, J., El Ahmad, A.S.: Usability of CAPTCHAs or usability issues in CAPTCHA design. In: Proceedings of the 4th Symposium on Usable Privacy and Security (SOUPS 2008), pp. 44–52. ACM, New York (2008)
Metadaten
Titel
QBP Notation for Explicit Representation of Properties, Their Refinement and Their Potential Conflicts: Application to Interactive Systems
verfasst von
Camille Fayollas
Célia Martinie
Philippe Palanque
Yamine Ait-Ameur
FORMEDICIS
Copyright-Jahr
2018
Buch
Global Thoughts, Local Designs

Print ISBN: 978-3-319-92080-1

Electronic ISBN: 978-3-319-92081-8

Copyright-Jahr: 2018

DOI
https://doi.org/10.1007/978-3-319-92081-8_9

Neuer Inhalt

    Bildnachweise