Towards robust electronic health record systems: integrating formal verification and process modeling techniques.
Uloženo v:
| Název: | Towards robust electronic health record systems: integrating formal verification and process modeling techniques. |
|---|---|
| Autoři: | Khan, Saba, Akhtar, Nadeem, Mushtaq, Muhammad Faheem, Abdel Samee, Nagwan, Mahmoud, Noha F., Ashraf, Imran |
| Zdroj: | BMC Medical Research Methodology; 9/26/2025, Vol. 25 Issue 1, p1-21, 21p |
| Témata: | ELECTRONIC health records, BUSINESS process modeling, SOFTWARE validation, FORMAL verification, PATIENT care, STATISTICAL accuracy, PUBLIC health, RELIABILITY in engineering, CLINICAL decision support systems |
| Abstrakt: | The integration of complex software systems such as clinical decision aid platforms and electronic health records (EHR) has substantially improved human healthcare support by enhancing diagnostic accuracy and optimizing medical workflows. Developing these systems requires meticulous processes including requirement specification, design, implementation, testing, and deployment. While numerous approaches exist for system development, formal verification through modeling has become crucial for ensuring system reliability and security. In this research, an approach based on Hierarchical Colored Petri-Nets (HCP-Nets) for process modeling and formal verification to develop an EHR system is proposed that is accurate, complete, and consistent. The World Health Organization (WHO) emphasizes integrating modern computing techniques such as data mining and machine learning into health systems in the context of viral disease outbreaks and the need for robust public health surveillance. There is a critical need for process mining and formal verification-based systems to improve data sharing and system integration in regions like Pakistan, where healthcare infrastructure and interoperability are limited. This research addresses key gaps in EHR systems including platform effectiveness, data storage consistency, data accuracy, completeness, and security against unauthorized access. The findings suggest that formal verification using HCP-Nets with model checking and process mining can greatly enhance the reliability and security of EHR systems with an accuracy of 80 5%, providing a strong foundation to advance health informatics and supporting better health outcomes in complex and diverse environments. [ABSTRACT FROM AUTHOR] |
| Copyright of BMC Medical Research Methodology is the property of BioMed Central and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Databáze: | Complementary Index |
Full Text 
Full Text Finder 
Nájsť tento článok vo Web of Science Buďte první, kdo okomentuje tento záznam!