Abstract
In this paper we present a methodology that combines formal methods and informal research methods to validate research hypotheses. We use the CSP (Communicating Sequential Processes) process algebra to model the system as well as some aspects of the user, and PAT (Process Analysis Toolkit) to perform formal verification. We illustrate our methodology on Duolingo, a very popular application for language learning. Two kinds of data are considered: a log of the interaction of the user with the application and the assessment of the user’s level of proficiency in the language to be learned (subject profile). The goal is to validate research hypotheses that relate the subject profile to the user’s cognitive approach during interaction (cognitive profile). To this purpose, two CSP processes, one modelling the cognitive profile that is associated by the considered research hypothesis to the subject profile and one modelling the interaction log are composed in parallel with the system model. Thus, for each user with the given learner profile and specific interaction log, the verification of the functional correctness of the overall system validates the correlation between cognitive profile and subject profile.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Duolingo. https://www.duolingo.com
PAT: Process Analysis Toolkit. pat.comp.nus.edu.sg
Cerone, A.: Towards a cognitive architecture for the formal analysis of human behaviour and learning. In: Mazzara, M., et al. (eds.) STAF 2018 Workshops, LNCS 11176, pp. 216–232 (2018). https://doi.org/10.1007/978-3-030-04771-9_17
Dix, A., Finlay, J., Abowd, G., Beale, R.: Human Computer Interaction. Prentice Hall, Upper Saddle River (2004)
Hoare, C.A.R.: Communication Sequential Processes. Prentice Hall, Upper Saddle River (2004)
van Schooten, B., Donk, O., Zwiers, J.: Modelling interaction in virtual environment using process algebras. In: TWLT15: Interaction in Virtual Worlds, pp. 195–212 (1999)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Cerone, A., Zhexenbayeva, A. (2018). Using Formal Methods to Validate Research Hypotheses: The Duolingo Case Study. In: Mazzara, M., Ober, I., Salaün, G. (eds) Software Technologies: Applications and Foundations. STAF 2018. Lecture Notes in Computer Science(), vol 11176. Springer, Cham. https://doi.org/10.1007/978-3-030-04771-9_13
Download citation
DOI: https://doi.org/10.1007/978-3-030-04771-9_13
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-04770-2
Online ISBN: 978-3-030-04771-9
eBook Packages: Computer ScienceComputer Science (R0)