Method for verifying adaptive software systems using process mining technology

Артур Іванович Малюга, Євгенія Віталіївна Соколова

Abstract


The subject of the article is the methodological basis for the verification of adaptive software systems that change their behavior during execution depending on the current state of the user. The goal is to increase the efficiency of computer-aided training for operators of complex equipment, including aviation equipment, by developing a method for verifying adaptive software systems. Tasks that need to be solved: to conduct a critical analysis of approaches to the verification of adaptive software systems, to develop a method for verifying adaptive software systems that provides automated assessment of adaptation trajectories through specialized quality metrics, and to conduct an experimental study of the effectiveness of the developed method. During the study, a method for adaptive verification of dynamic software systems was developed based on intelligent process analysis for automated support of correct adaptive logic of critical systems during operation, with the possibility of continuous self-improvement without expert intervention. The results of the experimental verification confirmed the effectiveness of the developed method.

Keywords


adaptive software system, verification, adaptive logic, user cognitive overload, educational thematic module, temporal logic, reference model, logging, fitness metric, gradient-free optimization methods

References


Calinescu R., Gerasimou S., Banks A. “Self-Adaptive Software Needs Quantitative Verification at Runtime.” Communications of the ACM, 2012, 55(9): 69 73. DOI: 10.1145/2330667.2330686; Link: ACM Digital Library.

Su Z., Wang H., Yu H., Sun Q. “Process Mining over Sensor Data: Goal Recognition for Users of Powered Transhumeral Prosthetics.” Information and Software Technology, 2025. DOI: 10.1016/j.infsof.2025.107680; Link: ScienceDirect.

Maliuha A. I. Metody pobudovy adaptyvnoho prohramnoho zabezpechennia navchalnykh system / A. I. Maliuha // Aviatsiino-kosmichna tekhnika i tekhnolohiia. – 2025. - №6 (208). - S. 113 – 127.

Carmona J., van Dongen B., Solti A., Weidlich M. Conformance Checking – Relating Processes and Models. Springer, Cham, 2018. DOI: 10.1007/978-3-319-99414-7; Link: Springer.

Verbeek H. M. W., van der Aalst W. M. P. “Process Discovery and Conformance Checking Using Passages.” In: Business Process Management Workshops. BPM 2012. LNBIP, vol. 132. Springer, Berlin, Heidelberg, 2013. DOI: 10.1007/978-3-642-36285-9_24; Link: Author PDF.

Weerdt J. De, De Backer M., Vanthienen J., Baesens B. “A Multi-Dimensional Quality Assessment of State-of-the-Art Process Discovery Algorithms Using Real-Life Event Logs.” Information Systems, 2012, 37(7): 654–676. DOI: 10.1016/j.is.2012.02.004; Link: ScienceDirect.




DOI: https://doi.org/10.32620/oikit.2026.107.17

Refbacks

  • There are currently no refbacks.