Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Recurso digital |
| Sprache: | Deutsch |
| Veröffentlicht: |
Zenodo
2026
|
| Schlagworte: | |
| Online-Zugang: | https://doi.org/10.5281/zenodo.20391260 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866902237622566912 |
|---|---|
| author | Matten, Friedhelm |
| author_facet | Matten, Friedhelm |
| contents | <p>Wir formalisieren <em>Signal-Loss Inspection at Data-boundaries</em> (SILD) als modalitätsneutrale Detektorklasse für klinische Cross-System-Übertragungen. Aufbauend auf der in FM-1 entwickelten Informationsalgebra definieren wir vier kanonische Verlustmuster — <em>Type Narrowing</em>, <em>Temporal Collapse</em>, <em>Attribute Dropping</em>, <em>Reference Severing</em> — als Endo-Operatoren auf dem dort eingeführten Informationsraum.</p><p>Die SILD-Komponente operationalisiert diese Operatoren als Detektoren an der Übertragungskante zwischen zwei klinischen Systemen. Wir zeigen, dass die Loss-Pattern-Algebra unabhängig vom konkreten Trägerformat ist (HL7 v2, FHIR R4, FHIR R5, DICOM SR), und leiten daraus eine Adapter-Architektur ab, bei der pro Trägerformat genau ein Pfad-Vokabular und ein Transport-Adapter ausgetauscht werden, während Taxonomie und Severity-Profil unverändert bleiben.</p><p>Der Hauptsatz (Vollständigkeitssatz 2.5) sichert die Erschöpfung des Verlustraums; der Minimalitätssatz 2.7 zeigt, dass die Vier-Pattern-Taxonomie nicht reduzierbar ist.</p><p>Anschluss an FM-1. Schwesterpaper zu FM-2 (CAIRN) und FM-3 (AION).</p><p><strong>Version 2 (2026-05-26):</strong> Lizenz von CC-BY-4.0 auf AGPL-3.0-only OR Commercial (ISCaD GmbH) umgestellt. Referenzimplementierung SILD unter <a href="https://github.com/fmatten/SILD">github.com/fmatten/SILD</a>.</p><p>Copyright © 2026 Friedhelm Matten / ISCaD GmbH. Kommerzielle Lizenz: licensing@iscad-it.de</p> |
| format | Recurso digital |
| id | zenodo_https___doi_org_10_5281_zenodo_20391260 |
| institution | Zenodo |
| language | deu |
| publishDate | 2026 |
| publisher | Zenodo |
| record_format | zenodo |
| spellingShingle | FM-4: Signal-Loss Inspection at Data-boundaries — Eine formale Detektorklasse für klinische Cross-System-Übertragungen Matten, Friedhelm SILD Signal-Loss Inspection at Data-boundaries klinische Interoperabilität Verlustmuster Informationsalgebra FHIR HL7 v2 FM-1 FM-2 CAIRN Adapter-Architektur Audit-Inferenz Type Narrowing Temporal Collapse health informatics formal methods <p>Wir formalisieren <em>Signal-Loss Inspection at Data-boundaries</em> (SILD) als modalitätsneutrale Detektorklasse für klinische Cross-System-Übertragungen. Aufbauend auf der in FM-1 entwickelten Informationsalgebra definieren wir vier kanonische Verlustmuster — <em>Type Narrowing</em>, <em>Temporal Collapse</em>, <em>Attribute Dropping</em>, <em>Reference Severing</em> — als Endo-Operatoren auf dem dort eingeführten Informationsraum.</p><p>Die SILD-Komponente operationalisiert diese Operatoren als Detektoren an der Übertragungskante zwischen zwei klinischen Systemen. Wir zeigen, dass die Loss-Pattern-Algebra unabhängig vom konkreten Trägerformat ist (HL7 v2, FHIR R4, FHIR R5, DICOM SR), und leiten daraus eine Adapter-Architektur ab, bei der pro Trägerformat genau ein Pfad-Vokabular und ein Transport-Adapter ausgetauscht werden, während Taxonomie und Severity-Profil unverändert bleiben.</p><p>Der Hauptsatz (Vollständigkeitssatz 2.5) sichert die Erschöpfung des Verlustraums; der Minimalitätssatz 2.7 zeigt, dass die Vier-Pattern-Taxonomie nicht reduzierbar ist.</p><p>Anschluss an FM-1. Schwesterpaper zu FM-2 (CAIRN) und FM-3 (AION).</p><p><strong>Version 2 (2026-05-26):</strong> Lizenz von CC-BY-4.0 auf AGPL-3.0-only OR Commercial (ISCaD GmbH) umgestellt. Referenzimplementierung SILD unter <a href="https://github.com/fmatten/SILD">github.com/fmatten/SILD</a>.</p><p>Copyright © 2026 Friedhelm Matten / ISCaD GmbH. Kommerzielle Lizenz: licensing@iscad-it.de</p> |
| title | FM-4: Signal-Loss Inspection at Data-boundaries — Eine formale Detektorklasse für klinische Cross-System-Übertragungen |
| topic | SILD Signal-Loss Inspection at Data-boundaries klinische Interoperabilität Verlustmuster Informationsalgebra FHIR HL7 v2 FM-1 FM-2 CAIRN Adapter-Architektur Audit-Inferenz Type Narrowing Temporal Collapse health informatics formal methods |
| url | https://doi.org/10.5281/zenodo.20391260 |