Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
An Analysis of the Openehr Archetype Semantics Based on a Typed Lambda Theory
View through CrossRef
The openEHR has adopted the dual model architecture consisting of Reference Model and Archetype. The specification, however, lacks formal definitions of archetype semantics, so that its behaviors have remained ambiguous. The objective of this poster is to analyze semantics of the openEHR archetypes: its variance and mutability. We use a typed lambda calculus as an analyzing tool. As a result, we have reached the conclusion that archetypes should be 1) covariant and 2) immutable schema.
Title: An Analysis of the Openehr Archetype Semantics Based on a Typed Lambda Theory
Description:
The openEHR has adopted the dual model architecture consisting of Reference Model and Archetype.
The specification, however, lacks formal definitions of archetype semantics, so that its behaviors have remained ambiguous.
The objective of this poster is to analyze semantics of the openEHR archetypes: its variance and mutability.
We use a typed lambda calculus as an analyzing tool.
As a result, we have reached the conclusion that archetypes should be 1) covariant and 2) immutable schema.
Related Results
North Syrian Mortaria and Other Late Roman Personal and Utility Objects Bearing Inscriptions of Good Luck
North Syrian Mortaria and Other Late Roman Personal and Utility Objects Bearing Inscriptions of Good Luck
<span style="font-size: 11pt; color: black; font-family: 'Times New Roman','serif'">ΠΗΛΙΝΑ ΙΓ&Delta...
Bipolar complex fuzzy semigroups
Bipolar complex fuzzy semigroups
<abstract>
<p>The notion of the bipolar complex fuzzy set (BCFS) is a fundamental notion to be considered for tackling tricky and intricate information. Here, in this ...
openEHR Archetypes Reuse Analysis of Clinical Knowledge Manager Instances: Case Study (Preprint)
openEHR Archetypes Reuse Analysis of Clinical Knowledge Manager Instances: Case Study (Preprint)
BACKGROUND
Electronic health record information systems' continuous application has accumulated enormous medical data with potential value. Semantic interop...
Un manoscritto equivocato del copista santo Theophilos († 1548)
Un manoscritto equivocato del copista santo Theophilos († 1548)
<p><font size="3"><span class="A1"><span style="font-family: 'Times New Roman','serif'">ΕΝΑ ΛΑΝ&...
Challenges in Design and Creation of Genetic openEHR-Archetype
Challenges in Design and Creation of Genetic openEHR-Archetype
Since the Human Genomic Project discovered the sequencing of human genome, the interest about genome content in clinical practice has increased. Genetic information has become a ke...
Validity and validation in archetype analysis: practical assessment framework and guidelines
Validity and validation in archetype analysis: practical assessment framework and guidelines
Abstract
Archetype analysis is a promising approach in sustainability science to identify patterns and explain mechanisms shaping the sustainability of social-ecolog...
A property of Cauchy–Stieltjes kernel families based on dilation of measures
A property of Cauchy–Stieltjes kernel families based on dilation of measures
Abstract
In this paper, we introduce a property of the inverse Semicircle and the free Gamma laws based on the dilation of measures in the co...
Facilitating Secondary Use of Medical Data by Using openEHR Archetypes
Facilitating Secondary Use of Medical Data by Using openEHR Archetypes
Clinical trials are of high importance for medical progress. But even though more and more clinical data is available in electronic patient records (EPRs) and more and more electro...