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