Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Concept Videos

Methods of Documentation VII: EMR01:30

Methods of Documentation VII: EMR

1.4K
Electronic Medical Records (EMRs) primarily center around electronically documenting patients' health information within a single healthcare organization or practice. They contain essential clinical data related to a patient's medical history, diagnoses, medications, treatment plans, lab results, and other pertinent information relevant to the specific encounter or episode of care. EMRs are designed to streamline documentation and workflow processes within individual healthcare...
1.4K
Health Information Technology and Healthcare Information System01:30

Health Information Technology and Healthcare Information System

3.3K
Health Information Technology (HIT)
Health Information Technology, commonly called HIT, integrates advanced information systems and technology in healthcare settings. Its primary functions include:
3.3K
Methods of Documentation VI: Case Management Model01:15

Methods of Documentation VI: Case Management Model

860
The case management model is a multidisciplinary approach that involves healthcare professionals from diverse disciplines, such as physicians, nurses, therapists, social workers, and pharmacists, working collaboratively to address the various needs of patients. Each healthcare professional brings unique expertise and perspectives, contributing to a more comprehensive understanding of the patient's condition and tailoring treatment plans accordingly.
For example, a patient with a chronic...
860
Integrated Healthcare System01:20

Integrated Healthcare System

2.3K
An integrated healthcare system (IHS) is a set of organizations that provides for or arranges to provide coordinated and continuous service to a defined population. The IHS takes responsibility for that particular population's health status and outcome, both clinically and fiscally. An integrated healthcare system is a well-organized, well-coordinated, and collaborative network. The integrated delivery system is a network that connects different healthcare providers to deliver organized,...
2.3K
Purpose of Health Records II01:19

Purpose of Health Records II

1.4K
Health records serve various essential purposes in the healthcare system. Here are some key purposes:
1.4K
Purpose of Health Records I01:11

Purpose of Health Records I

1.7K
The vital purpose of health records is to provide a complete and accurate account of a patient's medical history, including communication, diagnostic and therapeutic orders, care planning, research, and quality review.
Here's a breakdown of how health records serve these purposes:
1.7K

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

Deep sequence learning with multi-task supervision for scalable population health monitoring.

Frontiers in public health·2026
Same author

Toxic and radioactive elements in construction marbles: enhanced detection using laser induced breakdown spectroscopy for safe living.

Environmental geochemistry and health·2026
Same author

Optimized multi-modal action recognition using multi-agent systems and adaptive temporal attention.

Scientific reports·2026
Same author

A framework based on hybrid Suzuki-Abe and convex Hull approach for improved classification of skin lesions.

Scientific reports·2026
Same author

Rarely reported cases of hepatotoxicity associated with turmeric- and curcuminoid-containing dietary supplements: a comprehensive review by USP.

Pharmaceutical biology·2026
Same author

LwHM: lightweight hybrid classifier for SDN-attack detection using recursive feature elimination.

Scientific reports·2026

Related Experiment Video

Updated: Jan 16, 2026

Implementation of a Real-Time Psychosis Risk Detection and Alerting System Based on Electronic Health Records using CogStack
07:31

Implementation of a Real-Time Psychosis Risk Detection and Alerting System Based on Electronic Health Records using CogStack

Published on: May 15, 2020

7.5K

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

Saba Khan1, Nadeem Akhtar1, Muhammad Faheem Mushtaq2

  • 1Department of Software Engineering, The Islamia University of Bahawalpur, Bahawalpur, 63100, Pakistan.

BMC Medical Research Methodology
|September 27, 2025
PubMed
Summary

Formal verification using Hierarchical Colored Petri-Nets (HCP-Nets) enhances electronic health record (EHR) system reliability and security. This approach improves accuracy, completeness, and data consistency for better health informatics.

Keywords:
Electronic health record systemsHCP-NetsHealth informaticsProcess mining clinical decision supportProcess modeling

More Related Videos

Executing Complexity-Increasing Queries in Relational MySQL and NoSQL MongoDB and EXist Size-Growing ISO/EN 13606 Standardized EHR Databases
07:26

Executing Complexity-Increasing Queries in Relational MySQL and NoSQL MongoDB and EXist Size-Growing ISO/EN 13606 Standardized EHR Databases

Published on: March 19, 2018

9.7K
Reduced Procedure Time and Variability with Active Esophageal Cooling During Radiofrequency Ablation for Atrial Fibrillation
04:58

Reduced Procedure Time and Variability with Active Esophageal Cooling During Radiofrequency Ablation for Atrial Fibrillation

Published on: August 25, 2022

2.5K

Related Experiment Videos

Last Updated: Jan 16, 2026

Implementation of a Real-Time Psychosis Risk Detection and Alerting System Based on Electronic Health Records using CogStack
07:31

Implementation of a Real-Time Psychosis Risk Detection and Alerting System Based on Electronic Health Records using CogStack

Published on: May 15, 2020

7.5K
Executing Complexity-Increasing Queries in Relational MySQL and NoSQL MongoDB and EXist Size-Growing ISO/EN 13606 Standardized EHR Databases
07:26

Executing Complexity-Increasing Queries in Relational MySQL and NoSQL MongoDB and EXist Size-Growing ISO/EN 13606 Standardized EHR Databases

Published on: March 19, 2018

9.7K
Reduced Procedure Time and Variability with Active Esophageal Cooling During Radiofrequency Ablation for Atrial Fibrillation
04:58

Reduced Procedure Time and Variability with Active Esophageal Cooling During Radiofrequency Ablation for Atrial Fibrillation

Published on: August 25, 2022

2.5K

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.