AEON Sketchbook is an actively developed application based on the existing AEON toolbox [1] and symbolic algorithms [2] for the inference of Boolean networks from biological assumptions and observations. It's purpose is to make these methods available in a comprehensive yet user friendly manner. The application is developed using the Tauri framework, which allows to combine native (Rust) backend functionality with a frontend based on Web technologies.

The goal of this thesis is to develop the user-facing part of the application using modern Web technologies and best practices. In particular, the application should be modularized using the standard of Web components (or an appropriate framework based on this standard) [3]. The state of the application will be communicated using events, such that it is possible to observe the state of the UI using the application backend in order to implement features like undo-redo stack or state serialization.

The main components of the application that should be included in the implementation cover the overall window navigation based on tabs/tool panes, the editor of regulatory networks (i.e. influence graphs), editor of network functions (including declaration of the uninterpreted functions of the model), list of observations/properties, and any additional necessary dialogs or sub-windows. The exact requirements for the implementation will be communicated during regular meetings.

[1] Beneš, Nikola, et al. "AEON: attractor bifurcation analysis of parametrised Boolean networks." Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I 32. Springer International Publishing, 2020.

[2] Beneš, Nikola, et al. "Boolean network sketches: a unifying framework for logical model inference." Bioinformatics 39.4 (2023): btad158.

[3] https://developer.mozilla.org/en-US/docs/Web/API/Web_components