Modelling Diseases with Stream X-Machine

At present the world is moving towards alternative medicine and behavioural alteration for treating, managing, and preventing chronical diseases. With the individuality of the human beings has added more complexity in a domain where very high accuracy is demanded. Formal methods have been proven to be occupied in critical system development. This paper introduces a generic disease model called Stream X-Machine Disease Model (SXMDM) based on X-Machine theory. SXMDM has been developed as a proof of concept that formal methods, especially Stream X-Machines, can be employed to model medical conditions or diseases. We have conducted an experiment on modelling an actual disease using a case study of type 2 diabetes. The results of the experiment illustrates that the proposed SXMDM is capable of modelling chronic diseases.