Dilshan Jayatilake
Modelling interrelationship between diseases with communicating stream x-machines
Jayatilake, Dilshan; Phung, Khoa; Ogunshile, Emmanuel; Aydin, Mehmet
Authors
Khoa Phung
Dr Emmanuel Ogunshile Emmanuel.Ogunshile@uwe.ac.uk
Senior Lecturer in Computer Science
Dr Mehmet Aydin Mehmet.Aydin@uwe.ac.uk
Senior Lecturer in Networks and Mobile Computing
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.
Citation
Jayatilake, D., Phung, K., Ogunshile, E., & Aydin, M. (2022). Modelling interrelationship between diseases with communicating stream x-machines. Proceedings of the Institute for System Programming of the RAS, 34(6), 147-164. https://doi.org/10.15514/ispras-2022-34%286%29-11
Journal Article Type | Conference Paper |
---|---|
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 |
Files
Modelling interrelationship between diseases with communicating stream x-machines
(798 Kb)
PDF
Licence
http://creativecommons.org/licenses/by/4.0/
Publisher Licence URL
http://creativecommons.org/licenses/by/4.0/
Related Outputs
Development of communicating stream x-machine tool for modeling and generating test cases for automated teller machine
(2022)
Presentation / Conference
An algorithm for implementing a minimal stream X-Machine model to test the correctness of a system
(2020)
Conference Proceeding
CompleX-Machine: An automated testing tool using X-Machine theory
(2018)
Journal Article
You might also like
Modeling diseases with Stream X Machine
(2021)
Conference Proceeding
Enhancing software fault prediction with deep neural networks: An empirical analysis of error-type metrics
(2023)
Conference Proceeding
Error-type -A novel set of software metrics for software fault prediction
(2023)
Journal Article
Downloadable Citations
About UWE Bristol Research Repository
Administrator e-mail: repository@uwe.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search