Skip to main content

Ensuring the Consistency Between User Requirements and GUI Prototypes: A Behavior-Based Automated Approach

Part of the Lecture Notes in Computer Science book series (LNISA,volume 11746)


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.


  • Behavior-Driven Development (BDD)
  • User Stories
  • GUI Prototypes
  • User Requirements Assessment

This is a preview of subscription content, access via your institution.

Buying options

USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-030-29381-9_39
  • Chapter length: 22 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
USD   129.00
Price excludes VAT (USA)
  • ISBN: 978-3-030-29381-9
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   171.00
Price excludes VAT (USA)
Fig. 1.
Fig. 2.
Fig. 3.
Fig. 4.
Fig. 5.
Fig. 6.
Fig. 7.
Fig. 8.


  1. 1.


  1. Wood, D.P., Kang, K.C.: A Classification and Bibliography of Software Prototyping. Pittsburgh, Pennsylvania (1992)

    Google Scholar 

  2. Chelimsky, D., Astels, D., Helmkamp, B., North, D., Dennis, Z., Hellesoy, A.: The RSpec Book: Behaviour Driven Development with RSpec, Cucumber, and Friends. Pragmatic Bookshelf, New York (2010)

    Google Scholar 

  3. Cohn, M.: User Stories Applied for Agile Software Development. Addison-Wesley, Boston (2004)

    Google Scholar 

  4. Silva, T.R., Hak, J.-L., Winckler, M.: A behavior-based ontology for supporting automated assessment of interactive systems. In: Proceedings of the 11th IEEE International Conference on Semantic Computing (ICSC 2017), pp. 250–257 (2017).

  5. Silva, T.R., Hak, J.-L., Winckler, M.: A formal ontology for describing interactive behaviors and supporting automated testing on user interfaces. Int. J. Semant. Comput. 11(04), 513–539 (2017).

    CrossRef  Google Scholar 

  6. Jeffries, R., Miller, J.R., Wharton, C., Uyeda, K.: User interface evaluation in the real world: a comparison of four techniques. In: Proceedings of CHI 1991 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, pp. 119–124 (1991).

  7. Tian, J.: Software inspection. In: Jeff, T. (ed.) Software Quality Engineering: Testing, Quality Assurance, and Quantifiable Improvement, pp. 237–250. John Wiley & Sons, Inc., New York (2005).

  8. Ebert, C.: Global Software and IT: A Guide to Distributed Development, Projects, and Outsourcing. Wiley, Hoboken (2011)

    CrossRef  Google Scholar 

  9. Luna, E.R., Garrigós, I., Grigera, J., Winckler, M.: Capture and evolution of web requirements using webspec. In: Benatallah, B., Casati, F., Kappel, G., Rossi, G. (eds.) ICWE 2010. LNCS, vol. 6189, pp. 173–188. Springer, Heidelberg (2010).

    CrossRef  Google Scholar 

  10. Buchmann, R.A., Karagiannis, D.: Modelling mobile app requirements for semantic traceability. Requir. Eng. 22(1), 41–75 (2017).

    CrossRef  Google Scholar 

  11. Winckler, M., Palanque, P.: StateWebCharts: a formal description technique dedicated to navigation modelling of web applications. In: Jorge, J.A., Jardim Nunes, N., Falcão e Cunha, J. (eds.) DSV-IS 2003. LNCS, vol. 2844, pp. 61–76. Springer, Heidelberg (2003).

    CrossRef  Google Scholar 

  12. Barnett, J.: State Chart XML (SCXML): State Machine Notation for Control Abstraction. W3C (2017).

  13. Hak, J., Winckler, M., Navarre, D.: PANDA: prototyping using annotation and decision analysis. In: Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pp. 171–176 (2016).

  14. Elkoutbi, M., Khriss, I., Keller, R.K.: Generating user interface prototypes from scenarios. In: Proceedings of the IEEE International Symposium on Requirements Engineering (Cat. No. PR00188), pp. 150–158 (1999).

  15. Han, L., Yang, J., Zhao, W., Sheng, Q.Z.: User interface derivation for business processes. IEEE Trans. Knowl. Data Eng. (2019).

  16. Schlungbaum, E., Elwert, T.: Automatic user interface generation from declarative models. Comput. Aided Des. User Interfaces (CADUI) 5, 3–18 (1996)

    Google Scholar 

  17. Wolff, A., Forbrig, P., Dittmar, A., Reichart, D.: Linking GUI elements to tasks – supporting an evolutionary design process. In: Proceedings of the 4th International Workshop on Task Models and Diagrams, pp. 27–34 (2005).

  18. Valente, P., Silva, T.R., Winckler, M., Nunes, N.J.: The goals approach: enterprise model-driven agile human-centered software engineering. In: Bogdan, C., et al. (eds.) HCSE/HESSD-2016. LNCS, vol. 9856, pp. 261–280. Springer, Cham (2016).

    CrossRef  Google Scholar 

  19. Valente, P., Silva, T., Winckler, M., Nunes, N.: The goals approach: agile enterprise driven software development. In: Gołuchowski, J., Pańkowska, M., Linger, H., Barry, C., Lang, M., Schneider, C. (eds.) Complexity in Information Systems Development. LNISO, vol. 22, pp. 201–219. Springer, Cham (2017).

    CrossRef  Google Scholar 

  20. Lucassen, G., Dalpiaz, F., Van Der Werf, J.M.E.M., Brinkkemper, S., Zowghi, D.: Behavior-driven requirements traceability via automated acceptance tests. In: Proceedings - 2017 IEEE 25th International Requirements Engineering Conference Workshops, REW 2017, pp. 431–434 (2017).

  21. de Carvalho, R.A., Manhães, R.S., de Carvalho e Silva, F.L.: Filling the gap between business process modeling and behavior driven development (2010). arXiv:

  22. de Carvalho, R.A., de Carvalho e Silva, F.L., Manhaes, R.S.: Mapping business process modeling constructs to behavior driven development ubiquitous language (2010). arXiv:

  23. Lübke, D., Van Lessen, T.: Modeling test cases in BPMN for behavior- driven development. IEEE Softw. 33, 15–21 (2016).

    CrossRef  Google Scholar 

  24. Khaddam, I., Mezhoudi, N., Vanderdonckt, J.: Towards task-based linguistic modeling for designing GUIs. In: 27th Conference on l’Interaction Homme-Machine (2015).

  25. Palanque, P., Martinie, C., Winckler, M.: Designing and assessing interactive systems using task models. In: Bernhaupt, R., Dalvi, G., Joshi, A., KB, D., O’Neill, J., Winckler, M. (eds.) INTERACT 2017. LNCS, vol. 10516, pp. 383–386. Springer, Cham (2017).

    CrossRef  Google Scholar 

  26. Campos, J.C., Fayollas, C., Martinie, C., Navarre, D., Palanque, P., Pinto, M.: Systematic automation of scenario-based testing of user interfaces. In: Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems - EICS 2016, pp. 138–148 (2016).

  27. Silva, T.R., Hak, J.-L., Winckler, M., Nicolas, O.: A comparative study of milestones for featuring GUI prototyping tools. J. Softw. Eng. Appl. 10(06), 564–589 (2017).

    CrossRef  Google Scholar 

  28. Silva, T.R., Hak, J.-L., Winckler, M.A.: A review of milestones in the history of GUI prototyping tools. In: IFIP TC.13 International Conference on Human-Computer Interaction – INTERACT 2015 Adjunct Proceedings, pp. 267–279 (2015)

    Google Scholar 

  29. Beck, K.: Test Driven Development: By Example, 1st edn. Addison-Wesley Professional, Boston (2002)

    Google Scholar 

  30. Astels, D.: Test-Driven Development: A Practical Guide, 1st edn. Prentice Hall, Upper Saddle River (2003)

    Google Scholar 

  31. North, D.: What’s in a Story? (2019). Accessed 01 Jan 2019

  32. Gherkin. Gherkin Reference.

  33. Beaudouin-Lafon, M., Mackay, W.E.: Prototyping tools and techniques. In: Prototype Development and Tools, pp. 1–41 (2000)

    Google Scholar 

  34. Silva, T.R., Winckler, M., Bach, C.: Evaluating the usage of predefined interactive behaviors for writing user stories: an empirical study with potential product owners. Cognit. Technol. Work, 1–21 (2019).

  35. Chikofsky, E.J., Cross II, J.H.: Reverse engineering and design recovery: a taxonomy. IEEE Softw. 7, 13–17 (1990).

    CrossRef  Google Scholar 

  36. Silva, T.R., Winckler, M.A.A.: Towards automated requirements checking throughout development processes of interactive systems. In: 2nd Workshop on Continuous Requirements Engineering (CRE), REFSQ 2016, pp. 1–2 (2016)

    Google Scholar 

  37. Silva, T.R.: Definition of a behavior-driven model for requirements specification and testing of interactive systems. In: Proceedings of the 24th International Requirements Engineering Conference (RE 2016), pp. 444–449 (2016).

  38. Silva, T.R., Hak, J.-L., Winckler, M.: Testing prototypes and final user interfaces through an ontological perspective for behavior-driven development. In: Bogdan, C., et al. (eds.) HCSE/HESSD -2016. LNCS, vol. 9856, pp. 86–107. Springer, Cham (2016).

    CrossRef  Google Scholar 

  39. Silva, T.R., Hak, J.-L., Winckler, M.: An approach for multi-artifact testing through an ontological perspective for behavior-driven development. Complex Syst. Inform. Model. Q. 7, 81–107 (2016).

    CrossRef  Google Scholar 

  40. Silva, T.R., Winckler, M.: A scenario-based approach for checking consistency in user interface design artifacts. In: Proceedings of the 16th Brazilian Symposium on Human Factors in Computing Systems (IHC 2017), vol. 1, pp. 21–30 (2017).

Download references

Author information

Authors and Affiliations


Corresponding author

Correspondence to Thiago Rocha Silva .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2019 IFIP International Federation for Information Processing

About this paper

Verify currency and authenticity via CrossMark

Cite this paper

Rocha Silva, T., Winckler, M., Trætteberg, H. (2019). Ensuring the Consistency Between User Requirements and GUI Prototypes: A Behavior-Based Automated Approach. In: Lamas, D., Loizides, F., Nacke, L., Petrie, H., Winckler, M., Zaphiris, P. (eds) Human-Computer Interaction – INTERACT 2019. INTERACT 2019. Lecture Notes in Computer Science(), vol 11746. Springer, Cham.

Download citation

  • DOI:

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-29380-2

  • Online ISBN: 978-3-030-29381-9

  • eBook Packages: Computer ScienceComputer Science (R0)