Modelling interrelationship between diseases with communicating stream x-machines

Jayatilake, Dilshan; Phung, Khoa; Ogunshile, Emmanuel; Aydin, Mehmet

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.

• Presentation Conference Type: Conference Paper (published)
• Acceptance Date: Jan 1, 2022
• Publication Date: 2022
• Deposit Date: Mar 6, 2023
• Publicly Available Date: Mar 6, 2023
• Journal: Proceedings of the Institute for System Programming of the RAS
• Print ISSN: 2079-8156
• Electronic ISSN: 2220-6426
• Peer Reviewed: Peer Reviewed
• Volume: 34
• Issue: 6
• Pages: 147-164
• DOI: https://doi.org/10.15514/ispras-2022-34%286%29-11
• Keywords: Communicating Stream X-Machine; Stream X-Machine; Type II Diabetes; modelling; formal method; cardiovascular disease
• Public URL: https://uwe-repository.worktribe.com/output/10502445
• Publisher URL: https://ispranproceedings.elpub.ru/jour/article/view/1595