@inproceedings{b2c02b647bb74142aaeda1107196e2b3,
title = "Integrated Data Representation and Formal Analysis for Human and In Silico Experimentation in Cognitive Psychology",
abstract = "This paper presents a novel framework aimed at enhancing the experimental methodology within cognitive psychology, integrating both informal and formal components to accommodate varied reasoning approaches. The framework supports the design and performing of experiments, and the structured storage of the information on outcomes in a way that is independent of specific interpretations and findings. This facilitates the replication and reproduction of the experiments and their interpretation under alternative theories. Moreover, the formal components of the information stored can be used for in silico simulation as well as within rigorous analytical approaches, such as formal methods and process mining.",
keywords = "BRDL, Cognitive psychology, Data storage, Experiment builder, Experimental variables, Formal methods, In silico simulation, Process mining, Real-Time Maude",
author = "Antonio Cerone and Graham Pluck",
note = "Publisher Copyright: {\textcopyright} The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.; 11th International Symposium on From Data to Models and Back, DataMod 2023 ; Conference date: 06-11-2023 Through 07-11-2023",
year = "2025",
doi = "10.1007/978-3-031-87217-4\_1",
language = "English",
isbn = "9783031872167",
series = "Lecture Notes in Computer Science",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "3--23",
editor = "Giovanna Broccia and Antonio Cerone",
booktitle = "From Data to Models and Back - 11th International Symposium, DataMod 2023, Revised Selected Papers",
address = "Germany",
}