Towards robust electronic health record systems: integrating formal verification and process modeling techniques.

Area of Science:

• Health Informatics
• Software Engineering
• Formal Methods

Background:

• Electronic Health Records (EHR) and clinical decision support systems enhance healthcare but require rigorous development.
• Formal verification is critical for ensuring the reliability and security of complex healthcare software.
• Limited healthcare infrastructure and interoperability in regions like Pakistan highlight the need for improved EHR systems.

Purpose of the Study:

• To propose and evaluate an approach for developing accurate, complete, and consistent EHR systems using Hierarchical Colored Petri-Nets (HCP-Nets).
• To address key EHR system gaps including platform effectiveness, data consistency, accuracy, completeness, and security.
• To explore the application of process mining and formal verification for enhancing EHR systems.

Main Methods:

• Development of an EHR system model using Hierarchical Colored Petri-Nets (HCP-Nets).
• Application of formal verification techniques, including model checking.
• Integration of process mining for analysis and improvement.

Main Results:

• The proposed HCP-Net approach demonstrated significant enhancements in EHR system reliability and security.
• The system achieved an accuracy of 80.5% in verification.
• The approach effectively addressed issues of data consistency, accuracy, completeness, and security.

Conclusions:

• Formal verification using HCP-Nets is a viable method for developing robust and secure EHR systems.
• This research provides a foundation for advancing health informatics and improving health outcomes.
• The findings are particularly relevant for regions with developing healthcare infrastructure and limited interoperability.