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
L᾽«unilinguisme» officiel de Constantinople byzantine (VIIe-XIIe s.)
L᾽«unilinguisme» officiel de Constantinople byzantine (VIIe-XIIe s.)
<p>Νίκος Οικονομίδης</...
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...
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'">ΕΝΑ ΛΑΝ&...
Differences on Geochemical Characteristics and Their Implicating Significances of Nitrogen in Coal-Derived Gas and Oil-typed Gas in China
Differences on Geochemical Characteristics and Their Implicating Significances of Nitrogen in Coal-Derived Gas and Oil-typed Gas in China
Natural gases in China are mainly coal-derived gas, with assistance from oil-typed gas. At present, many genetic identification methods, from hydrocarbon composition and isotope to...
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...
The Formal Semantics of Programming Languages
The Formal Semantics of Programming Languages
The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming la...
Case Study: Applying OpenEHR Archetypes to a Clinical Data Repository in a Chinese Hospital
Case Study: Applying OpenEHR Archetypes to a Clinical Data Repository in a Chinese Hospital
openEHR is a flexible and scalable modeling methodology for clinical information and has been widely adopted in Europe and Australia. Due to the reasons of differences in clinical ...
On an extension of the Hardy-Hilbert theorem
On an extension of the Hardy-Hilbert theorem
A weighted Hardy-Hilbert’s inequality with the parameter
λ
of form \documentclass{aastex}
\usepackage{amsbsy}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{bm}
\usepack...