Related Experiment Video
Updated: Dec 17, 2025

Modeling the Functional Network for Spatial Navigation in the Human Brain
Published on: October 13, 2023
Formal Modelling of FHIR Based, Medical Data Exchange Using Algebraic Petri Nets
Franziska Bathelt1, Michéle Kümmel1, Sven Helfer1
1Institute for Medical Informatics and Biometry, Carl Gustav Carus Faculty of Medicine, Technische Universität Dresden.
Abstract:
Enabling interoperability is a challenging task in medical data exchange and is often addressed by the use of versatile communication standards like HL7 FHIR. Although daily routine and scientific experiences show its suitability, the use comes with major risks regarding safety and security of data. To overcome these problems, we present an approach to enable a formal verification of medical communication use cases. We identified the Neonatal Screening as a practical example in which two process participants (physician and screening laboratory) are involved. We analyzed the FHIR specification as well as identified necessary resources in that context and formally modeled them as algebraic specifications. By that, we were able to represent the participants' behavior and data flow with help of Algebraic Petri Nets. This strategy allows to formally verify the correctness of a system by specified requirements regarding data safety and data security.
More Related Videos
09:20Lumped-Parameter and Finite Element Modeling of Heart Failure with Preserved Ejection Fraction
Published on: February 13, 2021
07:26Executing Complexity-Increasing Queries in Relational MySQL and NoSQL MongoDB and EXist Size-Growing ISO/EN 13606 Standardized EHR Databases
Published on: March 19, 2018
Related Concept Videos
Model Approaches for Pharmacokinetic Data: Distributed Parameter Models
The distributed parameter models are specifically designed to account for variations and differences in some drug classes. This model is particularly useful for assessing regional concentrations of anticancer or...
Model Approaches for Pharmacokinetic Data: Physiological Models
Mathematical Modeling: Problem Solving
Relation between Mathematical Equations and Block Diagrams
Data Validation
Nursing assessment guides are generally based on holistic models rather than medical...
Model Approaches for Pharmacokinetic Data: Compartment Models
Two primary types of compartment models are recognized: mammillary and catenary. The more...