%0 Conference Proceedings %T Ensuring the Consistency Between User Requirements and GUI Prototypes: A Behavior-Based Automated Approach %+ Norwegian University of Science and Technology (NTNU) %+ Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S) %A Rocha Silva, Thiago %A Winckler, Marco %A Trætteberg, Hallvard %Z Part 8: Design Methods %< avec comité de lecture %( Lecture Notes in Computer Science %B 17th IFIP Conference on Human-Computer Interaction (INTERACT) %C Paphos, Cyprus %Y David Lamas %Y Fernando Loizides %Y Lennart Nacke %Y Helen Petrie %Y Marco Winckler %Y Panayiotis Zaphiris %I Springer International Publishing %3 Human-Computer Interaction – INTERACT 2019 %V LNCS-11746 %N Part I %P 644-665 %8 2019-09-02 %D 2019 %R 10.1007/978-3-030-29381-9_39 %K Behavior-Driven Development (BDD) %K User Stories %K GUI Prototypes %K User Requirements Assessment %Z Computer Science [cs]Conference papers %X In a user-centered design process, graphical user interface (GUI) prototypes may be seen as an important early artifact to design and validate user requirements before making strong commitments with a full-fledged version of the user interface. Ensuring the consistency of GUI prototypes with other representations of the user requirements is then a critical aspect of the design process. This paper presents an approach which extends Behavior-Driven Development (BDD) by employing an ontology in order to provide automated assessment for GUI prototypes as design artifacts. The approach has been evaluated by exploiting user requirements described by a group of experts in the flight tickets e-commerce domain. Such requirements gave rise to a set of User Stories that have been used to automatically check the consistency of Balsamiq prototypes which were reengineered from an existing web system for booking business trips. The results have shown our approach was able to identify different types of inconsistencies in the set of analyzed artifacts, allowing to build an effective correspondence between user requirements and their representation in GUI prototypes. %G English %Z TC 13 %2 https://inria.hal.science/hal-02544532/document %2 https://inria.hal.science/hal-02544532/file/486811_1_En_39_Chapter.pdf %L hal-02544532 %U https://inria.hal.science/hal-02544532 %~ UNICE %~ CNRS %~ I3S %~ IFIP-LNCS %~ IFIP %~ IFIP-TC13 %~ IFIP-INTERACT %~ UNIV-COTEDAZUR %~ IFIP-LNCS-11746 %~ TEST-HALCNRS