A pragmatic methodical framework for the user-centred development of an electronic process support for the sleep laboratory patients' management.

Objective: Limited capacities and ineffective care pathways result in long waiting times for patients and sporadic treatment controls in sleep medicine. As one objective of the 'Telesleep Medicine' project, a portal should be developed, which supports sleep specialists in an efficient and resource-saving patient management. On account of the limited project timeframe, the 'classical' user-centred design and evaluation methods could not be comprehensively implemented.

Formal Modelling of FHIR Based, Medical Data Exchange Using Algebraic Petri Nets.

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.

Linked Data Applications Through Ontology Based Data Access in Clinical Research.

Clinical care and research data are widely dispersed in isolated systems based on heterogeneous data models. Biomedicine predominantly makes use of connected datasets based on the Semantic Web paradigm. Initiatives like Bio2RDF created Resource Description Framework (RDF) versions of Omics resources, enabling sophisticated Linked Data applications.