• Home
  • Search
  • Towards robust electronic health record systems: integrating formal verification and process modeling techniques.
  • https://doi.org/10.1186/s12874-025-02637-8Copy DOI Icon

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

Show More
  • Abstract
  • Literature Map
  • References
  • Similar Papers
Abstract

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.

Similar Papers
  • PDF
  • Research Article
  • Citations26

Reducing Misses and Near Misses Related to Multitasking on the Electronic Health Record: Observational Study and Qualitative Analysis

  • Feb 06, 2018
  • JMIR Human Factors
  • Neda Ratanawongsa +3
  • Research Article
  • Citations156

Usability problems do not heal by themselves: National survey on physicians’ experiences with EHRs in Finland

  • Oct 17, 2016
  • International Journal of Medical Informatics
  • Johanna Kaipio +7
  • Research Article
  • Citations13

Analysis of the EHR Systems in Spanish Primary Public Health System: The Lack of Interoperability

  • Dec 25, 2011
  • Journal of Medical Systems
  • Isabel De La Torre +2
  • PDF
  • Research Article
  • Citations10

The Electronic Health Record Objective Structured Clinical Examination Station: Assessing Student Competency in Patient Notes and Patient Interaction.

  • Oct 28, 2020
  • MedEdPORTAL
  • E Shen +2
  • Research Article
  • Citations8

Evaluating Nurses' Perceptions of Documentation in the Electronic Health Record: Multimethod Analysis.

  • Apr 28, 2025
  • JMIR nursing
  • Deborah Jacques +7
  • Research Article
  • Citations23

Understanding the predictors of health professionals' intention to use electronic health record system: extend and apply UTAUT3 model

  • Aug 03, 2024
  • BMC Health Services Research
  • Habtamu Setegn Ngusie +7
  • PDF
  • Research Article
  • Citations40

Archetype relational mapping - a practical openEHR persistence solution.

  • Nov 05, 2015
  • BMC Medical Informatics and Decision Making
  • Li Wang +4
  • Research Article
  • Citations1

Patient Engagement Functionalities' Influence on Quality Outcomes: The Road via EHR Presence.

  • Mar 01, 2024
  • Journal of healthcare management / American College of Healthcare Executives
  • Soumya Upadhyay +1
  • Research Article
  • Citations5

Value co-creation dimensions and challenges in EHR systems

  • Jul 02, 2020
  • Journal of Information Technology Case and Application Research
  • Wei Xie +2
  • PDF
  • Research Article
  • Citations5

Evaluation of the secondary use of electronic health records to detect seasonal, holiday-related, and rare events related to traumatic injury and poisoning

  • Jan 13, 2020
  • BMC Public Health
  • Timothy Bergquist +4
  • Research Article

The Benefits of Electronic Health Record (EHR) on Operating Room Efficiency: Literature Review

  • Dec 28, 2021
  • Jurnal Ilmiah Ilmu Keperawatan Indonesia
  • Juita Juita +1
  • Research Article
  • Citations1

Adoption of Machine Learning in US Hospital Electronic Health Record Systems: Retrospective Observational Study

  • Dec 09, 2025
  • Journal of Medical Internet Research
  • Huang Huang +3
  • Research Article
  • Citations4

Comparing Australian my health record system implementation With global best practices with recommendations

  • Jun 30, 2017
  • Journal of Advances in Health and Medical Sciences
  • Sulaiman Ali Alharbi
  • Research Article
  • Citations132

Technological progress in electronic health record system optimization: Systematic review of systematic literature reviews

  • May 21, 2021
  • International Journal of Medical Informatics
  • Elsa Negro-Calduch +3
  • Book Chapter
  • Citations4

Using Analogical Complexes to Improve Human Reasoning and Decision Making in Electronic Health Record Systems

  • Jan 01, 2018
  • Christian Săcărea +2
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.