Modelling Diseases with Stream X-Machine

Jayatilake S., Ogunshile E., AYDIN M. E., Phung K.

9th International Conference in Software Engineering Research and Innovation, CONISOFT 2021, California, Amerika Birleşik Devletleri, 25 - 29 Ekim 2021, ss.61-68, (Tam Metin Bildiri) identifier

  • Yayın Türü: Bildiri / Tam Metin Bildiri
  • Doi Numarası: 10.1109/conisoft52520.2021.00020
  • Basıldığı Şehir: California
  • Basıldığı Ülke: Amerika Birleşik Devletleri
  • Sayfa Sayıları: ss.61-68
  • Anahtar Kelimeler: Chronical Diseases, component, Formal Methods, StreamX-Machine, Type II Diabetes, X-Machine
  • İstanbul Ticaret Üniversitesi Adresli: Evet

Özet

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.