RUS  ENG
Full version
JOURNALS // Proceedings of the Institute for System Programming of the RAS // Archive

Proceedings of ISP RAS, 2022 Volume 34, Issue 6, Pages 147–164 (Mi tisp745)

Modelling interrelationship between diseases with Communicating Stream X-Machines

D. Jayatilake, Kh. Phung, E. K. Ogunshile, M. Aydin

University of the West of England

Abstract: The world is moving towards alternative medicine and behavioural alteration for treating, managing, and preventing chronical diseases. In the last few decades, diagrammatical models have been extensively used to describe and understand the behaviour of biological organisms (biological agents) due to their simplicity and comprehensiveness. However, these models can only offer a static picture of the corresponding biological systems with limited scalability. As a result, there is an increasing demand to integrate formalism into more dynamic forms that can be more scalable and can capture complex time-dependent processes. In this paper, we introduce a generic disease model called Communicating Stream X-Machine Disease Model (CSXMDM), which has been developed based on X-Machine and Communicating X-Machine theories. We conducted an experiment on modelling an actual disease using a case study of Type II Diabetes. The results of the experiment demonstrate that the proposed CSXMDM is capable of modelling chronic diseases.

Keywords: Communicating Stream X-Machine, Stream X-Machine, Type II Diabetes, modelling, formal method, cardiovascular disease

Language: English

DOI: 10.15514/ISPRAS-2022-34(6)-11



© Steklov Math. Inst. of RAS, 2024